C++ -- 泛型编程

泛型编程是一种编程范式 ‌，其核心是通过参数化类型来编写可复用、类型安全的代码，使得同一段算法或数据结构能适用于多种数据类型。

它最早由 Alexander Stepanov 和 David Musser 在 1989 年提出，初衷是为 C++ 构建高效的通用容器库（如 STL）。泛型编程的关键机制是将类型作为参数传入模板，从而在编译时生成针对具体类型的代码，避免重复实现相似逻辑。

核心优势

‌代码复用‌：一次编写，多种类型使用。
‌类型安全‌：编译时检查类型，避免运行时类型转换错误。
‌性能提升‌：对值类型可避免装箱和拆箱操作，提高执行效率。
‌清晰意图‌：代码逻辑更明确，减少强制转换。

应用：STL 中的 vector<T>、map<T>

模板特化（Specialization）

当通用模板逻辑不适用于某些特定类型时，可以使用特化提供定制实现。分为全特化（所有参数确定）和偏特化（部分参数确定或对参数进行限制）。

‌全特化‌：为特定类型组合提供完全不同的实现。
‌偏特化‌：常用于类模板，针对指针、引用或特定类别的类型提供优化或修正逻辑。
‌建议‌：函数模板通常优先使用重载而非特化，因为重载解析规则更直观；类模板则广泛使用特化来适配不同数据结构。

cpp 复制代码

#include <iostream>
#include <cstring>
#include <string>

// 基础模板：通用比较
template<typename T>
bool IsEqual(const T& a, const T& b) 
{
    std::cout << "Using generic template" << std::endl;
    return a == b;
}

// 全特化：针对 const char* 使用 strcmp 比较内容而非地址
template<>
bool IsEqual<const char*>(const char* const& a, const char* const& b) 
{
    std::cout << "Using specialized template for const char*" << std::endl;
    if (!a || !b) return a == b;
    return std::strcmp(a, b) == 0;
}

int main() 
{
    int x = 10, y = 10;
    std::cout << std::boolalpha << IsEqual(x, y) << std::endl;

    const char* str1 = "Hello";
    const char* str2 = "Hello";
    // 调用特化版本，比较字符串内容
    std::cout << IsEqual(str1, str2) << std::endl;

    return 0;
}

std::boolalpha 是 C++ 标准库中的一个 ‌I/O 操纵符（Manipulator） ‌，主要用于控制布尔值（bool）在输入输出流中的显示格式。

它的核心作用是：‌**将布尔值的默认数字表示（0/1）切换为文本表示（"false"/"true"）。**‌

1. 为什么需要它？

在 C++ 中，bool 类型本质上是一种整数类型。默认情况下：

true 被输出为 ‌1‌
false 被输出为 ‌0‌

这在调试或日志记录时往往不够直观。使用 std::boolalpha 后，程序会直接输出单词 "true" 或 "false"，大大提高了代码的可读性。

2. 基本用法

你需要包含头文件 <iostream>

cpp 复制代码

#include <iostream>

int main() 
{
    bool isReady = true;
    bool isError = false;

    // 默认行为：输出数字
    std::cout << "默认: " << isReady << ", " << isError << std::endl; 
    // 输出: 默认: 1, 0

    // 启用 boolalpha：输出文本
    std::cout << std::boolalpha;
    std::cout << "启用后: " << isReady << ", " << isError << std::endl;
    // 输出: 启用后: true, false

    // 恢复默认行为：使用 noboolalpha
    std::cout << std::noboolalpha;
    std::cout << "恢复后: " << isReady << ", " << isError << std::endl;
    // 输出: 恢复后: 1, 0

    return 0;
}

输入示例

std::boolalpha 同样适用于输入流（如 std::cin）。

‌未启用时 ‌：只能输入 0 或 1。输入其他数字或非数字字符可能导致失败或被视为 false。
‌启用后 ‌：可以输入字符串 "true" 或 "false"（不区分大小写，取决于 locale，通常支持 "true"/"false"）。

3. 关键特性与注意事项

‌状态持久性 ‌：
std::boolalpha 是一个‌状态标志 ‌。一旦你在流中使用了它，该流后续所有的 bool 输出都会保持文本格式，直到你显式地使用 std::noboolalpha 将其关闭。它不会自动重置。
‌仅影响 bool 类型 ‌：

它只改变 bool 类型的输出行为，对 int、char 等其他类型没有影响。
‌配合 std::noboolalpha 使用 ‌：

如果你希望在程序的某一部分输出文本格式的布尔值，而在另一部分恢复为数字格式，务必使用 std::noboolalpha 进行切换。
‌底层原理 ‌：

它实际上是调用了流的 setf(std::ios_base::boolalpha) 方法设置格式标志位。std::noboolalpha 则调用 unsetf 清除该标志。

总结

‌**std::boolalpha** ‌：让 cout << true 输出 "true"。
‌**std::noboolalpha** ‌：让 cout << true 输出 1（默认行为）。
‌用途‌：提升日志、调试信息和用户交互界面的可读性。