引言
在软件开发中，我们经常会遇到需要为现有类添加新功能或属性，但又无法修改其原始代码的情况。这可能是因为原始代码是第三方库的一部分，或是作为私有嵌套类而不可直接访问。同时，对新属性的访问性能也可能是一个关键考量，例如要求o(1)的最坏情况时间复杂度。传统的哈希映射（hashmap）虽然常见，但在最坏情况下可能无法满足o(1)的性能要求。本文将介绍两种c++中实现这一目标的策略：组合（composition）和继承（inheritance），并重点分析它们在特定场景下的适用性与局限性。
策略一：组合（Composition）模式
当无法直接修改或继承原始类时，组合模式提供了一种优雅的解决方案。其核心思想是创建一个新的“包装”类，该类包含一个原始类的实例作为其成员，并同时拥有我们希望添加的新属性。通过这种方式，新类能够利用原始类的功能，并扩展其数据。
原理阐述
假设我们有一个名为GivenVertex的原始顶点类，我们希望为其添加一个position属性。我们可以创建一个MyVertex类，它内部包含一个GivenVertex对象和一个position整型变量。
示例代码
#include <iostream>
#include <cassert> // 用于断言测试
// 假设这是我们无法修改的原始顶点类
// 它可以是私有嵌套类，只要我们能创建其实例即可
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 <iostream>
#include <cassert>
// 假设这是我们无法修改的原始顶点类
// 为了演示继承，这里假设它不是私有嵌套类，且可以被继承
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++应用程序。
