声明：

         1. type Name = Existing type;

   2. type Name = type Existing type;
   3. type Name = (EnumValue1 [=value], EnumValue2 [=value] ...);
   4. type Name = Expression1..Expression2;
   5. type Name = ^Existing type;
   6. type Name = array[...] of Existing type;
   7. type Name = class ... end;
   8. type Name = class of Existing class
   9. type Name = dispinterface ... end;
  10. type Name = file of Existing type;
  11. type Name = function ...;
  12. type Name = interface ...  end;
  13. type Name = object ... end;
  14. type Name = procedure ...;
  15. type Name = record ... end;
  16. type Name = set of Ordinal values

描述：Type关键词是Delphi的基础部分，不像其它语言，它允许创建变量和过程的新类型（种类）。这些新的类型可以被引用，就像它是语言的一部分一样。

比如：Type TCourtCards = (Ace,Jack,Queen,King);

允许定义一个这种“type”的新变量：var Card:TCourtCard; Card:=Queen;

一般都在类型名字的前缀加“T”，这是一种有用的约定。

1.type Name = Existing type

参考一个现有的类型，比如用新的名字来替代string。

2.type Name = type Existing type

这个与上面的效果一样，但是它确保在运行时，这个类型的变量被识别为它的新类型名称，而不是原先已存在的类型名称。

3.type Name = (EnumValue1,EnumValue2…)

定义一个枚举类型，包含了值EnumValue1,EnumValue2等等。它是用户自定义的名字，列举出所有有可能的值。这些值在你的程序中必 须是唯一的，一旦在类型中定义了它，只可通过两种方法引用：指定或引用一个这种类型的变量；和用Ord关键词取得序数作为数字值。见例子。

注：这些枚举元素在定义的时候，它的位置值为0，1，2，等等，除非这个值用“＝value”覆写。如：

Type Days = (Monday = 1,Tuesday,Wed…);

这里，Monday位置值被设为1，Tuesday为2，Wednesday 为3，依次类推。

4.Type Name = Expression1..Expression2

这里是一个完整的整数或字符范围，从Expression1表达式到Expression2表达式。表达式1和2可以是计算结结果为整数或字符的公式，或仅是整数或字符常量。如：Type TAlphabet =’A’..’z';通常用于定义字符范围，从大写A到小写z。

5.type Name = ^Existing type

‘^’符号是指向现有类型的指针。它经常用于导航记录Record类型。

6.type Name = array[…] of existing type

一个结构类型，用一个新的类型封装了某类型的数组。

7.type Name = class…end

用于定义一个新类的结构，详见Class关键词。

8.type Name = class of existing class

提供一个meta-class定义，详见Class关键词。

9.type Name = dispinterface … end

一个分派接口（dispatch interface）类型，详见Dispinterface关键词。

10.type Name = file of Existing type

定义一个指向文件的类型，这个文件包含了给定类型的记录。（默认地，文件包含二进制数据）

11.type Name = function …

定义一个函数当作类型，允许这个函数被定义作为参数用于子程序。

12.type Name = interface … end

用于定义接口的结构。详见Interface关键词。

13.type Name = object … end

相当于类定义，已过时淘汰。

14.type Name = procedure …

定义一个过程当作类型，允许这个过程被定义作为参数用于子程序。

15.type Name = record … end

定义记录类型，在给定的名称下封装数据结构。详见Record关键词。

16.type Name = set of Ordinal values

定义有序数的子界。定义了一个整数或字符的范围。详见Set关键词。

{举一些type例子}
Type
  TString1 = string;            //  1. type Name  = Existing type
  TString2 = type string;       //  2. type Name  = type Existing type
  TTemp    = (Hot, Warm, Cold); //  3. type Name  = (Enum1, Enum2 ...)
  TExpr    = 5*2 .. 6*3;        //  4. type Name  = Expr1 .. Expr2
                                //  5. See the Pointer keyword
  TArray   = array[1..3] of byte; //6. type Name  = array[...] of type
                                  //  7. 见TFrom1类定义
                                  //  8. 详见 Class 关键词
                                  //  9. 详见 Dispinterface 关键词
                                  // 10. 详见 File 关键词
                                  // 11. 详见 Function 关键词
                                  // 12. 详见 Interface 关键词
                                  // 13. 淘汰不用了
                                  // 14. 详见 Procedure 关键词
  TRecord  = record               // 15. type Name  = record .. end;
      header : string;
      value  : Integer;
  end;
  TLetters = set of 'A'..'z';     // 16. type Name  = set of Ordinals
 
var
  // 用上面的类型定义变量
  firstName   : TString1;
  lastName    : TString2;
  temperature : TTemp;
  expression  : TExpr;
  myArray     : TArray;
  myRecord    : TRecord;
  letters     : TLetters;
 
begin
  // 为变量赋值
  firstName       := 'Neil';
  lastName        := 'Moffatt';
  temperature     := Cold;
  expression      := 10;
  myArray[1]      := 5;
  myRecord.header := 'data file';
  letters         := ['F'..'Q'];
end;