PHP中的泛型：带示例的类型化完整指南

为什么泛型不仅仅是时尚潮流，而是一种必要？

如果你曾经编写过处理集合、仓库或服务层的PHP代码，你很可能遇到过这种情况：函数接受一个array，但里面是什么却是个谜。可能是用户，也可能是猫咪。或者更糟——两者都有。正是在这里，泛型——一种强大的类型化工具——登场了，它能让你的代码变得可预测、安全且自文档化。

在本文中，我们将详细讲解泛型在PHP中如何工作、为什么需要它们以及如何在实际项目中使用它们。你将学会如何避免典型错误，让你的代码更加专业。开始吧！

用简单的话说，什么是泛型？

想象一下，你是一名在线商店的开发者。你有一个存储商品的Cart类。没有泛型时，你会这样写：

class Cart {\n    private array $items;\n    \n    public function addItem($item): void {\n        $this->items[] = $item;\n    }\n    \n    public function getItems(): array {\n        return $this->items;\n    }\n}

问题在哪里？$item可以是任何东西——数字、字符串、Product对象，甚至null。IDE不会提示getItems()返回的是什么类型。你不得不去查阅文档或进行调试。

泛型解决了这个问题。它们允许你指定：“嘿，这个类只处理商品！”。看起来像这样：

class Cart {\n    /** @param Product[] $items */\n    private array $items;\n    \n    public function addItem(Product $item): void {\n        $this->items[] = $item;\n    }\n    \n    /** @return Product[] */\n    public function getItems(): array {\n        return $this->items;\n    }\n}

但这只是模拟。真正的泛型在PHP中从PHP 8.0开始出现，而完整支持则是在PHP 8.1+中通过属性和静态分析（例如PHPStan或Psalm）实现的。

泛型在PHP中实际上是如何工作的？

与Java或C#不同，PHP在语法层面（目前）没有对泛型的原生支持。然而，通过PHPDoc注解和静态分析工具，我们可以获得类型化的所有优势。

模板类型

最流行的方法是使用PHPDoc中的@template。来看一个集合的例子：

/**\n * @template T\n */\nclass Collection {\n    /** @var array<int, T> */\n    private array $items = [];\n    \n    /**\n     * @param T $item\n     */\n    public function add(mixed $item): void {\n        $this->items[] = $item;\n    }\n    \n    /**\n     * @return T\n     */\n    public function get(int $index): mixed {\n        return $this->items[$index] ?? throw new \\OutOfBoundsException();\n    }\n}

现在，在使用这个类时，你可以指定具体的类型：

/** @var Collection<User> $userCollection */\n$userCollection = new Collection();\n$userCollection->add(new User('Alice'));\n$user = $userCollection->get(0); // PHPStan知道：$user是User类型\necho $user->name; // 安全！

泛型的约束

有时，我们需要类型T不是任意的，而是实现某个特定的接口。这被称为约束：

/**\n * @template T of \\JsonSerializable\n */\nclass JsonCollection {\n    /** @var array<int, T> */\n    private array $items = [];\n    \n    public function toJson(): string {\n        return json_encode($this->items);\n    }\n}

现在，你不能向集合中添加一个没有实现JsonSerializable的对象。IDE和静态分析器会报错。

实践示例：从简单到复杂<