PHP中如何为数组设置指定类的严格类型约束

原生PHP（截至8.3版本）暂不支持你示例中array:Person这种直接声明「仅包含指定类实例的数组」的语法，也未正式引入泛型特性，要实现所有数组元素均为指定类实例的严格约束，可参考以下两种常用方案：

方案1：私有属性+写入校验方法 #

将数组属性设为私有，仅通过指定方法新增元素，在新增时做类型校验，从根源避免非指定类实例被写入数组：

class Person {
    public string $name;
    /** @var Person[] IDE类型提示标注 */
    private array $friends = [];

    // 仅接受Person实例作为参数写入数组
    public function addFriend(Person $friend): void
    {
        $this->friends[] = $friend;
    }

    /**
     * 读取数组时可二次校验保证类型正确
     * @return Person[]
     */
    public function getFriends(): array
    {
        foreach ($this->friends as $item) {
            if (!$item instanceof Person) {
                throw new \TypeError('Friends array only accept Person instance');
            }
        }
        return $this->friends;
    }
}

该方案逻辑简单无额外依赖，运行时强制校验，适合单一类的定制化类型约束需求。

方案2：通用集合类封装 #

如果多个类都有类似的数组类型约束需求，可以封装通用的集合类实现复用，还可配合静态分析工具的泛型标注实现IDE智能提示：

/**
 * 通用类型约束集合类
 * @template T
 */
class TypedCollection {
    /** @var array<array-key, T> */
    private array $items = [];

    /** @param class-string<T> $allowedType 允许的元素类名 */
    public function __construct(private string $allowedType) {}

    public function add(mixed $item): void
    {
        if (!$item instanceof $this->allowedType) {
            throw new \TypeError(sprintf('Collection only accept instance of %s', $this->allowedType));
        }
        $this->items[] = $item;
    }

    /** @return T[] */
    public function all(): array
    {
        return $this->items;
    }
}

// 业务类使用示例
class Person {
    public string $name;
    /** @var TypedCollection<Person> 泛型标注，IDE可识别类型 */
    public TypedCollection $friends;

    public function __construct()
    {
        // 初始化时指定集合仅允许Person实例
        $this->friends = new TypedCollection(Person::class);
    }
}

// 使用示例
$alice = new Person();
$alice->name = 'Alice';
$bob = new Person();
$bob->name = 'Bob';
$alice->friends->add($bob); // 正常写入
// $alice->friends->add('test'); 会抛出TypeError

该方案复用性高，支持任意类的数组类型约束需求，配合PHPStan、Psalm等静态分析工具可提前发现类型错误。

注意：不要将需要做类型约束的数组属性直接声明为public，否则外部可以直接修改数组内容，无法保证类型校验生效。

内容的提问来源于stack exchange，提问作者Quobby Dave