用 C++ 编写递归基类概念答案

【问题标题】：Writing a recursive base class concept in C++用 C++ 编写递归基类概念
【发布时间】：2021-01-21 09:22:15
【问题描述】：

在 C++ 中，我想将 Foo<T> 类的模板参数 T 严格限制为 Foo<T> 的继承者。为此，我写了以下内容：

template <typename TSelf> class Foo;

template <typename TSelf>
  requires (is_base_of<Foo<TSelf>, TSelf>)
class Foo
{
};

我得到的错误是

'Foo': requires clause is incompatible with the declaration

我该如何解决这个问题？

【问题讨论】：

【解决方案1】：

在 CRTP 中，派生类是不完整的。

您可以在应该调用的方法中添加该断言，作为析构函数：

template <typename TSelf>
class Foo
{
    // ...
    ~Foo() { static_assert(std::is_base_of_v<Foo<TSelf>, TSelf>); }
    // ...
};

【讨论】：