PHP联合类型变量怎么用？

PHP 8.0 引入的联合类型（如 `string|int`）是一项严格而强大的类型声明机制，它用 `|` 明确列出变量、参数或返回值可接受的多个具体类型，但绝不自动转型、不兼容 PHP 7.x，且 `NULL` 必须通过 `?` 语法（如 `?string`）显式声明——写成 `string|null` 会直接导致语法错误；它大幅提升代码可读性与静态分析能力，却被 IDE 仅提示共有方法、不支持控制流类型推导，也带来兼容性陷阱：从 Composer 锁定版本到扩展适配、从 CLI 语法检查到框架升级，稍有疏忽就会在降级环境中崩塌——想写出健壮、现代又可持续维护的 PHP 类型化代码？你必须真正理解它“严守契约、拒绝妥协”的设计哲学。

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 之前某些扩展或注解里出现，不是真实联合类型语法。

• 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。

今天关于《PHP联合类型变量怎么用？》的内容就介绍到这里了，是不是学起来一目了然！想要了解更多关于的内容请关注golang学习网公众号！