查看原文
其他

投票通过,PHP 8 确认引入 Union Types 2.0

PHP开发者 2021-07-19

The following article is from 开源中国 Author 局长

(给PHP开发者加星标,提升PHP技能

转自:开源中国

www.oschina.net/news/111258/union-types-have-been-accepted-for-php8

关于是否要在 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 注释的帮助,示例如下:

class Number { /** * @var int|float $number */ private $number;
/** * @param int|float $number */ public function setNumber($number) { $this->number = $number; }
/** * @return int|float */ public function getNumber() { return $this->number; }}


根据数据统计的结果,在开源生态以及 PHP 自身的标准库中使用联合类型非常普遍。官方表示,如果 PHP 能支持联合类型,将会允许我们将更多类型信息从 phpdoc 迁移至函数签名,这具有以下常见的优点:

  • 类型实际上是强制执行的,因此可以及早发现错误。

  • 因为它们是强制性的,所以类型信息不太可能变得过时或遗漏边缘情况。

  • 在继承过程中会检查类型,以执行里氏替换原则(Liskov Substitution Principle)

  • 可通过反射获得类型信息。

  • 语法比 phpdoc 简洁。

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

提案

联合类型使用 T1|T2|… 语法,可在所有接受的类型中使用:

class Number { private int|float $number;
public function setNumber(int|float $number): void { $this->number = $number; }
public function getNumber(): int|float { return $this->number; }}

支持的类型

联合类型支持 PHP 当前支持的所有类型:空类型、可空联合类型、false pseudo-type、重复和冗余类型。

类型语法

除特殊void类型外,PHP 的类型语法现在可以通过以下语法来描述:

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 ;


推荐阅读

(点击标题可跳转阅读)

PHP 7.4 的 FFI 将支持更好地在 PHP 中使用 C 函数/数据结构

php 命令行下的常用命令


看完本文有收获?请分享给更多人

关注「PHP开发者」加星标,提升PHP技能


好文章,我在看❤️

    您可能也对以下帖子感兴趣

    文章有问题?点此查看未经处理的缓存