DISALLOW_COPY_AND_ASSIGN & DISALLOW_IMPLICIT_CONSTRUCTORS.

论坛 期权论坛 脚本     
已经匿名di用户   2022-7-2 21:58   1555   0

两个有用的宏:“禁止类成员复制”以及“禁止隐式构造”

禁止类成员复制,其核心就在于不允许类外部看见复制函数,包括“拷贝构造函数”、“operator =重载”。

#define DISALLOW_COPY_AND_ASSIGN(TypeName) \
private:                     \
TypeName(const TypeName&);               \
TypeName& operator=(const TypeName&)
禁止隐式构造,则可以将默认构造函数隐藏起来,在大多数编译器中也可以对构造函数增加explicit关键字来避免隐式构造。
#define DISALLOW_IMPLICIT_CONSTRUCTORS(TypeName) \
private:                     \
TypeName();                                    \
DISALLOW_COPY_AND_ASSIGN(TypeName)

更多解释详见《More Effective C++》


http://www.cnblogs.com/dwdxdy/archive/2012/07/16/2594113.html


有时候,进行类体设计时,会发现某个类的对象是独一无二(i.e. Singleton)的,没有完全相同的对象,也就是对该类对象做副本没有任何意义.

因此,需要限制编译器自动生动的拷贝构造函数和赋值构造函数.一般参用下面的宏定义的方式进行限制,代码如下:

复制代码
// A macro to disallow the copy constructor and operator= functions 
// This should be used in the priavte:declarations for a class
#define    DISALLOW_COPY_AND_ASSIGN(TypeName) \
    TypeName(const TypeName&);                \
    TypeName& operator=(const TypeName&)

class Test {
public:
    Test(int t);
    ~Test();
private:
    DISALLOW_COPY_AND_ASSIGN(Test);
};
复制代码

声明私有的拷贝构造函数和赋值构造函数,但不去定义实现它们,有三方面的作用

1.声明了拷贝构造函数和赋值函数,阻止了编译器暗自创建的专属版本.

2.声明了private,阻止了外部对它们的调用.

3.不定义它们,可以保证成员函数和友元函数调用它们时,产生一个连接错误.

上述解决方法,面对在成员函数和友元函数企图拷贝对象时,会产生连接器错误.

遵循错误发现越早越好的原则,我们希望将连接期错误移至编译期

解决思路是:设计一个专门为了阻止copying动作(包含copy和assign)而设计的基类

复制代码
class Uncopyable {
protected:
    Uncopyable() {}
    ~Uncopyable() {}
private:
    Uncopyable(const Uncopyable&);
    Uncopyable& operator=(const Uncopyable&);
};
class Test:private Uncopyable{
...                            //class不再声明copy构造函数或copy assignment操作符
};
复制代码

如上述代码,当任何人(包括member函数或friend函数)尝试拷贝Test对象时,编译器便试着生成一个copy构造函数和一个copy assignment操作符.

编译器自动生成这些函数时,会调用其基类的对应函数,而基类中这些函数是private,因而那些调用会被编译器拒绝,产生编译器错误.

像Uncopyable这样的基类,没有non-static成员变量,没有virtual函数,也没有virtual base classes,可以满足空白基类最优化的条件(empty base optimization)

这类基类的派生类,不会继承的关系而产生多余的空间存储.

class Empty {};
class HoldsAnInt:private empty {
private:
    int x;
};
sizeof(HoldsAnInt) == sizeof(int)

这种解决方法不足之处是会导致多重继承,而多重继承有时会阻止empty base optimization,将会引入多余的空间存储.

启发:针对具体的应用,其类的用途和性质要分析清楚,从而选择更合适的设计方法.

设计的过程,就是一个权衡的过程,有时候这种方法好,有时候另一种方法好,需要与具本应用结合,从而折中选择.

参考资料:Effective C++


分享到 :
0 人收藏
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

积分:81
帖子:4969
精华:0
期权论坛 期权论坛
发布
内容

下载期权论坛手机APP