PHP 8.2 严格限制交叉类型仅支持接口与类组合，禁止标量、特殊类型及右侧为 final 类；反射返回 ReflectionIntersectionType；复合类型必须用括号明确优先级。
交叉类型只允许接口与类组合，不能含标量或特殊类型
PHP 8.2 沿用了 8.1 引入的 IntersectionType 语法规则，但校验更严格。你不能写 string&Logger 或 int&object，这类组合在解析阶段就会报错：ParseError: Intersection types cannot contain scalar types。同样，self、parent、static、null、false 等也不被允许。
合法组合仅限于：
- 接口 & 接口（如
Logger&Serializable） - 类 & 接口（如
stdClass&JsonSerializable） - final 类只能作为左侧类型（
MyFinalClass&Logger合法；反过来会触发TypeError，因为 final 类无法被继承，无法同时满足右侧接口的实现契约）
函数参数和返回值中使用时，必须确保运行时对象真实实现全部类型
声明 function handle(Traversable&Countable $coll): void 并不自动让数组或 ArrayObject 通过——只有真正同时实现了这两个接口的实例才能传入。例如 ArrayObject 默认实现 Traversable 和 Countable，可直接用；但普通 array 不是对象，不满足任何接口，传入会抛出 TypeError。
常见误判点：
立即学习“PHP免费学习笔记（深入）”；
-
IteratorAggregate不等于Traversable&Countable：前者只保证可迭代，不保证可计数 -
ArrayAccess和Countable是正交能力，需显式同时实现（比如自定义集合类要implements ArrayAccess, Countable） - 匿名类无法动态添加接口实现，用
new class() implements A, B {}才能匹配A&B
反射获取交叉类型时，ReflectionParameter::getType() 返回 ReflectionIntersectionType
PHP 8.2 的反射系统已支持原生交叉类型识别。调用 $param->getType() 不再返回 NULL 或伪造的字符串，而是具体实例 ReflectionIntersectionType，其 getTypes() 方法返回一个 ReflectionNamedType 数组。
实操建议：
- 不要用
is_string($type)或正则匹配判断交叉类型，应先instanceof ReflectionIntersectionType - 遍历
$intersectionType->getTypes()时，每个元素仍可能是联合类型（如Logger&(?string|int)中的右侧），需递归处理 - 静态分析工具（如 PHPStan）依赖此反射能力做精确推导，若自定义反射逻辑绕过
getTypes()直接读 AST，容易漏掉嵌套结构
与联合类型混用时，优先级和括号不可省略
PHP 不支持 Logger&Serializable|string 这种无括号写法，解析器会报错：ParseError: Syntax error, unexpected token "&"。正确写法必须加括号明确结合关系：(Logger&Serializable)|string。
这不只是语法要求，更影响类型推断语义：
-
(A&B)|C表示“既是 A 又是 B”或者“是 C” -
A&(B|C)在 PHP 中非法：交集类型左侧不能是联合类型 - IDE 和 PHPStan 对带括号的复合类型支持良好，但部分旧版 Psalm 插件可能忽略括号语义，建议升级到 v5.15+
最易被忽略的是：哪怕你只在 PHPDoc 中写 @param (A&B)|C $x，某些代码生成器或注解处理器若未适配 PHP 8.2 的解析规则，会把括号当普通字符丢弃，导致类型信息丢失。务必在 CI 中用 php -l 配合 declare(strict_types=1) 验证文件可解析性。
