.. index::
   single: 编程模型, 链接顺序

编程模型
----------------------

过去几年来，FPC 开始支持越来越多使用 Unix 特定 RTL 部件的平台。某种形式的重组是必要的，并且 FPC 正在为更多处理器平台做准备，我决定研究可移植性问题，特别是创建 64 干净的代码，以及对齐和字节顺序。研究 Object Pascal 可移植性的主要原因是 Free Pascal 计划移植到64位平台，如 x86_64，Sparc64 和 PowerPC G5。

创建64位干净代码有点误导，因为它不仅限于64位架构，它是以多种处理器上运行为目的而编写代码的原则。基本原则是只允许某个整数类型和指针之间转换，并且始终具有整数类型（PtrInt），并保证按指针大小缩放。

在 C 中，是标准长度，或者使用新 long 类型。由于指针通常被认为是无符号的，选择与指针兼容的无符号类型似乎是合乎逻辑的。有符号或无符合与 C 语言的兼容性无关紧要，只要整数是用二进制的补码形式编码，并且因为 C 语言和另外一种语言之间的接口是无类型化的。

定义新的 long long 类型原因很简单，允许遗留代码中整数和 long 类型大小相等，以便代码在没有修改的情况下继续工作。

选择一组类型在 C 常见问题中称为编程模型，并命名为 ILP-x， LLP-x 或 LP-x，x为处理器的字大小，通常为32或64。ILP-x 表示整数，long 和指针是 x位宽，LP-x long 和指针是 x 位宽，LLP 是 long long 类型 和 x 指针位宽。

下表列出了一些典型的编程模型：

====================    ========================    ================    ================    ================    ================    ================
c类型                   objpas                                                              模型大小
--------------------    ------------------------    ----------------    ----------------    ----------------    ----------------    ----------------
\                       \                           ILP32               LP32                LP64                ILP64               LLP64
char                    byte/char/smallint	        8                   8                   8                   8                   8
short                   shortint                    16                  16                  16                  16                  16
int                     integer/longint             32                  16                  32                  64                  32
long                                                32                  32                  64                  64                  64
long long                                           32                  -(32)               -(64)               -(64)               64
pointer                 pointer types               32                  32                  64                  64                  64
====================    ========================    ================    ================    ================    ================    ================

表中的一点需要解释：

* 当前（intel系列）PC 处理器的标准编程模型是 ILP32。所有32位操作系统都使用它。
* long 在 C 语言中的问题是，既有期望指针和 long 具有相同大小程序，也有期望 int 和 long 具有相同大小的程序。兼容性模型 LLP64 旨在通过引入一种与指针(long long)保持兼容的新类型来保持长整型兼容性。
* long long 类型不存在，除了在 LLP64 中，long long类型在 Object Pascal 中没有等效的类型，必须创建一个新类型，就像 C 一样，由于 Pascal 没有建立 long <-> ptr 等价关系，所以对 long long 的讨论是不成立的，然而，决定创建一个带符号（PtrInt）和无符号（PtrUint）指针类型。
* LP32 用作 Windows 3.1 的 win-16 API 的模型。
* 大多数 \*nix\ 使用 LP64，主要是为了节省与 ILP64 相比的内存空间，因为使用完整的64位整数几乎不需要并浪费内存。示例：64位 Linux，FreeBSD，NetBSD，OpenBSD。
* Win64 使用 LLP64 模型，也称为 P64。这个模型保留了 long 和 int 之间的类型兼容性，但在 long 和指针类型之间失去类型兼容性。指针和现有类型之间的任何转换都需要修改。
* ILP64 是最容易使用的模型，因为它保留了所使用的 ILP32 模型的所有兼容性，除了特定的假设，核心类型是32位。然而这个模型非常耗费内存，并且代码和数据大小都显着增加。通常由商业设备使用，如 IBM AIX。
* 表中没有 dos 模型，因为 dos 没有内存模型。（在这些模型中，指针不能用单个值表示。尽管 DJGPP 扩展器模型是 ILP32。