首先：我們要知道什麼是類的例項化，所謂類的例項化就是在記憶體中分配一塊地址．

那我們先看看一個例子：

#include<iostream.h>

class a {};
class b{};
class c:public a{
 virtual void fun()=0;
};
class d:public b,public c{};
int main()
{
 cout<<"sizeof(a)"<<sizeof(a)<<endl;
 cout<<"sizeof(b)"<<sizeof(b)<<endl;
 cout<<"sizeof(c)"<<sizeof(c)<<endl;
 cout<<"sizeof(d)"<<sizeof(d)<<endl;
 return  0;}

程式執行的輸出結果為：

sizeof(a) =1

sizeof(b)=1

sizeof(c)=4

sizeof(d)=8

為什麼會出現這種結果呢？初學者肯定會很煩惱是嗎？類a，b明明是空類，它的大小應該為為０，為什麼　編譯器輸出的結果為１呢？這就是我們剛才所說的例項化的原因（空類同樣可以被例項化），每個例項在記憶體中都有一個獨一無二的地址，為了達到這個目的，編譯器往往會給一個空類隱含的加一個位元組，這樣空類在例項化後在記憶體得到了獨一無二的地址．所以a，b的大小為１．

而類c是由類a派生而來，它裡面有一個純虛擬函式，由於有虛擬函式的原因，有一個指向虛擬函式的指標（vptr），在３２位的系統分配給指標的大小為４個位元組，所以最後得到c類的大小為４．

類d的大小更讓初學者疑惑吧，類d是由類b，c派生邇來的，它的大小應該為二者之和５，為什麼卻是８　　呢？這是因為為了提高例項在記憶體中的存取效率．類的大小往往被調整到系統的整數倍．並採取就近的法則，裡哪個最近的倍數，就是該類的大小，所以類d的大小為８個位元組．

當然在不同的編譯器上得到的結果可能不同，但是這個實驗告訴我們初學者，不管類是否為空類，均可被例項化（空類也可被例項化），每個被例項都有一個獨一無二的地址．

我所用的編譯器為vc++ 6.0．

下面我們再看一個例子．

#include<iostream.h>
class a{
pivate: 
int data;
};

class b{ 
private:
     int data;
  static int data1;
};
 int b::data1=0;
 void mian(){
 cout<<"sizeof(a)="<<sizeof(a)<<endl;
 cout<<"sizeof(b)="<<sizeof(b)<<endl;
}

執行結果為：

sizeof(a)=4;

sizeof(b)=4;

為什麼類b多了一個數據成員，卻大小和類a的大小相同呢？因為：類b的靜態資料成員被編譯器放在程式的一個global  data members中，它是類的一個數據成員．但是它不影響類的大小，不管這個類實際產生　了多少例項，還是派生了多少新的類，靜態成員資料在類中永遠只有一個實體存在，而類的非靜態資料成員只有被例項化的時候，他們才存在．但是類的靜態資料成員一旦被宣告，無論類是否被例項化，它都已存在．可以這麼說，類的靜態資料成員是一種特殊的全域性變數．

所以a，b的大小相同．

下面我們看一個有建構函式，和解構函式的類的大小，它又是多大呢？

#include<iostream.h>
class A{
public :
 A(int a){
  a=x;}
 void f(int x){
  cout<<x<<endl;}
 ~A(){}

private:
   int x;
   int g;
   };
class B{
public:
 private:
 int  data; int data2;
 static int xs;
};
int B::xs=0;
void  main(){
 A s(10);
 s.f(10);
 cout<<"sozeof(a)"<<sizeof(A)<<endl;
 cout<<"sizeof(b)"<<sizeof(B)<<endl;
}程式執行輸出結果為：

10 ,

sizeof(a) 8

sizeof(b) 8

它們的結果均相同，可以看出類的大小與它當中的建構函式，解構函式，以及其他的成員函式無關，只與它當中的成員資料有關．

從以上的幾個例子不難發現類的大小：

１．為類的非靜態成員資料的型別大小之和．

２．有編譯器額外加入的成員變數的大小，用來支援語言的某些特性（如：指向虛擬函式的指標）．

３．為了優化存取效率，進行的邊緣調整．

４　與類中的建構函式，解構函式以及其他的成員函式無關。