C++概念：无效引用功能概念

Question

我尝试这个小片的代码，我从概念技术规范修改：

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

    template < typename Object > 
    requires C_Object<Object> 
    class Foo { 
    public: 
     Object test; 
    }; 

struct Component { 
    int data; 
    Component() : data(0) {} 
}; 

int main() { 
    Foo<Component> test; 
    return 0; 
} 

但我得到这个错误：

test.cpp:10:12: error: invalid reference to function concept ‘template<class T> concept bool C_Object()’ 
    requires C_Object<Object> 
      ^~~~~~~~~~~~~~~~ 
test.cpp: In function ‘int main()’: 
test.cpp:26:16: error: template constraint failure 
    Foo<Component> test; 
       ^
test.cpp:26:16: note: constraints not satisfied 
test.cpp:26:16: note: ill-formed constraint 

第一次余尝试我缺少的C++概念的新版本？

感谢

有一个伟大的日子

Answer 1

这个定义：

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

C_Object定义为一个函数的概念。这一个：

template < typename Object > 
requires C_Object<Object> 
class Foo { 
public: 
    Object test; 
}; 

使用C_Object就好像它是一个变量的概念。在要求条款，则必须使用()为“调用”功能的概念：

template < typename Object > 
requires C_Object<Object>() 
class Foo { 
public: 
    Object test; 
}; 

或者，您可以使用“简洁”占位符语法约束Object不区分变量和函数的概念：

template < C_Object Object > 
class Foo { 
public: 
    Object test; 
};