PHP 8.2 中合法的混合类型语法是 (A & B) | C，必须用括号显式包裹交集部分；DisjointNormalForm 并非 PHP 官方术语。该语法支持参数、返回值和属性声明，但需确保运行时传入值实际满足任一分支契约，否则仍会触发 Fatal error。
DisjointNormalForm 不是 PHP 8.2 的合法类型语法，也没有对应的调用方式——PHP 官方从未定义或实现名为 “Disjoint Normal Form” 的类型系统术语。
你实际想用的，是 PHP 8.2 支持的联合类型（union）与交集类型（intersection）混合声明，其语法为：(A & B) | C，不是 DisjointNormalForm 这个词本身。
(A & B) | C 类型怎么写才不报错
- PHP 8.2 允许在参数、返回值、属性中使用形如
(HTMLRequest & RequestInterface) | APIRequest的类型声明 - 括号必须显式写出：交集部分
A & B要包裹在()内，再和联合类型| C组合 - 错误写法：
HTMLRequest & RequestInterface | APIRequest→ 解析失败，因为&和|优先级未明确定义，PHP 要求显式分组
常见错误现象：
-
Parse error: syntax error, unexpected '|' -
TypeError: Argument #1 ($request) must be of type (A&B)|C, string given（类型声明写了，但传入值不满足任一组合分支）
使用场景：
立即学习“PHP免费学习笔记（深入）”；
- 处理多种请求协议但有共性接口约束时（如 HTTP 请求需同时满足
RequestInterface和HTMLRequest，或走纯 API 流程的APIRequest） - 返回值可能是「成功对象 & 可序列化」或「错误对象 & 可记录」
示例：
function handleRequest((JsonSerializable & Throwable) | array $payload): string
{
if (is_array($payload)) {
return json_encode($payload);
}
return json_encode($payload->jsonSerialize());
}注意：Throwable & JsonSerializable 并不自动让 Exception 类具备 jsonSerialize() 方法——它只校验类型兼容性。若传入标准 Exception 实例，运行时仍会报 Fatal error: Uncaught Error: Call to undefined method Exception::jsonSerialize()。
true、false、null 独立类型怎么配合用
PHP 8.2 允许把字面量类型单独作为返回类型，这对函数契约更精确：
-
function alwaysFail(): false表示该函数永远返回false字面量，不是bool - 同理，
function getEmpty(): null或function isReady(): true
关键点：
- 这些类型不能用于参数（
function foo(null $x)是非法语法） - 仅限返回值和属性类型（
public null $cache;合法） - 和联合类型混用时，必须加括号：
string | null正确，string | false也合法，但string | null | false需要明确语义，PHP 不限制数量
容易踩的坑：
- 把
false当作bool的子集来“宽松匹配”：调用处如果期待bool，传入false返回值会触发类型不兼容警告（严格模式下） - 在 IDE 或静态分析工具里，这类字面量类型可能尚未完全支持推导，导致误报
#[\SensitiveParameter] 和类型系统有关吗
无关。#[\SensitiveParameter] 是 PHP 8.2 新增的属性，用于在异常堆栈中隐藏敏感参数值（如密码），它不参与类型检查，也不影响 (A & B) | C 的解析逻辑。
但它常和强类型函数一起出现，比如：
function login(#[\SensitiveParameter] string $password, string $username): bool
{
// ...
}这里 $password 的类型仍是 string，#[\SensitiveParameter] 只改变错误输出行为。
真正容易被忽略的是：这个属性只对直接抛出的异常生效；如果在内部捕获后再重新 throw，原始参数值可能已丢失或无法识别——它不是运行时拦截器，而是堆栈格式化层的标记。
类型声明越精确，越要小心运行时行为是否真能支撑住那个契约。PHP 的类型系统现在能说“你必须传什么”，但还不能保证“传了就一定能用”。
