PHP的void类型是编译期契约，明确声明函数不返回任何值；它强制禁止return带值（含null），仅允许return;或自然结束，确保类型安全与协作可靠性。
PHP 的 void 类型不是“什么也不做”，而是“明确声明不返回任何值”——它是个编译期契约，不是运行时行为。
为什么不能只靠不写 return 就当 void？
PHP 7.1 之前，函数没写 return 或只写 return;，确实不返回值，但这种“沉默”容易被误读。比如：
- 别人调用
logUserAction()，看到没声明返回类型，可能下意识接个变量：$result = logUserAction();，结果得到null（PHP 隐式返回），而这不是你设计的本意； - 你自己过两个月回来改代码，不小心加了
return true;，函数逻辑变了却毫无提示； - 静态分析工具（如 PHPStan）无法据此推断意图，类型检查形同虚设。
加 : void 后，PHP 强制：只能 return; 或自然结束，return $x; 直接报 Fatal error: A void function must not return a value。
void 函数里能写 return; 吗？
可以，而且有时必须写。
立即学习“PHP免费学习笔记（深入）”；
-
return;是合法的，等价于自然结束； - 用于提前退出，比如在条件分支末尾：
if ($debug) { echo "skipped"; return; }； - 但
return null;、return false;、return;后面带值——全部报错； - 注意：
void不等于 “返回null”，它连null都不允许显式返回（尽管调用方接收时会得到null，那是语言默认行为，不是函数返回的）。
void 能和其他类型组成联合类型吗？
不能。
-
function foo(): void|array是语法错误； -
void是终端类型，仅用于纯无返回场景； - 如果函数“有时返回数组，有时不返回”，说明设计有问题——应统一为
: ?array（可空）或拆成两个函数； - PHP 明确禁止
void出现在联合类型中，解析阶段就拒绝。
void 和没写返回类型有啥实际区别？
表面看都“没返回”，但语义和约束完全不同：
- 没声明返回类型 → PHP 默认允许隐式
null，且不阻止你加return 42;（只警告，不报错）； - 声明
: void→ PHP 强制校验，return 42;是致命错误，IDE 能高亮、类型检查器能拦截； - 文档生成工具（如 phpDocumentor）会把
: void渲染为 “@return void”，比空着更可靠； - 团队协作时，看到
: void就知道“这里绝不能依赖返回值”，减少误用。
最容易被忽略的一点：void 不影响函数执行流程，它只管“返回值有没有、是什么”，不管函数内部干了什么——哪怕函数里 exit(); 或抛出异常，只要没 return $value，就依然合规。
