首页 > 营销学院 > 技术知识

遵循协变/逆变原则，避免重复代码的最佳实践

本文探讨了如何在PHP中遵循协变/逆变原则的同时，避免编写重复代码。通过移除`BaseBarClass::getFooBase()`方法的返回类型声明，或者在PHP8及以上版本中使用`: mixed`，可以解决子类`getFoo()`方法违反协变/逆变原则的问题，同时保持代码的简洁性和可维护性。

在面向对象编程中，协变和逆变是类型系统中的重要概念，它们描述了方法参数和返回值类型在继承关系中的变化规则。在PHP中，严格遵循这些规则可以提高代码的健壮性和可维护性。然而，在某些情况下，为了避免代码重复，我们可能会遇到违反这些规则的情况。本文将探讨一种解决此类问题的实用方法。

考虑以下场景：我们有一个基类BaseFooClass和多个子类ChildFooClass1、ChildFooClass2等。还有一个基类BaseBarClass，它负责创建BaseFooClass及其子类的实例。BaseBarClass有一个受保护的方法getFooBase()，用于从远程数据源获取数据并创建BaseFooClass的实例。每个ChildBarClass都有一个getFoo()方法，该方法调用getFooBase()来获取特定类型的ChildFooClass实例。

以下是代码示例：

<?php

class BaseFooClass {
    protected $keys = [];
    private $map = [];
    public function __construct($keyValuePairs) {
        foreach($this->keys as $key => $value) {
            $this->map[$key] = $keyValuePairs[$key] ?? null;
        }
    }
}

class ChildFooClass1 extends BaseFooClass {
    protected $keys = ['foo1_a', 'foo1_b'];
}

class ChildFooClass2 extends BaseFooClass {
    protected $keys = ['foo2_a', 'foo2_b', 'foo2_c'];
}

abstract class BaseBarClass {
    protected $classIndex;
    protected function getFooBase(int $dataIndex) //: ?BaseFooClass  Remove the return type or use : mixed
    {
        // GetRemoteData is assumed to be a global function, the important thing here is the retrieved data depends on classIndex and dataIndex
        // If $classIndex is 1, the $keyValuePairs will look like ['foo1_a' => value1, 'foo1_b' => value2] where value1 and value2 depend on $dataIndex
        $keyValuePairs = GetRemoteData($this->classIndex, $dataIndex);
        if (checkDataIntegrity($keyValuePairs)) {
            $class = "ChildFooClass" . $this->classIndex;
            return new $class($keyValuePairs);
        }
        return null;
    }
}

class ChildBarClass1 extends BaseBarClass {
    protected $classIndex=1;
    public function getFoo(int $dataIndex) : ?ChildFooClass1
    {
        return $this->getFooBase($dataIndex);
    }
}

class ChildBarClass2 extends BaseBarClass {
    protected $classIndex=2;
    // input to getFoo in each BarClass can be different
    public function getFoo($someInput) : ?ChildFooClass2
    {
        $dataIndex = $this->calculateDataIndex($someInput);
        return $this->getFooBase($dataIndex);
    }
}

// 假设的全局函数
function GetRemoteData(int $classIndex, int $dataIndex): array {
    // 模拟从远程数据源获取数据
    $data = [];
    if ($classIndex == 1) {
        $data = ['foo1_a' => 'value1_' . $dataIndex, 'foo1_b' => 'value2_' . $dataIndex];
    } elseif ($classIndex == 2) {
        $data = ['foo2_a' => 'value3_' . $dataIndex, 'foo2_b' => 'value4_' . $dataIndex, 'foo2_c' => 'value5_' . $dataIndex];
    }
    return $data;
}

function checkDataIntegrity(array $data): bool {
    // 模拟数据完整性检查
    return !empty($data);
}

// 示例用法
$childBar1 = new ChildBarClass1();
$foo1 = $childBar1->getFoo(1);

if ($foo1 instanceof ChildFooClass1) {
    echo "ChildBarClass1::getFoo() 返回了 ChildFooClass1 实例\n";
} else {
    echo "ChildBarClass1::getFoo() 没有返回 ChildFooClass1 实例\n";
}

$childBar2 = new ChildBarClass2();
$foo2 = $childBar2->getFoo('someInput');

if ($foo2 instanceof ChildFooClass2) {
    echo "ChildBarClass2::getFoo() 返回了 ChildFooClass2 实例\n";
} else {
    echo "ChildBarClass2::getFoo() 没有返回 ChildFooClass2 实例\n";
}

?>

最初的代码中，ChildBarClass1::getFoo()和ChildBarClass2::getFoo()方法违反了协变/逆变原则，因为它们试图返回更具体的类型（例如ChildFooClass1），而BaseBarClass::getFooBase()方法返回的是更通用的类型BaseFooClass。

解决方案：移除getFooBase()的返回类型声明

