Basics:
1:仔細區別pointers和references
Œ 沒有所謂的null reference,一個reference必須總代表某個對象,所以如果你有一個變量是用來指向一個對象的,但是又有可能不指向一個對象的時候你應該用pointers,這樣你就可以將pointers設置為null,如果一個變量必須代表一個對象,隱含的意思就是你得設計并不允許將這個變量設置為null,,那么你應該用reference.
char *pc=0; // 將pointers初始化為null
char &rc=*pc; //讓reference代表null pointers的解引值 這是有害的行為 其結果不可預期
? 再來看reference,由于reference必須代表某個對象,因此必須要求reference必須有初值,但是pointers沒有這樣的限制.因為pointers使用之前要檢查其有效性,這樣就意味著reference比pointers高效的多.
string &rs; //一個引用必須有初值
string s("abcd");
sring &rs=s; //OK!
? pointers可以重新被賦值,指向另一個對象,而reference卻總是指向它最初獲得的那個對象,因此當你遇到不指向任何對象或者在不同的時間指向不同的對象的時候你要選擇pointres,當你確定變量總是會代表某個對象,并且一旦代表一個對象就不再改變的時候,應該用reference.
string s1("abc");
string s2("xyz");
string &rs=s1; //rs代表了s1
string *ps=&s1; //ps指向了s1
rs=s2; //rs仍代表s1 但是s1的值卻變成了"xyz"而不是原來的"abc"
ps=&s2; //ps現在指向了s2 ,s1仍是"abc"而沒有變化
在實現某些操作符的時候,如果要返回某個對象的時候 應該注意是reference
vector<int> v(10);
v[5]=10;//vector的賦值操作符返回一個對象 是引用的
如果返回一個pointers 那么調用時候應該是*v[5]=10;
[總結]:當你知道你需要指向某個東西,而且絕不會改變指向其他東西,或者你實現一個操作符而其語法無法由pointers完成,你就該選擇reference,其他情況就改采用pointers.
2:最好使用C++轉型轉型操作符
Œ C++導入了4個新的轉型操作符:static_cast<>(),dyname_cast<>(),cons_cast<>(),reinterpret_cast<>()
?static_cast<>()基本上和C舊式的轉型的威力、意思以及限制相同。沒有運行時的類型檢查來檢查安全性,而且不能夠移除表達式的常量性,C++提供了新式轉型操作符const_
cast<>()
?const_cast<>()來改變表達式的常量性或者變易性,而且是告訴編譯器打算唯一的改變某物的常量性或變易性
calss Widge{
};
class spec:public Widge{
};
void updata(spec *psw);
spec sw;
const spec &csw=sw; //csw是一個代表了sw的reference 而且是一個const對象
updata(&csw); //error!! 能將一個const spec*參數傳遞給一個需要spec*的函數
updata(const(spec*)<&csw>); //OK!!&csw的常量性被const_cast<>()移除
? dynamic_cast<type_id>(expression);用來執行繼承體系中得"安全向下轉型或者跨系轉型"
type_id必須是類的指針、類的引用或者void*
在用于類層次間向上轉換時,其效果與static_cast<>()一樣
在用于類層次間向下轉換時,其具有類型檢查的功能,比static_cast安全,牽涉到類型檢查就有運行時類型信息檢查,因為運行時類型信息存儲在虛函數表中,所以智能用于有虛函數的類型身上,如果你想為一個不涉及繼承機制的類型轉換執行類型轉換你可以使用static_cast<>(). dyanmic_cast<>()也不能改變類型的常量性.
Widge *pw;
updata(dynamic_cast<spec*>(pw)); //ok!!對于pointers如果轉型失敗獎會返回一個null
void updataRefrence(spec &rsw);
updataReference(dynamic_cast<spec&>(*pw)); //ok!!對于reference如果轉型失敗將會返回一個異常(exception)
? reinterpret_cast<>()這個操作符的轉型結果幾乎總是和編譯平臺有關,因此reinterpret_cast<>()不具有移植性,其最常用的用途是轉換"函數指針"類型,
假設有一個數組存儲的都是函數指針,有特定的類型
typedef void (*funcptr) (); //funcptrs是指針 指向某個函數
funcptr funcptrarray[10]; //funcptrarray是個數組內 含有10funcptrs
假設由于某個原因,你希望 將以下函數的一個指針房間funcptrarray中
int dosomething();
如果沒有轉型,不可能辦到這一點,因為dosomething的類型與funcptrarray所接受類型不同,funcptrarray內各個函數指針所指函數的返回值是void,但是dosomething函數的返回類型是int,
funcptrarrat[0]=&dosomething; //error!!類型不符
funcptrarray[0]=reinterpret_cast<funcptr>(&dosomething); //ok!!
除非你逼不得已,應該避免將 函數指針轉型,這樣可能會導致不正確的結果.
3:絕對不要以多態(polymorphicall)方式處理數組
Œ For an example:
calss BST{
};
calss BalanceBST:public BST{
};
假設BST和balanceBST都內含ints
現在有一個函數來打印BST&數組中每一個BST的內容:
void printBSTArray(ostream &s,const BST array[],int nun){
for(int i=0;i<num;i++)
s<<array[i];
}
BST BSTarray[10];
printBSTArray(cout,BSTarray,10); //OK!!
內部細節:打印函數中的array[i],這個其實是一個"指針算術表達式",其實質是*(array+i); array 這個數組名其實是一個指針,指向數組的始處,現在來考慮array所指的內存
與array+i所指的內存之間的距離有多遠?the answer is: i*sizeof(數組中的對象),why:array[0]和array[i]之間有i個對象,為了嫩那個讓編譯器所產生的代碼能夠正確走訪整個數組,編譯器必須有能力決定數組中的對象大小,這很容易,編譯器也能做到,because參數array被聲明為"類型為BST"的數組,so數組中的每個元素都必然是BST對象,故array和array+i之間的距離一定是i*sizeof(BST);
而如果你把打印函數交給一個由繼承類:balanceBST對象組成的數組,你得編譯器就會被誤導,這種情況下它仍假設數組中每一個元素的大小是BST的大小,這 可能 是在聲明函數時參數設定為BSTarray,這在編譯時交給符號表來分配內存有關<猜想>,一般繼承類都比基類有更多的data members,so繼承類的對象通常都要比基類對象要大,所以對于繼承類對象產生的數組對象來執行打印函數,將會發生不可預期的錯誤.
? 如果你嘗試通過一個基類指針,刪除一個由繼承類組成的數組,情況如下:
void deletearray(ostream &logstrea,BST ARRAY[]){
logstream<<""delete array"<<static_cast<void*>(array)<<endl;
delete [] array;
}
balanceBST *balan_cearray=new balanceBST[50];
delatearray[cout,balan_cearray);
這其中也一樣含有一個"指針算術表達式",雖然你沒看到,當數組被刪除的時候,數組中的每一個元素的析構函數都會被調用,所以編譯器會看到如下delete [] array;的時候將產生下述代碼:
for(int i=the number of elements in the array-1;i>=0;--i){//將*array中的對象以其構造函數的相反順序加以析構
array[i].BST::~BST(); //調用array[i]的析構函數
}
如果你這么一寫將是一個行為的錯誤的循環;如果編譯器產生類似代碼,當然同樣是一個行為的錯誤,C++規范中規定:通過base calss 指針刪除一個由deriver class objects構成的數組,其結果未定義。所謂的未定義就是:執行之后會產生苦惱的錯誤,error!!,
[總結]:多態和指針算術不能混用,數組對象幾乎總是涉及指針的算術運算,所以數組和多態不要混用;注意,如果你涉及類的時候避免讓一個具體類繼承自一個具體類,你就不太可能犯這種錯誤。
4:非必要不提供 default constructor
所謂的defualt constructor就是指一個沒有參數的構造函數,不管是編譯器隱式生成還是程序員顯示的聲明,如果沒有定義構造函數,編譯器會在在四種情況為類生成default constructor.
default constructor的意思是沒有任何外來信息的情況將對象初始化,但是并非所有對象都落入這樣的分類,有許多對象,如果沒有外來信息,就沒有辦法執行一個完全的初始化動作,在一個完美的世界中,凡是可以"合理地從無到有生成對象"的class,都應該內含default constructor,而"必須有某些外來信息才能生成對象的"class,則不必擁有default constructor.換句話說也就是,一個沒有含有default constuctor 函數的類,將會有某些限制.
for an example:一個針對公司儀器而設計的類
1 #include <iostream>
2 using namespace std;
3 class EQ{ public:
4 EQ(int id);
5 void printf(){
6 cout<<"printf eq"<<endl;
7 }
8 };
9
10 int main(){
11 EQ eq[10];
12 eq[1].printf();
13 return 0;
14 }
編譯這個代碼,編譯器將產生錯誤:
error C2512: 'EQ' : no appropriate default constructor available
error C2248: 'printf' : cannot access private member declared in class 'EQ'
由于eq缺乏defalut constructor,其運行可能在3種情況下出現:
第一種:產生數組的時候,就如上的代碼,一般而言沒有任何方法為數組中的對象指定construtor自變量,所以幾乎不可能產生一個由EQ對象構成的數組
有三種方法可以側面的解決這個限制:
第一種:使用non-heap數組;
int id1,id2,id3,......id10;
EQ eq[]={
EQ(id1),
EQ(ID2),
......
EQ[10]};
1 #include <iostream>
2 using namespace std;
3 class EQ{
4 public:
5 EQ(int id){}
6 void printf(){
7 cout<<"printf eq"<<endl;
8 }
9 private:
10
11 };
12
13 int main(){
14 int id1,id2;
15 EQ eq[]={EQ(id1),EQ(id2)};
16 eq[1].printf();
17 return 0;
18 }