[Effective C++]條款04 確定對象被使用前已先被初始化

爲內置對象進行手工初始化,因爲C++不保證初始化他們;

故最佳處理方法:永遠在使用對象是錢先將它初始化

int x = 0;//對int進行手工初始化  
const char *text = "A C-style string";  //對指針進行手工初始化  
  
double d;  
std::cin >> d;//以讀取input stream的方式完成初始化  


構造函數最好使用成員初值列 (member initialization list) ,而不要在構造函數本體內使用賦值操作(assignment) 。初值列列出的成員變量,其排列次序應該和它們在 class 中的聲明次序相同。

PS:C++規定,對象成員變量的初始化動作發生在進入構造函數本體之前。

ABEntry::ABEntry( const std::string& name, const std::string& address, const std::list<PhoneNumber>& phones)
  :tehName(name),
  theAddress(address),      //現在,這些都是初始化(initialization)
  thePhone(phones),
  numTimesConsulted(0)    
{}                                     //現在,構造函數本體不必有任何動作
PS:對於內置型對象如numTimesConsulted,其初始化和賦值的成本相同,但爲了一致性最好也通過成員初值列表來初始化。


C++有十分固定的“成員初始化次序”,且次序總是相同的:base classes更早於derived classes被初始化(見條款12),而class成員變量總是以其聲明次序被初始化。



爲免除“跨編譯單元之初始化次序”問題,輕易local static對象替換non-local static對象;


總結:

第一、手工初始化內置型non-member對象。

第二、使用成員初值列(member initialization lists)對付對象的所有成分。

最後、在“初始化次序不確定性”(這對不同編譯單元所定義的non-local static對象是一種折磨)氛圍下加強你的設計。


示例1:使用賦值操作初始化

#include <iostream>
using namespace std;

class A{
public:
	A(){cout << "call default constructor" << endl;};
	A(int v):value(v){cout << "Member Initialization" << endl;};
	A(const A &a2){cout << "call copy constructor" << endl;}
	const A& operator=(const A &lhr) const{cout << "call operator= " << endl; return *this;}
private:
	int value;
};

class B{
public:
	B(A a2){a = a2;cout << "Bulid B constructor" << endl;};  //用賦值操作初始化
private:
	A a;
};

int main(){
	cout << "Bulid class a" << endl;
	A a(1);
	cout<<endl;
	cout << "Bulid class b" << endl;
	B b(a); //主要是通過輸出看定義b變量調用的函數情況
	
	return 0;
}
輸出結果:

Running:
Bulid class a
Member Initialization

Bulid class b
call copy constructor      //調用A的copy constructor爲B構造函數生成參數a2
call default constructor  //進入B的構造函數前調用A的默認構造函數定義a
call operator=               //調用賦值操作符將a賦值爲a2
Bulid B constructor


示例2:使用成員初始列

#include <iostream>
using namespace std;

class A{
public:
	A(){cout << "call default constructor" << endl;};
	A(int v):value(v){cout << "Member Initialization" << endl;};
	A(const A &a2){cout << "call copy constructor" << endl;}
	const A& operator=(const A &lhr) const{cout << "call operator= " << endl; return *this;}
private:
	int value;
};

class B{
public:
	B(A a2):a(a2){cout << "Member Initialization List" << endl;};  //用成員初始列
private:
	A a;
};

int main(){
	cout << "Bulid class a" << endl;
	A a(1);
	cout<<endl;
	cout << "Bulid class b" << endl;
	B b(a); //主要是通過輸出看定義b變量調用的函數情況
	
	return 0;
}
輸出結果:

Running:
Bulid class a
Member Initialization

Bulid class b
call copy constructor          //調用A的copy constructor爲B構造函數生成參數a2
call copy constructor         //調用A的copy constructor將a複製爲a2
Member Initialization List

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章