从专门的自我类继承？

Question

这是有效的 C++ 吗？

template<class category>
class any_iterator : public any_iterator<void>
{ 
public:
        typedef any_iterator<void> any_iter_void;

        any_iterator() : any_iter_void() {}
};
template<>
class any_iterator<void>
{ 
public:
        typedef any_iterator<void> any_iter_void;

        any_iterator() {}
        void foo() {};
};

int main() {
    any_iterator<int> a;
    a.foo();
}

MSVC10 在\WALL 上接受它并且没有错误/警告，但gcc-4.5.1 抱怨：

prog.cpp:3:5: 错误：无效使用不完整类型 'class any_iterator'
prog.cpp:2:11：错误：“类 any_iterator”的声明
prog.cpp：在函数“int main()”中：
prog.cpp:21:11：错误：“类 any_iterator”没有名为“foo”的成员
prog.cpp: 在构造函数中'any_iterator::any_iterator() [with category = int]':
prog.cpp:20:27: 从这里实例化
prog.cpp:7:44：错误：类型“any_iterator”不是“any_iterator”的直接基础

有人可以引用标准来说明这是否应该编译吗？我认为这是 MSVC 中的一个错误。

作为说明，我知道正确的做法是声明类，专门化根，然后定义一般情况，这就是我将对我的代码执行的操作，但我想知道这里哪个编译器出错了？

Answer 1

要从一个类型继承，该类型必须是完整的。稍微重新安排一下就可以解决问题：

template<class category>
class any_iterator;

template<>
class any_iterator<void>
{ 
public:
    typedef any_iterator<void> any_iter_void;

    any_iterator() { }
    void foo() { }
};

template<class category>
class any_iterator : public any_iterator<void>
{ 
public:
    typedef any_iterator<void> any_iter_void;

    any_iterator() : any_iter_void() { }
};

int main()
{
    any_iterator<int> a;
    a.foo();
}

---

代币标准报价：

C++11，§10/2：

由 base-type-specifier 表示的类型应该是一个非未完全定义类的类类型；这个类被称为被定义类的直接基类。

§9.2/2：

类在类说明符的结尾}处被视为完全定义的对象类型（或完整类型）。

Answer 2

10/2：

由基类型说明符表示的类型应该是一个不是不完全定义的类的类类型

这是 MSVC 缺陷的一种表现：缺少两阶段名称解析。