c++ - 如何通过可变参数模板表达概念？

Question

我想定义一个概念，只有具有特定类型值的元组才能满足。

假设为简单起见，我只想接受仅包含数字类型元素的元组。我该怎么做？

例如

std::tuple<int16_t, int32_t> // satisfies concept
std::tuple<std::string, double> // doesn't satisfy concept

问题是我必须制定类似“for_each_type”的内容。也不允许使用递归概念。

标签： c++tuplesvariadic-templatesc++20c++-concepts

Answer 1

很简单：

namespace impl {
    template <class T>
    struct is_tuple_of_integrals
    : std::false_type { };
    
    template <std::integral... Ts>
    struct is_tuple_of_integrals<std::tuple<Ts...>>
    : std::true_type { };
}

template <class T>
concept tuple_of_integrals = impl::is_tuple_of_integrals<T>::value;

我确实想知道是否可以省略中间特征，但我不相信没有概念专业化。