一直不明白c++中類中的函數(shù)和成員變量在實(shí)例化對象后在內(nèi)存中究竟是個(gè)什么樣的布局。一度以為一個(gè)對象的內(nèi)存布局應(yīng)該包括函數(shù)體和成員變量，后來才知道對象的內(nèi)存布局是不包括函數(shù)體的。也就是說實(shí)例化一個(gè)類后，該對象占用的內(nèi)存空間大小實(shí)際上是它的成員變量在內(nèi)存中所占用空間大小（注意，含有靜態(tài)成員變量和虛函數(shù)的類對象例外）。以下分析以下c++類對象在內(nèi)存中的布局，并且探討在給定一個(gè)類的成員變量的類型和數(shù)量時(shí)，如何使得類實(shí)例化后對象所占用的內(nèi)存空間最小（考慮變量在內(nèi)存中對齊）。
先給出一個(gè)類，如下：
1 class A
2 {
3 public:
4 A()
5 {
6 cout << "A" << endl;
7 }
8 virtual ~A()
9 {
10 cout << "~A" << endl;
11 }
12 virtual void printA()
13 {
14 cout << "printA" << endl;
15 }
16 private:
17
18 int a;
19 char c;
20 char e;
21 double b;
22 static double d;
23 };
24
25 int main()
26 {
27
28 A a;
29 cout << sizeof(a) << endl; //輸出是24
30 return 0;
31 }
以上代碼輸出是：24。也就是說對象a占用內(nèi)存空間大小是24字節(jié)，這個(gè)24字節(jié)是怎么得來的呢？我們注意到在類A中存在虛函數(shù)，而只有類中有虛函數(shù)存在，則可以知道，在每個(gè)類對象占用內(nèi)存空間的首部都會有一個(gè)虛函數(shù)表，這個(gè)虛函數(shù)表可以看成是一個(gè)指針數(shù)組，在對象a中虛函數(shù)表中總共有2項(xiàng)，因?yàn)轭怉中存在兩個(gè)虛函數(shù)，每個(gè)虛函數(shù)都在虛函數(shù)表中有一個(gè)項(xiàng)對應(yīng)。現(xiàn)在我們知道虛函數(shù)表是2個(gè)指針的內(nèi)存大小，所以是2*4=8字節(jié)。然后a,c,e總共占用4+1+1=6字節(jié)，由于需要進(jìn)行內(nèi)存對齊，所以實(shí)際上它占用的大小是8字節(jié)（即類對象中的內(nèi)存按照占用內(nèi)存空間最大的變量來對齊，static變量不考慮在內(nèi)）。然后是b占用8字節(jié)，static變量d不占用空間，綜上對象a占用空間大小為8（虛函數(shù)表）+8（a,c,e)+8(b)=24字節(jié)。具體可以在vs下調(diào)試，查看a的地址。
由于要考慮到內(nèi)存對齊，所以。。今天有事，以后待續(xù)