never RFC
never 理解
RFC添加一个称为(或)的新返回类型,该类型指示声明的函数/方法不返回任何值,并通过引发异常或通过/调用终止请求来终止执行流。
- never返回类型类似于现有的void返回类型,但是该never类型保证程序将终止或抛出。换句话说,声明的函数/方法never 根本不能调用return,
function foo(): never {
return;
}
foo();
抛出Fatal error: A never-returning function must not return in …
- 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();
- 利用never在联盟类型是不允许的。这与void强制执行类型的方式类似。
function foo(): never|string {}
Fatal error: never can only be used as a standalone type in …
- never成为PHP中的保留关键字,never用于函数名,类名,整个名称空间等将导致解析错误或其他类型的致命错误。
- never是“底部”类型。这实际上意味着具有never返回类型的类方法无法将返回类型更改为任何其他类型,因为没有其他比类型更小的类型never
void和never,never是较小的类型。声明void的方法可以用声明never为返回类型的方法扩展。