PHP类型系统：严格模式declare(strict_types=1)

理解严格类型：declare(strict_types=1)到底改变了什么

declare(strict_types=1);是PHP 7引入的类型声明指令，其核心作用是关闭PHP默认的弱类型隐式转换机制。在默认弱类型模式下，传入字符串"123"给期望int类型的参数时，PHP会自动将其转换为整数；而开启严格模式后，这种跨类型的隐式转换将被彻底禁止，一旦类型不匹配，引擎会直接抛出TypeError异常。需要特别强调的是，该声明属于文件级作用域，而非全局配置或函数级开关。它仅对当前PHP文件内定义或调用的函数生效，不会影响其他未声明该指令的文件。这种设计使得开发者可以在不破坏现有项目的前提下，按需对特定模块实施类型约束，从而在保持灵活性的同时提升代码的可预测性与可维护性。

启用严格模式：正确写法与实际执行位置

启用严格模式的正确写法是将declare(strict_types=1);放置在PHP文件的最顶部，紧随<?php标签之后，且该指令前不能有任何输出、注释或空白字符。许多开发者误以为在定义函数的文件中声明即可生效，但实际上严格模式的判定权掌握在“调用方”手中。也就是说，当文件A调用文件B中定义的函数时，是否触发严格类型检查取决于文件A是否声明了strict_types=1，与文件B的声明无关。这意味着严格模式并非项目全局开关，而是基于调用上下文的局部契约。在实际开发中，若希望某个业务模块全面启用严格类型，必须确保该模块内所有发起调用的入口文件均正确声明该指令，否则类型检查将回退至默认的弱类型行为。

验证类型行为：参数、返回值与常见场景

在严格模式下，标量类型的参数传递与返回值校验将变得极为严苛。以函数function add(int $a, int $b): int { return $a + $b; }为例，若传入add("5", 3)，严格模式会立即中断执行并抛出TypeError，提示参数类型不匹配；而弱类型则会静默转换。对于返回值，若函数声明返回float但实际返回了int，严格模式同样会拦截。排查此类错误时，可通过捕获TypeError异常获取详细的调用栈信息，定位到具体文件与行号。在实际调试中，建议结合try-catch块或配置错误日志记录TypeError，以便快速识别类型越界问题。此外，严格模式对bool类型的校验同样严格，传入非布尔值（如空字符串或0）将直接报错，这要求开发者在数据入口处做好显式类型转换或校验逻辑。

避坑与实践：严格模式不是万能的类型安全

严格模式并非银弹，其类型安全存在明确边界。首先，它主要针对标量类型（int、float、string、bool），对数组内部结构或对象属性的深度校验无能为力，需依赖array或具体类名提示。其次，PHP内置函数（如strlen、array_merge）多数仍沿用弱类型逻辑，不受strict_types影响。在旧项目迁移时，切忌一次性全局开启，应采用渐进式策略：优先为新建模块或核心业务文件添加声明，配合静态分析工具（如PHPStan）进行类型推断，逐步替换隐式转换逻辑。对于联合类型（如int|string），严格模式会精确匹配声明的任一类型，避免过度约束。实际项目中，建议结合单元测试覆盖边界类型输入，并在CI/CD流程中集成类型检查，确保严格模式在提升代码质量的同时不引发线上故障。