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

发布时间：2020-12-16 07:29:22 所属栏目：百科来源：网络整理

导读：以下为什么不编译？ template typename Child struct Base{ typename Child::Type t; // Does not compile. "No type named Type in Child"};struct Derived : public BaseDerived{ typedef int Type;}; 该Base如何无法访问其Child’s Type？我尝试使用静态

以下为什么不编译？

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

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!