引言
在软件开发中，我们经常会遇到需要为现有类添加新功能或属性，但又无法修改其原始代码的情况。这可能是因为原始代码是第三方库的一部分，或是作为私有嵌套类而不可直接访问。同时，对新属性的访问性能也可能是一个关键考量，例如要求o(1)的最坏情况时间复杂度。传统的哈希映射（hashmap）虽然常见，但在最坏情况下可能无法满足o(1)的性能要求。本文将介绍两种c++中实现这一目标的策略：组合（composition）和继承（inheritance），并重点分析它们在特定场景下的适用性与局限性。
策略一：组合（Composition）模式
当无法直接修改或继承原始类时，组合模式提供了一种优雅的解决方案。其核心思想是创建一个新的“包装”类，该类包含一个原始类的实例作为其成员，并同时拥有我们希望添加的新属性。通过这种方式，新类能够利用原始类的功能，并扩展其数据。
原理阐述
假设我们有一个名为GivenVertex的原始顶点类，我们希望为其添加一个position属性。我们可以创建一个MyVertex类，它内部包含一个GivenVertex对象和一个position整型变量。
示例代码
#include#include // 用于断言测试 // 假设这是我们无法修改的原始顶点类 // 它可以是私有嵌套类，只要我们能创建其实例即可 class GivenVertex { private: int color = 3; // 原始属性 // ... 其他原始属性和方法 public: GivenVertex() {} int getClr() const { // 注意添加 const 关键字，表示不修改对象状态 return color; } }; // 我们创建的新类，使用组合模式添加新属性 class MyVertex { public: int position; // 新增属性 GivenVertex V; // 包含一个原始GivenVertex实例 // 构造函数，接收原始GivenVertex实例和新属性值 MyVertex(GivenVertex originalVertex, int newPosition) : V(originalVertex), position(newPosition) { // 原始Vertex的属性通过V成员访问 // 新增属性直接通过MyVertex实例访问 } // 可以添加封装方法来访问原始Vertex的属性 int getOriginalColor() const { return V.getClr(); } }; int main() { // 1. 创建一个原始的GivenVertex实例 GivenVertex gv_instance = GivenVertex(); // 2. 使用原始实例和新属性值创建MyVertex实例 int pos_value = 7; MyVertex mv_composed = MyVertex(gv_instance, pos_value); // 3. 验证属性是否正确存储和访问 assert(mv_composed.getOriginalColor() == 3); // 访问原始属性 assert(mv_composed.position == 7); // 访问新增属性 std::cout << "原始顶点颜色: " << mv_composed.getOriginalColor() << ", 新增位置: " << mv_composed.position << std::endl; return 0; }
优点与适用场景
- 不修改原始代码： 这是最核心的优点，完全符合要求。
- O(1)访问性能： 新增属性直接作为MyVertex的成员，访问时是O(1)复杂度。原始类的属性通过其成员变量访问，也是O(1)。
- 灵活性高： 即使GivenVertex是私有嵌套类，只要我们能创建其公共接口提供的实例，组合模式就能工作。
- “has-a”关系： 明确表达了“MyVertex有一个GivenVertex”的语义关系。
策略二：继承（Inheritance）模式及其局限性
继承是C++中实现代码复用和功能扩展的另一种强大机制。通过继承，子类可以获得父类的所有公共和保护成员，并在此基础上添加自己的新属性和方法。
原理阐述
继承模式下，我们创建一个MyVertex类，使其直接继承自GivenVertex。MyVertex将自动拥有GivenVertex的所有属性和方法，然后我们可以在MyVertex中添加新的position属性。
立即学习“C++免费学习笔记（深入）”；
示例代码
#include#include // 假设这是我们无法修改的原始顶点类 // 为了演示继承，这里假设它不是私有嵌套类，且可以被继承 class GivenVertex { private: int color = 3; public: GivenVertex() {} int getGivenClr() const { return color; } }; // 我们创建的新类，使用继承模式添加新属性 // 注意：这里使用 private 继承，表示MyVertex的接口不直接暴露GivenVertex的接口 // 但MyVertex内部可以访问GivenVertex的protected/public成员 class MyVertex : private GivenVertex { public: int position; // 新增属性 MyVertex(int newPosition) : position(newPosition) { // 构造函数可以初始化基类（如果需要） } // 提供一个公共方法来访问基类的属性 int getMyClr() const { return getGivenClr(); // 访问基类方法 } }; int main() { // 创建MyVertex实例 int pos_value = 7; MyVertex mv_inherited = MyVertex(pos_value); // 验证属性是否正确存储和访问 assert(mv_inherited.getMyClr() == 3); // 访问继承来的属性 assert(mv_inherited.position == 7); // 访问新增属性 std::cout << "继承顶点颜色: " << mv_inherited.getMyClr() << ", 新增位置: " << mv_inherited.position << std::endl; return 0; }
局限性分析（针对私有嵌套类）
尽管继承在概念上很吸引人，但它有一个致命的局限性，尤其是在原始问题描述中提到的场景：
- 无法继承私有嵌套类： 如果GivenVertex是另一个类（例如Graph类）的私有嵌套类，那么在Graph类外部，GivenVertex是不可见的，也无法被继承。C++的访问权限规则严格限制了对私有成员（包括私有嵌套类型）的外部访问和继承。
- “is-a”关系： 继承表达的是“is-a”关系（MyVertex是一个GivenVertex）。这在语义上可能与实际需求不符。如果MyVertex仅仅是GivenVertex的一个增强版本，而不是一个完全独立的类型，那么继承可能更合适。但在本例中，我们只是想“给一个顶点添加一个位置”，这更偏向于“has-a”关系。
因此，在原始问题中明确指出GivenVertex是私有嵌套类的情况下，继承模式是不可行的。
选择与考量
综合来看，当面对以下场景时：
- 无法修改原始类代码。
- 需要为对象添加新属性。
- 要求对新属性的O(1)最坏情况访问性能。
- 原始类是私有嵌套类，或因其他原因无法直接继承。
组合（Composition）模式是首选且唯一可行的解决方案。 它通过创建包装类，在不侵入原始代码的前提下，实现了功能的扩展和属性的添加，同时保证了性能要求。
如果原始类可以被继承（例如它是公共的、非final的类），并且新类与原始类之间存在明确的“is-a”关系，那么继承模式也是一个有效的选择。但在本特定问题中，私有嵌套类的限制使得组合模式成为必然。
总结
为现有C++对象在不修改原始代码的前提下添加新属性，是一个常见的需求。本文探讨了两种主要策略：组合和继承。通过分析，我们发现：
- 组合模式提供了一种灵活且非侵入式的方法，尤其适用于原始类为私有嵌套类或不可继承的场景。它通过“包装”原始对象并添加新属性，实现了O(1)的访问性能，是本文推荐的解决方案。
- 继承模式在原始类可访问且存在“is-a”语义关系时有效，但其在原始问题描述的特定约束（私有嵌套类）下是不可行的。
在设计系统时，理解这些模式的适用范围和局限性，能够帮助我们选择最合适的设计方案，从而构建出健壮、可维护且高性能的C++应用程序。