最简单的解决方案是从BaseBarClass::getFooBase()方法中移除返回类型声明。这样，该方法将不再强制返回特定类型，从而避免了协变/逆变冲突。由于getFooBase()是受保护的方法，不属于公共API，因此移除返回类型声明不会对代码的外部接口产生影响。

芝士饼

芝士饼是一个一站式AI原生应用开发平台，简单几步即可完成应用的创建与发布。

84 查看详情芝士饼

或者，在PHP8及以上版本中，可以使用: mixed作为getFooBase()的返回类型声明。mixed类型可以接受任何类型的值，因此也可以避免协变/逆变冲突。

修改后的代码如下：

abstract class BaseBarClass {
    protected $classIndex;
    protected function getFooBase(int $dataIndex) //: ?BaseFooClass  Remove the return type or use : mixed
    {
        // ...
    }
}

优点：

避免了代码重复：无需在每个ChildBarClass::getFoo()方法中重复调用GetRemoteData()和checkDataIntegrity()等逻辑。
遵循协变/逆变原则：通过移除或放宽getFooBase()的返回类型声明，避免了类型冲突。
保持类型安全：由于ChildBarClass::getFoo()方法仍然具有具体的返回类型声明，因此可以在编译时或运行时检测到类型错误。

注意事项：

确保GetRemoteData()函数返回的数据与ChildFooClass的构造函数兼容。
如果GetRemoteData()函数返回的数据不完整或无效，checkDataIntegrity()函数应返回false，以避免创建无效的ChildFooClass实例。

总结：

通过移除或放宽基类方法的返回类型声明，可以在遵循协变/逆变原则的同时，避免编写重复代码。这种方法简单有效，可以提高代码的可维护性和可读性。在实际开发中，应根据具体情况选择合适的解决方案，并仔细考虑类型安全和代码可维护性之间的平衡。

以上就是遵循协变/逆变原则，避免重复代码的最佳实践的详细内容，更多请关注php中文网其它相关文章！

# 是一个 # 成都营销策划推广方法 # seo技术常识 # 网店微博推广营销 # 新郑网站建设服务 # 短信推广网站制作 # 博创网站建设团队 # 黄岩seo排名优化流程 # 飞机推广营销方案 # 黑帽seo 蜘蛛劫持 # 精准引流网站推广方式 # 都有 # php # 的是 # 有一个 # 怎么看 # 芝士 # 面向对象 # 移除 # 子类 # 逆变 # 面向对象编程 # ai # php8

相关栏目：【 Google疑问12 】【 Facebook疑问10 】【优化推广96088 】【技术知识133117 】【 IDC资讯59369 】【网络运营7196 】【 IT资讯61894 】

2025-10-31

SQL多表关联如何理解_核心原理解析助你掌握关键方法【教程】 SQL多表连接如何理解_JOIN关联关系详细步骤解析【指导】 SQL多表连接结果异常怎么办_JOIN条件排查方法解析【指导】 SQL索引下推是什么_ICP机制性能提升原理【教程】 SQL跨表统计怎么写_重要技巧总结提升查询效率【技巧】 SQL注入如何防护_完整逻辑拆解助力系统化掌握【技巧】 SQL上传文件信息建模方法_SQL存储文件元数据方案 SQL多语种存储方案设计_SQL字符集选择策略 SQL字符串处理如何编写_重要技巧总结提升查询效率【教学】 SQL去重查询怎么实现_优化思路讲解帮助高效处理数据【技巧】 SQL统计复购用户怎么做_多次行为分析SQL思路【教程】 SQL字符串处理如何编写_优化思路讲解帮助高效处理数据【教程】 SQL动态字段解析技巧_SQL解析JSON多层字段 SQL线上慢SQL如何治理_规范与工具实践总结【技巧】 SQL表结构如何演进_兼容老数据设计思路【教程】 SQL排序规则如何设置_ORDERBY排序原理与性能说明【指导】 SQL去重查询怎么实现_真实案例解析强化复杂查询思维【教学】 SQL按字段范围分批处理_SQL避免长时间锁表 SQL统计不同字段组合数量_多列聚合查询技巧【技巧】 SQL多字段去重怎么处理_GROUPBY去重思路说明【教学】

了解您产品搜索量及市场趋势，制定营销计划

同行竞争及网站分析保障您的广告效果

点击免费数据支持

提交您的需求，1小时内享受我们的专业解答。

运城市盐湖区信雨科技有限公司

运城市盐湖区信雨科技有限公司是一家深耕海外推广领域十年的专业服务商，作为谷歌推广与Facebook广告全球合作伙伴，聚焦外贸企业出海痛点，以数字化营销为核心，提供一站式海外营销解决方案。公司凭借十年行业沉淀与平台官方资源加持，打破传统外贸获客壁垒，助力企业高效开拓全球市场，成为中小企业出海的可靠合作伙伴。