php8联合类型需遵循语法约束：void不可参与联合，mixed不能与其他类型联合，可空类型必须显式写为T|NULL；参数和返回值均支持联合类型，但返回值校验更严格且不接受隐式转换；php8.1起才支持属性联合类型，且需显式声明|null才能赋null默认值。
PHP8联合类型怎么写才不报错
PHP8的联合类型（union Types）不是“多个类型随便写”，必须满足语法和语义约束，否则直接Parse Error。最常见错误是把void、mixed或null混在联合中没处理好。
-
void不能出现在联合类型里——它本身不是类型，只是返回值声明，写function foo(): void|int会报Parse error: syntax error -
mixed可以单独用，但不能和其他类型联合（如mixed|String非法），PHP认为它已涵盖全部可能 - 如果想表示“字符串或空值”，必须显式写
string|null，不能依赖?string自动展开——?string是可空类型语法糖，等价于string|null，但仅限单个类型前加? - 联合类型中类型顺序无关，但PHP会按声明顺序做运行时校验，不影响性能，只影响错误提示里的类型排列
函数参数和返回值联合类型的写法差异
参数和返回值都支持联合类型，但实际行为有微妙区别：参数类型检查在调用时触发，返回值检查在函数退出时触发；且返回值校验更严格——哪怕返回null而声明里没写|null，就会Fatal error。
- 参数联合类型允许隐式转换失败时抛
TypeError，比如function bar(int|Float $x)传"123"会报错，不会自动转为int - 返回值联合类型不接受隐式转换，哪怕
return "42"面对int|float也会挂掉，必须显式(int)"42"或改声明 - 类方法继承时，子类重写方法的返回联合类型不能比父类更宽（LSP限制），例如父类声明
string|int，子类只能缩小为string或保持一致，不能扩成string|int|bool
联合类型和PHP7的@var注解冲突吗
不冲突，但ide和静态分析工具（如PHPStan、Psalm）对两者的理解不同：PHP8原生联合类型是运行时强制的，而@var只是注释，不会影响执行。混用时容易让工具误判。
- 如果已用PHP8联合类型，就别再写
@var int|string $x——PHPStan会警告“redundant PHPDoc” - 但
@param注解仍可补充说明，比如@param int|float $rate 百分比数值，支持小数，这是合法且有用的 - 注意
phpdoc中的联合类型写法是int|float，和PHP8语法一致；但旧版工具可能不识别Static或self参与的联合，比如self|OtherClass在PHPStan 1.5+才稳定支持
联合类型在属性上怎么用才安全
PHP8.1起才支持属性联合类型（PHP8.0只支持参数和返回值），所以用PHP8.0写public int|string $prop;会直接报错。升级前务必确认版本。
立即学习“PHP免费学习笔记（深入）”；
- 属性联合类型不允许默认值为
null，除非显式包含|null，例如public string|null $name = null;合法，但public string|int $id = null;会报TypeError - 构造函数参数类型和属性类型不自动对齐，即使写了
public function __construct(public int|string $id) {}，也不能省略属性声明里的类型（PHP8.1+支持属性提升，但类型仍需显式写出） - 序列化/反序列化不受联合类型保护——
unserialize()出来的对象属性可能违反类型声明，运行时不会立刻报错，直到下次访问该属性才触发类型检查
联合类型看着简单，但int|float和float|int虽然等价，一旦涉及泛型（如ArrayObject<int></int>）或反射（ReflectionParameter::getType()返回对象），顺序会影响__toString()输出和工具链解析，这点很容易被忽略。