C++11如何基于is_trivial特化模板类且保留指针单独特化

我们可以通过类模板偏特化结合C++11的类型traits实现需求：先定义主模板作为默认 fallback，再针对非指针的平凡类型做偏特化，最后单独为指针类型写特化（指针本身属于平凡类型，但需要单独处理）。

完整代码示例 #

#include <type_traits>
#include <iostream>
#include <string>

// 主模板：默认实现，匹配非平凡/非指针类型
template<typename T, typename = void>
class A {
public:
    A() { std::cout << "General template\n"; }
};

// 偏特化：匹配所有非指针的平凡类型
template<typename T>
class A<T, typename std::enable_if<
    std::is_trivial<T>::value && !std::is_pointer<T>::value
>::type> {
public:
    A() { std::cout << "Trivial (non-pointer) specialization: " << typeid(T).name() << "\n"; }
};

// 单独特化：匹配所有指针类型（指针本身是平凡类型，优先级高于上面的偏特化）
template<typename T>
class A<T*> {
public:
    A() { std::cout << "Pointer specialization: " << typeid(T*).name() << "\n"; }
};

// 测试用例
int main() {
    A<int> a_int;          // 命中平凡非指针特化
    A<float> a_float;      // 命中平凡非指针特化
    A<int*> a_int_ptr;     // 命中指针特化
    A<std::string> a_str;  // 命中主模板（std::string非平凡）
    A<char*> a_char_ptr;   // 命中指针特化
    return 0;
}

关键细节说明 #

• 主模板：当类型既不是平凡非指针，也不是指针时，会触发这个默认实现。
• 平凡类型偏特化：利用std::enable_if结合std::is_trivial<T>::value筛选平凡类型，同时通过!std::is_pointer<T>::value排除指针，避免和指针特化冲突。C++11的SFINAE规则会保证只有条件满足时，这个偏特化才会被选中。
• 指针特化：直接针对T*做偏特化，它的匹配优先级高于平凡类型的偏特化，因此即使指针属于平凡类型，也会优先使用这个特化版本。

替换原有代码 #

如果你之前写了针对int的单独特化：

template<>
class A<int> {
    // int特化的实现
};

现在只需要把这段代码替换成上面的平凡类型偏特化，就能自动覆盖所有像int、float、bool、普通平凡结构体这类非指针的平凡类型，无需逐个编写特化。

注意事项 #

• 必须包含<type_traits>头文件，因为要用到std::is_trivial、std::is_pointer和std::enable_if。
• C++11中std::is_trivial会将指针识别为平凡类型，因此必须显式排除指针，才能让指针特化生效。

内容的提问来源于stack exchange，提问作者Алексей Фамилия