51、static成員函數
因為static成員不是任何對象的組成部分,所以static成員函數不能被聲明為const。畢竟,將成員函數聲明為const就是承諾不會修改該函數所屬的對象。最后,static成員函數也不能被聲明為虛函數。
52、特殊的整型const static成員(P401)
const static數據成員在類的定義體中初始化時,該數據成員仍必須在類的定義體之外進行定義。
class Accout{
public:
static double rate() { return interestRate;}
static void rate(double); //sets a new rate
private:
static const int period = 30; //interest posted every 30 days
double daily_tbl[period]; // ok: period is constant expression
}
//definition of static member with no initializer;
//the initial value is specified inside the class definition
const int Accout::period;
但在gcc和MS vc++編譯器下似乎均不需要再次定義,也就是題設的“必須”二字在此失效。
53、操作符重載(P435)
下面是一些指導原則,有助于決定將操作符設置為類成員還是普通非成員函數
- 賦值(=)、下標([])、調用(())和成員訪問箭頭(->)等操作符必須定義為成員,將這些操作符定義為非成員函數將在編譯時標記為錯誤。
- 像賦值一樣,復合賦值操作符通常應定義為類的成員。與賦值不同的是,不一定非得這樣做,如果定義非成員復合賦值操作符,不會出現編譯錯誤。
- 改變對象狀態或與給定類型緊密聯系的其他一些操作符,如自增、自減和解引用,通常應定義為類成員。
- 對稱的操作符,如算術操作符、相等操作符、關系操作符和位操作符,最好定義為普通非成員函數。
54、區別操作符的前綴和后綴形式(P447)
同時定義前綴式操作符和后綴式操作符存在一個問題:它們的形參數目和類型相同,普通重載不能區別所定義的是前綴式操作符還是后綴式操作符。
為解決這一問題,后綴式操作符函數接受一個額外的(即,無用的)int型形參。使用后綴操作符時,編譯器提供0作為這個形參的實參。盡管我們的前綴式操作符函數可以使用這個額外的形參,但通常不應該這樣做。那個形參不是后綴式操作符的正常工作所需要的,它的唯一目的是使后綴函數與前綴函數區別開來。
55、顯式調用前綴式操作符
CheckedPtr parr(ia, ia+size); //ia points to an array of ints
parr.operator(0); //call postfix operator++
parr.operator(); //call prefix operator++
56、函數對象(P450)
struct absInt {
int operator() (int val){
return val<0 ? –val : val;
}
};
int i = –42;
absInt absObj; //object that defines function call operator
unsigned int ui = absObj(i); //calls absInt::operator(int)
盡管absObj是一個對象而不是函數,我們仍然可以“調用”該對象,效果是運行由absObj對象定義的重載調用操作符,該操作符接受一個int值并返回它的絕對值。
函數對象經常用作通用算法的實參。(詳見P450)
57、函數對象的函數適配器(P453)
標準庫提供了一組函數適配器(function adapter),用于特化和擴展一元和二元函數對象。函數適配器分為如下兩類:
(1)綁定器(binder),是一種函數適配器,它通過將一個操作數綁定到給定值而將二元函數對象轉換為一元函數對象。(bind1st和bind2nd 更多)
(2)求反器(negator),是一種函數適配器,它將謂詞函數對象的真值求反。(not1和not2 更多)
58、轉換操作符(P455)
轉換為什么有用?(詳見P454)
轉換函數采用如下通用形式:
operator type();
這里,type表示內置類型名、類類型名或由類型別名所定義的名字。對任何可作為函數返回類型的類型(除了void之外)都可以定義轉換函數。一般而言,不允許轉換為數組或函數類型,轉換為指針(數據或函數指針)以及引用類型是可以的。
轉換函數必須是成員函數,不能指定返回類型,并且形參表必須為空。
轉換函數一般不應該改變被轉換的對象。因此,轉換操作符通常應定義為const成員。
59、只能應用一個類類型轉換
類類型轉換之后不能再跟另一個類類型轉換。如果需要多個類類型轉換,則代碼將出錯。
假設有Integral=>SmallInt=>int,但是如果有一個函數cal(int),那么對于SmallInt si,可以使用cal(si),但對于Integral intVal;則不能使用cal(intVal)。語言只允許一次類類型轉換,所以該調用出錯。
60、virtual與其他成員函數(P479)
C++中的函數調用默認不使用動態綁定。要觸發動態綁定,必須滿足兩個條件:第一,只有指定為虛函數的成員函數才能進行動態綁定,成員函數默認為非虛函數,非虛函數不進行動態綁定;第二,必須通過基類類型的引用或指針進行函數調用。
基類類型引用和指針的關鍵點在于靜態類型(static type,在編譯時可知的引用類型或指針類型)和動態類型(dynamic type,指針或引用所綁定的對象的類型,這是僅在運行時可知的)可能不同。