c++ - 用于查找相似的连续类型名称的模板元程序

Question

我是模板元编程的新手，正在尝试创建一个程序来查找参数包是否具有连续的相同类型名称。例如<int, int> , <int, char, char>将返回 true 和 <int,char>和 <int, char, int>不会。

我设法编写了这段代码，但它似乎在将参数包的每个值与其自身进行比较。我只是在寻找一种方法来遍历参数包的值以与其连续元素进行比较。

template<typename T, typename U>
struct sameTypename{
    enum {value = false};
};

template<typename T>
struct sameTypename<T, T>{
    enum {value = true};
};

template <typename T, typename ...args>
struct consTypename{
    enum {value = (sameTypename<consTypename<args...>, consTypename<args...>>::value)};
};

template <typename T>
struct consTypename<T, T>{
    enum {value = true};
};

template <typename T>
struct consTypename<T>{
    enum {value = false};
};

Answer 1

给你:

#include <type_traits>

template <typename ...P> struct has_adjacent_same_types : std::false_type {};
template <typename A, typename B, typename ...P> struct has_adjacent_same_types<A, B, P...>
    : std::bool_constant<std::is_same_v<A,B> || has_adjacent_same_types<B, P...>::value> {};

我用了: std::false_type {};和 : std::bool_constant<X> {};而不是
{enum{value = false};};和 {enum{value = X};};分别，但这只是一个偏好问题。

---

我使用的一些特性来自 C++17。如果您使用的是旧版本，请注意:

std::bool_constant and std::is_same_v are available only starting from C++17 (but that you can use std::integral_constant and std::is_same<>::value before).

(c) @max66