给定一个可变参数模板参数包，我想使用inline constexpr bool 和fold expressions 检查给定给它的所有类型是否都是唯一的。我尝试这样的事情：
template<class... T>
inline static constexpr bool is_unique = (... && (!is_one_of<T, ...>));
is_one_of 是一个可以正常工作的类似布尔值。
但是无论我在 is_one_of 中输入了什么，这条线都不会编译。这甚至可以使用折叠表达式来完成，还是我需要为此使用常规结构？
【问题讨论】：
标签： c++ templates c++17 variadic-templates fold-expression
您的方法实际上不起作用，因为需要使用类型 T 和所有其余类型不包括 T 来调用 is_one_of。没有办法在单个参数包上使用 fold 表达式 来表达这一点。我建议改用专业化：
template <typename...>
inline constexpr auto is_unique = std::true_type{};
template <typename T, typename... Rest>
inline constexpr auto is_unique<T, Rest...> = std::bool_constant<
(!std::is_same_v<T, Rest> && ...) && is_unique<Rest...>
>{};
用法：
static_assert(is_unique<>);
static_assert(is_unique<int>);
static_assert(is_unique<int, float, double>);
static_assert(!is_unique<int, float, double, int>);
（感谢Barry 使用折叠表达式的简化。）
【讨论】：
T1, Rest... 视为“只是尾巴”，它当然是。 +1
(!is_same_v<T0, Rest> && ...) && is_unique<Rest...>的正文简化为T0, Rest...吗？
-- 编辑--
谷歌搜索我发现了一个interesting solution，它给了我避免递归和避免大量警告的灵感
所以你可以定义一个类型的包装器
template <typename>
struct wrapT
{ };
以及继承自类型包装器的类型和整数包装器
template <typename T, std::size_t>
struct wrapTI : public wrapT<T>
{ };
接下来你可以定义一个foo类递归地继承自wrapTI
template <typename T,
typename = std::make_index_sequence<std::tuple_size<T>::value>>
struct foo;
template <typename ... Ts, std::size_t ... Is>
struct foo<std::tuple<Ts...>, std::index_sequence<Is...>>
: public wrapTI<Ts, Is>...
{ };
现在is_unique 可以是这样的
template <typename ... Ts>
static constexpr bool isUnique
= ( ... && std::is_convertible<foo<std::tuple<Ts...>>, wrapT<Ts>>::value );
关键是foo<Ts...>只有在foo<Ts...>从wrapT<T>继承一次（且仅一次）时才能转换为wrapT<T>，即如果T存在一次（且仅一次）时间）在Ts...。
以下是完整的编译示例
#include <tuple>
#include <type_traits>
template <typename>
struct wrapT
{ };
template <typename T, std::size_t>
struct wrapTI : public wrapT<T>
{ };
template <typename T,
typename = std::make_index_sequence<std::tuple_size<T>::value>>
struct foo;
template <typename ... Ts, std::size_t ... Is>
struct foo<std::tuple<Ts...>, std::index_sequence<Is...>>
: public wrapTI<Ts, Is>...
{ };
template <typename ... Ts>
static constexpr bool isUnique
= ( ... && std::is_convertible<foo<std::tuple<Ts...>>, wrapT<Ts>>::value );
int main ()
{
static_assert( true == isUnique<int, long, long long> );
static_assert( false == isUnique<int, long, long long, int> );
}
【讨论】：