构造/析构/赋值运算

条款05:了解C++默默编写并调用哪些函数

  如果我们写了一个空类:

class Empty { };

  编译器会为这个类添加一些default的函数,相当于:

class Empty {
public:
    Empty() { ... }                                //default构造函数
    Empty(const Empty& rhs) { ... }                //copy构造函数
    ~Empty() { ... }                               //析构函数
    Empty & operator=(const Empty& rhs) { ... }    //copy assigment操作符
}; 

  其中,编译器创建的copy构造函数和copy assigment操作符只是单纯地将来源对象的每一个non-static成员变量拷贝到目标变量。编译器创建的copy assigment操作符与copy构造函数行为上基本相同,但一般只有生成的代码合法而且有适当机会证明它有意义时,编译器才会创建copy assigment操作符。例如类中有const或者引用的字段时,往往编译器会拒绝创建copy assigment操作符。

  如果我们为类声明了构造函数,则编译器不再给类添加default构造函数。

条款6:若不想使用编译器自动生成的函数,就应该明确拒绝

  如果不想使用default构造函数和析构函数,我们可以通过声明构造函数和析构函数来拒绝。

  但是如果不想使用copy构造函数和copy assigment操作符,例如,我们不允许一下操作:

Object a1;
Object a2;
Object a3(a1);     //不允许该操作
Object a2 = a1;    //不允许该操作

  如何才能拒绝上面两种情况呢?

  一种方法是将copy构造函数和copy assigment操作符声明为private,这样外部就无法调用到这两个方法,编译器也不会自己添加。但是用户member函数或friend函数还是有可能调用到这两个方法,所以我们可以只声明这两个方法而不实现,如果不慎调用到,会获得一个连接错误(Link Error)。

  另一种方法甚至可以将可能的连接错误提前到编译期,做法定义一个Uncopyable的基类,这个类中按上一种方法声明,而其他的想阻止对象copy的类只需要继承该基类就可以了:

class Uncopyable {
protect:
    Uncopyable () {}
    ~Uncopyable () {}
private:
    Uncopyable(const Uncopyable&);
    Uncopyable& operator=(const Uncopyable&);
};

//其他类只需要继承Uncopyable即可
class NewClass : private Uncopyable {
    ...
};
时间: 2024-10-12 17:09:44

构造/析构/赋值运算的相关文章

Effective C++笔记:构造/析构/赋值运算

条款05:了解C++默默编写并调用哪些函数 默认构造函数.拷贝构造函数.拷贝赋值函数.析构函数构成了一个类的脊梁,只有良好的处理这些函数的定义才能保证类的设计良好性. 当我们没有人为的定义上面的几个函数时,编译器会给我们构造默认的. 当成员变量里有const对象或引用类型时,编译器会不能合成默认的拷贝赋值函数:当一个基类把它的拷贝赋值函数定义为private时,它的派生类也不无生成默认的拷贝赋值函数,因为它无法完成基类成份的赋值. 条款06:若不想使用编译器自动生成的函数,就该明确拒绝 将拷贝构

《Effective C++》第2章 构造/析构/赋值运算(2)-读书笔记

章节回顾: <Effective C++>第1章 让自己习惯C++-读书笔记 <Effective C++>第2章 构造/析构/赋值运算(1)-读书笔记 <Effective C++>第2章 构造/析构/赋值运算(2)-读书笔记 <Effective C++>第8章 定制new和delete-读书笔记 条款09:绝不在构造和析构过程中调用virtual函数 你不该在构造和析构函数期间调用virtual函数,因为这样的调用不会带来你预期的结果. (1)在der

《Effective C++》第2章 构造/析构/赋值运算(1)-读书笔记

章节回顾: <Effective C++>第1章 让自己习惯C++-读书笔记 <Effective C++>第2章 构造/析构/赋值运算(1)-读书笔记 <Effective C++>第8章 定制new和delete-读书笔记 条款05:了解C++默默编写并调用哪些函数 当C++处理过一个空类后,编译器就会为其声明(编译器版本的):一个拷贝构造函数.一个拷贝赋值运算符和一个析构函数.如果你没有声明任何构造函数,编译器还会声明一个默认构造函数.所有这些函数都被声明为pub

