c++中类成员赋值与初始化的区别

在C++中，对于一个const成员变量的初始化形式如下：

class test{
private:
        const int x;
public:
       test(int a):x(a)
       {      
       }      
};

 

通过成员初值列方式称为初始化，如果是在构造函数本体内赋值则称为赋值。不知道是不是因为const成员不能够被赋值，所以只能通过成员初值列的方式初始化？

 

下面的一个例子能够测试一下C++中初始化与赋值的区别：

#include<iostream>
#include<stdlib.h>
using namespace std;

class address{
public:
       // 重载的copy assignment操作符 
       address& operator=(const address& other)
       {
                cout << "inside address copy assignment !" << endl;
       }
      
      // 一定有一个无参构造函数，否则无法通过编译 
      address()
       {
                cout << "inside address default constructor !" << endl;
       }
       
       // 重载的copy构造函数 
       address(const address& other)
       {
                cout<< "inside address copy constructor !" << endl;
      }
};

class test{
private:
        address addr;
public:
       test(const address& addr)
       {
           this->addr = addr;    
       }
};

int main()
{
    address addr;
    test t(addr);
    system("pause");
    return 0;
}

 

      我们知道，对象成员初始化调用的是构造函数，赋值则调用的是赋值操作符。上面代码中我们对重载了赋值操作符，拷贝构造函数。

      在test的构造函数中，对于addr采用了赋值的方式，在这种方式下，在进入test构造函数本体（也就是大括号中）之前，会先调用address的无参构造函数初始化addr,然后通过test构造函数本体中的this->addr = addr对addr进行赋值操作。

      下面是测试结果：

       inside address default constructor !   1

       inside address default constructor !   2

       inside address copy assignment !      3

       第一句是main函数中定义式address addr产生的结果。第二句就是由于进入test函数本体之前先调用了无参构造函数对addr初始化产生的结果。第三句就是test构造函数本体中赋值操作的结果。如果我们将test构造函数中的 this->addr = addr注释掉，那么测试结果就会没有了第三句。如果我们将test构造函数改成如下形式：

 test(const address& addr):addr(addr)
 { 
  }

 

那么测试结果变成：

      inside address default constructor !   1

      inside address copy constructor !       2

      第一句是main函数中定义式address addr产生的结果。第二句是由于test构造函数通过成员初值列的方式对addr进行初始化（不是赋值），初始化采用了addr(addr)，也就是使用了拷贝构造函数进行的初始化，所以产生第二句的结果。

      通过上面两个测试结果可以看出，如果在构造函数本体内对对象成员赋值，会先调用一次无参构造函数初始化对象成员，然后再调用赋值操作符对对象成员变量赋值。而如果是通过成员初值列的方式初始化对象成员变量，则只调用了一次拷贝构造函数，显然第二种要高效一点。

     

     如果我们再次将test构造函数改变成如下形式：

 

 test(address addr):addr(addr)
  { 
  }

 

那么测试结果变成：

       inside address default constructor !   1

       inside address copy constructor !       2

       inside address copy constructor !       3

 

      原因在于test构造函数中的形参addr由pass-by-reference变成了pass-by-value，所以构造函数进入函数本体前会先复制一份addr的副本，采用的是拷贝构造函数，这就产生了第二句的结果。然后成员初值列方式初始化addr,调用了拷贝构造函数，产生了第三句的结果。第一句结果是main函数中定义式address addr产生的结果。

     

      笔记：《Effective C++》中文版 第三版  p26-p28