原始類型

维基百科，自由的百科全书

在電腦科學中，原始類型（有別於複合類型）是由程式語言提供的資料類型，作為建立基礎。根據語言及其實作，在電腦的記憶體中，原始類型可能沒有與物件一對一的對應。

原始類型也稱作內建類型或者基本類型。

原始類型的實際範圍，取決於所使用的特定程式語言。例如，在C語言中，字串是一個複合類型，不過在後來的Basic中，字串是原始類型。

典型的原始類型包含︰

• 字元（character、char）；
• 整數（integer、int、short、long、byte），其有各種精度；
• 浮點數（float、double、real、double precision）；
• 定點數（fixed），其有各種精度，以及所選的數量級。
• 布林類型有真和假兩值。
• 參考（又稱作指標或handle），它是一個較小的值，指向其它可能大得多的物件，其所在的記憶體位址。

更多更複雜的原始類型︰

• 多元組，出現於ML、Python
• 鏈表，出現於Lisp
• 複數，出現於Fortran、C (C99)、Python
• 有理數，出現於Lisp
• first class function、closure、continuation，出現於函數式程式語言，如Lisp和ML

通常預期以基於原始類型的運算，構成較快速的語言。整數加法，例如，可以執行單一的機器指令，且部分處理器提供特定的指令，以單一指令處理一系列的字元。尤其是，C語言標準中提到，「一個『簡單』的 int 物件，具有原始的大小，其大小以執行環境的架構所暗示。」意即在 32 位元架構下的 int，可能就是 32 位元的長度。

大部分語言不允許以程式修改原始類型的行為或性能。例外的有Smalltalk，其允許在程式內部擴展原始類型。可以在其上執行加入的運算，甚至重新定義內建的運算。