[Effective C++]构造/析构/赋值运算

条款05:了解C++默默编写了并调用了那些函数 请记住: 编译器可以暗自为class 创建default构造函数,copy构造函数,copy assignment 操作符,以及析构函数 class Empty { public: Empty(){...} //default constructor Empty(const Empty& rhs){...} //copy constructor ~Empty(){...} //destructor Empty& operator=(const

Effective C++ 笔记二 构造/析构/赋值运算

条款05:了解C++默默编写并调用哪些函数 编译器默认声明一个default构造函数.一个copy构造函数.一个copy assignment操作符和一个析构函数.这些函数都是public且inline. 1 class Empty { 2 public: 3 Empty() {...} 4 Empty(const Empty& rhs) {...} 5 ~Empty() {...} 6 Empty& operator=(const Empty& rhs) {...} 7 }; 如

【Effective C++】构造/析构/赋值运算

条款05:了解C++默默编写并调用哪些函数 默认构造函数.拷贝构造函数.拷贝赋值函数.析构函数构成了一个类的脊梁,只有良好的处理这些函数的定义才能保证类的设计良好性. 当我们没有人为的定义上面的几个函数时,编译器会给我们构造默认的. 当成员变量里有const对象或引用类型时,编译器会不能合成默认的拷贝赋值函数:当一个基类把它的拷贝赋值函数定义为private时,它的派生类也不无生成默认的拷贝赋值函数,因为它无法完成基类成份的赋值. 条款06:若不想使用编译器自动生成的函数,就该明确拒绝 将拷贝构

Effective C++ -- 构造析构赋值运算

05.了解C++默默编写并调用哪些函数 编译产生的析构函数时non-virtual,除非这个类的基类析构函数为virtual 成员变量中有引用和const成员时,无法自动生成copy assignment函数 基类将copy assignment操作符声明为private时,编译器拒绝为其derived classes生成一个copy assignment操作符. 06.若不想使用编译器自动生成的函数,就该明确拒绝 将自动生成的默认构造函数,拷贝构造函数,copy assignment声明为pr

Effective C++ 02构造/析构/赋值运算(待续)

条款05:了解C++默默编写并调用哪些函数 如果你自己没声明,编译器就会为类声明(编译器版本的)一个拷贝构造函数,一个拷贝赋值操作符和一个析构函数. 此外如果你没有声明任何构造函数,编译器也会成为你声明一个默认构造函数.所有这些函数都是public且inline. 惟有当这些函数被需要(被调用),它们才会被编译器创建出来.即有需求,编译器才会创建它们. 请记住: 编译器可以暗自为类创建默认构造函数.拷贝构造函数.拷贝赋值操作符,以及析构函数. 条款06:若不想使用编译器自动生成的函数,就该明确拒

Effective C++笔记(二):构造/析构/赋值运算

参考:http://www.cnblogs.com/ronny/p/3740926.html 条款05:了解C++默默编写并调用哪些函数 如果自定义一个空类的话,会自动生成默认构造函数.拷贝构造函数.拷贝赋值函数.析构函数(再次感觉原文翻译的实在是太啰嗦了!). 当成员变量里有const对象或引用类型时,编译器会不能合成默认的拷贝赋值函数:当一个基类把它的拷贝赋值函数定义为private时,它的派生类 也不能生成默认的拷贝赋值函数,因为它无法完成基类成份的赋值. 条款06:若不想使用编译器自动生

Effective C++ —— 构造/析构/赋值运算(二)

条款05 : 了解C++默默编写并调用哪些函数 水电费 条款02 : 尽量以const,enum,inline 替换#define 水电费 条款02 : 尽量以const,enum,inline 替换#define 水电费 条款02 : 尽量以const,enum,inline 替换#define 水电费