如何基于Trait结果特化模板类？C++技术问询

你的问题出在偏特化的写法上：直接用std::enable_if_t作为模板参数的特化方式会和主模板冲突——当条件满足时，std::enable_if_t<std::is_integral_v<T>, T>等价于T，编译器无法区分这个特化和主模板的traits<T>。下面是两种可行的实现方案：

方案一：兼容C++11及以上版本（扩展主模板） #

先修改主模板，添加一个默认值为void的额外模板参数，通过SFINAE机制实现条件匹配：

enum class BasicType
{
    UNKNOWN,
    PRIMITIVE,
    OBJECT
};

// 主模板，新增第二个默认参数
template <typename T, typename = void>
struct traits
{
    static constexpr BasicType type = BasicType::UNKNOWN;
};

// 特化所有整数类型
template <typename T>
struct traits<T, std::enable_if_t<std::is_integral_v<T>>>
{
    static constexpr BasicType type = BasicType::PRIMITIVE;
};

// 示例：特化std::string为OBJECT类型
template <typename T>
struct traits<T, std::enable_if_t<std::is_same_v<T, std::string>>>
{
    static constexpr BasicType type = BasicType::OBJECT;
};

原理：当第二个模板参数的std::enable_if_t条件满足时，会推导为void，从而匹配对应的偏特化；不满足时则使用主模板的默认void参数，走UNKNOWN分支。

方案二：C++20及以上版本（使用requires子句） #

如果你的开发环境支持C++20，直接用requires子句写条件偏特化，无需修改原主模板，写法更直观：

enum class BasicType
{
    UNKNOWN,
    PRIMITIVE,
    OBJECT
};

// 原主模板保持不变
template <typename T>
struct traits
{
    static constexpr BasicType type = BasicType::UNKNOWN;
};

// 特化所有整数类型
template <typename T>
requires std::is_integral_v<T>
struct traits<T>
{
    static constexpr BasicType type = BasicType::PRIMITIVE;
};

// 示例：特化所有类类型为OBJECT
template <typename T>
requires std::is_class_v<T>
struct traits<T>
{
    static constexpr BasicType type = BasicType::OBJECT;
};

这种方式直接在偏特化模板上添加约束条件，编译器会自动匹配满足条件的类型，逻辑更清晰。

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