为什么拷贝构造函数的形参必须是引用类型？

复制构造函数只有一个参数,由于在创建时传入的是同种类型的对象,所以一个很自然的想法是将该类型的对象作为参数,像这样：
     Sample (Sample a);
     不幸的是,即使是这样朴实无华的声明也隐含了一个微妙的错误,呵,我们来看看：当某个时候需要以一个Sample对象的值来为一个新对象进行初始化时,编译器会在各个重载的构造函数版本(如果有多个的话)搜寻,它找到的这个版本,发现声明参数与传入的对象一致,因此该构造函数将会被调用。目前为止,一切都在我们的意料之中,但问题很快来了：该函数的参数我们使用了值传递的方式,按照前面的分析,这需要调用复制构造函数,于是编译器又再度搜寻,最后当然又找到了它,于是进行调用,但同样地,传参时又要进行复制,于是再调用...这个过程周而复始,每次都是到了函数入口处就进行递归,直到堆栈空间耗尽,程序崩溃...

由是观之,值传递看来是行不通的了;我想C语言的用户这时很快会反应到与值传递对应的方式：地址传递(传址),于是声明变为这样：
     Sample Sample *p);
     只作为一般的构造函数,它应该可以运行得很好,但别忘了我们要提供的是复制构造函数,它要求能够接受一个同类型对象,像这样：
     Sample a;
     Sample b(a);
     而不是接受指针：
     Sample a;
     Sample b(&a);   // 还要取地址?当然,它可以正确运行,但...
     虽然在初始化对象时可以像上面一样人为加一个取址符,但在函数参数表中(或者函数返回)进行值传递时,编译器可不知道在找不着合适定义的情况下牵就选择你的指针版本。

只有单个形参，而且该形参是对本类类型对象的引用(常用 const 修饰)，这样的构造函数称为复制

构造函数

复制构造函数可用于:
1. 根据另一个同类型的对象显式或隐式初始化一个对象
2. 复制一个对象，将它作为实参传给一个函数
3. 从函数返回时复制一个对象
4. 初始化顺序容器中的元素
5. 根据元素初始化式列表初始化数组元素

当用于类类型对象时，初始化的复制形式和直接形式有所不同：直接初始化直接调用与实参匹配的构

造函数，复制初始化总是调用复制构造函数

对于类类型对象，只有指定单个实参或显式创建一个临时对象用于复制时，才使用复制初始化

当形参或返回值为类类型时，由复制构造函数进行复制

如果没有为类类型数组提供元素初始化式，则将用默认构造函数初始化每个元素

如果我们没有定义复制构造函数，编译器就会为我们合成一个

与合成的默认构造函数不同，即使我们定义了其他构造函数，也会合成复制构造函数

合成复制构造函数的行为是，执行逐个成员初始化，将新对象初始化为原对象的副本

虽然一般不能复制数组，但如果一个类具有数组成员，则合成复制构造函数将复制数组，复制数组时

合成复制构造函数将复制数组的每一个元素


逐个成员初始化最简单的概念模型是，将合成复制构造函数看作这样一个构造函数：其中每个数据成

员在构造函数初始化列表中进行初始化

虽然也可以定义接受非 const 引用的复制构造函数，但形参通常是一个 const 引用

因为用于向函数传递对象和从函数返回对象，该构造函数一般不应设置为 explicit

有些类必须对复制对象时发生的事情加以控制，这样的类经常有一个数据成员是指针，或者有成员表

示在构造函数中分配的其他资源，而另一些类在创建新对象时必须做一些特定工作，这两种情况下，

都必须定义复制构造函数

为了防止复制，类必须显式声明其复制构造函数为 private

类的友元和成员仍可以进行复制，如果想要连友元和成员中的复制也禁止，就可以声明一个

(private)复制构造函数但不对其定义

一般来说，最好显式或隐式定义默认构造函数和复制构造函数，只有不存在其他构造函数时才合成默

认构造函数。如果定义了复制构造函数，也必须定义默认构造函数

Cpp代码 
#include <iostream>   
#include <string>   
#include <fstream>   
#include <vector>   
using namespace std;   
  
struct NoName {   
        NoName(): pstring(new string), i(0), d(0) { }   
        NoName(const NoName& noName): i(noName.i), d(noName.d)   
        {   
                *pstring = *(noName.pstring);                 
        }   
private:   
         string *pstring;   
        int     i;   
        double d;   
};   
  
class Foo {   
     public:   
         Foo();           // default constructor   
         Foo(const Foo&); // copy constructor   
        // ...   
};   
  
int main()   
{   
     string null_book = "9-999-99999-9"; // copy-initialization   
     string dots(10, '.');               // direct-initialization   
       
     string empty_copy = string();       // copy-initialization   
     string empty_direct;                // direct-initialization   
  
     ifstream file1("filename"); // ok: direct initialization   
    //ifstream file2 = "filename";   error: copy constructor is private   
       
    // default string constructor and five string copy constructors invoked   
     vector<string> svec(5);   
  
    return 0;   
}  

转自http://hi.baidu.com/laoningln/blog/item/59b26e3e2fec3bff838b132d.html