51、static成員函數(shù)
因?yàn)閟tatic成員不是任何對(duì)象的組成部分,所以static成員函數(shù)不能被聲明為const。畢竟,將成員函數(shù)聲明為const就是承諾不會(huì)修改該函數(shù)所屬的對(duì)象。最后,static成員函數(shù)也不能被聲明為虛函數(shù)。
52、特殊的整型const static成員(P401)
const static數(shù)據(jù)成員在類的定義體中初始化時(shí),該數(shù)據(jù)成員仍必須在類的定義體之外進(jìn)行定義。
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++編譯器下似乎均不需要再次定義,也就是題設(shè)的“必須”二字在此失效。
53、操作符重載(P435)
下面是一些指導(dǎo)原則,有助于決定將操作符設(shè)置為類成員還是普通非成員函數(shù)
- 賦值(=)、下標(biāo)([])、調(diào)用(())和成員訪問箭頭(->)等操作符必須定義為成員,將這些操作符定義為非成員函數(shù)將在編譯時(shí)標(biāo)記為錯(cuò)誤。
- 像賦值一樣,復(fù)合賦值操作符通常應(yīng)定義為類的成員。與賦值不同的是,不一定非得這樣做,如果定義非成員復(fù)合賦值操作符,不會(huì)出現(xiàn)編譯錯(cuò)誤。
- 改變對(duì)象狀態(tài)或與給定類型緊密聯(lián)系的其他一些操作符,如自增、自減和解引用,通常應(yīng)定義為類成員。
- 對(duì)稱的操作符,如算術(shù)操作符、相等操作符、關(guān)系操作符和位操作符,最好定義為普通非成員函數(shù)。
54、區(qū)別操作符的前綴和后綴形式(P447)
同時(shí)定義前綴式操作符和后綴式操作符存在一個(gè)問題:它們的形參數(shù)目和類型相同,普通重載不能區(qū)別所定義的是前綴式操作符還是后綴式操作符。
為解決這一問題,后綴式操作符函數(shù)接受一個(gè)額外的(即,無用的)int型形參。使用后綴操作符時(shí),編譯器提供0作為這個(gè)形參的實(shí)參。盡管我們的前綴式操作符函數(shù)可以使用這個(gè)額外的形參,但通常不應(yīng)該這樣做。那個(gè)形參不是后綴式操作符的正常工作所需要的,它的唯一目的是使后綴函數(shù)與前綴函數(shù)區(qū)別開來。
55、顯式調(diào)用前綴式操作符
CheckedPtr parr(ia, ia+size); //ia points to an array of ints
parr.operator(0); //call postfix operator++
parr.operator(); //call prefix operator++
56、函數(shù)對(duì)象(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是一個(gè)對(duì)象而不是函數(shù),我們?nèi)匀豢梢?#8220;調(diào)用”該對(duì)象,效果是運(yùn)行由absObj對(duì)象定義的重載調(diào)用操作符,該操作符接受一個(gè)int值并返回它的絕對(duì)值。
函數(shù)對(duì)象經(jīng)常用作通用算法的實(shí)參。(詳見P450)
57、函數(shù)對(duì)象的函數(shù)適配器(P453)
標(biāo)準(zhǔn)庫提供了一組函數(shù)適配器(function adapter),用于特化和擴(kuò)展一元和二元函數(shù)對(duì)象。函數(shù)適配器分為如下兩類:
(1)綁定器(binder),是一種函數(shù)適配器,它通過將一個(gè)操作數(shù)綁定到給定值而將二元函數(shù)對(duì)象轉(zhuǎn)換為一元函數(shù)對(duì)象。(bind1st和bind2nd 更多)
(2)求反器(negator),是一種函數(shù)適配器,它將謂詞函數(shù)對(duì)象的真值求反。(not1和not2 更多)
58、轉(zhuǎn)換操作符(P455)
轉(zhuǎn)換為什么有用?(詳見P454)
轉(zhuǎn)換函數(shù)采用如下通用形式:
operator type();
這里,type表示內(nèi)置類型名、類類型名或由類型別名所定義的名字。對(duì)任何可作為函數(shù)返回類型的類型(除了void之外)都可以定義轉(zhuǎn)換函數(shù)。一般而言,不允許轉(zhuǎn)換為數(shù)組或函數(shù)類型,轉(zhuǎn)換為指針(數(shù)據(jù)或函數(shù)指針)以及引用類型是可以的。
轉(zhuǎn)換函數(shù)必須是成員函數(shù),不能指定返回類型,并且形參表必須為空。
轉(zhuǎn)換函數(shù)一般不應(yīng)該改變被轉(zhuǎn)換的對(duì)象。因此,轉(zhuǎn)換操作符通常應(yīng)定義為const成員。
59、只能應(yīng)用一個(gè)類類型轉(zhuǎn)換
類類型轉(zhuǎn)換之后不能再跟另一個(gè)類類型轉(zhuǎn)換。如果需要多個(gè)類類型轉(zhuǎn)換,則代碼將出錯(cuò)。
假設(shè)有Integral=>SmallInt=>int,但是如果有一個(gè)函數(shù)cal(int),那么對(duì)于SmallInt si,可以使用cal(si),但對(duì)于Integral intVal;則不能使用cal(intVal)。語言只允許一次類類型轉(zhuǎn)換,所以該調(diào)用出錯(cuò)。
60、virtual與其他成員函數(shù)(P479)
C++中的函數(shù)調(diào)用默認(rèn)不使用動(dòng)態(tài)綁定。要觸發(fā)動(dòng)態(tài)綁定,必須滿足兩個(gè)條件:第一,只有指定為虛函數(shù)的成員函數(shù)才能進(jìn)行動(dòng)態(tài)綁定,成員函數(shù)默認(rèn)為非虛函數(shù),非虛函數(shù)不進(jìn)行動(dòng)態(tài)綁定;第二,必須通過基類類型的引用或指針進(jìn)行函數(shù)調(diào)用。
基類類型引用和指針的關(guān)鍵點(diǎn)在于靜態(tài)類型(static type,在編譯時(shí)可知的引用類型或指針類型)和動(dòng)態(tài)類型(dynamic type,指針或引用所綁定的對(duì)象的類型,這是僅在運(yùn)行時(shí)可知的)可能不同。