c – 从模板化父级访问子类型定义

以下为什么不编译?

template <typename Child> struct Base
{
    typename Child::Type t; // Does not compile. "No type named Type in Child"
};

struct Derived : public Base<Derived>
{
    typedef int Type;
};

该Base如何无法访问其Child’s Type?我尝试使用静态函数而不是typedef,这很好用.

我尝试了GCC 4.4.2和clang 3.0.

最佳答案 这种代码不起作用,因为Derived尚未在实例化Base的位置完全定义.它基本上是一个不完整的类型.

替代品可以从简单到非常复杂.可能最简单的方法,如果你能做到,就是避免使用Child :: Type,直到你真正需要它(懒惰的评估,基本上).如果你确切地陈述你想要实现的目标,那将会有所帮助.

点赞