C++中的类拷贝构造函数和模板拷贝构造函数

原文转载 http://biancheng.dnbcw.info/c/199780.html

 

类（包括模板类）构造函数是真实的构造函数；然而模板构造函数，其实质是模板函数。两者不能混为一谈。在一个模板类中，构造函数和模板构造函数同时存在时，优先调用构造函数。只有当确切符合模板构造函数的接口时，才调用模板构造函数。编译器永远不会把模板构造函数视为构造函数，即使客户没有自己定义拷贝构造函数，编译器也会生成一个默认的拷贝构造函数，这种情况同样存在于拷贝赋值函数和模板拷贝赋值函数。请看下面的例子：
#include <iostream>
using namespace std;
template <typename T>
class TempClass{
public:
    T d;
    //两个构造函数，其中第二个是拷贝构造函数
    TempClass<T>(T _d=0):d(_d){cout<<"This is TempClass Constructor1. "<<endl;};
    TempClass<T>(TempClass<T> &_tmp):d(_tmp.d){cout<<"This is TempClass Constructor2. "<<endl;};
   
    template <typename O> //模板构造函数
    TempClass<T>(TempClass<O> &_tmp):d(_tmp.d){cout<<"This is a template constructor, not a TempClass Constructor."<<endl;};
};
int main()
{
    TempClass<int> a;
    TempClass<int> b(a); //调用拷贝构造函数，即使在该模板类中用户没有自定义该函数，编译器也会生成一个默认拷贝构造函数。因为编译器永远不会认为一个模板构造函数是一个构造函数
   
    TempClass<double> c(a); //调用模板拷贝构造函数
   
    return 0;
}
输出结果是：
>This is TempClass Constructor1.
>This is TempClass Constructor2.
>This is a template constructor, not a TempClass Constructor.
PS：具体可以参考《Exceptional C++》之Item5