PHP 8.0+ 联合类型

在 PHP 8.0 及以上版本中，联合类型（Union Types） 是一个重要特性，它允许一个参数、返回值或属性声明为多个可能的类型。这为模拟泛型行为提供了更强的类型安全性。

1. 联合类型基础

联合类型用 | 分隔多个类型，表示值可以是其中任意一种类型。

示例：函数参数与返回值

function printId(int|string $id): void {
    echo "ID: " . $id;
}

printId(100);      // 合法（int）
printId("abc123"); // 合法（string）
printId([]);       // 报错：TypeError

示例：类属性

class User {
    public int|string $id;
}

$user = new User();
$user->id = 1;      // 合法
$user->id = "abc";  // 合法
$user->id = [];     // 报错：TypeError

2. 联合类型与泛型结合

虽然 PHP 没有原生泛型，但可以通过联合类型 + @template（PHPDoc）模拟泛型行为。

示例：模拟泛型函数

/**
 * @template T
 * @param T $value
 * @return T
 */
function identity(int|string|array $value): int|string|array {
    return $value;
}

$num = identity(42);      // 返回 int
$str = identity("foo");   // 返回 string
$arr = identity([1, 2]);  // 返回 array

示例：泛型集合类

/**
 * @template T
 */
class Box {
    /** @var T */
    private mixed $value;

    /**
     * @param T $value
     */
    public function __construct(mixed $value) {
        $this->value = $value;
    }

    /**
     * @return T
     */
    public function getValue(): mixed {
        return $this->value;
    }
}

$intBox = new Box(42);      // Box<int>
$strBox = new Box("foo");   // Box<string>

3. 联合类型的高级用法

(1) 可空类型（Nullable Types）

PHP 8.0 之前用 ?Type 表示可空，现在也可以用联合类型：

function greet(?string $name): void {
    echo "Hello, " . ($name ?? "Guest");
}

// 等价于：
function greet(string|null $name): void { /* ... */ }

(2) 联合类型与 null 结合

function findUser(int $id): User|null {
    // 返回 User 或 null
}

(3) 联合类型与 false（PHP 8.1+）

PHP 8.1 允许 false 作为联合类型的一部分（常用于兼容 false 返回值）：

function strpos(string $haystack, string $needle): int|false {
    // 返回 int 或 false
}

4. 联合类型的运行时检查

PHP 不会自动检查联合类型，但可以手动验证：

function processInput(int|string $input): void {
    if (is_int($input)) {
        echo "Integer: " . $input;
    } elseif (is_string($input)) {
        echo "String: " . $input;
    } else {
        throw new TypeError("Invalid type");
    }
}

5. 联合类型 vs. 泛型

6. 最佳实践

1. 优先使用 PHP 8.0+ 类型系统（联合类型、mixed、never）。
2. 结合 PHPDoc 的 @template 模拟泛型，提升 IDE 类型提示。
3. 避免过度使用联合类型，否则可能导致代码可读性下降。
4. 运行时手动验证类型（如 is_int()），确保安全性。

总结

• PHP 8.0+ 的联合类型允许一个变量接受多种类型，但不是真正的泛型。
• 结合 PHPDoc 的 @template 可以模拟泛型行为。
• 对于复杂场景，可以考虑使用 静态分析工具（如 Psalm、PHPStan） 增强类型检查。

如果需要更强的泛型支持，可以关注 PHP RFC 进程 或使用 Hack 语言（Facebook 的 PHP 衍生语言）。