带有 const 模板参数的模板模板类

Question

我不明白为什么这不能编译：（

struct  A
{};  

template<class T> 
struct  B
{};  

template<template<class> class T1, class T2> 
struct C
{};

int
main  (int ac, char **av)
{
  typedef B<double> b;              //compiles
  typedef B<const double> b_const;  //compiles
  typedef B<A> ba;                  //compiles
  typedef B<const A> ba_const;      //compiles

  typedef C<B,double> c1;           //compiles
  typedef C<B,const double> c2;     //compiles
  typedef C<const B,double> c3;     //ISO C++ forbids declaration of ‘type name’ with no type
}

我发现对标准的引用有点神秘）

我需要更改什么才能使其编译？

编辑：

编译器详细信息（似乎相关）：

Using built-in specs.
Target: x86_64-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Ubuntu/Linaro 4.4.4-14ubuntu5' --with-bugurl=file:///usr/share/doc/gcc-4.4/README.Bugs --enable-languages=c,c++,fortran,objc,obj-c++ --prefix=/usr --program-suffix=-4.4 --enable-shared --enable-multiarch --enable-linker-build-id --with-system-zlib --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --with-gxx-include-dir=/usr/include/c++/4.4 --libdir=/usr/lib --enable-nls --with-sysroot=/ --enable-clocale=gnu --enable-libstdcxx-debug --enable-objc-gc --disable-werror --with-arch-32=i686 --with-tune=generic --enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu
Thread model: posix
gcc version 4.4.5 (Ubuntu/Linaro 4.4.4-14ubuntu5) 

编辑2：

通过解释，我试图做这样的事情：

template<template<class> class TheContainer, class T> 
struct Iterator

template<class T> 
struct  Container

typedef Iterator<Container, double> iterator;
typedef Iterator<const Container, double> const_iterator;

非模板化容器的技术是在此 boost 文档的末尾找到： http:// www.boost.org/doc/libs/1_46_1/libs/iterator/doc/iterator_facade.html

我想解决方案不是嵌套模板。回想起来，这似乎是显而易见的。

Answer 1

C 的第一个参数不是类型，因此传递 const 类型作为其参数是没有意义的。模板不能是 const 或非常量，只有类型可以是 const 或非常量。 const B 到底是什么意思？

const int 是有道理的。 const vector 是有意义的，vector 也是如此。但是 const vector 是什么意思呢？

（一点盐警告：在看到这个问题之前，我什至不知道模板模板类。）

为了使这一点更具体，想象 B 和 C 是：

template<class T>
struct  B
{
        T t;
};      

template<template<class> class T1, class T2>
struct C
{
        T2 t2;
        T1<T2> t1;
};

类型

C<B,const double>   
==>   struct { const double t2; T1<const double> t1;}
==> struct { const double t2; struct { const double b; } t1;}

c2 将是您期望 c3 是什么 ？ t1 本身是 const，而 t1.b 是非 const？我想这是有道理的。

Answer 2

这段代码确实可以在 VS2010 中编译。我不认识你的编译器，但我建议你检查编译器开发人员的错误数据库，如果没有注册这样的错误。

我会在 GCC 中尝试一下。

---

好吧，GCC(4.5.1) 确实给出了错误。我想我们必须等待具有标准知识的人才能知道这是标准行为还是错误。

---

CLang (2.8) 确实给出了相同的错误（具有完全相同的消息）。

Answer 3

我猜 B 不能是 const，因为此时它没有实际类型，并且编译器不知道什么是 const。除了离开 const 之外，我无法想出正确编译的解决方案，因为模板模板确实很伤脑筋。

Answer 4

我敢打赌，MSVC 以与 相同的方式默默地吞下 const const 类es。