启用 declare(strict_types=1) 并配合函数参数/返回值、属性、联合类型、枚举与只读类的类型声明，可显著提升 PHP8 类型安全性与错误捕获能力。
如果您在升级或迁移项目至 PHP8 时发现类型相关错误增多，或希望提前捕获变量误用、参数错传等问题，则很可能是尚未启用或未充分理解强类型声明的实际作用。以下是启用并发挥 PHP8 强类型声明优势的多种方法：
一、启用严格类型模式
PHP8 默认仍为弱类型兼容模式，需显式开启严格类型检查，才能使函数参数、返回值和属性的类型声明真正生效并抛出 TypeError。该设置作用于单个文件，不影响其他脚本。
1、在 PHP 文件顶部第一行（必须位于任何声明、注释或空白之前）添加声明：declare(strict_types=1);
2、确保该语句未被任何字符（包括 UTF-8 BOM、空格、PHP 开始标签前的换行）前置。
立即学习“PHP免费学习笔记（深入）”；
3、验证是否生效：定义一个 function test(string $s): int { return strlen($s); }，调用 test(123)，若抛出 TypeError 则说明严格模式已激活。
二、在函数参数与返回值中强制声明类型
通过显式标注参数和返回值类型，可让 PHP 在调用时立即校验输入输出，避免隐式转换导致逻辑偏差或静默失败。
1、修改函数签名，在每个参数后添加冒号与类型名，例如：function calculate(float $a, float $b): float
2、对返回值类型不可省略，即使返回 null 也应使用可空语法：function findUser(int $id): ?User
3、联合类型支持多个合法类型，如：function process(mixed $input): string|int|bool
4、禁用隐式字符串转数字行为：当 strict_types=1 启用后，"123" 不再自动转为整数传入 int 参数。
三、为类属性添加类型声明
PHP7.4 起支持属性类型，PHP8 进一步强化其校验强度，可防止运行时非法赋值，提升对象状态一致性。
1、在类定义中为每个 public、protected 或 private 属性指定类型，例如：class Config { public bool $debug; public array $routes; }
2、对可能为空的属性使用可空语法：public ?string $cachePath;
3、初始化默认值需匹配声明类型：public string $format = 'json';（不允许 = null 或 = 123）
4、尝试赋值不兼容类型（如向 int $id 赋值 'abc'）将直接触发 TypeError。
四、利用联合类型与 DNF 类型增强表达能力
PHP8.0 引入联合类型（A|B|C），PHP8.2 新增析取范式（DNF）类型，允许更精确描述复杂类型约束，替代部分 instanceof 或 is_* 检查。
1、声明接受多种基础类型参数：function renderTitle(string|int|float $title): string
2、组合对象与 null：function getHandler(): Handler|null
3、在 PHP8.2+ 中使用 DNF 类型表达“非数组且非字符串”等逻辑：function validate(mixed $v): (array|object)|string 等价于 !is_array($v) && !is_object($v) && !is_string($v) 的反向约束（实际语法需按规范书写）
4、联合类型中禁止使用 void、mixed 与 null 单独出现，但 ?T 是合法的简写。
五、结合枚举与只读类强化类型边界
PHP8.1 引入的枚举（enum）与 PHP8.2 的只读类（readonly class）进一步扩展了强类型语义，使状态与结构本身成为类型系统的一部分。
1、定义枚举替代字符串常量：enum Status: string { case Active = 'active'; case Inactive = 'inactive'; }
2、在参数中直接使用枚举类型：function changeStatus(Status $status): void
3、声明只读属性类，确保实例不可变：readonly class Point { public function __construct(public int $x, public int $y) {} }
4、将只读类作为属性类型：class Order { public readonly Point $origin; }，赋值后无法修改其内部属性。
