PHP方法返回类型声明必须写在参数列表右括号之后、函数体之前，用冒号加类型名；基础类型用小写（如string、int），void表示无返回值，?Type支持可空，strict_types=1启用后返回值不匹配将抛TypeError。
PHP 方法返回类型声明必须写在参数列表右括号之后、函数体之前，用冒号 : 加类型名；不加 declare(strict_types=1); 时，类型只是运行时提示，实际仍会静默转换——这不是“没生效”，而是 PHP 默认走弱模式。
返回类型语法怎么写才合法
基础类型必须用小写短名：int、string、bool、float、array、void；integer 或 boolean 是无效写法，虽然解析器可能不报错，但 IDE 和错误信息里会显示为 int，容易误导。
-
function getName(): string { return $this->name; }—— 最简形式，返回值必须是字符串，不能是null或数字 -
function findUser(int $id): ?User { return $id === 1 ? new User() : null; }——?前缀表示可空，等价于User|null，仅 PHP 7.1+ 支持 -
function getConfig(): array { return ['host' => 'localhost']; }——array是唯一合法的数组类型声明，不能写[]或Array -
function logMessage(string $msg): void { error_log($msg); }—— 声明void后，函数体内不能有return $value;，否则直接 Fatal error
strict_types=1 对返回值检查到底管不管用
它管，但只管「当前文件中定义的函数」的返回值校验。比如你在 A.php 里写了 declare(strict_types=1); function foo(): int { return "123"; }，调用 foo() 就会立刻抛 TypeError；但如果 foo() 定义在 B.php（没加 strict），而你在 A.php 里 require 'B.php' 再调用，就不会报错——因为校验发生在调用点，而调用点所在文件（A.php）是否 strict，并不影响对 B.php 函数的检查逻辑。
- 没开 strict：返回
"123"给声明为: int的函数，会被静默转成123 - 开了 strict：同样返回
"123"，直接抛TypeError: Return value must be of type int, string returned - 注意：即使开了 strict，如果函数某条分支漏了
return，末尾隐式返回null，PHP 8+ 也会触发TypeError；PHP 7.x 则静默转成0，这是最隐蔽的坑
返回 void 和不写返回类型有什么区别
不写返回类型，PHP 默认当它是 mixed（或 PHP 8+ 的 void？不，是 mixed），调用方可以随意取它的返回值，哪怕函数体里根本没 return；而显式声明 void，是强制契约：你不该也不允许拿它的返回值做任何事。
立即学习“PHP免费学习笔记（深入）”；
-
function saveCache(string $key, $val): void { apcu_store($key, $val); }—— 合法，调用后若写$res = saveCache('x', 'y');，PHP 会报Fatal error: A void function must not return a value -
function saveCache(string $key, $val) { apcu_store($key, $val); }—— 没声明，返回null，$res就是null，后续if ($res)可能误判 - 别用
void掩盖本该返回状态的函数，比如deleteUser(int $id): void不如deleteUser(int $id): bool清晰——调用方需要知道删没删成
最容易被忽略的是：返回类型声明本身不解决分支遗漏问题。哪怕你写了 : int，只要某个 if 分支没 return，PHP 7.x 仍会静默补 null 并转成 0，而 PHP 8+ 才真正报错。所以类型声明必须配合所有路径显式返回，否则再严格的语法也兜不住逻辑漏洞。
