計算機程式，無非是對資料進行操作。

    而資料是按位元位以二進位制形式儲存在計算機的儲存器中的。

    為了方便程式設計師對資料進行操作，高階程式設計語言的實現一般都提供了基本資料型別。

    程式設計師利用已有的資料型別來定義程式中用到的變數或常量。

    對程式設計師來說，我們只需關心變數或常量的兩個屬性：第一，它的名字；第二，它的值。

    而對編譯器和作業系統或其它程式程式執行環境來說，它們得負責三件事：第一，根據程式設計師在變數宣告（形如：資料型別  變數名）中給出的資料型別，確定該變數在記憶體中的儲存形式（如所佔位元位數）；第二，把程式設計師程式碼中的變數名對映為一個具體的記憶體地址；第三，根據變數的資料型別控制程式設計師可對該變數實施的操作。

    不同的應用程式常常需要某些特殊的資料型別，而程式語言的基本資料型別是遠遠不能夠滿足這一需求的。

    因此，面向過程的C語言為程式設計師提供了可以自定義資料型別的結構體，它把一組相關的資料封裝在一起。而面向物件的C++、java以及C#等則為程式設計師提供了可自定義的類。類和結構體相比，有著本質上的不同。結構體只是簡單的把一組不同資料型別但又相互關聯的資料組織到一起。而類，是對客觀實體的抽象。它不僅抽象出了客觀實體的所有資料型別，還抽象出了客觀實體的所有操作集合。

    當然，無論是基本資料型別還是自定義資料型別，都是抽象的。只有當程式設計師定義了某一型別的某一變數或常量或物件時，執行環境才為它分配記憶體。至於如何分配記憶體，和具體語言的實現有關。