never类型函数调用后代码不可达，必须终止程序；不可赋值、不可参与表达式；需确保定义、路径覆盖及命名空间正确；封装时须保持never语义。
调用 never 类型函数和调用普通函数完全一样，但你必须接受一个事实：它之后的任何代码都不会执行——PHP 不会警告，也不会帮你兜底，只要没终止，就直接报致命错误。
调用时不能加任何“后续逻辑”
一旦调用声明为 never 的函数（如 redirect()、abort()），该语句后面的所有代码在静态分析和运行时都会被认定为不可达。IDE 会标灰，PHPStan 会报 Unreachable statement，而 PHP 运行时如果意外走到下一行，说明前面的 never 函数根本没按约定终止（比如漏了 exit() 或 throw）。
- ✅ 正确写法：
redirect('/login'); // 后面不跟任何语句 - ❌ 错误写法：
redirect('/login');<br>echo "this will never run — but if it does, PHP crashed";——这行echo在语法上合法，但若被执行，说明redirect()没真正退出，PHP 已处于未定义行为状态 - ⚠️ 特别注意：即使
redirect()内部用了header()+exit()，也要确保exit()真的执行到了——比如不要把它包在未触发的if (false)里
不能用在表达式或赋值语句中
never 类型函数没有返回值，它根本“不返回”，所以不能出现在需要值的上下文中。
- ❌ 禁止赋值：
$result = redirect('/home'); // Fatal error: A never-returning function must not return - ❌ 禁止三元运算：
$url ? redirect($url) : die(); // 同样报错，因为 redirect() 被当作表达式一部分求值
- ❌ 禁止作为参数传给其他函数（除非接收方参数类型是
callable或未声明类型）：logAction('redirect', redirect('/x')); // 错误：redirect() 永远不会把控制权交还给 logAction
调用前必须确保函数已定义且路径全覆盖
never 函数常用于路由分发、权限拦截、错误终止等关键路径。如果调用时函数未加载、拼写错误或条件分支遗漏，PHP 会在运行时报 Fatal error: Uncaught Error: Call to undefined function，而不是安静跳过。
立即学习“PHP免费学习笔记（深入）”；
- ✅ 建议在入口文件或预加载脚本（
opcache.preload）中统一引入所有never工具函数 - ✅ 使用
function_exists('redirect')做防御性检查（尤其在插件/模块化场景）：if (!function_exists('redirect')) {<br> throw new RuntimeException('redirect() helper not loaded');<br>}<br>redirect('/404'); - ⚠️ 注意命名空间：如果你把
redirect()定义在\App\Http\下，调用时得写\App\Http\redirect('/x')，或者用use function \App\Http\redirect;
和 void 混用会破坏语义信任
有人会把 never 函数封装进另一个函数再调用，结果外层函数声明为 void，这就让整个链路失去流程保证。
- ❌ 危险封装：
function safeRedirect(string $url): void {<br> if (headers_sent()) {<br> echo "Redirect failed";<br> return; // ← 这里没终止！但类型声明是 void，调用者以为流程结束了<br> }<br> redirect($url); // ← 这行才是 never，但上面分支让它可能不执行<br>}此时safeRedirect()声明为void，但实际行为不确定；而redirect()本身仍严格要求终止 - ✅ 正确做法：要么让封装函数也声明为
never（并确保所有分支都终止），要么干脆不封装，直接调用原生never函数
最易被忽略的一点：never 不是“建议终止”，而是“必须终止”。它不看上下文、不妥协、不兜底——你写的每一处调用，都得默认程序在此刻结束。少一个 exit()，多一行后续代码，都不是 bug，是契约违约。
