template<class T> class Base { }; class Derived : public Base<Derived> { };
为什么在编译期间没有类似的事情发生?
(X [Y]表示X继承自Y)
声明派生实例后
衍生d;
d正在扩展为模板和继承的无限复发
d [基<衍生[基<衍生[基<衍生[基<衍生[…]>]>]>]>]
为什么这不会发生?关于CRTP的所有教程只解释了你可以用它做什么,而不是在幕后发生的事情(至少含糊不清).
解决方法
如果您有典型的模板定义:
template<typename T> class Base;
然后是模板实例:
Base<int>
只是这个名字的一类.它与int无关,并且与int完全没有任何关系.它不以某种方式或以任何方式从它继承.
下一步:
class Derived; template<typename T> class Base {}; Base<Derived> foo;
同样,Base< Derived>只是一个班级.它与Derived没有内在联系.它不是从它衍生出来的,不是从它继承而已.
那么,现在我们采取最后一步:
template<class T> class Base { }; class Derived : public Base<Derived> { };
这声明了一个名为Derived的类,它继承自一个名为Base< Derived>的类.和Base< Derived>只是一个班级.这是一个非常简单的课程.不能比这更简单.它没有任何方法.它没有任何成员.也不是私人的,受保护的或公共的.这是一个很小的课程,但它拥有与其他课程相同的权利和特权.您可以声明指向它的指针.或者引用它.这只是一堂课.
同样,关键概念是模板的实例只是一个类.它不会以任何方式从作为模板参数的类“继承”.在这种情况下,模板实例是完全空的,但它可以执行任何其他类可以执行的任何操作.它可以拥有公共,私人和受保护的成员.它可以从一些其他类派生,它可以是另一个模板实例(因为模板实例只是一个类).或者,其他一些类可以从模板实例派生,因为模板实例只是一个类.
这里没有无限的筑巢.你只有一个继承自另一个类的类.第二个类碰巧是一个模板实例,但我碰巧提到模板实例只是一个类吗?
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。