DevFbcTypes

コンパイラのほとんどすべての部分は、何らかの方法でデータ型に対処します。
シンボルは、データ型について最も神経を使います。コンパイル時の型チェックの殆どは、これに基づくものです。
AST ノードも、データ型を持ち、式（型変換/転換を含む）の面倒を見ます。

データ型は、以下の組合せとして表されます：

dtype integer
- 5 bits: raw type:
  - void (unknown type, e.g.: any ptr, type t as t)
  - byte, ubyte
  - char (zstring pointers and their deref expressions)
  - short, ushort
  - wchar (wstring pointers and their deref expressions)
  - integer, uinteger
  - enum (integer)
  - long, ulong
  - longint, ulongint
  - single, double
  - string (variable length)
  - fixstr (fixed length strings, string * N, N is the type's length)
  - struct (UDT, -> subtype is used)
  - namespace (used during name mangling?)
  - function (used for function pointers, -> subtype contains full function declaration)
  - forward reference (will be changed to actual raw type when known, -> subtype is used)
  - pointer (this value is only used temporarily as a result of the typeGet() macro)
  - xmmword (used by SSE emitter)
- 4 bits: PTR count
  How many PTR's there are on the type, maximum 8. If > 0, then the data type is a pointer.
- 9 bits: CONST mask (8 PTR's + 1 "base")
```
    Example                     CONST mask

const integer                   000000001           (first CONST bit set)
integer const ptr               000000001           (ditto)
const integer ptr               000000010           (pointer to const)
const integer ptr const ptr     000000101           (const pointer to pointer to const)
```
subtype, これは、何かの型のために、シンボルを指します:
- ユーザ定義型（struct/classes、enums）のために、これは、対応する UDT シンボルを示します。
- 前方参照型定義のために、これは、分かるなら、実際のサブタイプ・シンボルによって、結局取り替えられる、特別の前方参照シンボルを、示します。
- 手続きポインターのために、これは、呼び出しの協定などをさらに定義する匿名のシンボル、および、最も重要なことには、結果とパラメーターの型、を指します。

length integer
これは、サイズを計算(例えば、構造サイズ計算、ポインター算術、スタック・オフセット)しなければならない場所で、使われます。

FreeBASIC DevFbcTypes

データ型の表現