17370845950

PHP 8.4 并未引入联合类型，该特性自 PHP 8.0 起已支持，语法为 |，用于参数、返回值、属性（8.0+）和变量（8.2+），表示值属于多个类型之一，如 string|int。

PHP 8.4 并没有引入新的类型联合（Union Types）特性——这个功能早在 PHP 8.0 就已正式发布并稳定可用。如果你在查“PHP 8.4 联合类型”，大概率是被错误信息或过时资料误导了。

PHP 中的联合类型从 8.0 开始就支持，不是 8.4 新增

联合类型语法 | 在 PHP 8.0 成为语言级特性，用于函数参数、返回值、属性和变量（PHP 8.2+）声明中。它允许一个值属于多个类型之一，比如 string|int 表示“字符串或整数”。

常见误判来源：

• 把 PHP 8.2 的“只读类”或 8.3 的“只读属性”等新特性错记为“联合类型更新”
• 看到某些 IDE 或静态分析工具（如 PHPStan）在 8.4 版本加强了对联合类型的推断支持，误以为语言本身新增了语法
• 混淆了“联合类型”和“交集类型（Intersection Types）”，后者确实是 PHP 8.1 加入的（用 &），但也不是 8.4

怎么正确定义联合类型（PHP 8.0+）

联合类型必须满足“所有类型都显式声明”，且不能与 mixed、void、never 混用（会报 ParseError）。null 需通过 ?T 语法或显式写成 T|null。

立即学习“PHP免费学习笔记（深入）”；

实操要点：

• 函数参数：支持完整联合，如 function foo(string|int $x): void
• 返回值：同上，如 function bar(): string|float|false

• 属性：PHP 7.4+ 属性类型 + PHP 8.0+ 联合，如 public string|int $id;
• 变量（PHP 8.2+）：仅限于类属性或全局作用域中的 var_dump 等调试场景，不能用于局部变量类型声明（PHP 不支持局部变量类型注解）
• 注意顺序：PHP 不强制顺序，但建议按常用性或字典序排列（如 int|string 比 string|int 更常见），便于团队阅读

容易踩的坑：null 处理和 false 陷阱

联合类型里写 string|false 很常见（比如 strpos() 返回值），但它不包含 null —— 如果函数可能返回 null，必须显式加上，否则运行时不会报错，但类型检查工具（如 PHPStan）会警告。

典型错误场景：

• function findUser(): array|false → 实际返回 null 时，类型系统无法捕获，导致后续调用 $user['name'] 出现 Notice
• 用了 ?string 却误以为等价于 string|null：二者语义相同，但 ?string 是语法糖，底层仍解析为 string|null；不过不能混用，比如 ?string|int 是非法的，必须写成 string|int|null
• 联合类型中重复类型（如 string|string）会被 PHP 忽略去重，但不推荐这么写，可读性差且 IDE 可能报 warning

function processInput(string|int|float $value): string
{
    return match (true) {
        is_string($value) => strtoupper($value),
        is_int($value)   => (string)($value * 2),
        is_float($value) => number_format($value, 2),
    };
}
// 正确调用
processInput("hello");   // ✅
processInput(42);        // ✅
processInput(3.14);      // ✅
processInput(null);      // ❌ TypeError: Argument #1 must be of type string|int|float

真正要注意的是：联合类型只是编译期/静态检查辅助，运行时仍靠 is_string()、gettype() 等手动判断分支逻辑。别指望 PHP 自动帮你分发类型路径——它只负责拦住明显错的传参，不负责替代类型判断逻辑。