使用折叠表达式检查可变参数模板参数是否唯一

Checking if variadic template parameters are unique using fold expressions

本文关键字：参数 是否 唯一 变参 折叠 表达式 检查      更新时间：2023-10-16

给定一个可变参数模板参数包，我想使用inline constexpr bool和折叠表达式检查提供给它的所有类型的类型是否都是唯一的。我尝试这样的事情：

template<class... T>
inline static constexpr bool is_unique = (... && (!is_one_of<T, ...>));

其中is_one_of是一个正常工作的类似布尔值。 但是无论我放入is_one_of什么，这行都不会编译。这甚至可以使用折叠表达式来完成吗，还是我需要为此目的使用常规结构？

您的方法实际上不起作用，因为需要使用类型T调用is_one_of并且所有其他类型不包括T。无法在单个参数包上使用折叠表达式来表达这一点。我建议改用专业化：

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>);

wandbox.org 上的现场示例

(感谢 Barry 使用折叠表达式的简化。

--编辑 --

谷歌搜索我找到了一个有趣的解决方案，它给了我灵感来避免递归并避免很多警告

因此，您可以定义类型的包装器

template <typename>
struct wrapT
{ };

以及从类型包装器继承的类型和整数的包装器

template <typename T, std::size_t>
struct wrapTI : public wrapT<T>
{ };

接下来，您可以定义一个递归继承自wrapTI的foo类

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...>从wrapT<T>继承一次(并且只有一次)时，foo<Ts...>才能转换为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> );
}
相关文章：