Как определить рекурсивное понятие?

Question

cppreference.com утверждает, что:

Понятия не могут рекурсивно ссылаться на себя

Но как мы можем определить концепцию, которая будет представлять целое число или вектор целых чисел, или вектор вектора целых чисел и т. Д.

У меня может быть что-то такое:

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, что будет означать IInt N для любого N.

Возможно ли это?

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>> { };