0

0

PHP 中实现类型专用容器的 DRY 原则与静态类型模拟方案

心靈之曲

心靈之曲

发布时间:2026-01-26 18:14:02

|

1072人浏览过

|

来源于php中文网

原创

PHP 中实现类型专用容器的 DRY 原则与静态类型模拟方案

本文介绍如何在 php(无原生泛型支持)中兼顾 dry 原则与类型安全性:通过 psalm 等静态分析工具的 `@template` 注解模拟泛型行为,避免为每种类型重复编写容器类,同时保障 ide 智能提示与类型检查能力。

在 PHP 开发中,当我们需要为不同数据类型(如 Cookie、Candy)创建语义明确的容器类(如 CookieBag、CandyBag)时,很容易陷入两难:若直接继承抽象基类并重写方法签名,会违反 Liskov 替换原则(LSP),导致接口契约失效;若为每种类型单独实现全部逻辑,则严重违背 DRY(Don’t Repeat Yourself)原则。

幸运的是,虽然 PHP 目前(截至 8.3)不支持原生泛型语法(如 GenericBag<Cookie>),但我们可以通过 PHPDoc 模板注解(@template)配合静态分析工具,在不牺牲运行时兼容性的前提下,获得接近泛型的开发体验与类型安全保障。

✅ 推荐方案:使用 @template 实现“伪泛型”容器

以下是一个可复用、类型感知的通用容器实现:

<?php

/**
 * @template T
 */
class GenericBag
{
    /** @var array<string, T> */
    private array $bag = [];

    public function has(string $key): bool
    {
        return array_key_exists($key, $this->bag);
    }

    /**
     * @param string $key
     * @param T|null $fallback
     * @return T
     */
    public function get(string $key, $fallback = null)
    {
        return $this->has($key) ? $this->bag[$key] : $fallback;
    }

    /**
     * @param string $key
     * @param T $value
     * @return static
     */
    public function set(string $key, $value): self
    {
        $this->bag[$key] = $value;
        return $this;
    }

    public function del(string $key): void
    {
        unset($this->bag[$key]);
    }

    /**
     * @return array<string, T>
     */
    public function all(): array
    {
        return $this->bag;
    }

    /**
     * @param callable(T, string): bool $callback
     * @return array<string, T>
     */
    public function filter(callable $callback): array
    {
        return array_filter($this->bag, $callback, ARRAY_FILTER_USE_BOTH);
    }
}
? 关键点说明:@template T 声明一个类型参数 T,作用域为整个类;@var array<string, T> 和 @param T 等注解让 Psalm/PHPStan/IDE(如 PhpStorm)理解 $bag 存储的是 T 类型值;返回类型 static + @return static 配合链式调用,保持子类调用时的类型推导准确性;所有类型约束均在静态分析阶段生效,运行时完全零开销,100% 向后兼容。

? 使用示例:类型安全的业务调用

现在你可以安全地将 GenericBag 限定为特定类型使用:

Khroma
Khroma

AI调色盘生成工具

下载

立即学习PHP免费学习笔记(深入)”;

<?php

class Cookie { /* ... */ }
class Candy { /* ... */ }

class GrandMa
{
    /**
     * @param GenericBag<Cookie> $bag
     */
    public function giveCookie(GenericBag $bag): void
    {
        $bag->set('chocolate', new Cookie()); // ✅ 正确:参数类型被校验
        // $bag->set('error', 'string'); // ❌ Psalm 报错:Expected Cookie, got string
    }
}

class CandyShop
{
    /**
     * @param GenericBag<Candy> $bag
     */
    public function stockCandy(GenericBag $bag): void
    {
        $candy = $bag->get('gummy'); // ✅ 返回类型自动推导为 ?Candy
        if ($candy instanceof Candy) {
            echo $candy->getName();
        }
    }
}

