可以使用概念来限制值和类型吗？

Question

概念可用于对作为模板参数的类型施加约束，如下例所示：

template<typename t, int v>
concept the_concept1 = sizeof(t) > v;

template<int v, the_concept1<v> t>
struct some_struct1{};

我正在尝试使用类似的方法来处理如下示例中的值：

template<int v1, int v2>
concept the_concept2 = v1 > v2;

template<int v1, the_concept2<v1> v2>
struct some_struct2{};

但是对于 G++ 10，我收到以下错误消息：

error: ‘the_concept2’ does not constrain a type

所以我想知道是否可以使用概念来限制值？如果可以，我应该怎么做？

编辑：我的最终目标是使用具有可变模板参数的模板结构的声明中的概念，例如：

template<typename t, std::size_t ... v>
struct the_struct;

我需要一个概念来检查每个 v 是否小于 sizeof(t).

Answer 1

如果您想将概念用作模板参数的命名 type 约束，如您的示例所示，则该概念需要应用于 type 模板参数。

您仍然可以定义仅适用于例如non-type 模板参数，但是，只要您在允许这些的上下文中使用它；例如使用 requires-clause:

template<int v1, int v2>
concept the_concept2 = v1 > v2;

template<int v1, int v2> requires the_concept2<v1, v2>
struct some_struct2{};

using valid = some_struct2<42, 41>;
//using invalid = some_struct2<42, 42>; // constraints not satisfied

函数模板或class模板成员函数的另一个例子：

template<int v1, int v2>
concept the_concept2 = v1 > v2;

template <int a, int b>
void bar() requires the_concept2<a, b> {} 

template <int a, int b>
struct Foo {
    static void bar() requires the_concept2<a, b> {} 
};

int main() {
    bar<2, 1>();
    Foo<2, 1>::bar();
    //bar<2, 2>();      // candidate template ignored: constraints not satisfied
    //Foo<2, 2>::bar(); // invalid reference to function 'bar': constraints not satisfied
}

以下 OP 编辑（基本上提出了一个完全不同的问题）

Edit: My final goal is to use the concept in declaration of a template structure with variadic template parameters like:
template<typename t, std::size_t ... v>
struct the_struct;
And I need a concept to check if every v is less than sizeof(t).

可以通过指定概念本身来应用在sizeof(T) > v检查中使用参数包扩展扩展的可变non-type模板参数来实现：

#include <cstddef>
#include <cstdint>

template<typename T, std::size_t... v>
concept the_concept1 = (... && (sizeof(T) > v));

template<typename T, std::size_t... vs> requires the_concept1<T, vs...>
struct the_struct;

using TypeOfSize4Bytes = uint32_t;

using valid = the_struct<TypeOfSize4Bytes, 1, 3, 2, 1>;
using also_valid = the_struct<TypeOfSize4Bytes>;
//using invalid = the_struct<TypeOfSize4Bytes, 1, 2, 4>;  // error: constraints not satisfied

可以使用概念来限制值和类型吗？

Can concepts be used to put a constraint on values as well as types?

c++

templates

concept

c++20