31.2. 类型标识符

类型标识符可以引用命名型类型,还可引用命名型或复合型类型的别名。

大多数情况下,类型标识符引用的是与之同名的命名型类型。例如类型标识符 Int 引用命名型类型 Int,同样,类型标识符 Dictionary 引用命名型类型 Dictionary

在两种情况下类型标识符不引用同名的类型。情况一,类型标识符引用的是命名型或复合型类型的类型别名。比如,在下面的例子中,类型标识符使用 Point 来引用元组 (Int, Int)

typealias Point = (Int, Int)
let origin: Point = (0, 0)

情况二,类型标识符使用点语法(.)来表示在其它模块或其它类型嵌套内声明的命名型类型。例如,下面例子中的类型标识符引用在 ExampleModule 模块中声明的命名型类型 MyType

var someValue: ExampleModule.MyType

类型标识符语法

  • type-identifier:类型标识符 → 类型名称 泛型实参子句可选 | 类型名称 泛型实参子句可选 . 类型标识符
  • type-name:类型名称 → 标识符