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(int I):i(I){}//構造函數私有,只能內部訪問。
public:
static egg* instance(){return &E;}//獲得對象的地址
int val(){return i;}
};
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
}