Есть такое определение шаблона:
template<size_t N>
void foo( void ) {
/* ... */
}
Как определить понятие так, чтобы N было ненулевым положительным значением (N> = 1)?
Что-то вроде:
template<size_t N>
concept NonZeroSize = /* to be implemented, N>=1 */
template<NonZeroSize N>
void foo( void ) {
/* Do whatever only if N >= 1 */
}
Спасибо!
Нравится:
template <size_t N> requires NonZeroSize<N>
void foo();
Или просто:
template <size_t N> requires (N > 0)
void foo();
Краткая форма зарезервирована для понятий типа.
Само определение концепции - это просто произвольное логическое выражение:
template <size_t N>
concept NonZeroSize = (N > 0);
requires-expression - это просто специальное вид выражения, который очень полезен при определении понятий, но не должен использоваться во всех определениях понятий и не должен появляться в определении понятия с самого начала. Эти вещи ортогональны.
template <size_t N> concept NonZeroSize = N != 0;. requires, который вы обычно видите, это просто регулярное логическое выражение.
- person chris; 04.05.2020
