# PHP 联合类型 & 交集类型 & DNF 析取范式类型面试完整解析
## 一句话结论
union types 用 `|` 表示“满足其中之一”，交集类型用 `&` 表示“必须同时满足所有”，两者约束范围和允许的类型集合也不同。

## 体系讲解
### 核心语义对比表
| 特性 | 联合类型 union l | 交集类型 intersection & |
| ---- | ---- | ---- |
| PHP 版本 | 8.0 引入 | 8.1 引入 |
| 核心语义 | 匹配任意一种类型即可 | 必须同时匹配全部类型 |
| 支持标量(int/string/bool) | ✅ 完全支持 | ❌ 仅允许类、接口 |
| 支持 null | ✅ int l null = ?int | ❌ 不允许单独写 null |
| 支持 true/false 字面量 | ✅（8.2 支持 true） | ❌ |
| 适用场景 | 参数兼容多种基础数据类型 | 对象必须同时实现多个接口 |

### 一、联合类型 Union Types（`Type1|Type2`）
参数、返回值只要匹配联合列表中**任意一个类型**即合法。
1. 基础用法
```php
// 入参支持整数或字符串ID
function getId(int|string $id): void
{
    var_dump($id);
}
getId(100);
getId("order_100");
```
2. 特殊成员规则
- `int|null` 等价于简写 `?int`，两种写法无任何区别；
- 兼容老式接口：`int|false`，区分数字与失败标记 false；
- PHP8.2 新增支持单独 `true` 字面量联合。

### 二、交集类型 Intersection Types（`InterfaceA&InterfaceB`）
仅能写**类/接口名称**，传入对象必须同时实现全部接口，无法用于标量、数组、null。
```php
interface Loggable { public function log(): string; }
interface Exportable { public function out(): string; }

// 对象必须同时实现两个接口
function save(Loggable&Exportable $data): void
{
    echo $data->log(), $data->out();
}
```
交集硬性限制：
1. 禁止标量、数组、null、callable；`int&string` 直接语法报错；
2. 不能直接和 `|` 混用（PHP8.1 不支持 `Foo&Bar|null`）；
3. 不允许重复类型 `Foo&Foo`。

### 三、DNF 析取范式类型（PHP8.2，联合+交集混合）
解决 8.1 无法混合 `&` 和 `|` 的缺陷，交集部分必须用小括号包裹：
`(接口1&接口2)|null`
含义：要么是同时实现两个接口的对象，要么为 null。
```php
function handle((Loggable&Exportable)|null $data): void
{
    if ($data === null) return;
    echo $data->log();
}
```

### PHP 类型系统版本演进时间线
1. PHP7.1：可空类型 `?Type`
2. PHP8.0：联合类型 `int|string|null`
3. PHP8.1：交集类型 `A&B`（不支持混合联合）
4. PHP8.2：DNF 混合类型 `(A&B)|null`

## 考察意图
1. 区分 `|` 或、`&` 且 的核心语义差异；
2. 牢记交集类型**不能使用标量/null**的硬性限制（高频考点）；
3. 理清版本迭代边界，知晓 PHP8.1 与 8.2 混合写法的语法区别；
4. 能区分三者业务适用场景。

## 追问链（面试问答）
### 1. `int|string` 和 `string|int` 书写顺序有影响吗？
简答：无任何区别，运行时不区分联合类型书写顺序，校验逻辑完全一致。

### 2. 想要“同时实现两个接口 或 null”，PHP8.1 能直接写 `Foo&Bar|null` 吗？
简答：不能，PHP8.1 语法不支持 `&` 和 `|` 直接拼接，会报语法错误；必须升级 PHP8.2 使用 DNF `(Foo&Bar)|null`。

### 3. callable 可以放在联合/交集里吗？
简答：可放入联合 `callable|null`；不能放入交集，交集只允许类与接口。

### 4. `float` 和 `int|float` 实际使用有什么区别？
简答：严格模式下 float 天然兼容 int（语言扩展豁免），运行行为几乎一致；`int|float` 仅用于代码语义标注，无运行层面差异。

## 高频易错点
1. 交集混用标量：写 `int&string`、`int&null`，直接触发语法错误；
2. PHP8.1 不加分号混合 `&` `|`：`Loggable&Exportable|null` 非法；
3. 混淆 `?int` 与联合：误以为 `?int` 和 `int|null` 行为不同，二者完全等价；
4. 认为交集可用于基础类型数值校验，忽略其仅作用于对象接口的设计定位。

## 完整代码示例
```php
<?php
// 1. Union 联合类型 PHP8.0
function printVal(int|float|string $val): string
{
    return (string)$val;
}
printVal(99);
printVal(3.14);
printVal("text");

// 可空联合，等价 ?string
function welcome(string|null $name): string
{
    return $name ?? "游客";
}

// 2. 交集类型 PHP8.1
interface Loggable
{
    public function toLog(): string;
}
interface Exportable
{
    public function export(): string;
}

class Order implements Loggable, Exportable
{
    public function toLog(): string { return "订单日志"; }
    public function export(): string { return "订单导出"; }
}

function store(Loggable&Exportable $obj): void
{
    echo $obj->toLog(), $obj->export();
}
store(new Order());

// 3. DNF 混合类型 PHP8.2
function parse((Loggable&Exportable)|null $data): void
{
    if ($data !== null) {
        echo $data->export();
    }
}
parse(new Order());
parse(null);
```

已有0条评论

添加新评论☺

如果认为本文对您有所帮助请赞助本站

支付宝扫一扫赞助

已有0条评论

添加新评论☺