以下为什么不编译?
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,直到你真正需要它(懒惰的评估,基本上).如果你确切地陈述你想要实现的目标,那将会有所帮助.