C++中的模板特化是什么？（代码示例）-C++-PHP中文网

模板特化是C++为特定类型提供专门实现的机制，分为全特化（所有参数具体化）和偏特化（仅部分参数固定，仅类模板支持）；变量模板可全特化，别名模板需间接特化；特化不参与SFINAE，错误即硬错误。

c++中的模板特化是什么？（代码示例）

模板特化是C++中为特定类型（或一组类型）提供专门实现的机制，它让通用模板在遇到某些具体类型时，能绕过默认版本，改用更合适、更高效或语义更准确的定制代码。

全特化：为某个具体类型完全重写模板

全特化针对模板所有参数都给出具体类型。编译器会优先选择全特化版本，而不是泛型版本。

template<typename t>
struct Print {
    static void value(const T& t) { std::cout // 全特化：针对 const char<em>
template
struct Print<const char>> {
static void value(const char* s) { std::cout <p>// 全特化：针对 int
template
struct Print<int> {
static void value(int n) { std::cout </int></p></const></em></typename>

使用示例：

Print<double>::value(3.14);        // Generic: 3.14
Print<const char>::value("hi"); // C-string: hi
Print<int>::value(255);          // Integer (hex): 0xff
</int></const></double>

偏特化：只固定部分参数，适用于类模板

函数模板不支持偏特化（只能全特化），但类模板可以。偏特化常用于处理指针、引用、容器内部类型等模式。

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

template<typename t>
struct IsPointer {
    static constexpr bool value = false;
};
<p>// 偏特化：匹配所有 T<em> 类型
template<typename t>
struct IsPointer<t>> {
static constexpr bool value = true;
};</t></typename></em></p>
<p>// 偏特化：匹配 const T<em>（注意：这是另一个独立偏特化）
template<typename t>
struct IsPointer<const t>> {
static constexpr bool value = true;
};
</const></typename></em></p></typename>

用法：

static_assert(IsPointer<int>::value == true);
static_assert(IsPointer<double>::value == false);
</double></int>

变量模板和别名模板也能特化

C++14起支持变量模板，同样可全特化；C++11起的别名模板（using）虽不能直接特化，但可通过特化其依赖的类模板间接实现。

// 变量模板全特化
template<typename t>
constexpr bool is_integral_v = std::is_integral_v<t>;
<p>template
constexpr bool is_integral_v<char16_t> = true; // 手动补充（实际标准已定义）</char16_t></p>
<p>// 别名模板间接特化示例
template<typename t>
struct MakeSignedHelper { using type = typename std::make_signed<t>::type; };</t></typename></p>
<p>template
struct MakeSignedHelper<bool> { using type = signed char; }; // 特化处理 bool</bool></p>
<p>template<typename t>
using make_signed_t = typename MakeSignedHelper<t>::type;
</t></typename></p></t></typename>