declare(strict_types=1) 必须在每个PHP文件顶部手动声明，仅对当前文件生效，不继承、不跨文件传播；函数参数类型检查严格与否取决于该函数定义所在文件是否声明了此指令，而非调用处。
declare(strict_types=1) 必须每文件手动加，不能靠“继承”
PHP 的 strict_types=1 不跨文件生效，哪怕你在一个核心基类里写了，require 或 include 进来的其他文件依然走弱模式。项目里只要有一个工具函数文件没加这行，它被调用时参数就可能静默转成 int、0 或空字符串，下游逻辑却以为拿到了合法值。
常见错误现象：Argument 1 passed to processId() must be of type int, string given 报错位置在 A.php，但实际是 B.php 里定义的 processId() 没开 strict，而 A.php 调用时传了 "123"——A.php 开了 strict 没用，校验只看函数定义所在文件是否声明了 strict。
- 每个 PHP 文件（含脚本、测试、配置加载器、路由闭包）都必须以
<?php declare(strict_types=1);开头，前面不能有空行、BOM、注释或任何输出 - CI 流程中建议加 Git hook 或 PHP-CS-Fixer 规则，自动检查所有
.php文件首行是否匹配^<?php\s+declare\(strict_types=1\); - IDE 插件（如 PHPStan、Psalm）默认不强制校验 strict 声明，需单独配置规则，否则类型提示只是“看着好看”
参数类型声明写对了，但传 null 还是报 TypeError
声明 function findUser(int $id)，调用 findUser(null) 会直接抛 TypeError，哪怕开了 strict —— 因为 null 不是 int，也不属于可空语法范畴。可空必须显式写成 ?int，不是 int|null（后者仅在联合类型中合法，且 PHP 8.0+ 才支持）。
使用场景：DTO 构造、API 参数解析、数据库查询条件组装，这些地方常需要区分“未传”和“传了 null”，不能靠弱模式下的静默兜底。
立即学习“PHP免费学习笔记（深入）”；
-
?string表示允许null或字符串；string|null在 PHP 7.x 是语法错误，在 PHP 8.0+ 是联合类型写法，但语义等价于?string，推荐统一用?Type - 数组类型只能写
array，不能写[]或Array；PHP 8.1+ 可用non-empty-array或list，但要注意兼容性 - 对象类型提示（如
User $user）不受strict_types影响，但传null仍会报错，除非写成?User
第三方库函数不守 strict 规则，你加了也没用
Laravel 的 cache()->get($key, 'default')、Symfony 的 $request->query->get('page', 1) 这些方法，源码文件基本都没加 declare(strict_types=1)。你在自己的控制器里开了 strict，传 "1" 给期望 int 的默认值参数，它照样给你转成 1，不会报错。
容易踩的坑：你以为加了 strict 就能拦住所有类型乱入，结果调试半天发现是第三方方法内部把字符串当整数用了，而你根本没法改它。
- 验证第三方行为唯一可靠方式：打开它的源码文件，看第一行有没有
declare(strict_types=1); - 对关键外部调用（如支付 SDK、数据库驱动），建议封装一层适配器，在入口做显式类型断言，比如
assert(is_int($id), 'ID must be integer') - 别指望
phpstan或psalm静态分析能帮你发现这类运行时隐式转换，它们只看类型声明，不模拟执行路径
返回类型声明 + strict_types=1 的真实校验边界
function getId(): int { return "123"; } 在开了 strict 的文件里，调用时立刻抛 TypeError: Return value must be of type int, string returned。但注意：这个校验只发生在「当前文件定义的函数」上。如果你在 A.php 里 require 'B.php'，而 getId() 定义在 B.php（没开 strict），那 A.php 即使开了 strict，调用它也不会触发返回值检查。
另一个隐蔽点：PHP 8+ 中，如果函数声明了 : int 但某条分支漏写 return，末尾隐式返回 null，会直接报 TypeError；PHP 7.x 则静默转成 0，非常难定位。
- 所有公开方法、API 响应构造器、领域模型 getter，都应补全返回类型，配合 strict 使用才有意义
- 避免在声明
void的函数里写return $value，PHP 会直接 Fatal error，不是 warning - 基础类型必须用小写：
int、string、bool；integer或Boolean是无效写法，部分 IDE 会误识别，但运行时报错信息仍显示为int
require 进来的旧工具函数、第三方扩展的回调入口、以及测试文件里随手写的辅助方法——它们不加 declare(strict_types=1)，整个调用链的类型安全就形同虚设。 
