首页 技术 正文
技术 2022年11月6日
0 收藏 345 点赞 303 浏览 1965 个字

C++ 空类,默认产生哪些成员函数。

    默认构造函数、默认拷贝构造函数、默认析构函数、默认赋值运算符 这四个是我们通常大都知道的。但是除了这四个,还有两个,那就是取址运算符和 取址运算符 const

即总共有六个函数

    一个示例如下:

   1: class Empty

   2:  

   3: {

   4:  

   5:   public:

   6:  

   7:       Empty(); // 缺省构造函数

   8:  

   9:       Empty( const Empty& ); // 拷贝构造函数

  10:  

  11:       ~Empty(); // 析构函数

  12:  

  13:        Empty& operator=( const Empty& ); // 赋值运算符

  14:  

  15:        Empty* operator&(); // 取址运算符

  16:  

  17:        const Empty* operator&() const; // 取址运算符 const

  18:  

  19: };

  但是,C++默认生成的函数,只有在被需要的时候,才会产生。即当我们定义一个类,而不创建类的对象时,就不会创建类的构造函数、析构函数等。

 

1.对于一个类X,如果一个构造函数的第一个参数是下列之一

    a) X&

    b) const X&

    c) volatile X&

    d) const volatile X&

    且没有其他参数或其他参数都有默认值,那么这个函数是拷贝构造函数

    X::X(const X&); //是拷贝构造函数

    X::X(X&, int=1); //是拷贝构造函数

 

2.类中可以存在超过一个拷贝构造函数,

class X {

public:

      X(const X&);

      X(X&);            // OK

};

注意,如果一个类中只存在一个参数为X&的拷贝构造函数,那么就不能使用const X或volatile X的对象实行拷贝初始化。

class X {

public:

     X();

     X(X&);

};

const X cx;

        X x = cx;    // error

    如果一个类中没有定义拷贝构造函数,那么编译器会自动产生一个默认的拷贝构造函数。

    这个默认的参数可能为X::X(const X&)或X::X(X&),由编译器根据上下文决定选择哪一个。

 

测试代码如下:

   1: #include <iostream>

   2: using namespace std;

   3:  

   4: class X {

   5:   public:

   6:     X() { cout << "X()" << endl;}

   7:     X(X& x, int a = 1) {cout << "X(X&)" << endl;}

   8:     X(const X& x) {cout << "const X(X&)" << endl;}

   9:     X(volatile X& x) {cout << "volatile X(X&)" << endl;}

  10: };

  11:  

  12: int main(int argc, char** argv) {

  13:   X x1;

  14:   X x2(x1);

  15:   const X x3;

  16:   X x4(x3);

  17:   volatile X x5;

  18:   X x6(x55;

  19:   return 0;                                                                                                               

  20: }

运行结果:

C++ 空类,默认产生哪些成员函数

而如果注释掉上面的8 和9行(即取消const 和volatile 拷贝构造函数),会编译错误,如下:

C++ 空类,默认产生哪些成员函数

    默认拷贝构造函数的行为如下:

    默认的拷贝构造函数执行的顺序与其他用户定义的构造函数相同,执行先父类后子类的构造。

    拷贝构造函数对类中每一个数据成员执行成员拷贝(memberwise Copy)的动作。

    a)如果数据成员为某一个类的实例,那么调用此类的拷贝构造函数。

    b)如果数据成员是一个数组,对数组的每一个执行按位拷贝。

    c)如果数据成员是一个数量,如int,double,那么调用系统内建的赋值运算符对其进行赋值。

    3. 拷贝构造函数不能由成员函数模版生成。

struct X

{

              template<typename T>

              X( const T& );    // NOT copy ctor, T can’t be X

       template<typename T>

              perator=( const T& ); // NOT copy ass’t, T can’t be X

        };

        原因很简单,成员函数模版并不改变语言的规则,而语言的规则说,如果程序需要一个拷贝构造函数而你没

有声明它,那么编译器会为你自动生成一个。所以成员函数模版并不会阻止编译器生成拷贝构造函数, 赋值运算

符重载也遵循同样的规则。(参见Effective C++ 3edition, Item45)

 

另外这些函数,只有在没有时,才会默认生成。而如果提供了声明,即使没有实现,也不会生成默认的函数。

因此我们通常用的方法是将拷贝构造和赋值设置为private而不实现,以禁止类的拷贝和赋值。

C++中的空类,默认产生哪些类成员函数?

相关推荐
python开发_常用的python模块及安装方法
adodb:我们领导推荐的数据库连接组件bsddb3:BerkeleyDB的连接组件Cheetah-1.0:我比较喜欢这个版本的cheeta…
日期:2022-11-24 点赞:878 阅读:9,104
Educational Codeforces Round 11 C. Hard Process 二分
C. Hard Process题目连接:http://www.codeforces.com/contest/660/problem/CDes…
日期:2022-11-24 点赞:807 阅读:5,580
下载Ubuntn 17.04 内核源代码
zengkefu@server1:/usr/src$ uname -aLinux server1 4.10.0-19-generic #21…
日期:2022-11-24 点赞:569 阅读:6,428
可用Active Desktop Calendar V7.86 注册码序列号
可用Active Desktop Calendar V7.86 注册码序列号Name: www.greendown.cn Code: &nb…
日期:2022-11-24 点赞:733 阅读:6,200
Android调用系统相机、自定义相机、处理大图片
Android调用系统相机和自定义相机实例本博文主要是介绍了android上使用相机进行拍照并显示的两种方式,并且由于涉及到要把拍到的照片显…
日期:2022-11-24 点赞:512 阅读:7,835
Struts的使用
一、Struts2的获取  Struts的官方网站为:http://struts.apache.org/  下载完Struts2的jar包,…
日期:2022-11-24 点赞:671 阅读:4,918