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;}; 该B 以下为什么不编译？

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

总结

以上是内存溢出为你收集整理的c – 从模板化父级访问子类型定义全部内容，希望文章能够帮你解决c – 从模板化父级访问子类型定义所遇到的程序开发问题。

如果觉得内存溢出网站内容还不错，欢迎将内存溢出网站推荐给程序员好友。