c++ - 使用具有 C++20 概念的继承类从模板类继承

Question

我正在尝试编写一个类似于 Ogre3Ds 的单例基类 Ogre::Singleton 使用 C++20 std::default_initializable .

#include <concepts>

template <std::default_initializable T>
struct Singleton {};

class Foo: public Singleton<Foo> {};

此代码无法编译:

error C7602: 'Singleton': the associated constraints are not satisfied

我会期待吗？如果不是:为什么？
我正在使用最新的 MSVC 和 /std:c++latest .

Answer 1

之所以不能这样做，是因为在将 Foo 作为模板参数提供给 Singleton 时，它是一个不完整的类型，并且是 incomplete type根本不可初始化(所以它不能被默认初始化)
这是一个示例程序，它提供了一种更易于理解的错误:

template<typename T>
struct A
{
    T value{};
};

struct B : A<B>{};

编译器错误 (GCC 10.2)

<source>:5:7: error: 'A<T>::value' has incomplete type
    5 |     T value{};
      |       ^~~~~
<source>:8:8: note: forward declaration of 'struct B'
    8 | struct B : A<B>
      |        ^