有很多人在學習C++的 時候只是了解了C++的語法,或者更高層次的人是理解了oo(面向對象),但在這樣的學習過程中,往往一些最基本的問題反而被忽略了。當然,這些問題或許 在你做工程中,不會有太大的影響,只要按照平時一貫的良好編碼習慣,依舊可以寫出好的代碼;但某些時候,或許就是這些最基本的小問題,會讓你的程序BUG 難以發現,而注意到某些問題后,同時還將會提升你程序的性能。所以,還是讓我們把這些最基本的問題一一拾起,了解總比不了解好。
我原本打算用最俗的方式列出10個最基本的問題來排個TOP10的,后來發現每個問題要深入討論的東西太多,於是就此打住,還是一個一個的來慢慢討論,會更加清晰明了。
那么,最開始,就讓我們來討論一下一個最最基本,也最最容易被人忽視掉的問題——C++中的struct和class有什么區別?
如果談到C中的struct和C++中的class的區別,你應該會告訴我很多。但我現在說的是C++中的struct,你還會依然那樣告訴我嗎?你會認為C中的struct和C++中的struct是一樣的嗎?
被我這樣問道,或許你會吱吱嗚嗚的說:不一樣吧。的確,是不一樣,那么區別在哪里?
其實,C和C++這兩種 語言,除了語法上相似,其理念是完全不同的。C++最初的想法就是對C進行擴充——“a better c”,但事實上,這樣的“擴充”已經不能再稱之為擴充了,我更願意把C++當成是一種新的語言,而不僅僅是擴充。又或許,C++和C最大的關系,只是他們 的名字,如果C++不叫C++,而叫D++,你可能就不會將它們倆的關系想得那么的緊密了。當然,這些話只是調侃,C++的確是在C的基礎上發展起來的。
我之所以提到理念不同,關鍵就是指oo,這思想對整個軟件編程的沖擊太大,所以我會說C++更像是一種新的語言。
說了這么多廢話,我們還是回到我們討論的問題上來。
C++中的struct對C中的struct進行了擴充,它已經不再只是一個包含不同數據類型的數據結構了,它已經獲取了太多的功能。
struct能包含成員函數嗎? 能!
struct能繼承嗎? 能!!
struct能實現多態嗎? 能!!!
有很多人應該已經知道這樣一個事實,但總有些不知道的人,看到這些會感到很驚訝。是的,當我第一次注意到這個事實的時候,我也同樣很吃驚。
既然這些它都能實現,那它和class還能有什么區別?
最本質的一個區別就是默認的訪問控制,體現在兩個方面:
1)默認的繼承訪問權限。struct是public的,class是private的。
如果不知道什么是public繼承,什么是private繼承的,可以去查書,這里暫不討論。
你可以寫如下的代碼:
struct A
{
char a;
};
struct B : A
{
char b;
};
這個時候B是public繼承A的。如果都將上面的struct改成class,那么B是private繼承A的。這就是默認的繼承訪問權限。所以我們在平時寫類繼承的時候,通常會這樣寫:
struct B : public A
就是為了指明是public繼承,而不是用默認的private繼承。
當然,到底默認是public繼承還是private繼承,取決於子類而不是基類。我的意思是,struct可以繼承class,同樣class也可以繼承struct,那么默認的繼承訪問權限是看子類到底是用的struct還是class。如下:
struct A{};
class B : A{}; //private繼承
struct C : B{}; //public繼承
2)struct作為數據結構的實現體,它默認的數據訪問控制是public的,而class作為對象的實現體,它默認的成員變量訪問控制是private的。
注意我上面的用詞,我依 舊強調struct是一種數據結構的實現體,雖然它是可以像class一樣的用。我依舊將struct里的變量叫數據,class內的變量叫成員,雖然它 們並無區別。其實,到底是用struct還是class,完全看個人的喜好,你可以將你程序里所有的class全部替換成struct,它依舊可以很正常 的運行。但我給出的最好建議,還是:當你覺得你要做的更像是一種數據結構的話,那么用struct,如果你要做的更像是一種對象的話,那么用class。
當然,我在這里還要強調一點的就是,對於訪問控制,應該在程序里明確的指出,而不是依靠默認,這是一個良好的習慣,也讓你的代碼更具可讀性。
說到這里,很多了解的人或許都認為這個話題可以結束了,因為他們知道struct和class的“唯一”區別就是訪問控制。很多文獻上也確實只提到這一個區別。
但我上面卻沒有用“唯 一”,而是說的“最本質”,那是因為,它們確實還有另一個區別,雖然那個區別我們平時可能很少涉及。那就是:“class”這個關鍵字還用於定義模板參 數,就像“typename”。但關鍵字“struct”不用於定義模板參數。這一點在Stanley B.Lippman寫的Inside the C++ Object Model有過說明。
問題討論到這里,基本上應該可以結束了。但有人曾說過,他還發現過其他的“區別”,那么,讓我們來看看,這到底是不是又一個區別。
還是上面所說的,C++中的struct是對C中的struct的擴充,既然是擴充,那么它就要兼容過去C中struct應有的所有特性。例如你可以這樣寫:
struct A //定義一個struct
{
char c1;
int n2;
double db3;
};
A a={'p',7,3.1415926}; //定義時直接賦值
也就是說struct可以在定義的時候用{}賦初值。那么問題來了,class行不行呢?將上面的struct改成class,試試看。報錯!噢~於是那人跳出來說,他又找到了一個區別。我們仔細看看,這真的又是一個區別嗎?
你試着向上面的 struct中加入一個構造函數(或虛函數),你會發現什么?對,struct也不能用{}賦初值了。的確,以{}的方式來賦初值,只是用一個初始化列表 來對數據進行按順序的初始化,如上面如果寫成A a={'p',7};則c1,n2被初始化,而db3沒有。這樣簡單的copy操作,只能發生在簡單的數據結構上,而不應該放在對象上。加入一個構造函數 或是一個虛函數會使struct更體現出一種對象的特性,而使此{}操作不再有效。事實上,是因為加入這樣的函數,使得類的內部結構發生了變化。而加入一 個普通的成員函數呢?你會發現{}依舊可用。其實你可以將普通的函數理解成對數據結構的一種算法,這並不打破它數據結構的特性。至於虛函數和普通成員函數 有什么區別,我會具體寫篇文章討論。
那么,看到這里,我們發 現即使是struct想用{}來賦初值,它也必須滿足很多的約束條件,這些條件實際上就是讓struct更體現出一種數據機構而不是類的特性。那為什么我 們在上面僅僅將struct改成class,{}就不能用了呢?其實問題恰巧是我們之前所講的——訪問控制!你看看,我們忘記了什么?對,將struct 改成class的時候,訪問控制由public變為private了,那當然就不能用{}來賦初值了。加上一個public,你會發現,class也是能 用{}的,和struct毫無區別!!!
做個總結,從上面的區別,我們可以看出,struct更適合看成是一個數據結構的實現體,class更適合看成是一個對象的實現體。所以我會提出什么時候用struct什么時候用class的建議。如果你有不同的看法,歡迎討論。