首页 >头条 > 正文

PHP即将引入Union Types,投票已通过!

转载2019-11-15 17:58:3211581
第十期线上培训班

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

1573811002163535.png

1573811017304062.png

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

因此根据投票结果,官方已确认将会在 PHP 8 中引入 Union Types 2.0。

1573811032845509.png

关于 Union Types 的具体讨论可在 GitHub 查看,下面我们来简单了解一下 Union Types(联合类型)。

根据官方的介绍,Union Types(联合类型)支持接收多个不同类型的值,而不仅仅是单一类型。PHP 目前已经支持两种特殊的联合类型:

·Type or null,使用特殊的Type语法

·array or Traversable,使特殊的iterable类型

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

<pre style="margin: 0px; padding: 0px; font-family: "Courier New" !important; font-size: 14px; line-height: 
1.5em; white-space: pre-wrap; overflow-wrap: break-word;">class Number { /**
* @var int|float number; /**
* @param int|float number) { number;
} /**
* @return int|float */
public function getNumber () { return $this->number;
}
}</pre>

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

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

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

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

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

·语法比 phpdoc 简洁。

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

****提案****

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

<pre style="margin: 0px; padding: 0px; font-family: "Courier New" !important; font-size: 14px; line-height: 
1.5em; white-space: pre-wrap; overflow-wrap: break-word;">class Number { private int|float number): void { number;
} public function getNumber (): int|float { return $this->number;
}
}</pre>

支持的类型

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

****类型语法****

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

<pre style="margin: 0px; padding: 0px; font-family: "Courier New" !important; font-size: 14px; line-height: 
1.5em; white-space: pre-wrap; overflow-wrap: break-word;">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
;</pre>
1
0

PHP中文网,大量的免费PHP入门教程,欢迎在线学习!

php中文网最新课程二维码
  • 相关标签:PHP Union Types
  • 本文转载于:简书,如有侵犯,请联系a@php.cn删除
  • 相关文章

    相关视频


    网友评论

    文明上网理性发言,请遵守 新闻评论服务协议

    我要评论条评论
    Suntxu
  • Suntxu· 2019-11-18 09:15:041楼
  • 消灭0评1队

  • 专题推荐

    作者信息

    爱喝马黛茶的安东尼

    You know nothing!

    最近文章
    swoole fd什么意思331
    laravel如何使用swoole1016
    workerman连接报错怎么办754
    推荐视频教程
  • PHP语言经典入门教程(2018)PHP语言经典入门教程(2018)
  • [公益直播]PHP实战开发极速入门[公益直播]PHP实战开发极速入门
  • PHP零基础视频教程PHP零基础视频教程
  • 《20天入门精通PHP》视频教程《20天入门精通PHP》视频教程
  • 视频教程分类
    第十期线上培训班