28、C++ 智能指针与元组的深入解析

C++ 智能指针与元组的深入解析

1. 智能指针

智能指针模板是继容器模板之后，模板的第二大常见应用。不过，其具体细节并不那么直观。

1.1 计数指针比较运算符

下面是一个用于比较计数指针的运算符重载函数：

inline
bool operator== (CountingPtr<T1,CP,OP> const& cp1,
CountingPtr<T2,CP,OP> const& cp2)
{
    return cp1.operator->() == cp2.operator->();
}

这个类外运算符是一个模板，它允许我们比较不同类型的计数指针。其实现展示了从 CountingPtr 中提取封装的内置指针的可能性。但这里显式调用 operator-> 比较特殊，这暗示着可能存在潜在的不安全操作。

另外还有两个非模板运算符，由于它们仍依赖模板参数，所以必须在类内以友元定义的方式实现。因为是非模板的，所以普通的隐式类型转换适用于它们的参数，包括将零隐式转换为空指针值。

1.2 智能指针相关补充

C++ 标准库中有一个智能指针模板 auto_ptr ，它的用途与 Holder/Trule 模板对类似，但通过利用 C++ 重载规则中在变量初始化上下文中有争议的部分，避免了使用第二个模板。

此外，还有其他智能指