C++ 編程思想學習筆記－命名控制

一、?????????? static 的使用

1、 ? 對于全局變量 （即 main 函數之外的變量）： static 表示內部連接，無 staic 則為外部連接，而用 extern 可以使用其他編譯單元中的外部連接變量。另外全局變量始終存儲在靜態存儲區。全局靜態對象的構造函數是在 main （）之前執行的，而析構函數是在 main() 之后執行的，所以利用這點可以在 main() 函數之前之后執行代碼。一般頭文件中的變量應控制為內部連接，這樣兩個同時都包含此頭文件的編譯單元在連接時就不會有名字沖突了。

2、 ? 對于局部變量 （分配于堆棧的變量）： static 使變量被分配到靜態存儲區，默認初始化一次且第一次（內部數據類型為 0 ，用戶自定義調用構造函數），生命期同全局變量（從定義到程序結束），但只在該函數內部可見。靜態對象的析構函數在 main 函數退出時調用，多數是隨著 exit （）函數的調用而被調用，所以不要在析構函數中調用 exit() 函數，以防死循環。但若用 c 庫函數 abort() 結束程序則析構函數不會被調用。靜態對象的銷毀是按它們初始化的相反順序進行的，且未被調用函數中的靜態對象不會被創建，所以也不會被銷毀。

3、 ? 對于類中的成員 ： static 使類的靜態成員擁有一個單獨的靜態存儲區，這一存儲區屬于該類，該類的對象共享這塊存儲區，共享這些靜態成員，這樣就提供了一種讓對象之間通信的方法。靜態成員屬于類，地址是定的；而非靜態成員屬于對象，地址是動態分配的；所以靜態成員只能調用靜態成員，不能調用非靜態成員；而非靜態成員則可以都訪問，但對靜態成員的訪問會影響類的數據及其他的對象。

×靜態數據成員只能在類的外部定義且只能定義一次，一般放在類的實現文件中；

? 注意：在定義靜態數組時不能自動計數，必須指明數組大小。另外 static const int 可以做為類中的編譯時常量。在嵌套類中可以定義靜態成員，但在局部類中不能。

×靜態成員函數只能訪問靜態數據成員和靜態成員函數，這有一個應用，可以定義 一個只能有一個對象的類，首先構造函數必須為私有 ( 保證不能構造其他實例 ) ，但如何初始化呢？所以這個對象必須是類中的靜態數據成員 ( 保證可以用靜態成員的定義方法來初始化 ) ，示例如下：

?????? ?????? #include <iostream.h>

Class egg{

??? ?????? static egg E;// 為什么要私有？

??? ?????? int i;// 此數據屬于對象，必須用對象訪問

??? ?????? egg(intI):i(I){}// 構造函數私有，只能內部訪問。

public :

??? ?????? static egg* instance(){return &E;}// 獲得對象的地址

??? ?????? int val(){returni;}

};

egg egg::E(47);

main (){

??? ?????? //! egg x(1); // 不能創建對象；

??? ?????? cout<<egg::instance()->val()<<endl;

}

4、 ? 靜態初始化的依賴 (extern 的使用 ) ：看如下示例：

×示例 1

//first file

#include <fstream.h>

ostream out( “out .txt ” );

第二個文件

//second file

#include <fstream.h>

extern ofstream out;

class oof{

public :

??? ??? oof(){out<< ”barf” ;}

}OOF;

這個示例程序可能運行，也可能不運行，若建立可執行文件時第一個文件先初始化則沒問題，但若第二個文件先初始化，則會引起混亂。

×示例 2(ARM 中 )

第一個文件

extern int y;

int x=y+1;

第二個文件

extern int x;

int y=x+1;

對于這個示例，若第一個文件先初始化則 y=0,x=1,y=2; 若第二個文件先初始化則 x=0,y=1,x=2; 這兩種結果相差很大。

×解決方法：

(1) 不用它； (2) 關鍵的靜態對象的定義放到一個文件中；

(3) 在庫頭文件中增加一個額外的類控制庫中靜態對象的動態初始化，示例如下：

#ifdef DEFEND_H_

#define DEFEND_H_

#include <iostream>

extern int x;//Declarations,not definitions

extern int y;

class initializer

{?????????

static int init_conut;

public :

??? ?????????? initializer()

??? ?????????? {

?????? ?????????? cout<<"initializer()"<<endl;

?????? ?????????? //Initialize first time only

?????? ?????????? if(init_conut++==0)

?????? ????????????? {

?????????? ????????????? cout<<"performing initialization"<<endl;

?????????? ????????????? x=100;

?????????? ??? ?????????? y=200;

?????? ????????????? }

??? ?????????? }

??? ?????????? ~initializer()

??? ?????????? {

?????? ?????????? cout<<"~initializer()"<<endl;

?????? ?????????? //Clean up last time only

?????? ?????????? if(--init_conut==0)

?????? ????????????? {

?????????? ????????????? cout<<"performing cleanup"<<endl;

?????????? ????????????? //Any necessary cleanup here

?????? ????????????? }

??? ?????????? }

protected :

private :

};

//the following creates one object in each

//file where DEFEND.H is included,but that

//object is only visible within that file:

static initializer init;

#endif

實現文件如下：

?????????? #include "depend.h"

//static initialization will force

//all these values to zero;

int x;

int y;

int initializer::init_conut;

此種情況是在你的庫中有extern對象，會引起初始化依賴問題，通過一個類中的靜態計數變量來來記錄初始化，若是第一次包含頭文件則初始化，否則不用再初始化，對于其他的頭文件包含則會跳過初始化；即保證任何情況都會初始化且只一次。

??? ??? (extern “ C ” { func1(a,b);func2(a,b);} 的使用方法);

二、namespace的使用

??? 1 、namespace只能在全局范疇定義，但可以嵌套；

??? 2 、namespace可以在多個頭文件中用同一個標識符來定義；

??? 3 、一個namespace可以用另外一個名字做為別名：namespace a＝abcdef；

??? 4 、未命名的namespace表示全部是內部連接；

5 、可以在namespace中插入friend聲明，則被聲明的友元也成為此namespace

中的一員；

??? 6 、using namespace a;

?????? using namespace b;

? ???? 當a和b中存在相同的名字時，在使用時會產生沖突；

?????? 而利用using聲明可以覆蓋掉using指令中的名字；

?????? using 指令是省去了每次輸入名字空間修飾的麻煩，而using聲明是把名

?????? 字空間中的成員再次聲明一下;舉例如下：

?????? namespace U{

??? ?????? void f();

??? ?????? void g();

}

namespace V{

??? ?????? void f();

??? ?????? void g();

}

對于using namespace U;f();等同于U::f();此時f為全局名，可被局部名覆蓋；

對于using U::f;f();等同于void f();f();//U中f的再次聲明

此時f為局部名；效果如下面代碼：

void func(){

??? ?????? using namespace U;//Using directive

??? ?????? using V::f;//Using declaration

??? ?????? f();//calls V::f()

??? ?????? U::f();//must fully qualify to call

}