c++ - 概念-如何限制积分模板值

Question

有一个模板定义，例如:

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 */
}

谢谢!

Answer 1

像这样:

template <size_t N> requires NonZeroSize<N>
void foo();

要不就:

template <size_t N> requires (N > 0)
void foo();

terser形式保留用于类型概念。

概念定义本身只是一个任意的 bool(boolean) 表达式:

template <size_t N>
concept NonZeroSize = (N > 0);

requires-expression只是一种特殊的表达形式，在定义概念时非常有用，但是既不必在所有概念定义中使用它，也不必首先出现在概念定义中。这些东西是正交的。