递归嵌套模板——gcc bug？

Question

我有以下片段。

template< typename T >
struct f
{
  template< typename V >
  struct a : f
  {};
};

int main ()
{
  f<int>::a<int>::a<double> x;
}

它在 GCC 4.4.5 和 MSVC 2010 上编译时没有任何警告，但在 GCC 4.5.2 上则不然 - 我收到以下错误：

test.cc: In function 'int main()':
test.cc:11:21: error: expected primary-expression before 'double'
test.cc:11:21: error: expected ';' before 'double'

因此，虽然我没有看到任何关于它的非标准内容，但问题是强制性的-- 这在 C++ 中合法吗？另外，如果是的话，我如何向 GCC 提交错误报告？ （：

编辑：好奇的一点背景：

这应该是模板元编程的一部分。f基本上具有模板元函数类的结构与apply 替换了 a （当然，省略了 apply 的嵌套 type，这样我们就可以专注于结构本身）

。在本例中，这是一个用于绑定元函数返回值的标准设备。这个片段试图实现的是一个元函数类，它在评估时会递归地产生自身：

让我以不同的方式放置相同的片段：

template< typename T >
struct f
{
  template< typename V > struct a;
};

template< typename T >
template< typename V >
struct f<T>::a : f<T>
{};

int main ()
{
  f<int>::a<int>::a<double> x;
}

我认为这会产生相同的错误，它驳斥了不完整的类型参数。

Answer 1

现有答案中有一些很好的注释。首先，f 的类型在定义嵌套类模板时是不完整的，但 f 是一个依赖类型。现在，如果您实例化嵌套模板 (f)，它将实例化嵌套模板（成员）的声明。请注意，成员的声明不包括基本子句列表，因此不需要完整的基类。一旦嵌套模板被隐式实例化，f就完成了，当涉及到实例化成员的定义时，应该不再有问题了。所以我认为科莫在这里抱怨是不正确的。

另一个错误是，实际上 f::a::a 正在命名 a 的构造函数，并要求它是构造函数模板（ 是模板参数）。其基础是DR #147。

当限定符名称不是注入类名的类时，不会完成对构造函数的转换。例如，如果它是派生类，您的代码将变得有效（正如一些答案所得出的那样）。

Answer 2

好问题。这似乎是 gcc 的 template 递归声明的问题。因为，如果存在实体类，那么它会给出错误，理想情况下应该将其声明为：

struct Out {
  struct In;
};
struct Out::In : Out {};

Answer 3

看起来 GCC 4.5 认为您已经指定了构造函数。

一种可能的解决方法：

template<typename T>
struct f {

    template<typename V>
    struct a : f {

        template<typename Z>
        struct q {
            typedef a<Z> Q;
        };
    };
};

int main() {
    f<int>::a<int>::q<double>::Q x;
    return 0;
}

Answer 4

在线使用 Comeau，它表明当您将 f 用作基类时，它是一个不完整的类型，因此是不合适的。

"ComeauTest.c", line 5: error: incomplete type is not allowed
    struct a : f

不幸的是，我手头没有 clang 实例。