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

2019年11月12日

关于是否要在 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
           ;
展开阅读全文
12 收藏
分享
加载中
精彩评论
😝鸟哥说这个特性影响性能,而不是因为太累发际线太高才投反对票的
2019-11-12 09:06
34
举报
都用 php 了还跟我谈性能?哈哈哈😃
2019-11-12 14:25
20
举报
php什么时候可以把$这个变量符号去掉呢,满屏的$敲的人好累呀
2019-11-12 14:32
14
举报
我期望php可以好搞人工智能和高速运算和更好的交互性,替代python。
2019-11-12 11:25
7
举报
不,应该把->这个箭头去掉。
2019-11-12 18:43
4
举报
最新评论 (68)
表示祝贺,php就是好
2020-06-26 10:36
0
回复
举报
我想问问还在用php5的朋友有多少😂
2019-11-27 22:24
1
回复
举报
仁慈的独裁vs投票民主
2019-11-23 10:03
1
回复
举报
PHP 9.0决定移除 Union Types.
2019-11-19 15:07
2
回复
举报
希望整些实用的,比如线程,协程的支持,静态编译的支持等,整这些语法糖用处不太大
2019-11-19 11:25
1
回复
举报
这个语言应该被淘汰
2019-11-19 08:24
2
回复
举报
越来越肥了,要不用PY吧
2019-11-18 14:42
0
回复
举报
再物联网方面, 有php的机会吗
2019-11-18 11:19
0
回复
举报
反对该提案的人,难道都不写PHPDoc吗?一个参数如果可以接受整型和字符串,那么就要写 @param int|string $foo,现在使用联合类型了,就可以用IDE生成了,写法上并没有太复杂。
2019-11-18 09:52
1
回复
举报
恩? 那只企鹅呢? 快 有人侮辱你使用的语言
2019-11-18 09:20
0
回复
举报
更多评论
68 评论
12 收藏
分享
返回顶部
顶部