C++概念：CRTP

Question

这可能只是该概念不好，但我不明白为什么。并没有找到任何与构造函数的例子。或者，也许它没有任何关系的构造......

template < typename T > 
concept bool C_Object() { 
    return requires { 

    T(); 
    }; 
} 

template < C_Object Object> 
class DefaultManager { 

    // Content; 
}; 

template < C_Object Derived > 
class Component { 

    // Content 
}; 

struct Test : public Component<Test> { 

    int data; 

    Test() = default; 
}; 

int main() { 

    Test test; 
    return 0; 
} 

给错误：

test2.cpp:21:36: error: template constraint failure 
struct Test : public Component<Test> { 
            ^
test2.cpp:21:36: note: constraints not satisfied 
test2.cpp:2:14: note: within ‘template<class T> concept bool C_Object() [with T = Test]’ 
concept bool C_Object() { 
       ^~~~~~~~ 
test2.cpp:2:14: note: the required expression ‘T()’ would be ill-formed 

这听起来像一个：“嘿，我的代码是坏了，请修复它”，对不起。

反正感谢

有一个伟大的日子

Answer 1

的问题是在这里：

struct Test : public Component<Test> { 

每当你这么多名约束类模板的专业化，给定参数根据约束进行验证。在这种情况下，这意味着C_Object<Test>被检查满意，但由于Test不完整 - 编译器尚未解析其定义 - C_Object未得到满足。

这是CRTP基础的经典问题的“概念”版本：您必须延迟对派生类的检查，直到其定义完成。