pascal 视频教程_pascal和basic_pascal选择排序(116)

Wide string types（宽字符串）

在Windows下，宽字符串变量是一个占用4字节内存的指针，指向一个动态分配的字符串。当字符串变量为空时（字符串长度为零），指针为nil并且不分配动态内存。对一个非空值，字符串指针指向一个动态分配的内存块，这个内存块包含了字符串的实际内容，度（没有引用计数）。下面的表格说明了内存块的分配情况。255当字符串变量为空时32位的值来指示字符串的长个保存（字- 155 -

个字符加上1同时还包括一

并且还有一个

Memory management

偏移量

0..Length -1

Length 内容 字符串 NULL字符（#0） -4 32位长度指示器（字节数）

字符串的长度以字节为单位，所以，它是字符串所包含的字符数目的两倍。

内存块末尾的NULL字符由编译器和内置的字符串处理例程自动维护，这使得宽字符串能直接转换为一个零结尾字符串。

Set types（集合类型）

集合可看作是由位（bit）组成的数组，每个位指明一个元素是否在集合中。一个集合最多有256个元素，所以，一个集合占用的空间不会超过32个字节。对一个特定的集合，它占用的字节数等于

(Max div 8) - (Min div 8) + 1

这里，Max和Min是集合基础类型的上下边界。集合中一个特定元素 E 所在的字节（序号）是 (E div 8) - (Min div 8)

在这个字节中，它对应的位（序号）是

E mod 8

这里，E 表示元素的序数值。编译器尽可能把集合存储在CPU寄存器中，但若它的大小比普通 Integer类型大，或在程序的代码中使用了集合的地址，它总是被存储在内存中。

Static array types（静态数组）

静态数组是由它的元素按顺序构成的序列，拥有最小索引的元素在内存块的底端。对多维数组来说，最右边的一维先发生变化。

Dynamic array types（动态数组）

动态数组变量是一个占用4字节内存的指针，指向动态分配内存的数组。当变量为空（未初始化）或存储一个长度为0的数组时，指针为nil，并且不会为数组分配内存。对一个非空数组，指针指向一个动态分配的内存块，这个内存块包含了数组的值，并且还有一个32位的长度指示、以及一个32位的引用计数。下面的表格说明了动态数组的内存分配情况。

偏移量 内容

-8 32位引用计数

-4 32位长度指示（元素个数）

0..Length * (size of element) - 1 数组的元素

Record types（记录类型）

When a record type is declared in the {$A+} state (the default), and when the declaration does not include a - 156 -

Memory management

packed modifier, the type is an unpacked record type, and the fields of the record are aligned for efficient access by the CPU. The alignment is controlled by the type of each field. Every data type has an inherent alignment, which is automatically computed by the compiler. The alignment can be 1, 2, 4, or 8, and represents the byte boundary that a value of the type must be stored on to provide the most efficient access. The table below lists the alignments for all data types.

本文来自电脑杂谈，转载请注明本文网址：
http://www.pc-fly.com/a/jisuanjixue/article-23665-116.html