Delphi 資料類型系統全景圖：從簡單類型到變體與類別引用

Delphi 擁有豐富且層次分明的資料類型系統。本文按官方分類梳理所有類型類別，說明各類型的核心特性、典型用途與相互關係，幫助開發者建立完整的類型心智模型。

1. 簡單類型

簡單類型不可再分解，佔用固定記憶體大小，支援序數運算（除 Real/浮點數）。

2. 字串類型

3. 結構類型

4. 指標類型

• Pointer：無類型指標，相容所有指標類型。
• ^TypeName：類型化指標，編譯器檢查解引用安全性。
• 專用指標：PChar、PWideChar、PByte、PInteger、PRecord 等。

5. 程序類型

• procedure / function：獨立函數指標。
• reference to procedure / function：匿名方法（閉包），捕獲外部變數。
• of object：綁定物件實例的方法指標（事件處理常用）。

6. 變體類型

• Variant：可在運行時保存任意簡單類型、陣列、介面、記錄（自定義），支援動態綁定與晚期綁定。
• OleVariant：COM 互操作專用，自動執行變體轉換。

7. 類型聲明與別名

type
  TMyInt = Integer;      // 類型別名（同一類型）
  TNewInt = type Integer; // 不同類型（強類型區分，防止誤混用）
  TCallback = procedure(X: Integer) of object;
  PMyRecord = ^TMyRecord;

類型系統關係圖（簡化）

Simple Types
 ├─ Ordinal Types → Integer, Char, Boolean, Enum, Subrange
 ├─ Real Types    → Single, Double, Extended, Currency
 └─ String Types  → string, AnsiString, WideString, ShortString
Structured Types
 ├─ Set
 ├─ Array (Static/Dynamic)
 ├─ Record
 ├─ File
 ├─ Class
 ├─ Class Reference
 └─ Interface
Pointer Types
Procedural Types
Variant Types

選型建議

1. 整數運算首選 Integer（平台自適應），位運算用 Cardinal/Byte。
2. 浮點財務用 Currency，科學計算用 Double/Extended。
3. 字串統一用 string（UnicodeString）。
4. 需值語義、棧分配、無繼承 → record；需繼承、多態、堆分配 → class。
5. 跨模組回調 → 介面或匿名方法；單元內簡單回調 → 程序類型。
6. 動態結構、脚本互操作 → Variant。

建立清晰的類型分類認知，能在設計 API、優化記憶體、排查類型不匹配錯誤時事半功倍。