PHP 8确认引入Union Types 2.0
Posted OSC开源社区
tags:
篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了PHP 8确认引入Union Types 2.0相关的知识,希望对你有一定的参考价值。
关于是否要在 php 8 中引入 Union Types 的投票已于近日结束,投票结果显示有 61 名 PHP 开发组成员投了赞成票,5 名投了反对票。
▲ (还留意到鸟哥在投票中投了反对票~)
关于 Union Types 的具体讨论可在 GitHub 查看,下面我们来简单了解一下 Union Types(联合类型)。
Type
ornull
,使用特殊的?Type
语法array
orTraversable
,使用特殊的iterable
类型
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 8确认引入Union Types 2.0的主要内容,如果未能解决你的问题,请参考以下文章
Java中的Union Types和Intersection Types
sqli-labs less54 GET -Challenge -Union -10 queries allowed -Variation1 (GET型 挑战 联合查询 只允许10次查询 变化1)(代
[TypeScript] Union Types and Type Aliases in TypeScript
[TypeScript] Model Alternatives with Discriminated Union Types in TypeScript
[TypeScript] Typescript Interfaces vs Aliases Union & Intersection Types