如果你想使用一个概念作为模板参数的命名 type 约束，就像你的例子一样，这个概念需要应用到一个 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

字符串
另一个应用于函数模板或类模板的成员函数的示例：

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编辑（基本上问了一个完全不同的问题）
编辑：我的最终目标是在声明一个带有可变模板参数的模板结构时使用这个概念，比如：

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

型
我需要一个概念来检查是否每个v都小于sizeof(t)。
可以通过指定概念本身来实现，以应用于在sizeof(T) > v检查中使用参数包扩展进行扩展的可变参数非类型模板参数：

#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

型