php 8.1 新特性never

never RFC

never 理解

RFC添加一个称为（或）的新返回类型，该类型指示声明的函数/方法不返回任何值，并通过引发异常或通过/调用终止请求来终止执行流。

1. never返回类型类似于现有的void返回类型，但是该never类型保证程序将终止或抛出。换句话说，声明的函数/方法never 根本不能调用return,

function foo(): never {
    return;
}
foo();

抛出Fatal error: A never-returning function must not return in …

2. never返回类型的目标是指示并执行一个函数，该函数可防止其余的被调用代码被执行。IDE和PHP本身可以识别具有never返回类型的函数，并可以安全地假定范围内的其余代码将无法运行。 具有never返回类型的函数/方法必须防止作用域中的其余代码被执行。这可以通过终止请求（die/ exit）或引发异常来实现

function redirect(string $url): never {
    header('Location: ' . $url);
    exit();
}

redirect('Test'); // The rest of the code is GUARANTEED to not continue.
do_something_else();

3. 利用never在联盟类型是不允许的。这与void强制执行类型的方式类似。

function foo(): never|string {}

Fatal error: never can only be used as a standalone type in …

4. never成为PHP中的保留关键字，never用于函数名，类名，整个名称空间等将导致解析错误或其他类型的致命错误。
5. never是“底部”类型。这实际上意味着具有never返回类型的类方法无法将返回类型更改为任何其他类型，因为没有其他比类型更小的类型never

void和never，never是较小的类型。声明void的方法可以用声明never为返回类型的方法扩展。