⚠️ 注意事项与最佳实践

  • 必须启用静态分析工具:单独写 @template 注解不会产生任何运行时效果。请务必集成 Psalm(推荐)、PHPStanPhan 到 CI/IDE 中,并开启模板检查(如 Psalm 的 --find-unused-psalm-suppress 和 --no-suggestions 可提升严格性)。
  • 避免滥用继承:切勿再定义 CookieBag extends GenericBag —— 这不仅冗余,还会破坏模板类型推导。GenericBag<Cookie> 本身已是类型专用实例。
  • 构造器与工厂模式:若需初始化逻辑(如从 HTTP 请求加载 Cookie),建议使用静态工厂方法:
    /**
     * @return GenericBag<Cookie>
     */
    public static function fromRequest(): self
    {
        $bag = new self();
        foreach ($_COOKIE as $k => $v) {
            $bag->set($k, new Cookie($v));
        }
        return $bag;
    }
  • 与接口协作:可为 GenericBag 定义泛型接口(如 @template T implements BagInterface<T>),进一步统一契约,但需注意 PHP 接口本身不支持 @template,应通过类注解+文档约定实现。

✅ 总结

在缺乏语言级泛型的 PHP 生态中,@template + 静态分析是目前最成熟、最实用的类型专用容器解决方案。它完美平衡了:

  • DRY:一份容器逻辑服务所有类型;
  • 类型安全:编译期捕获类型误用,提升重构信心与协作效率;
  • 渐进采用:无需修改现有运行时逻辑,零风险落地。

与其等待遥远的 PHP 泛型(RFC 多次讨论但尚未进入实现阶段),不如立即用 @template 为你的领域模型注入强类型力量——干净、专业、且真正可行。

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

WorkBuddy
WorkBuddy

腾讯云推出的AI原生桌面智能体工作台

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
phpstorm怎么导出项目
phpstorm怎么导出项目

phpstorm提供导出项目功能,步骤如下:打开phpstorm项目转到“项目”菜单选择“导出项目”选择导出格式指定导出位置选择导出范围勾选“包括依赖项”框(可选)单击“导出”完成导出。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

388

2024.04.08

phpStorm怎么运行
phpStorm怎么运行

本专题整合了phpstorm运行教程,阅读专题下面的文章了解更多相关内容。

89

2025.09.18

phpstorm开发环境搭建教程
phpstorm开发环境搭建教程

本专题整合了phpstorm开发环境搭建和运行项目教程,阅读专题下面的文章了解更多详细教程。

78

2025.09.18

phpstorm怎样运行php
phpstorm怎样运行php

本专题整合了phpstorm运行php相关教程,阅读专题下面的文章了解更多详细内容。

62

2025.09.18

phpstorm相关教程大全
phpstorm相关教程大全

本专题整合了phpstorm相关教程汇总,阅读专题下面的文章了解更多详细内容。

23

2026.01.15

数据类型有哪几种
数据类型有哪几种

数据类型有整型、浮点型、字符型、字符串型、布尔型、数组、结构体和枚举等。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

338

2023.10.31

php数据类型
php数据类型

本专题整合了php数据类型相关内容,阅读专题下面的文章了解更多详细内容。

225

2025.10.31

c语言 数据类型
c语言 数据类型

本专题整合了c语言数据类型相关内容,阅读专题下面的文章了解更多详细内容。

138

2026.02.12

TypeScript类型系统进阶与大型前端项目实践
TypeScript类型系统进阶与大型前端项目实践

本专题围绕 TypeScript 在大型前端项目中的应用展开,深入讲解类型系统设计与工程化开发方法。内容包括泛型与高级类型、类型推断机制、声明文件编写、模块化结构设计以及代码规范管理。通过真实项目案例分析,帮助开发者构建类型安全、结构清晰、易维护的前端工程体系,提高团队协作效率与代码质量。

49

2026.03.13

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
PHP课程
PHP课程

共137课时 | 13.5万人学习

JavaScript ES5基础线上课程教学
JavaScript ES5基础线上课程教学

共6课时 | 11.3万人学习

PHP新手语法线上课程教学
PHP新手语法线上课程教学

共13课时 | 1.0万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号