Можно ли использовать концепции для ограничения значений, а также типов? ⇐ C++

[Anonymous]

Концепции можно использовать для ограничения типов в качестве параметров шаблона, как показано в примере ниже:

template концепция the_concept1 = sizeof (t) > v; шаблон структура some_struct1 {}; Я пытаюсь использовать аналогичный метод со значениями, как показано в примере ниже:

шаблон концепция the_concept2 = v1 > v2; шаблон структура some_struct2 {}; Но в G++ 10 я получаю следующее сообщение об ошибке:

ошибка: the_concept2 не ограничивает тип Мне интересно, можно ли использовать концепции для ограничения значений? Если да, то как мне это сделать?

Изменить: Моя конечная цель — использовать концепцию в объявлении структуры шаблона с переменными параметрами шаблона, такими как:

template структура the_struct; И мне нужна концепция, чтобы проверить, меньше ли каждый v, чем sizeof(t).