如何定义递归概念？

Question

cppreference.com 指出：

Concepts cannot recursively refer to themselves

但是我们如何定义一个概念来表示整数或整数向量，或整数向量的向量等

我可以吃这个：

template < typename Type > concept bool IInt0 = std::is_integral_v<Type>;
template < typename Type > concept bool IInt1 = IInt0<Type> || requires(Type tt) { {*std::begin(tt)} -> IInt0; };
template < typename Type > concept bool IInt2 = IInt1<Type> || requires(Type tt) { {*std::begin(tt)} -> IInt1; };

static_assert(IInt2<int>);
static_assert(IInt2<std::vector<int>>);
static_assert(IInt2<std::vector<std::vector<int>>>);

但我想要像 IIntX 这样的东西，这意味着任何 N 的 IIntN。

可能吗？

Answer 1

概念总是可以遵循类型特征：

template <typename T> concept C = some_trait<T>::value;

并且该特征可以递归：

template <typename T>
struct some_trait : std::false_type { };

template <std::Integral T>
struct some_trait<T> : std::true_type { };

template <typename T, typename A>
struct some_trait<std::vector<T, A>> : some_trait<T> { };

如果你的意思不只是vector，那么最后的偏特化可以泛化为：

template <std::Range R>
struct some_trait<R> : some_trait<std::range_value_t<R>> { };