在 php 开发中，处理多种数据类型一直是常见的需求。过去开发者通常需要在函数内部编写复杂的 `is_*` 判断逻辑，或者依赖动态类型带来的隐式转换。从 php 8.0 开始，语言原生支持了联合类型（union types），允许在类型声明中使用 `|` 符号来指定一个变量可以接受多种具体的类型，例如 `int|string`。这直接替代了以往繁琐的运行时类型检查，使代码意图更加明确。
联合类型的语法与基础行为
联合类型的核心在于“或”的关系。当你在函数签名中声明 `function foo(int|string $param)` 时，意味着调用者可以传递一个整数，也可以传递一个字符串。如果传递了其他类型，如数组或对象，解释器会在编译或调用阶段立即拦截并抛出 TypeError。这种机制将类型校验的责任从业务逻辑层移到了语言引擎层，减少了样板代码。
需要注意的是，联合类型并不等同于传统的弱类型隐式转换。虽然 PHP 本身具有强大的类型 juggler 能力，但联合类型声明强调的是“合法性”。例如，如果你声明了 int|float，传入一个字符串 '123' 在某些上下文中可能会被静默转换为数字，但在严格的类型声明语境下，最好确保传入的值在语义上属于声明的类型之一。此外，联合类型不能包含 null，如果需要处理空值，应使用 PHP 8.0 引入的可空类型语法 ?Type，即 int|null 或写作 ?int。
立即学习“PHP免费学习笔记（深入）”；
修复 Core bailout 状态损坏安全问题，以及 BZ2、DOM、PDO、Opcache/JIT 内存与执行错误，改进 Unicode 字素处理、URL 解析、TLS 流状态、信号分发及会话错误处理。
实际应用场景：数据清洗函数
考虑一个常见的场景：我们需要编写一个函数来处理用户输入的价格。用户可能通过表单提交整数价格，也可能提交带小数点的字符串价格。在传统写法中，我们需要先判断类型再转换。使用联合类型后，我们可以直接定义接收这两种类型，并在函数内部统一处理为浮点数进行计算。
<?php
/**
* 处理价格数据
* 接受整数或字符串格式的价格
*/
function processPrice(int|float|string $price): float {
// 无论传入什么，都转换为浮点数以便后续计算
return (float) $price;
}
// 测试用例 1: 整数输入
try {
$result1 = processPrice(100);
echo "整数输入结果: " . $result1 . "\n";
} catch (TypeError $e) {
echo "错误: " . $e->getMessage() . "\n";
}
// 测试用例 2: 字符串输入
try {
$result2 = processPrice("99.5");
echo "字符串输入结果: " . $result2 . "\n";
} catch (TypeError $e) {
echo "错误: " . $e->getMessage() . "\n";
}
// 测试用例 3: 非法输入 (布尔值)
try {
$result3 = processPrice(true);
echo "布尔输入结果: " . $result3 . "\n";
} catch (TypeError $e) {
echo "错误: " . $e->getMessage() . "\n";
}
?>
上述代码展示了联合类型在实际运行中的表现。运行该脚本，前两次调用会正常输出转换后的浮点数值。第三次调用传入布尔值 true，由于 bool 不在 int|float|string 的声明范围内，PHP 引擎会抛出 TypeError。这证明了联合类型不仅简化了类型声明，还强制了输入数据的规范性。开发者无需在函数体内手动编写 if (!is_int($price) && !is_string($price)) 这样的防御性代码，因为引擎已经代为完成了最基础的准入检查。
嵌套联合类型与限制
联合类型支持嵌套，例如 int|(string|float)，这在逻辑上等价于 int|string|float。然而，PHP 对联合类型有一些明确的限制。首先，联合类型不能用于属性声明（Property types）以外的所有上下文吗？实际上，PHP 8.0 仅支持在函数参数、返回值和属性上使用联合类型。其次，联合类型中的类型顺序不影响其含义，int|string 与 string|int 是完全相同的。最后，联合类型不能包含 mixed 类型，因为 mixed 本身就已经代表了任意类型，包括 null。如果在声明中同时出现 mixed 和其他具体类型，会导致语法错误。理解这些边界条件有助于在重构旧代码时正确应用这一特性，避免引入新的解析异常。
