【发布时间】：2011-06-09 06:11:16
【问题描述】：
我有一些遗留代码，而不是虚拟函数，使用kind 字段进行动态调度。它看起来像这样：
// Base struct shared by all subtypes
// Plain-old data; can't use virtual functions
struct POD
{
int kind;
int GetFoo();
int GetBar();
int GetBaz();
int GetXyzzy();
};
enum Kind { Kind_Derived1, Kind_Derived2, Kind_Derived3 /* , ... */ };
struct Derived1: POD
{
Derived1(): kind(Kind_Derived1) {}
int GetFoo();
int GetBar();
int GetBaz();
int GetXyzzy();
// ... plus other type-specific data and function members ...
};
struct Derived2: POD
{
Derived2(): kind(Kind_Derived2) {}
int GetFoo();
int GetBar();
int GetBaz();
int GetXyzzy();
// ... plus other type-specific data and function members ...
};
struct Derived3: POD
{
Derived3(): kind(Kind_Derived3) {}
int GetFoo();
int GetBar();
int GetBaz();
int GetXyzzy();
// ... plus other type-specific data and function members ...
};
// ... and so on for other derived classes ...
然后POD类的函数成员是这样实现的：
int POD::GetFoo()
{
// Call kind-specific function
switch (kind)
{
case Kind_Derived1:
{
Derived1 *pDerived1 = static_cast<Derived1*>(this);
return pDerived1->GetFoo();
}
case Kind_Derived2:
{
Derived2 *pDerived2 = static_cast<Derived2*>(this);
return pDerived2->GetFoo();
}
case Kind_Derived3:
{
Derived3 *pDerived3 = static_cast<Derived3*>(this);
return pDerived3->GetFoo();
}
// ... and so on for other derived classes ...
default:
throw UnknownKindException(kind, "GetFoo");
}
}
POD::GetBar()、POD::GetBaz()、POD::GetXyzzy()等成员的实现方式类似。
这个例子被简化了。实际代码有大约十几个不同的POD 子类型和几十个方法。 POD 的新子类型和新方法的添加非常频繁，因此每次我们这样做时，都必须更新所有这些 switch 语句。
处理这个问题的典型方法是在POD 类中声明函数成员virtual，但我们不能这样做，因为对象驻留在共享内存中。有很多代码依赖于这些结构是普通的旧数据，所以即使我能找到某种方法在共享内存对象中拥有虚函数，我也不想这样做。
因此，我正在寻找有关清理此问题的最佳方法的建议，以便所有关于如何调用子类型方法的知识都集中在一个地方，而不是分散在几十个 switch 语句中几十个函数。
我想到的是，我可以创建某种适配器类来包装POD 并使用模板来最小化冗余。但在我开始走这条路之前，我想知道其他人是如何处理这个问题的。
【问题讨论】：
-
你说有很多代码取决于这个类。您可以向其中添加字段，还是结构需要保持不变？
-
结构应该基本保持不变。我们在共享内存中有一大堆这样的东西，并且已经遇到了内存大小的限制。
-
所有多个进程是否具有完全相同的库版本？
-
是的，它们都将拥有相同版本的库。
标签： c++ refactoring metaprogramming template-meta-programming