C++ 复制控制

标签：c++   复制控制   

1. 当对于类类型对象时，初始化的复制形式和直接形式有所不同：直接初始化直接调用与实参匹配的构造函数，复制初始化总是调用复制构造函数。复制初始化首先使用指定构造函数创建一个临时对象，然后用复制构造函数将那个临时对象复制到正在创建的对象。
2. 对于vector<string> svec(5);编译器首先使用string默认构造函数创建一个临时值来初始化svec，然后使用复制构造函数将临时值复制到svec的每一个元素
3. 有些类需要完全禁止复制。例如，iostream类就不允许复制，如果想要禁止复制，似乎可以省略复制构造函数，然而，如果不定义复制构造函数，编译器将合成一个。所以，为了防止复制，类必须显示声明其复制构造函数为private。如果复制构造函数是私有的，将不允许用户代码复制该类类型的对象，编译器将拒绝任何进行复制的尝试。然而，类的友元和成员仍可以进行复制。如果想要连友元和成员中的复制也禁止，就可以声明一个private复制构造函数但不对其定义。声明而不定义成员函数是合法的，但是，使用未定义成员的任何尝试将导致链接失败。通过声明（但不定义）private复制构造函数，可以禁止任何复制类类型对象的尝试：用户代码中的复制尝试将在编译时标记为错误，而成员函数和友元中的复制尝试将在链接时导致错误。
4. 类可以定义自己的赋值操作符，一般而言，如果类需要复制构造函数，它也会需要赋值操作符。实际上，应将这两个操作符看做一单元。如果需要其中一个，我们几乎也肯定需要另一个。
5. 动态分配的对象只有在指向该对象得指针被删除时才撤销资源。如果没有删除指向动态对象的指针，则不会运行该对象的析构函数，对象就一直存在，从而导致内存泄露，而且，对象内部是使用的任何资源也不会释放。撤销一个容器（不管是标准库容器还是内置数组）时，也会运行容器中得类类型元素的析构函数，容器中的元素总是按逆序撤销的，首先撤销下标为size()-1的元素，然后。。。直到下标为0的元素。
6. 如果类需要析构函数，则它也需要赋值操作符和复制构造函数，这是一个有用的经验法则。
7. 与复制构造函数或者赋值操作符不同，编译器总是会为我们合成一个析构函数，合成析构函数按对象创建时的逆序撤销每个非static成员，因此，它按成员在类中声明次序的逆序撤销成员，对于类类型的每个成员，合成析构函数调用该成员的析构函数来撤销对象。
8. 虽然可以为一个类定义多个构造函数，但不能重载析构函数，只能提供一个析构函数，应用于类的所有对象。析构函数与复制构造函数或赋值操作符之间的一个重要的区别是，即使我们编写了自己的析构函数，合成的析构函数仍然运行。先进行用户定义的析构函数，再进行合成析构函数。
9. 复制操作符首先要检查对象是否相同，赋值时需要删除左操作数，并在撤销左操作数的成员后，将右操作数的成员赋值给左操作数的相应成员，如果对象是相同的，则撤销左操作数的成员也将撤销右操作数的成员。即使对象赋值给自己，赋值操作符的正确工作也非常重要，保证这个行为的通用方法是显示检查对自身的赋值。
10. 分配内存或其他资源的类几乎总是需要定义复制控制成员来管理所分配的资源，如果一个类需要析构函数，则它几乎也总是需要定义复制构造函数和赋值操作符。
11. 赋值操作符可以重载，对将某个类类型对象赋值给另一同类型对象的含义进行定义。赋值操作符类的成员并且必须返回对所属类对象的引用。如果类没有定义赋值操作符，则编译器将会合成一个。

C++ 复制控制

标签：c++   复制控制   

原文地址：http://blog.csdn.net/wdkirchhoff/article/details/43486415