当我尝试这个例子时:
template <typename T>
concept only_int = std::same_as<T, int>;
int add_ints(only_int auto&&... args) {
return (std::forward<decltype(args)>(args) + ... + 0);
}它起作用了..。但当我只像这样声明它时:
template <typename T>
concept only_int;
...
// defined later on...它会抛出编译错误。
这是一个缺失的功能吗?或者它打算像这样离开?
发布于 2021-06-19 21:44:36
如果你可以向前声明概念,那么你就可以递归地使用它们。通过防止向前声明,在概念声明中不必有明确的规定来阻止您递归地使用它们。
https://stackoverflow.com/questions/68045643
复制相似问题