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 自动帮你分发类型路径——它只负责拦住明显错的传参,不负责替代类型判断逻辑。











