BTMC:重返Modern Cpp
内容提要
介绍了C++中的模板特化和智能指针的使用。模板特化可定制化模板以优化性能或实现不同行为。智能指针用于自动管理动态分配内存。
延伸解读
模板特化的实际价值
文章通过identity函数和Box类的例子，展示了模板特化如何针对特定类型改变行为。例如，为std::string特化identity函数，使其返回大写字符串；为int特化Box类，使其在set时自动加1。这种机制允许在保持通用接口的同时，为特定类型提供定制实现，从而优化性能或满足特殊需求。
智能指针的所有权模型
文章介绍了三种智能指针：unique_ptr独占所有权，shared_ptr共享所有权并通过引用计数管理生命周期，weak_ptr则用于观察shared_ptr管理的对象而不增加计数。这些工具能自动管理动态内存，避免泄漏。示例代码展示了它们的基本用法，如创建、共享、检查对象是否存活等。
友元运算符重载的陷阱
文章提到为模板类重载友元函数operator<<时可能遇到链接错误。原因是友元函数不属于类成员，若在类外实现时使用了template<class T>，必须先在类内单独声明该友元函数为模板，否则两次编译的函数签名不一致，导致链接失败。这是一个常见的实践细节。
Q&A
什么是C++中的模板特化？
模板特化是C++模板机制中的一个特性，允许针对特定数据类型定制模板，以优化性能或实现不同的行为。
如何为特定类型特化模板函数？
可以通过定义一个特化版本的模板函数，例如为std::string类型特化identity函数，使其返回大写字符串。
智能指针在C++中有什么作用？
智能指针用于自动管理动态分配内存，避免内存泄漏和手动管理内存带来的问题。
std::unique_ptr和std::shared_ptr有什么区别？
std::unique_ptr是独占所有权的智能指针，保证只有一个指针可以指向对象；而std::shared_ptr允许多个指针共享同一对象的所有权。
什么是完全特化和部分特化？
完全特化是为模板的所有参数指定特定类型，部分特化则只指定部分参数，通常用于多参数模板。
如何使用std::weak_ptr？
std::weak_ptr用于观察std::shared_ptr管理的对象，不增加引用计数，可以检查对象是否仍然存在。
