PHP 8.0+ 的交叉类型写作 A&B，仅支持用于参数、返回值和属性声明，不支持局部变量；必须至少两个接口或类（至多一个类），且需实际同时满足所有类型契约。
PHP 8.0+ 的交叉类型（Intersection Types）怎么写
PHP 不支持传统意义上的“交叉类型变量定义”，但自 8.0 起引入了真正的交叉类型语法，仅用于函数参数、返回值和属性声明，不能用于 $var 这种局部变量的类型标注。
你没法写 $x: A&B; 或 var $x: A&B; —— PHP 解析器直接报错 Parse error: syntax error, unexpected token "&"。
- 交叉类型只允许出现在类型声明位置：参数类型、返回类型、类属性（
public A&B $prop;）、类常量（PHP 8.2+） - 必须至少两个接口或类，且不能含
mixed、void、null等无效组合 - 类名参与交叉时，最多一个具体类，其余必须是接口（否则运行时报
Fatal error: Intersection types may only contain at most one class）
为什么不能给普通变量加交叉类型
PHP 的类型系统是“声明式”而非“推导式”：类型信息只在编译/运行时做契约检查，不用于变量存储结构的重构。局部变量没有类型声明语法位，所以 & 在赋值语句中不是类型操作符，而是按位与运算符。
常见误写：$x = $a & $b; —— 这里 & 是整数位运算，跟类型完全无关；想表达“这个变量同时满足 A 和 B”，PHP 没提供运行时类型绑定机制。
立即学习“PHP免费学习笔记（深入）”；
- 试图用
/** @var A&B */ $x = ...;—— PHPStan/PHPStorm 可能识别，但 PHP 解释器忽略，无运行时效果 - 用
gettype()或instanceof手动校验？可以，但那是逻辑判断，不是类型定义 - IDE 提示“expected A&B”只是静态分析建议，不代表语言支持该语法
实际能用交叉类型的三个地方
只有这三处写法是合法且生效的（PHP 8.0+）：
- 参数：
function foo(Iterator&Countable $it): void { ... } - 返回值：
function bar(): DateTimeImmutable&Stringable { return new DateTimeImmutable(); } - 属性：
public LoggerInterface&Psr\Log\LoggerAwareInterface $logger;
注意：返回值必须确保实际返回的对象**同时实现所有类型**，否则运行时报 TypeError。例如上面 bar() 若返回纯 DateTimeImmutable（未实现 Stringable），就会失败 —— 即使它继承自实现了该接口的父类也不行，必须显式实现或使用 implements 声明。
交叉类型和联合类型别搞混
A|B 是联合类型（“是 A 或 B”），A&B 是交叉类型（“既是 A 又是 B”），语义相反，错误混用会导致行为不符合预期。
- 写成
array|string是对的，表示接受数组或字符串 - 写成
ArrayAccess&Traversable表示必须同时支持下标访问和迭代，比如ArrayObject符合，但普通array不符合（它不是对象，不实现接口） - IDE 或静态分析工具可能把
A&B当作A|B提示，这是工具 bug，以 PHP 运行时行为为准
交叉类型真正起作用的地方，是当你需要一个对象“必须具备多个契约能力”时——比如既要可迭代又要可计数，或者既要记录日志又要能被序列化。这时候硬编码检查一堆 instanceof 很啰嗦，而交叉类型让契约更紧凑、更易读。但它不会帮你自动组合对象，也不会改变变量本身的动态性。
