本文介绍如何在 php 中构建一个支持运行时类型校验的泛型式 `map` 类，通过字符串声明键值类型（如 `'string,array
PHP 原生不支持泛型（Generics），也无编译期类型擦除机制，因此无法像 TypeScript 或 Java 那样在声明时静态约束
以下是一个生产就绪的简化版 StrictMap 实现（已优化原始示例中的逻辑缺陷，增强健壮性与可维护性）：
<?php
class StrictMap
{
private string $keyType;
private string $valueType;
private array $items = [];
public function __construct(string $keyType, string $valueType)
{
$this->keyType = $keyType;
$this->valueType = $valueType;
}
/**
* 支持基础类型（int/integer, string, bool/boolean, float/double, array）及类名（如 User::class）
* 示例：'string', 'int', 'array', 'User', 'array<string,int>'
*/
private function validateType($value, string $type): bool
{
// 解析复合类型：array<keyType,valueType>
if (str_starts_with($type, 'array<') && substr($type, -1) === '>') {
if (!is_array($value)) {
return false;
}
$innerTypes = trim(substr($type, 6, -1));
[$keyInner, $valInner] = array_pad(explode(',', $innerTypes, 2), 2, '');
$keyInner = trim($keyInner);
$valInner = trim($valInner);
foreach ($value as $k => $v) {
if ($keyInner && !$this->validateType($k, $keyInner)) {
return false;
}
if ($valInner && !$this->validateType($v, $valInner)) {
return false;
}
}
return true;
}
// 基础标量类型映射
$typeMap = [
'int' => 'integer', 'integer' => 'integer',
'string' => 'string',
'bool' => 'boolean', 'boolean' => 'boolean',
'float' => 'double', 'double' => 'double',
'array' => 'array',
'null' => 'NULL',
];
$normalized = $typeMap[$type] ?? $type;
if (in_array($normalized, ['integer', 'string', 'boolean', 'double', 'array', 'NULL'], true)) {
return gettype($value) === $normalized || ($normalized === 'NULL' && $value === null);
}
// 类型为类名（含命名空间），使用 instanceof 检查
if (class_exists($normalized) || interface_exists($normalized)) {
return $value instanceof $normalized;
}
throw new InvalidArgumentException("Unsupported type declaration: '{$type}'");
}
public function set($key, $value): void
{
if (!$this->validateType($key, $this->keyType)) {
throw new TypeError("Key must be of type '{$this->keyType}', got '" . gettype($key) . "'");
}
if (!$this->validateType($value, $this->valueType)) {
$actual = is_object($value) ? get_class($value) : gettype($value);
throw new TypeError("Value must be of type '{$this->valueType}', got '{$actual}'");
}
$this->items[$key] = $value;
}
public function get($key)
{
if (!$this->validateType($key, $this->keyType)) {
throw new TypeError("Key must be of type '{$this->keyType}'");
}
return $this->items[$key] ?? null;
}
public function has($key): bool
{
return $this->validateType($key, $this->keyType) && array_key_exists($key, $this->items);
}
public function all(): array
{
return $this->items;
}
public function count(): int
{
return count($this->items);
}
}✅ 使用示例：
// 简单键值对：string → User 对象
$user = new class { public $name = "Alice"; };
$map = new StrictMap('string', User::class);
$map->set('admin', $user); // ✅
// $map->set(123, $user); // ❌ TypeError: Key must be of type 'string'
// 多维嵌套：string → array<int,string>
$nested = new StrictMap('string', 'array<int,string>');
$nested->set('roles', [0 => 'user', 1 => 'admin']); // ✅
// $nested->set('roles', ['a' => 'user']); // ❌ key 'a' not int
// 更复杂：int → array<string, array<int,bool>>
$complex = new StrictMap('int', 'array<string,array<int,bool>>');
$complex->set(42, [
'permissions' => [1 => true, 2 => false]
]); // ✅⚠️ 注意事项与权衡：
立即学习“PHP免费学习笔记（深入）”；
-
性能开销：嵌套类型（如 array
）需遍历全部元素校验，大数据集慎用；生产环境建议配合缓存或仅在开发/测试阶段启用严格模式。 -
类型表达式限制：当前不支持 callable, resource, mixed, object（无具体类）等模糊类型；array
仅支持一维泛型语法，深层嵌套需手动封装子 StrictMap。 - PHP 版本要求：推荐 PHP 8.0+（利用 str_starts_with()、联合类型提示等）；若需兼容 PHP 7.4，可替换为 strpos($s, $prefix) === 0。
-
替代方案建议：对于超大型项目，可结合 PHPStan 或 Psalm 的静态分析 + DocBlock 注解（@var Map
）实现“伪泛型”开发体验，运行时仍用本方案兜底。
? 总结：虽然 PHP 缺乏原生泛型，但通过精心设计的运行时类型解析器，我们完全能构建出兼具灵活性与安全性的通用 StrictMap。它不是银弹，却是平衡开发效率、类型可靠性与维护成本的务实之选——尤其适合中大型项目快速迭代阶段，避免爆炸式增长的领域专用 Map 类。
