PHP 8.0联合类型怎么用？提升参数灵活性

PHP 8.0 的联合类型（如 `int|string`）并非放任随意传参的“宽松捷径”，而是一种精准可控的类型表达机制——它在放宽单一类型限制的同时，以显式、严格、不可妥协的方式划清边界：要求 `null` 必须明写为 `string|int|null`、禁止嵌套可空语法、拒绝隐式转换、强制返回值覆盖所有声明类型、约束继承时的类型收窄而非拓宽，并倒逼开发者主动进行类型判断与安全操作；真正掌握它，意味着从依赖自动转换转向承担类型责任，让代码既灵活又健壮。

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，否则运行时可能破坏调用方假设。

• 子类可以收窄：父类 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() 分支，运行时就可能崩。这不是语法缺陷，而是类型系统在提醒你：宽松的前提，是主动承担判断责任。

理论要掌握，实操不能落！以上关于《PHP 8.0联合类型怎么用？提升参数灵活性》的详细介绍，大家都掌握了吧！如果想要继续提升自己的能力，那么就来关注golang学习网公众号吧！