类型标识符可以引用命名型类型,还可引用命名型或复合型类型的别名。
大多数情况下,类型标识符引用的是与之同名的命名型类型。例如类型标识符 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:类型名称 → 标识符