C++基礎之類的詳細介紹(一)
在C++中,提到類型定義符前還可以書寫class,即類型的自定義類型(簡稱類),它和結構根本沒有區(qū)別(僅有一點小小的區(qū)別,下篇說明),而之所以還要提供一個class,實際是由于C++是從C擴展而成,其中的class是C++自己提出的一個很重要的概念,只是為了與C語言兼容而保留了struct這個關鍵字。
暫時可以先認為類較結構的長足進步就是多了成員函數(shù)這個概念(雖然結構也可以有成員函數(shù)),在了解成員函數(shù)之前,先來看一種語義需求。
操作與資源
程序主要是由操作和被操作的資源組成,操作的執(zhí)行者就是CPU,這很正常,但有時候的確存在一些需要,需要表現(xiàn)是某個資源操作了另一個資源(暫時稱作操作者),比如游戲中,經常出現(xiàn)的就是要映射怪物攻擊了玩家。之所以需要操作者,一般是因為這個操作也需要修改操作者或利用操作者記錄的一些信息來完成操作,比如怪物的攻擊力來決定玩家被攻擊后的狀態(tài)。這種語義就表現(xiàn)為操作者具有某些功能。為了實現(xiàn)上面的語義,如原來所說進行映射,先映射怪物和玩家分別為結構,如下:
- struct Monster { float Life; float Attack; float Defend; };
- struct Player { float Life; float Attack; float Defend; };
上面的攻擊操作就可以映射為void MonsterAttackPlayer( Monster &mon, Player &pla );。注意這里期望通過函數(shù)名來表現(xiàn)操作者,但和前篇說的將過河方案起名為sln一樣,屬于一種本末倒置,因為這個語義應該由類型來表現(xiàn),而不是函數(shù)名。為此,C++提供了成員函數(shù)的概念。
成員函數(shù)
與之前一樣,在類型定義符中書寫函數(shù)的聲明語句將定義出成員函數(shù),如下:
- struct ABC { long a; void AB( long ); };
上面就定義了一個映射元素——第一個變量ABC::a,類型為long ABC::;以及聲明了一個映射元素——第二個函數(shù)ABC::AB,類型為void ( ABC:: )( long )。類型修飾符ABC::在此修飾了函數(shù)ABC::AB,表示其為函數(shù)類型的偏移類型,即是一相對值。但由于是函數(shù),意義和變量不同,即其依舊映射的是內存中的地址(代碼的地址),但由于是偏移類型,也就是相對的,即是不完整的,因此不能對它應用函數(shù)操作符,如:
- ABC::AB( 10 );
這里將錯誤,因為ABC::AB是相對的,其相對的東西不是如成員變量那樣是個內存地址,而是一個結構指針類型的參數(shù),參數(shù)名一定為this,這是強行定義的,后面說明。
注意由于其名字為ABC::AB,而上面僅僅是對其進行了聲明,要定義它,仍和之前的函數(shù)定義一樣,如下:
- void ABC::AB( long d ) { this->a = d; }
應注意上面函數(shù)的名字為ABC::AB,但和前篇說的成員變量一樣,不能直接書寫long ABC::a;,也就不能直接如上書寫函數(shù)的定義語句(至少函數(shù)名為ABC::AB就不符合標識符規(guī)則),而必須要通過類型定義符“{}”先定義自定義類型,然后再書寫,這會在后面說明聲明時詳細闡述。
注意上面使用了this這個關鍵字,其類型為ABC*,由編譯器自動生成,即上面的函數(shù)定義實際等同于
- void ABC::AB( ABC *this, long d ) { this->a = d; }
而之所以要省略this參數(shù)的聲明而由編譯器來代勞是為了在代碼上體現(xiàn)出前面提到的語義(即成員的意義),這也是為什么稱ABC::AB是函數(shù)類型的偏移類型,它是相對于這個this參數(shù)而言的,如何相對,如下:
- ABC a, b, c;
- a.ABC::AB( 10 );
- b.ABC::AB( 12 );
- c.AB( 14 );
上面利用成員操作符調用ABC::AB,注意執(zhí)行后,a.a、b.a和c.a的值分別為10、12和14,即三次調用ABC::AB,但通過成員操作符而導致三次的this參數(shù)的值并不相同,并進而得以修改三個ABC變量的成員變量a。注意上面書寫
- a.ABC::AB( 10 );
和成員變量一樣,由于左右類型必須對應,因此也可
- a.AB( 10 );
還應注意上面在定義ABC::AB時,在函數(shù)體內書寫
- this->a = d;
同上,由于類型必須對應的關系,即this必須是相應自定義類型的指針,所以也可省略this->的書寫,進而有
- void ABC::AB( long d ) { a = d; }
注意這里成員操作符的作用,其不再如成員變量時返回相應成員變量類型的數(shù)字,而是返回一函數(shù)類型的數(shù)字,但不同的就是這個函數(shù)類型是無法用語法表示出來的,即C++并沒有提供任何關鍵字或類型修飾符來表現(xiàn)這個返回的類型(VC內部提供了__thiscall這個類型修飾符進行表示,不過寫代碼時依舊不能使用,只是編譯器內部使用)。
也就是說,當成員操作符右側接的是函數(shù)類型的偏移類型的數(shù)字時,返回一個函數(shù)類型的數(shù)字(表示其可被施以函數(shù)操作符),函數(shù)的類型為偏移類型中給出的類型,但這個類型無法表現(xiàn)。即a.AB將返回一個數(shù)字,這個數(shù)字是函數(shù)類型,在VC內部其類型為void ( __thiscall ABC:: )( long ),但這個類型在C++中是非法的。
C++并沒有提供類似__thiscall這樣的關鍵字以修飾類型,因為這個類型是要求編譯器遇到函數(shù)操作符和成員操作符時,如
- a.AB( 10 );
要將成員操作符左側的地址作為函數(shù)調用的第一個參數(shù)傳進去,然后再傳函數(shù)操作符中給出的其余各參數(shù)。即這個類型是針對同時出現(xiàn)函數(shù)操作符和成員操作符這一特定情況,給編譯器提供一些信息以生成正確的代碼,而不用于修飾數(shù)字(修飾數(shù)字就要求能應付所有情況)。即類型是用于修飾數(shù)字的,而這個類型不能修飾數(shù)字,因此C++并未提供類似__thiscall的關鍵字。
和之前一樣,由于ABC::AB映射的是一個地址,而不是一個偏移值,因此可以
- ABC::AB;
但不能
- ABC::a;
因為后者是偏移值。根據(jù)類型匹配,很容易就知道也可有:
- void ( ABC::*p )( long ) = ABC::AB;
- 或
- void ( ABC::*p )( long ) = &ABC::AB;
進而就有:
- void ( ABC::**pP )( long ) = &p; ( c.**pP )( 10.0f );
之所以加括號是因為函數(shù)操作符的優(yōu)先級較“*”高。再回想前篇說過指針類型的轉換只是類型變化,數(shù)值不變(下篇說明數(shù)值變化的情況),因此可以有如下代碼,這段代碼毫無意義,在此僅為加深對成員函數(shù)的理解。
- struct ABC { long a; void AB( long ); };
- void ABC::AB( long d )
- {
- this->a = d;
- }
- struct AB
- {
- short a, b;
- void ABCD( short tem1, short tem2 );
- void ABC( long tem );
- };
- void AB::ABCD( short tem1, short tem2 )
- {
- a = tem1; b = tem2;
- }
- void AB::ABC( long tem )
- {
- a = short( tem / 10 );
- b = short( tem - tem / 10 );
- }
- void main()
- {
- ABC a, b, c; AB d;
- ( c.*( void ( ABC::* )( long ) )&AB::ABC )( 43 );
- ( b.*( void ( ABC::* )( long ) )&AB::ABCD )( 0XABCDEF12 );
- ( d.*( void ( AB::* )( short, short ) )ABC::AB )( 0XABCD, 0XEF12 );
- }
上面執(zhí)行后,c.a為0X00270004,b.a為0X0000EF12,d.a為0XABCD,d.b為0XFFFF。對于c的函數(shù)調用,由于 AB::ABC映射的地址被直接轉換類型進而直接被使用,因此程序將跳到AB::ABC處的
- a = short( tem / 10 );
開始執(zhí)行,而參數(shù)tem映射的是傳遞參數(shù)的內存的首地址,并進而用long類型解釋而得到tem為43,然后執(zhí)行。
注意
- b = short( tem - tem / 10 );
實際是
- this->b = short( tem - tem / 10 );
而this的值為c對應的地址,但在這里被認為是AB*類型(因為在函數(shù)AB::ABC的函數(shù)體內),所以才能this->b正常(ABC結構中沒有b這個成員變量),而b的偏移為2,所以上句執(zhí)行完后將結果39存放到c的地址加2所對應的內存,并且以short類型解釋而得到的16位的二進制數(shù)存放。
對于
- a = short( tem / 10 );
也做同樣事情,故最后得c.a的值為0X0027004(十進制39轉成十六進制為0X27)。
同樣,對于b的調用,程序將跳到AB::ABCD,但生成的b的調用代碼時,將參數(shù)0XABCDEF12按照參數(shù)類型為long的格式記錄在傳遞參數(shù)的內存中,然后跳到AB::ABCD。但編譯AB::ABCD時又按照參數(shù)為兩個short類型來映射參數(shù)tem1和tem2對應的地址,因此容易想到 tem1的值將為0XEF12,tem2的值為0XABCD,但實際并非如此。