PHP8 类型系统
2023-08-14 14:07 更新
PHP uses a nominal type system with a strong behavioral subtyping relation. The subtyping relation is checked at compile time whereas the verification of types is dynamically checked at run time.
PHP 的类型系统支持各种基础类型，可以组合在一起创建更加复杂的类型。其中一些类型可以写成类型声明。
基本类型
一些基础类型是内置类型，跟语言紧密集成，不能用用户定义类型重现（reproduced）。
基础类型列表是：
- 内置类型
- null 类型
- 标量类型：bool 类型；int 类型；float 类型；string 类型
- array 类型
- object 类型
- resource 类型
- never 类型
- void 类型
- 相对类类型：self、parent 和 static
- 字面量类型
- false
- true
- 用户定义的类型（通常称为类类型）接口类枚举
- callable 类型
复合类型
可以将简单类型组合为复合类型。PHP 允许使用以下方式组合类型：
- 类类型（接口和类名）的交集。
- 类型联合。
交集类型
交集类型接受满足多个类类型声明的值，而不是单个值。交集类型中的每个类型由 & 符号连接。因此，类型 T、U 和 V 组成的交集类型将写成 T&U&V。
联合类型
联合类型接受多个不同类型的值，而不是单个类型。联合类型中的每个类型由 | 符号连接。因此类型 T、U 和 V 的联合类型写成 T|U|V。如果其中一种类型是交集类型，需要使用括号括起来，在 DNF 中写成：T|(X&Y)。
类型别名
PHP 支持两种类型别名：mixed 和 iterable，分别对应 object|resource|array|string|float|int|bool|null 和 Traversable|array 的 联合类型。
注意: PHP 不支持用户定义类型别名。
以上内容是否对您有帮助：
← PHP8 简介
更多建议：