[英]C++ Concepts : invalid reference to function concept
我尝试了我从概念技术规范修改的这一小段代码:
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 ++概念,在那里我不见了?
谢谢
祝你有美好的一天
这个定义:
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
就好像它是一个变量概念。 在requires子句中,必须使用()
来“调用”函数概念:
template < typename Object >
requires C_Object<Object>()
class Foo {
public:
Object test;
};
或者,您可以使用“简洁”占位符语法来约束不区分变量和函数概念的Object
:
template < C_Object Object >
class Foo {
public:
Object test;
};
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.