"TypeSpecifier" （编译类型）

"TypeSpecifier"::[t]

是代表另一个类型 t 的类型.

更多信息

  • "TypeSpecifier"::["MachineInteger"] 和 "MachineInteger" 之间的关系类似于表达式 TypeSpecifier["MachineInteger"] 数字表达式 2 之间的关系.
  • 具有 "TypeSpecifier" 类型的项可以存储在变量中并传递给函数.
  • "TypeSpecifier" 类型可用于定义接受类型作为参数的函数，如 Cast.
  • "TypeSpecifier" 类型只用于类型系统的操作.

函数构造

  • TypeSpecifier[t] 构造类型为 "TypeSpecifier"::[t] 的对象.
  • t 在编译时必须为完全可解 (fully resolvable).
  • TypeOf[x] 返回目标 x 的类型.

转换

    表达式

  • 形式为 TypeSpecifier[t] 的表达式与类型 "TypeSpecifier"::[t] 相互转换.

范例

打开所有单元关闭所有单元

基本范例  (2)

编译一个返回 "TypeSpecifier" 类型的程序：

将 "TypeSpecifier" 类型储存在变量中以便以后运算使用：

范围  (1)

在对 TypeSpecifier 的调用中使用 TypeOf：