Question

我有以下设置：

#include <iostream>
template <typename T>
struct feline {
  void roar() noexcept {
      static_cast<T*>(this)->do_roar();
  }
      feline() noexcept {
      std::cerr << "Feline ctor" << std::endl;
  }
};

struct lion : public feline<lion> {
  lion() noexcept : feline() {
    std::cerr << "Lion ctor" << std::endl;
  }
  void do_roar() noexcept {
      std::cerr << "Lion roar" << std::endl;
  }
};

struct tiger : public feline<tiger> {
  tiger() noexcept : feline() {
    std::cerr << "Tiger ctor" << std::endl;
  }
  void do_roar() noexcept {
      std::cerr << "Tiger roar" << std::endl;
  }
};

int main()
{
    feline<lion> lion;
    lion.roar();
    feline<tiger> tiger;
    tiger.roar();
}

当我执行它时，我得到以下结果：

Feline ctor
Lion roar
Feline ctor
Tiger roar

这意味着Lion和Tiger的构造者从未被调用过。我怎样才能做到这一点？

Answer 1

因为你从未创造过真正的狮子。

CRTP需要实际类的对象才能正常工作。

请记住，基类永远不会直接实例化子类，因为它只是强制类支持某些函数而不是经典继承。

您的代码可能会崩溃，但它不会崩溃，这是因为函数do_roar不会访问任何私有变量。尝试将一些成员添加到lion并在do_roar中使用它们，您会看到......

如果您希望狮子使用lion课程，feline<lion>只是feline<T> T = lion的实例化。

Answer 2

您使用CRTP稍有不妥。暂时忘记了基类在继承类上进行参数化的事实，那么你所做的就是：

struct feline { };
struct lion : feline {};

feline roary;        // in your actual code this is parametrized with lion
                     // but still it is no lion !

当你真的想要创造一只狮子时：

lion roary;          // this is a lion !

Answer 3

您声明了新类，但没有使用它们。

下面是使用您的新课程的修订版main()：

int main()
{
    lion l;
    l.roar();
    tiger t;
    t.roar();
}

输出：

Feline ctor
Lion ctor
Lion roar
Feline ctor
Tiger ctor
Tiger roar

使用CRTP时如何调用派生类的构造函数？

3 个答案: