PHP类型声明配合严格模式是现代PHP项目的基础设施，能提前拦截90%以上隐式类型错误；strict_types=1必须作为文件首个可执行语句声明。
PHP类型声明配合严格模式，是提升代码健壮性的最直接手段之一。它不是“可选优化”，而是现代PHP项目（尤其是框架级开发）的基础设施——能提前拦截90%以上的隐式类型错误，让bug暴露在开发阶段，而不是上线后。
strict_types=1 必须写在文件顶部
这是硬性规则：declare(strict_types=1); 必须是 PHP 文件中第一个可执行语句（
- 写在函数内部、类定义里或第二行，都会被忽略，等同于没启用
- 团队项目建议统一在所有业务文件、控制器、服务类顶部添加该声明
- Composer 自动加载的类文件同样需要单独声明，不能依赖入口文件“带动”
标量类型声明覆盖 int/float/string/bool
严格模式下，这四类标量参数和返回值不再容忍自动转换。比如 float 类型参数传入整数 5，也会报错——不是“能用就行”，而是“必须精确匹配”。
- function area(float $length, float $width): float { return $length * $width; }
- area(5, 3) → TypeError（即使数学上完全合理）
- area(5.0, 3.0) 或 area((float)5, (float)3) 才合法
- 同理，string 类型参数传入 null、数组或数字，一律拒绝
返回值类型也受严格约束
返回值类型声明（: int、: string 等）在 strict_types=1 下同样执行严格校验。函数体内实际返回值类型必须与声明完全一致，否则抛出 TypeError。
立即学习“PHP免费学习笔记（深入）”；
- function countItems(array $list): int { return count($list) ?: '0'; } // 错误：返回了字符串
- 即使 count() 返回 int，但 ?: '0' 使分支返回 string，违反声明
- 修复方式：return count($list) ?: 0;
- 注意：返回值检查独立于 strict_types，但启用后会更早暴露问题
框架集成时的关键实践
主流框架（Laravel、Symfony、ThinkPHP）本身已大量使用类型声明，但开发者编写的业务代码仍需主动启用严格模式，才能真正受益。
- 在 Controller 方法、Service 类方法、Repository 查询方法中统一加 declare(strict_types=1)
- 配合 PHPStan / Psalm 做静态分析，能发现 strict_types 无法捕获的深层类型流问题
- API 接口接收的 request 数据（如 $_POST、JSON body）默认是 string，需显式 cast 或 validate 后再传入严格函数
- 避免在严格函数中混用弱类型逻辑（例如先 is_numeric() 再 intval()），应统一用类型安全方式处理输入
