如何判断std::tuple的所有元素是否为同一类型？

针对你的需求，我们可以在编译期完成tuple元素类型的一致性判断，下面提供几种不同C++版本的实现方案：

C++17及以上：用折叠表达式快速实现 #

C++17的折叠表达式可以让代码极度简洁，同时支持编译期计算：

#include <tuple>
#include <type_traits>

template<typename... Ts>
constexpr bool all_same(const std::tuple<Ts...>&) {
    if constexpr (sizeof...(Ts) <= 1) {
        // 空tuple或单个元素默认返回true，可按需修改
        return true;
    } else {
        using FirstType = std::tuple_element_t<0, std::tuple<Ts...>>;
        // 折叠表达式：逐个比较所有元素与第一个元素的类型
        return (std::is_same_v<FirstType, Ts> && ...);
    }
}

测试代码

#include <iostream>

int main() {
    std::tuple<int, int, int> t1 = {1, 1, 1};
    static_assert(all_same(t1), "t1元素类型应全部相同");
    auto A = all_same(t1); // A的值为true

    std::tuple<int, float, int> t2 = {1, 1.0f, 1};
    static_assert(!all_same(t2), "t2元素类型不应全部相同");
    auto B = all_same(t2); // B的值为false

    // 边界情况测试
    std::tuple<double> t3;
    static_assert(all_same(t3));
    std::tuple<> t4;
    static_assert(all_same(t4));

    std::cout << std::boolalpha << A << " " << B << std::endl;
    return 0;
}

C11/C14：递归模板特化实现 #

如果需要兼容更早的C++标准，可以用递归模板特化的方式实现：

#include <tuple>
#include <type_traits>

// 基础模板：处理空tuple或单个元素的情况
template<typename Tuple>
struct all_same_impl {
    static constexpr bool value = true;
};

// 递归特化：比较第一个元素与第二个元素，再递归比较剩余元素
template<typename First, typename Second, typename... Rest>
struct all_same_impl<std::tuple<First, Second, Rest...>> {
    static constexpr bool value = 
        std::is_same<First, Second>::value && 
        all_same_impl<std::tuple<First, Rest...>>::value;
};

// 对外接口函数
template<typename... Ts>
constexpr bool all_same(const std::tuple<Ts...>&) {
    return all_same_impl<std::tuple<Ts...>>::value;
}

这个版本的逻辑和C++17版本一致，只是用递归代替了折叠表达式，同样支持编译期断言和运行期调用。

额外说明 #

• 类型严格匹配：比如std::tuple<int, int&>会返回false，因为int和int&是不同类型；如果需要忽略引用、cv限定符，可以用std::decay_t处理类型，例如把std::is_same<First, Second>改为std::is_same<std::decay_t<First>, std::decay_t<Second>>。
• 空tuple的处理：默认返回true，如果业务需要将空tuple视为类型不一致，可以修改基础模板的value为false。

内容的提问来源于stack exchange，提问作者yi bruce