【PHP】PHP 8.1 的新特性一览 | 交叉类型、枚举、never 返回类型、Fibers 纤程、readonly 只读属性

一、前言

PHP 8.1 发布于2021 年 11 月 25 日，最近一次更新在2022 年 9 月 29 日，我们这次介绍一下这个版本的新特性。

如果你的项目正在使用 8.1 版本，请你要注意这些并且加以运用。

二、PHP 8.1 新特性

纯交叉类型 Pure Intersection Types

PHP 8.1 增加了对交叉类型的支持。它类似于 PHP 8.0 中引入的联合类型，但它们的用途恰恰相反。

为了更好地理解它的用法，我们看下 PHP 中类型声明的工作原理。

你可以将类型声明添加到函数参数、返回值和类属性。此分配称为类型提示，并确保该值在调用时具有正确的类型。否则，它会立即抛出 TypeError。

但是，声明单一类型有局限性。联合类型允许声明具有多种类型的值，并且输入必须满足至少一种声明的类型。

请注意使用 & (AND) 运算符来声明交叉类型。相比之下，我们使用 | (OR) 运算符来声明联合类型。

在交集类型中使用大多数标准类型将导致永远无法实现的类型（例如整数和字符串）。因此，交叉类型只能包括类类型（即接口和类名）。

下面是如何使用交叉类型的示例代码：

class PureIntersectionTypesClass {private Traversable&Countable $countableIterator;public function setIterator(Traversable&Countable $countableIterator): void {$this->countableIterator = $countableIterator;}public function getIterator(): Traversable&Countable {return $this->countableIterator;}
}

在上面的代码中，我们定义了一个变量 countableIterator 作为两种类型的交集：Traversable 和 Countable。在这种情况下，声明的两种类型都是接口。

交叉类型也符合已经用于类型检查和继承的标准 PHP 变化规则。但是还有两个额外的规则来说明交叉类型如何与子类型交互。

PHP 8.1 不能在同一个声明中组合联合类型和交叉类型。因此，它的实现被称为“纯”交叉类型。

枚举 Enums

编程语言中最常见的枚举示例是布尔类型，其中 true 和 false 作为两能的值。

enum Suit {case Hearts;case Diamonds;case Clubs;case Spades;
}

在这里，Suit 枚举定义了四个可能的值：Hearts、Diamonds、Clubs 和 Spades。您可以使用以下语法直接访问这些值：Suit::Hearts、Suit::Diamonds、Suit::Clubs 和 Suit::Spades。

枚举是在类和对象之上构建的。枚举与类、接口和特征共享相同的命名空间。

上面提到的枚举称为纯枚举。

如果您想为任何情况提供标量等效值，您还可以定义支持的枚举。但是，支持的枚举只能具有一种类型，即 int 或 string（从不同时具有两种类型）。

enum Suit: string {case Hearts = 'H';case Diamonds = 'D';case Clubs = 'C';case Spades = 'S';
}

注意，支持枚举的所有不同情况都必须具有唯一值。

`never` 返回类型

PHP 8.1 添加了一个名为 never 的新返回类型提示。在总是抛出或退出的函数中使用它非常有帮助。

function redirect(string $uri): never {header('Location: ' . $uri);exit();
}function redirectToLoginPage(): never {redirect('/login');
}

never 返回类型的函数应满足三个条件：

不应该明确定义 return 语句。
不应该隐式定义 return 语句（例如 if-else 语句）。
必须以退出语句（显式或隐式）结束其执行。

never返回类型与 void 返回类型有许多相似之处。它们都确保函数或方法不返回值。但是，它通过执行更严格的规则而有所不同。例如，一个 void 声明的函数仍然可以在没有显式值的情况下返回，但你不能对一个never返回类型的函数做同样的事情。

Fibers 纤程

从历史上看，PHP 代码几乎总是同步代码。代码执行会暂停，直到返回结果，即使对于 I/O 操作也是如此。您可以想象为什么这个过程可能会使代码执行速度变慢。

Fiber 是 PHP 通过虚拟线程（或绿色线程）处理并行性的方式。它试图通过允许 PHP 函数中断而不影响整个调用堆栈来消除同步和异步代码之间的差异。

我们可以使用 Fibers 开发全栈、可中断的 PHP 函数，然后可以使用这些函数在 PHP 中实现协作式多任务处理。

$fiber = new Fiber(function (): void {$value = Fiber::suspend('fiber');echo "Value used to resume fiber: ", $value, "\n";
});$value = $fiber->start(); //启动echo "Value from fiber suspending: ", $value, "\n";$fiber->resume('test'); //恢复

上面的示例输出如下。

Value from fiber suspending: fiber
Value used to resume fiber: test

readonly 只读属性

PHP 8.1 增加了对只读属性的支持。它们只能从声明它们的范围初始化一次。初始化后，您将无法修改它们的值。这样做会引发错误异常。

class Test {public readonly string $kinsta;public function __construct(string $kinsta) {// 初始化$this->kinsta = $kinsta;}
}

readonly 属性在类内部和外部都提供了强大的不变性保证。

三、总结

PHP 8.1 的新特性很多，我们可以把重点放在

枚举
never类型
交叉类型
只读属性