## 一句话结论
`never` 表示函数永远不会正常返回（必须 throw 或 exit）；`void` 表示函数不返回值（可以正常 return）。

## 体系讲解
### 核心语义对比表
| 特性 | void（PHP7.1） | never（PHP8.1） |
| ---- | -------------- | --------------- |
| 版本 | PHP 7.1 引入 | PHP 8.1 新增 |
| 空 `return;` | 合法，用于提前终止函数 | 非法，直接致命错误 |
| `return 变量` | 禁止，语法报错 | 禁止，语法报错 |
| 抛出异常 throw | 支持，属于分支中断 | 必须以此/exit终止函数 |
| exit/die 终止程序 | 支持 | 必须以此/throw终止函数 |
| 函数结尾行为 | 执行完自动返回调用代码 | 代码永远执行不到函数末尾 |

### void：有返回动作，无返回数据
函数执行结束后会回到调用处，只是不会携带任何返回值；允许使用无参 `return;` 提前跳出函数。
```php
function log(string $msg): void
{
    if ($msg === '') {
        return; // ✅ 合法，提前退出
    }
    echo $msg;
    // 函数执行完毕，自动返回上层代码
}
```

### never：完全不返回调用方
函数所有执行路径，最终一定会抛出异常、执行 `exit()`/`die()`，或死循环；**绝对不会回到调用函数的下一行代码**。
若代码走到函数末尾仍无中断逻辑，直接抛出 Fatal Error。
```php
// 抛出异常示例
function errorExit(string $err): never
{
    throw new Exception($err);
}

// 页面重定向终止程序示例
function redirect(string $uri): never
{
    header("Location: {$uri}");
    exit;
}
```

### never 底层类型论特性（静态分析相关）
`never` 是底类型（Bottom Type），属于所有类型的子类型。
静态工具 PHPStan / Psalm 识别到调用 `never` 函数后，会标记后续代码为**不可达死代码**，自动消除空值判断冗余，精准推导变量类型：
```php
function getInfo(?array $row): array
{
    if ($row === null) {
        errorExit("数据不存在"); // never 函数，后续代码必定不会执行
    }
    // 静态分析可直接确定 $row 一定不为 null，无需二次判断
    return $row;
}
```

## 考察意图
1. 区分 PHP7 void 与 PHP8.1 never 两种完全不同的控制流语义；
2. 能说出两种类型各自使用场景（日志/打印用void，异常中断、页面跳转用never）；
3. 了解 `never` 对静态代码分析的作用，加分项。

## 追问链（面试问答）
### 1. never 函数走完所有代码没写 throw/exit，会发生什么？
简答：运行时抛出致命错误 `never-returning function must not implicitly return`；同时静态检测工具会提前提示代码缺陷。

### 2. 子类重写父类带 never 的方法有什么规则？
简答：`never` 是所有类型的子类型，协变规则允许子类将返回值放宽为任意类型（void、int、对象等）；但不能把普通返回值类型收窄为 never（会破坏上层调用逻辑预期）。

### 3. 静态分析工具如何利用 never 优化类型推断？
简答：调用 `never` 函数代表当前分支直接中断，工具判定其后代码永远不会执行，自动移除冗余判空、类型校验，减少不必要代码告警。

### 4. 死循环函数可以标记为 never 吗？
简答：语法上允许声明 `: never`，但 PHP 运行时无法自动识别无限循环，需要开发者自行保证循环无退出条件，仅静态工具会做逻辑识别。

## 高频易错点
1. 混淆核心语义：简单认为 void 和 never 都是“无返回值”；void 是**正常返回但不带数据**，never 是**完全不返回调用处**。
2. 在 `never` 函数写 `return;`：空返回语句直接触发致命错误，违反永不返回的定义。
3. 局限理解 never：以为仅能搭配 throw；exit()、die()、无限循环均满足 never 语义。
4. 遗漏业务场景：重定向、404/500 中断、模型 `findOrFail` 异常抛出函数，是 never 最常用场景。

## 完整代码示例
```php
<?php

// 1. void 标准示例
function printLine(string $text): void
{
    if (trim($text) === '') {
        return; // 合法提前退出
    }
    echo "------ {$text} ------\n";
}

// 2. never 抛出异常工具函数
function throwNotFound(int $id): never
{
    throw new RuntimeException("ID {$id} 资源不存在");
}

// 3. never 页面跳转终止函数
function jump(string $url): never
{
    header("Location: {$url}");
    exit;
}

// 4. 业务实际使用场景，利用never消除null判断
function getOrder(?array $orderRow, int $id): array
{
    if ($orderRow === null) {
        throwNotFound($id);
    }
    // 静态分析：此处 $orderRow 一定非空
    return $orderRow;
}

// 非法写法演示
// function badNever(): never {
//     return; // ❌ Fatal Error，never 禁止空return
// }

// 合法void写法
function goodVoid(): void {
    return; // ✅ void允许空return
}
```

已有0条评论

添加新评论☺

如果认为本文对您有所帮助请赞助本站

支付宝扫一扫赞助

已有0条评论

添加新评论☺