PHP 8.1 中调用联合类型(如 int|string)或交集类型(如 Logger & Serializable)函数与普通函数相同,但传参和返回值必须严格满足类型约束:联合类型要求实参为其中任一类型,交集类型要求对象同时实现所有指定接口,否则立即报错。

PHP 8.1 中没有“混合类型函数”这个独立概念——你真正要调用的,是声明了联合类型(int|string)或交集类型(Logger & Serializable)的函数。调用本身和普通函数完全一样,但**传参和接收返回值时,类型约束会立刻生效**,错一点就报错。
调用 int|string 参数函数时,必须确保实参是 int 或 string
声明为 function parseId(int|string $id) 的函数,不接受 null、float、array,也不接受未定义变量或空字符串(空字符串仍是 string,合法)。
- ✅ 正确:
parseId(42)、parseId("abc") - ❌ 报
Fatal error:parseId(null)(即使strict_types=0也不行)、parseId(3.14)、parseId([]) - ⚠️ 容易踩坑:从
$_GET或数据库读出的字段常是 string,哪怕存的是数字;直接传给int|string参数没问题,但若后续想用+运算,就得自己判断类型再转换,PHP 不自动帮你转
调用返回 int|string 的函数,不能假设它是某一种类型
像 function getId(): int|string { return rand() > 0.5 ? 42 : "abc"; } 这样的函数,返回值在运行时才确定类型。你不能直接对返回结果调用 strlen() 或做算术运算,否则 IDE 会警告,运行时也可能出错。
- 必须先用
is_int()或is_string()分支处理,或用match表达式收窄:match (getId()) { int => $id * 2, string => strlen($id) }; - 不能写
$id = getId(); echo $id + 1;—— 如果返回的是 string,会触发TypeError - 静态分析工具(如 PHPStan)会把
int|string当作两个独立分支检查,漏掉任一分支的处理逻辑就会报错
调用交集类型(Logger & Serializable)参数函数,对象必须同时实现全部接口
交集类型不是“或”,是“且”。function process(Logger & Serializable $obj) 要求传入的对象实例必须同时满足两个接口的所有方法签名。
立即学习“PHP免费学习笔记(深入)”;
- ✅ 合法:
$service = new UserService(); process($service);(前提是UserService同时implements Logger, Serializable) - ❌ 报
TypeError:process(new StdClass())、process(new DateTime())(哪怕它实现了其中一个) - ⚠️ 容易忽略:交集类型不支持标量,
int & string是语法错误,直接 Parse Error;也不能和联合类型混写,比如(int|string) & JsonSerializable不合法
命名参数和联合/交集类型一起用时,顺序不能乱
PHP 8.0+ 支持命名参数,但它不改变类型校验时机。如果你写 myFunc(id: "123", mode: "fast"),而 id 参数声明为 int|string,那 "123" 依然合法;但若 mode 声明为 string|bool,传 mode: 1 就会挂——因为 1 是 int,不在联合范围内。
- 命名参数只是跳过位置,不绕过类型检查
- 联合类型中各成员顺序不影响校验结果,但会影响错误提示里列出的可选类型顺序(比如提示 “Expected int|string, got bool”)
- 交集类型不支持命名参数的“类型推导优化”,IDE 无法基于命名推测交集成员,仍需完整实现
最麻烦的不是怎么调,而是调完之后怎么安全地用——联合类型要求你显式处理每种可能,交集类型要求你提前保证对象契约完整。漏掉一个 is_string() 判断,或少实现一个接口方法,运行时就断。



















