关于是否要在 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 注释的帮助，示例如下：
<pre class="brush:php;toolbar:false;">class Number { /**
* @var int|float number; /**
* @param int|float number) { number;
} /**
* @return int|float */
public function getNumber () { return $this->number;
}
}
根据数据统计的结果，在开源生态以及 PHP 自身的标准库中使用联合类型非常普遍。官方表示，如果 PHP 能支持联合类型，将会允许我们将更多类型信息从 phpdoc 迁移至函数签名，这具有以下常见的优点：
·类型实际上是强制执行的，因此可以及早发现错误。
·因为它们是强制性的，所以类型信息不太可能变得过时或遗漏边缘情况。
·在继承过程中会检查类型，以执行里氏替换原则（Liskov Substitution Principle）
·可通过反射获得类型信息。
·语法比 phpdoc 简洁。
泛型之后，联合类型可以说是目前类型声明系统中最大的“缺口”。
****提案****
联合类型使用 T1T2… 语法，可在所有接受的类型中使用：
<pre class="brush:php;toolbar:false;">class Number { private int|float number): void { number;
} public function getNumber (): int|float { return $this->number;
}
}
支持的类型
联合类型支持 PHP 当前支持的所有类型：空类型、可空联合类型、false pseudo-type、重复和冗余类型。
****类型语法****
除特殊void类型外，PHP 的类型语法现在可以通过以下语法来描述：
<pre class="brush:php;toolbar:false;">type: simple_type | "?" simple_type | union_type ; union_type: simple_type "|" simple_type | union_type "|" simple_type ; simple_type: "false" # only legal in unions | "null" # only legal in unions | "bool" | "int" | "float" | "string" | "array" | "object" | "iterable" | "callable" # not legal in property types | "self" | "parent" | namespaced_name ;1 0
PHP中文网，大量的免费PHP入门教程，欢迎在线学习！
php免费学习视频：立即使用
踏上前端学习之旅，开启通往精通之路！从前端基础到项目实战，循序渐进，一步一个脚印，迈向巅峰！
