std::shared_ptr 模板化与非模板化复制/移动构造函数

Question

This page 显示std::shared_ptr 具有模板化和非模板化版本的复制/移动构造函数（页面上的 (9) 和 (10)）。同样，它也有两个版本的复制/移动赋值运算符（参见here）。

为什么我们需要非模板版本？单独的模板版本不够吗？

Answer 1

模板版本不是复制构造函数。根据标准 §12.8[class.copy]/2 我们有：

类 X 的非模板构造函数是复制构造函数，如果它的第一个参数是类型 X&、const X&、volatile X& 或 const volatile X&，并且要么没有其他参数，要么所有其他参数都有默认参数 ( 8.3.6)。

同样，根据 §12.8[class.copy]/17，模板化版本也不是复制赋值运算符：

用户声明的复制赋值运算符 X::operator= 是 X 类的非静态非模板成员函数，只有一个 X、X&、const X&、volatile X& 或 const volatile X& 类型的参数。

对于移动构造函数也是如此（在 §12.8[class.copy]/3）：

类 X 的非模板构造函数是移动构造函数，如果其第一个参数类型为 X&&、const X&&、volatile X&& 或 const volatile X&&，并且要么没有其他参数，要么所有其他参数都有默认参数(8.3.6)。

并移动赋值运算符，见 §12.8[class.copy]/19：

用户声明的移动赋值运算符 X::operator= 是类 X 的非静态非模板成员函数，只有一个 X&&、const X&&、volatile X&& 或 const volatile X&& 类型的参数。