PHP 8.1联合类型是硬校验机制：参数必须严格匹配声明类型（如int|string），无隐式转换，传错即Fatal error；返回值每条路径须覆盖所有声明类型，null需显式写为...|null，属性联合类型仅8.1+支持且默认值须手动初始化。
PHP 8.1 中联合类型函数不是“调用方式”变了，而是你必须按声明的类型传参、处理返回值——否则直接报 Fatal error，没有商量余地。
函数调用时传参不匹配会立即崩溃
联合类型在参数位置是「硬校验」：调用时传入的值必须严格属于声明中的某一个类型，PHP 不做隐式转换，也不 fallback。
- 写
function parse(int|string $id) { }，传"123"或42都合法；传123.5、[]、null都会触发Fatal error: Uncaught TypeError - 即使
strict_types=0，也不会把"42"自动转成int—— 联合类型绕过了传统弱类型容错机制 - 传
false给int|string参数？不行。哪怕你心里觉得它“逻辑上等价于 0”，PHP 仍判为类型错误
返回值必须显式覆盖所有联合分支
函数体里每条可能的 return 路径，都得产出声明中列出的类型之一；漏掉任意一种，静态分析（如 PHPStan）会警告，运行时若真走到那条路径，就 Fatal error。
- 声明
function getId(): int|string，就不能有return null;或return []; - 常见陷阱：从数据库取字段
$row['id']，它可能是string、int、null，甚至false（PDO fetch 失败）。你必须先收口：return $row['id'] === null ? 'unknown' : $row['id']; - 如果真需要
null，就得改声明为int|string|null（PHP 8.1+ 支持），但注意：这不是可空语法糖，?int|string是非法的，必须写全
IDE 和静态分析器依赖你写对，而不是帮你猜
VS Code + Intelephense 或 PHPStan 能基于联合类型推导变量类型，但前提是你的声明和实际逻辑一致。一旦出现「声明说能返回 string|int，但某分支 return 了 float」，工具会立刻标红，而运行时只等你调到那条路径才炸。
立即学习“PHP免费学习笔记（深入）”；
- 别指望 IDE 补全能“智能适配”联合类型——它只会按当前上下文最窄类型提示。比如变量被赋值为
"abc"，就算它属于int|string，补全也只显示字符串方法 - 用
match处理联合返回值最安全：match (getId()) { int => 'number', string => 'text', };—— 缺少null分支且声明含null，PHPStan 就会报错 - 不要在联合类型函数里混用
@param int|string $x注解——PHP 8.1 原生类型已足够，重复注解会让 PHPStan 提示redundant PHPDoc
属性联合类型只在 PHP 8.1+ 生效，且默认值要手动处理
类属性上写 public int|string $id; 在 PHP 8.0 会直接 Parse error；升级到 8.1 后，它才生效，但构造后首次赋值前，属性是未定义状态，不能当 null 用。
- 想让它能存
null，必须显式声明public int|string|null $id = null;—— 省略= null不代表默认为null，而是未初始化，访问会触发Notice: Undefined property - 构造函数里没给联合类型属性赋值？没问题；但第一次读取前必须赋值，否则运行时报错
- 框架（如 Laravel）若自动填充模型属性，需确认其反射逻辑支持 PHP 8.1 属性类型，否则可能跳过类型校验，埋下隐患
真正容易被忽略的点：联合类型不改变函数内部行为，它只校验输入输出边界。你依然得自己处理 is_numeric()、filter_var()、空字符串转义这些事——类型系统不会替你做业务逻辑判断。
