如何判断C++中两个模板参数包是否完全相同？

最简单的实现方案（C++17及以上） #

直接利用std::tuple和std::is_same_v即可完成判断：

#include <iostream>
#include <tuple>
#include <type_traits>

template<typename... T>
struct C
{
    template<typename... U>
    void f()
    {
        // 核心判断逻辑
        bool result = std::is_same_v<std::tuple<T...>, std::tuple<U...>>;
        std::cout << "T... and U... are: " << (result? "same":"not same")<<"\n";
    }
};

int main()
{
    C<int, int, int, int> c;
    c.f<int,int, int, int>(); // 输出: same
    c.f<int, int, int>();     // 输出: not same
    c.f<int, int, int, double>(); // 输出: not same
    c.f<int, double>();           // 输出: not same
}

原理说明 #

std::tuple<T...>的类型完全由其包含的参数包决定：只有当两个参数包的长度相同、元素类型一致、顺序完全匹配时，对应的tuple类型才会等价。std::is_same_v是C++17引入的变量模板，用于直接判断两个类型是否完全相同，省去了::value的写法。

兼容C++11/14的写法 #

如果需要兼容更早的C++标准，只需要把std::is_same_v替换为std::is_same<...>::value即可：

bool result = std::is_same<std::tuple<T...>, std::tuple<U...>>::value;

自定义类型特性实现（可选） #

如果你不想依赖std::tuple，也可以自定义一个类型特性来判断参数包是否相同：

#include <iostream>
#include <type_traits>

// 基础模板：默认参数包不同
template<typename... Ts, typename... Us>
struct are_same_pack : std::false_type {};

// 特化模板：当两个参数包完全相同时为true
template<typename... Ts>
struct are_same_pack<std::tuple<Ts...>, std::tuple<Ts...>> : std::true_type {};

// 为了使用方便，定义变量模板
template<typename... Ts, typename... Us>
constexpr bool are_same_pack_v = are_same_pack<std::tuple<Ts...>, std::tuple<Us...>>::value;

template<typename... T>
struct C
{
    template<typename... U>
    void f()
    {
        bool result = are_same_pack_v<T..., U...>;
        std::cout << "T... and U... are: " << (result? "same":"not same")<<"\n";
    }
};

// main函数同上

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