投票经过，PHP 8 确认引入 Union Types 2.0

关因而否要在 PHP 8 中引入 Union Types 的投票已于近日结束，投票结果显示有 61 名 PHP 开发组成员投了同意票，5 名投了反对票。

 

 

 

 

还留意到鸟哥在投票中投了反对票~）

所以根据投票结果，官方已确认将会在 PHP 8 中引入 Union Types 2.0。

 

 

关于 Union Types 的具体讨论可在 GitHub 查看，下面咱们来简单了解一下 Union Types（联合类型）。

根据官方的介绍，Union Types（联合类型）支持接收多个不一样类型的值，而不单单是单一类型。PHP 目前已经支持两种特殊的联合类型：

• Type or null，使用特殊的?Type语法

• array or Traversable，使特殊的iterable类型

不过 PHP 目前尚不支持任意的联合类型。如要使用，需经过 phpdoc 注释的帮助，示例以下：

 

 

根据数据统计的结果，在开源生态以及 PHP 自身的标准库中使用联合类型很是广泛。官方表示，若是 PHP 能支持联合类型，将会容许咱们将更多类型信息从 phpdoc 迁移至函数签名，这具备如下常见的优势：

• 类型其实是强制执行的，所以能够及早发现错误。

• 由于它们是强制性的，因此类型信息不太可能变得过期或遗漏边缘状况。

• 在继承过程当中会检查类型，以执行里氏替换原则（Liskov Substitution Principle）

• 可经过反射得到类型信息。

• 语法比 phpdoc 简洁。

泛型以后，联合类型能够说是目前类型声明系统中最大的“缺口”。

提案

联合类型使用 T1|T2|… 语法，可在全部接受的类型中使用：

 

 

支持的类型

联合类型支持 PHP 当前支持的全部类型：空类型、可空联合类型、false pseudo-type、重复和冗余类型。

类型语法

除特殊void类型外，PHP 的类型语法如今能够经过如下语法来描述：

 

 

• 以上是文章所有内容，有须要学习交流的友人请加入Swoole交流群的我们一块儿，有问题一块儿交流，一块儿进步！前提是你是学技术的。感谢阅读！

点此加入该群