php 8.1 的交集类型是唯一原生机制,强制对象同时实现多个接口,仅支持接口&接口或类&接口,禁止标量、void及双类;仅用于参数、返回值和属性声明,解析时检查方法签名兼容性,ide可据此精准补全。

PHP 8.1 的交集类型(Intersection Types)不是“可选增强”,而是唯一能在函数签名里强制要求对象**同时实现多个接口**的原生机制——不靠运行时 instanceof 检查,不靠文档注释,出错即报,且 IDE 可实时识别。
交集类型只允许接口 & 接口、类 & 接口,不能用标量或 void
你写 string & array 或 int & bool 会直接触发解析错误:ParseError: Intersection types cannot contain scalar types。同样,void & SomeInterface 也不合法。PHP 明确限制交集类型仅用于对象契约组合。
- ✅ 合法:
LoggerInterface & Serializable、MyService & ConfigurableInterface - ✅ 合法(类 + 接口):
DatabaseConnection & Closable(前提是DatabaseConnection是具体类) - ❌ 非法:
string & int、array & callable、void & Throwable - ⚠️ 注意:
MyClass & YourClass也非法——PHP 不支持多重继承,两个具体类无法交集
必须在参数/返回值/属性声明中使用,不能用于变量类型标注
PHP 8.1 不支持像 TypeScript 那样给局部变量加交集类型,比如 function foo(): void { $x: LoggerInterface & Serializable = ...; } 是语法错误。交集类型只能出现在三处:
- 函数或方法的参数类型声明(如
function handle(Loggable & Serializable $obj)) - 函数或方法的返回类型声明(如
function getHandler(): Cacheable & Flushable) - 类属性声明(PHP 8.1+ 支持,如
private Loggable & Serializable $logger;)
试图在 foreach 变量、match 分支或 as 解构中使用交集类型,都会报 ParseError。
交集类型会合并同名方法签名,冲突即报错
如果两个接口都定义了同名方法但签名不兼容,PHP 在解析时就会拒绝——不是运行时报错,是代码根本加载不了。例如:
interface A {
public function run(string $x): int;
}
interface B {
public function run(int $x): string;
}
function f(A & B $obj): void {} // ParseError: Declaration of A::run() must be compatible with B::run()
这种检查发生在 opcode 编译阶段,意味着问题会在部署前暴露。但反过来说,如果你没遇到这个错误,说明 PHP 认为两个接口的方法签名是可共存的(比如都接受 mixed、或参数类型是子集关系)。
IDE 和静态分析工具依赖交集类型做精准补全
VS Code + Intelephense 或 PHPStorm 在看到 LoggerInterface & Serializable $obj 时,会把两个接口的所有公共方法都纳入自动补全范围。但注意:它不会帮你“猜”哪个方法该先调用——如果你写了 $obj->log($obj->serialize()),而 serialize() 返回的是二进制字符串,但 log() 要求 string,PHP 运行时不会拦截(因为 serialize() 确实返回 string),但静态分析可能报 Parameter #1 $message of LoggerInterface::log expects string, string given —— 这种提示依赖你是否启用了严格模式和完整 stubs。
真正容易被忽略的是:交集类型本身不改变对象行为,它只约束输入输出契约;一旦你绕过类型检查(比如用 @ 抑制、或反射绕过),后续所有保障就失效了。
php免费学习视频:立即使用
踏上前端学习之旅,开启通往精通之路!从前端基础到项目实战,循序渐进,一步一个脚印,迈向巅峰!











