C++如何检查泛型参数是否为std::vector等容器实例？

要在泛型函数中根据参数类型执行不同逻辑，你可以通过**自定义类型特性（Type Traits）**结合C++17的constexpr if来实现，具体步骤如下：

1. 定义容器类型判断的Type Traits #

利用C++模板特化特性，为每个目标容器编写类型判断模板：

#include <vector>
#include <unordered_map>
#include <unordered_set>
#include <type_traits>

// 判断是否为std::vector
template <typename T>
struct is_vector : std::false_type {};

template <typename T, typename Alloc>
struct is_vector<std::vector<T, Alloc>> : std::true_type {};

template <typename T>
constexpr bool is_vector_v = is_vector<T>::value;

// 判断是否为std::unordered_map
template <typename T>
struct is_unordered_map : std::false_type {};

template <typename Key, typename Val, typename Hash, typename KeyEq, typename Alloc>
struct is_unordered_map<std::unordered_map<Key, Val, Hash, KeyEq, Alloc>> : std::true_type {};

template <typename T>
constexpr bool is_unordered_map_v = is_unordered_map<T>::value;

// 判断是否为std::unordered_set
template <typename T>
struct is_unordered_set : std::false_type {};

template <typename Key, typename Hash, typename KeyEq, typename Alloc>
struct is_unordered_set<std::unordered_set<Key, Hash, KeyEq, Alloc>> : std::true_type {};

template <typename T>
constexpr bool is_unordered_set_v = is_unordered_set<T>::value;

2. 在泛型函数中使用类型判断 #

在constexpr if条件中直接使用上述定义的变量模板，编译时就会完成分支选择：

template <typename T>
void function(const T& obj)
{
    if constexpr (is_vector_v<T>) {
        // 执行std::vector专属逻辑
        // 例如：遍历容器、获取元素个数等
        std::cout << "处理std::vector，元素数量：" << obj.size() << std::endl;
    }
    else if constexpr (is_unordered_map_v<T>) {
        // 执行std::unordered_map专属逻辑
        // 例如：遍历键值对
        std::cout << "处理std::unordered_map，键值对数量：" << obj.size() << std::endl;
        for (const auto& [key, val] : obj) {
            // 处理每个键值对
        }
    }
    else if constexpr (is_unordered_set_v<T>) {
        // 执行std::unordered_set专属逻辑
        std::cout << "处理std::unordered_set，元素数量：" << obj.size() << std::endl;
    }
    else {
        // 处理非目标容器类型的逻辑
        std::cout << "处理其他类型" << std::endl;
    }
}

补充说明 #

• 模板特化的原理是：当模板参数T匹配到对应容器的完整模板实例（比如std::vector<int>）时，特化版本的结构体继承std::true_type，否则继承std::false_type。
• 变量模板（如is_vector_v）是C++17的特性，用来简化代码，避免每次写is_vector<T>::value。
• 如果需要支持更多容器（如std::list、std::map），只需按照相同的模式添加对应的Type Traits即可。
• constexpr if确保分支判断在编译时完成，不会生成无效的代码分支，提升程序效率。

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