經(jīng)驗(yàn)分享 從C到C++(三)
C++技術(shù)固然是很時(shí)髦的,許多C用戶都想在盡可能短的時(shí)間內(nèi)為自己貼上C++的標(biāo)簽。介紹C++的書(shū)很多,但只有那些已經(jīng)僥幸入門(mén)的用戶才偶爾去翻翻,仍有不少在C++門(mén)口徘徊的流浪漢。
本文只針對(duì)C用戶,最好是一位很不錯(cuò)的老用戶(譬如他在遇到最簡(jiǎn)單的問(wèn)題時(shí)都嘗試著使用指針),通過(guò)一些C和更好的C++(本文用的是Borland C++3.1版本)例程介紹有關(guān)C++的一些知識(shí),讓讀者朋友們“淺入深出”,輕輕松松C to C++!
4.函數(shù)模數(shù)(function template)
前面討論的重載機(jī)制用來(lái)實(shí)現(xiàn)求和操作并不受歡迎,這仿佛還不是C++的風(fēng)格,例如用戶需要求兩個(gè)其它類(lèi)型(如字符型)對(duì)象的和:Add ('a' ‘b’);它必須再為之準(zhǔn)備一個(gè)版本,盡管其名字和代碼還是那副樣子:
- char Add (char a char b)
- {
- return a + b;
- }
這樣無(wú)聊的工作會(huì)讓灰心的用戶開(kāi)始懷念起古老的“宏”。然而,更先進(jìn)的東西一一模板,卻可以很方便地解決以上問(wèn)題:
- template <class TYPE>
- TYPE Add (TYPE a TYPE b)
- {
- return a + b;
- };
作為模板參數(shù)表示了數(shù)據(jù)類(lèi)型。在實(shí)際的調(diào)用中,編譯程序根據(jù)實(shí)際使用的數(shù)據(jù)類(lèi)型產(chǎn)生相應(yīng)的函數(shù)。如:
- int i=Add(1 2); //int Add(int int)
- float f=Add(1.0 2.0); //float Add(float float)
將得到編譯器正確的解釋。但以下的使用:
- int i=Add('A' 0. 0l);
- //error: Could not find a match for 'Add(char double)'
所當(dāng)然地會(huì)遭到編譯器的拒絕。
以上建立起來(lái)的Add)函數(shù)模板可以覆蓋前面所有的Add()函數(shù),但再來(lái)看看以下語(yǔ)句:
- struct COMPLEX {float r; float i;};
- typedef struct COMPLEX complex;
- complex c1 c2;
- complex c=Add(cl c2);
同理,編譯器根據(jù)Add ()模板定制成:
- c=(c1 +c2 };
這樣的結(jié)果是沒(méi)有定義的,計(jì)算機(jī)很容易對(duì)兩個(gè)復(fù)數(shù)的加法不知所措而大發(fā)牢騷:
Error: Illegal structure operation
既然計(jì)算機(jī)不喜歡這個(gè)作品,沒(méi)關(guān)系,我們?yōu)樗僮鲆粋€(gè)函數(shù)就是了:
- complex Add(complex c1 complex c2)
- {
- complex c;
- c. r=c1. r+c2. r;
- c. i=c1. i+ c2. i;
- return c;
- }
這個(gè)函數(shù)用以正確地作復(fù)數(shù)求和。奇怪得很,函數(shù)名居然還可以取為Add,而不用擔(dān)心任何沖突。對(duì)這種情形也有很好的說(shuō)法,C++稱(chēng)之為“函數(shù)模板重置”。
在調(diào)用形式上,函數(shù)模板很類(lèi)似于宏,但它同時(shí)具有類(lèi)型檢查。更普遍的,模板也可以應(yīng)用于類(lèi)中。
至此,對(duì)抗#define之戰(zhàn)已快接近尾聲,然而這似乎永遠(yuǎn)不得結(jié)束。宏就是宏,它總有它的優(yōu)點(diǎn),譬如它可節(jié)省對(duì)象空間,你無(wú)法阻止有些C++用戶仍喜愛(ài)它。
5.操作符重載(operator overload)
我還要聲明的是,前面定義的Add()函數(shù),特別是為complex定做的那個(gè),仍然是值得鄙棄的。它們雖然都能正常工作,但仍不是C++常用的風(fēng)格。既然是求和,我們會(huì)更傾向于表達(dá)方式“complex c = c1 +c2;”而不是“complex c =Add(cl c2);”。
操作符‘+’的使用要比Add ( )函數(shù)的調(diào)用讓人舒服得多。C++中你完全可以摒棄所謂的“模板重置”,而直接對(duì)操作符‘+’進(jìn)行重載:
- complex operator+(complex c1 complex c2)
- {
- complex c;
- c.r=cl.r+c2. r;
- c. i=cl.i+c2. i;
- }
這樣當(dāng)出現(xiàn)。c1+ c2的形式時(shí),表達(dá)式就會(huì)被賦予正當(dāng)?shù)暮x。以下分述一些常見(jiàn)操作符的重載:
(1)單目操作符的重載:
設(shè)@為一個(gè)單目運(yùn)算符,則@x和x@都被解釋成operator @(x)。
瞧,這不就是函數(shù)調(diào)用的形式了嗎?其中operator是C++的關(guān)鍵字。例如語(yǔ)句y=——x;將被譯作y = operator——(x);下面是一個(gè)求復(fù)數(shù)相反數(shù)的例子:
- //test11. cpp
- #include <iostream.h>
- #include "complex.h"
- complex operator - (complex c)
- {
- c.r = -c.r;
- c.i = -c.i;
- return c;
- }
- void main()
- {
- complex c={1.0 2.0};
- c= -c;
- cout<<"c=(" <<c.r<<''<< c.i <<"i)\n";
- }
假設(shè)complex的結(jié)構(gòu)聲明包含在complex. h頭文件中,testl l將產(chǎn)生如下輸出:
- c=(-1-2i)
- '++'和'--'亦可進(jìn)行重載:
- complex operator++(complex& c);
- complex operator-一(complex& c);
- complex c;
- c++;
- --c;
‘++’和’--’是一對(duì)怪東西,它們既可以作前綴,又可以作后綴。不過(guò),以下形式的定義只適用于‘++’和’--’的后綴用法:
- complex operator++(complex&c int);
- complex operator--(complex&c int);
- complex c;
- c++;//ok
- ++c; //error. Illegal structure operation
- c++(0); //error: Call of nonfunction
注意:其中操作int參數(shù)僅作為標(biāo)志使用,而無(wú)其它含義。
(2)雙目操作符的重載
設(shè)@為一個(gè)雙目操作符,x@ y被解釋成:operator@(x y)
例如語(yǔ)句:
- z=x+y;
被譯為
- z=operator+(x y);
毋需多言,前面的complex operator + (complex c1 complex c2)就是個(gè)很好的例子。
(3)new delete的重載
new delete也可以被重載(別看它們那樣神秘),它們通常采取的聲明形式如下:
- void*operator new (size_t size);
- void operator delete (void*p);
其中size t是一個(gè)與實(shí)現(xiàn)有關(guān)的unsigned int類(lèi)型。以下是它們的使用:
- int*ip=new int;
- delete ip;
當(dāng)使用new分配一個(gè)TYPE類(lèi)型的對(duì)象空間時(shí),sizeof (TYPE)將作為第一參數(shù)引起new (size_t)函數(shù)的調(diào)用,如上new語(yǔ)句將被譯作:
- ip=operator new (sizeof(int));
以下是重載的例子:
- //test12.cpp
- #include <alloc.h>
- #include <iostream.h>
- #include "complex.h"
- static void * operator new (size_t size)
- {
- cout << size << " byte(s) allocated! \n";
- return malloc(size);
- }
- static void operator delete (void *p)
- {
- free(p);
- cout<<"memory block returned! \n";
- }
- void main()
- {
- int *ip = new int(10);
- complex *cp = new complex;
- float * fp = new float[10];
- delete [] fp;
- delete cp;
- delete ip;
- }
輸出結(jié)果:
- 4 byte(s) allocated!
- 8 byte(s) allocated!
- 40 byte(s) allocated!
- memory block returned!
- memory block returned!
- memory block returned!
在這例子中,malloc()與free()被重新拾起,替代了new delete的功能。同時(shí),new () delete()函數(shù)聲明為static類(lèi)型,以防止它們的重載對(duì)其它文件產(chǎn)生副作用。在未重載new、delete之前,系統(tǒng)會(huì)使用缺省的那一份new delete版本。
操作符重載是一張最令你自豪的Ace,但必須記住它仍具有以下限制:①操作符重載要求操作對(duì)象至少有一個(gè)是類(lèi)對(duì)象(類(lèi)只是結(jié)構(gòu)的一個(gè)廣義概念)。我曾經(jīng)做過(guò)以下的嘗試:
- //error: 'operator+(char*char*)’ must he a member function or have a parameter of class type
- char*operator+(char*s1 char* s2)
- {
- return strcat(sl s2);
- }
但后來(lái)編譯器證明了這種對(duì)基本數(shù)據(jù)類(lèi)型的多情是愚蠢的。
②不可以構(gòu)造新操作符,也不能改變操作符操作參數(shù)的數(shù)目,不能改變操作符的優(yōu)先級(jí)。
③操作符的含義應(yīng)盡量忠實(shí)于操作符的原義,這不是一條嚴(yán)格的規(guī)則,但是一條很好的忠告。譬如,當(dāng)你將complex的‘!’操作定義成機(jī)器重新啟動(dòng)的代碼,雖然C++沒(méi)有理由阻攔你,但這樣不好。
到這,本系列就給大家介紹完了。希望能夠?qū)δ阌袔椭?/p>