PHP 8.0联合类型用int|string等语法明确限定参数或返回值仅可为所列类型之一，既放宽单一类型限制又严守边界；不支持?string|int等嵌套可空写法，null须显式写为string|int|null，且禁止void参与、不自动转换、需手动类型收窄。
PHP 8.0 的联合类型不是为了“随便传啥都行”，而是用 int|string 这种写法，明确告诉 PHP 和 IDE：“这个参数只可能是这几个类型之一”，既放宽限制，又守住边界。
函数参数声明必须用竖线 |，不能混用 ? 语法
常见错误是写成 function foo(?string|int $x) {} ——这会直接报 ParseError: Union types cannot contain nullable types。PHP 不允许在联合类型里嵌套可空语法。
-
?string是合法的，等价于string|null，但它是独立语法，不是联合类型 -
string|int|null是非法的，null不能作为联合成员出现 - 真正想表达“字符串或整数或空值”，只能写成
string|int|null❌，正确写法是?string|int❌（仍错），实际应拆解逻辑：要么用string|int+ 显式校验，要么改用mixed（不推荐）或重构为两个参数 - 最稳妥的可空联合场景：用
string|int做参数，内部用is_null()判断；或把 null 情况单独抽成重载逻辑
返回值联合类型比参数更严格，不接受隐式转换
参数类型检查发生在调用时，而返回值检查在函数退出那一刻触发，且不做任何自动类型转换。
- 写
function getId(): int|string { return "123"; }是合法的，因为字符串字面量属于string - 但写
function getId(): int|string { return 123.5; }会报Fatal error，哪怕你期望它被当作int处理——PHP 不会帮你截断或四舍五入 - 如果返回值可能来自外部（比如数据库字段），务必显式转换：
return (int)$row['id'] ?: (string)$row['id']; - IDE 和静态分析器（如 PHPStan）会基于联合声明做推导，所以返回分支必须覆盖所有声明类型，漏掉一个就会警告
类方法继承时，子类返回联合类型不能比父类更宽
这是 LSP（里氏替换原则）在类型系统里的体现。父类声明了 string|int，子类不能改成 string|int|bool，否则运行时可能破坏调用方假设。
立即学习“PHP免费学习笔记（深入）”；
- 子类可以收窄：父类
string|int→ 子类string✅ - 子类可以保持一致：
string|int→string|int✅ - 子类不能拓宽：
string|int→string|int|bool❌，会触发TypeError - 注意：PHP 8.0 不支持属性联合类型，
public string|int $prop;在 8.0 下直接 Parse Error；要等到 8.1+ 才能用，且默认值为null时必须写成public string|int|null $prop = null;
联合类型真正的难点不在语法，而在于「类型收窄」——你声明了 int|string，但后续操作（比如调用 $x->method() 或 strlen($x)）必须确保对所有可能类型都安全。一旦忘了 is_int() 或 is_string() 分支，运行时就可能崩。这不是语法缺陷，而是类型系统在提醒你：宽松的前提，是主动承担判断责任。
