PHP 8.0+ 用 | 声明联合类型（如 string|int），NULL 必须用 ? 语法（如 ?string）而非 string|null；参数/返回值需严格匹配，不自动转型，IDE 和静态分析工具支持但有限，且不兼容 PHP 7.x。
PHP联合类型变量怎么声明和赋值
PHP 8.0+ 支持联合类型（Union Types），不是“可选类型”或“混合类型”的替代，而是明确列出变量/参数/返回值允许的多个具体类型。声明时用 | 分隔，顺序无关，但 NULL 必须配合 ? 语法（即 ?string），不能写成 string|null —— 后者在严格模式下会报错。
常见错误现象：TypeError: Return value of foo() must be of type string|int, null returned，说明你写了 string|int 却返回了 null，而没声明可为空。
-
function process(string|int $input): float|bool { ... }—— 参数和返回值都用了联合类型 - 不能对联合类型使用
is_string($x) && is_int($x)这种“同时是两种类型”的判断，它永远为false - 联合类型不支持
array|string这类宽泛组合与iterable混用，运行时可能触发隐式转换警告 - 如果函数参数是
int|float，传入"123"（字符串）会触发TypeError，哪怕它能转成 int —— 类型检查发生在调用时，不自动转型
为什么不能把 NULL 直接写进联合类型
因为 PHP 将 NULL 视为“缺失值”，而非一种独立类型；它的存在必须通过可空语法 ? 显式启用。写成 string|null 是语法错误，PHP 解析器直接拒绝。
使用场景：你想让一个参数“可以不传”或“可以显式传 null”，就必须用 ?string，而不是 string|null。后者只在 PHP 8.0 之前某些扩展或注解里出现，不是真实联合类型语法。
立即学习“PHP免费学习笔记（深入）”；
-
function findUser(?int $id): ?User✅ 正确：参数和返回值都可为空 -
function findUser(int|null $id): User|null❌ 解析失败：语法错误 -
function handle(?string $name = null)✅ 默认值null和可空声明一致，安全 - 若默认值是
""但类型是?string，没问题；但若类型是string，默认值就不能是null
联合类型对 IDE 提示和静态分析的影响
主流 IDE（PhpStorm、VS Code + intelephense）能识别联合类型并给出对应方法提示，但仅限“所有类型共有”的方法。比如 string|int 变量，IDE 不会提示 strlen() 或 abs()，因为这两个函数不适用于对方类型。
性能影响几乎为零 —— 联合类型只在运行时做类型校验（函数入口/出口），不改变底层值存储方式或执行路径。
- PhpStan / Psalm 对
string|int的检查是精确的：调用$x->method()会报错，因为两者都没有method - 如果变量是
DateTimeInterface|false（常见于date_create()），记得先用is_object($x)或$x !== false做分支判断，再调用方法 - 不要依赖联合类型“自动缩小类型范围”：PHP 不像 TypeScript 那样做控制流分析，
if (is_string($x)) { ... }之后，PHP 运行时仍认为 $x 是原联合类型
容易被忽略的兼容性细节
联合类型是 PHP 8.0 引入的硬性语法特性，无法降级兼容。哪怕你用 class_exists('SomeClass') 做运行时检测，也无法绕过解析阶段的语法错误。
这意味着：如果你的项目还要支持 PHP 7.4，就不能在任何地方写 string|int —— 包括注释里的伪类型、配置文件、甚至测试用例的函数签名。
- Composer
require中必须锁定"php": "^8.0"，否则安装会失败 - Doctrine、Laravel 9+ 已全面适配，但 Laravel 8 及更早版本的框架代码本身不用联合类型，你自己的业务代码可用，但需确认所有依赖已升级
- 某些老扩展（如
sqlsrv在旧 Windows 版本上）可能未完全适配联合类型返回声明，遇到ReflectionException时要查扩展版本 - CLI 模式下用
php -l检查语法时，PHP 7.x 会直接报错“syntax error, unexpected '|'，这是最早暴露问题的地方
最常被跳过的点：联合类型和继承、接口实现之间没有特殊规则，但子类重写父类方法时，返回类型必须是父类声明类型的子集（contravariance for return types），这点容易在联合类型下误判。比如父类返回 A|B，子类不能返回 A|B|C。
