复制构造函数

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

构造函数

 

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

 

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

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

 

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

 

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

 

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

 

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

 

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

 

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

 

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

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

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

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

 

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

 

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

 

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

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

都必须定义复制构造函数

 

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

 

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

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

 

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

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

 

 #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;
}

 

 

为什么不以置为 explicit?
返回对象又是何意呢?