关于是否要在 PHP 8 中引入 Union Types 的投票已于近日结束,投票结果显示有 61 名 PHP 开发组成员投了赞成票,5 名投了反对票。
还留意到鸟哥在投票中投了反对票~
因此根据投票结果,官方已确认将会在 PHP 8 中引入 Union Types 2.0。
关于 Union Types 的具体讨论可在 GitHub 查看,下面我们来简单了解一下 Union Types(联合类型)。
根据官方的介绍,Union Types(联合类型)支持接收多个不同类型的值,而不仅仅是单一类型。PHP 目前已经支持两种特殊的联合类型:
Type
ornull
,使用特殊的?Type
语法array
orTraversable
,使特殊的iterable
类型
不过 PHP 目前尚不支持任意的联合类型。如要使用,需通过 phpdoc 注释的帮助,示例如下:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 | <span style="color: #0000ff;">class</span> <span style="color: #0000ff;">Number</span><span style="color: #000000;"> { </span><span style="color: #008000;">/*</span><span style="color: #008000;">* * @var int|float $number </span><span style="color: #008000;">*/</span> <span style="color: #0000ff;">private</span> <span style="color: #800080;">$number</span><span style="color: #000000;">; </span><span style="color: #008000;">/*</span><span style="color: #008000;">* * @param int|float $number </span><span style="color: #008000;">*/</span> <span style="color: #0000ff;">public</span> <span style="color: #0000ff;">function</span> setNumber (<span style="color: #800080;">$number</span><span style="color: #000000;">) { </span><span style="color: #800080;">$this</span>-><span style="color: #0000ff;">number</span> = <span style="color: #800080;">$number</span><span style="color: #000000;">; } </span><span style="color: #008000;">/*</span><span style="color: #008000;">* * @return int|float </span><span style="color: #008000;">*/</span> <span style="color: #0000ff;">public</span> <span style="color: #0000ff;">function</span><span style="color: #000000;"> getNumber () { </span><span style="color: #0000ff;">return</span> <span style="color: #800080;">$this</span>-><span style="color: #0000ff;">number</span><span style="color: #000000;">; } }</span> |
根据数据统计的结果,在开源生态以及 PHP 自身的标准库中使用联合类型非常普遍。官方表示,如果 PHP 能支持联合类型,将会允许我们将更多类型信息从 phpdoc 迁移至函数签名,这具有以下常见的优点:
- 类型实际上是强制执行的,因此可以及早发现错误。
- 因为它们是强制性的,所以类型信息不太可能变得过时或遗漏边缘情况。
- 在继承过程中会检查类型,以执行里氏替换原则(Liskov Substitution Principle)
- 可通过反射获得类型信息。
- 语法比 phpdoc 简洁。
泛型之后,联合类型可以说是目前类型声明系统中最大的“缺口”。
提案
联合类型使用 T1T2…
语法,可在所有接受的类型中使用:
1 2 3 4 5 6 7 8 9 10 11 | <span style="color: #0000ff;">class</span> <span style="color: #0000ff;">Number</span><span style="color: #000000;"> { </span><span style="color: #0000ff;">private</span> int|<span style="color: #0000ff;">float</span> <span style="color: #800080;">$number</span><span style="color: #000000;">; </span><span style="color: #0000ff;">public</span> <span style="color: #0000ff;">function</span> setNumber (int|<span style="color: #0000ff;">float</span> <span style="color: #800080;">$number</span>):<span style="color: #000000;"> void { </span><span style="color: #800080;">$this</span>-><span style="color: #0000ff;">number</span> = <span style="color: #800080;">$number</span><span style="color: #000000;">; } </span><span style="color: #0000ff;">public</span> <span style="color: #0000ff;">function</span> getNumber (): int|<span style="color: #0000ff;">float</span><span style="color: #000000;"> { </span><span style="color: #0000ff;">return</span> <span style="color: #800080;">$this</span>-><span style="color: #0000ff;">number</span><span style="color: #000000;">; } }</span> |
支持的类型
联合类型支持 PHP 当前支持的所有类型:空类型、可空联合类型、false pseudo-type、重复和冗余类型。
类型语法
除特殊void
类型外,PHP 的类型语法现在可以通过以下语法来描述:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 | type:<span style="color: #000000;"> simple_type </span>| "?"<span style="color: #000000;"> simple_type </span>|<span style="color: #000000;"> union_type ; union_type</span>: simple_type "|"<span style="color: #000000;"> simple_type </span>| union_type "|"<span style="color: #000000;"> simple_type ; simple_type</span>: "false" <span style="color: #008000;">#</span><span style="color: #008000;"> only legal in unions</span> | "null" <span style="color: #008000;">#</span><span style="color: #008000;"> only legal in unions</span> | "bool" | "int" | "float" | "string" | "array" | "object" | "iterable" | "callable" <span style="color: #008000;">#</span><span style="color: #008000;"> not legal in property types</span> | "self" | "parent" |<span style="color: #000000;"> namespaced_name ;</span> |
来自:
开源中国社区