如何确定非多态类型的 mixin 模板的类型兼容性

Question

如果我有一个混合定义为...

template<class T> class Mixin : public T
{
    // mixin methods and members
};

...并用 T 声明它是一个非多态类...

Mixin<NonPoly> mixin;

...然后有一个指向它的基类指针...

NonPoly* nonPolyPtr = &mixin;

...以后我该怎么办确保 nonPolyPtr 指向 Mixin 类型？

dynamic_cast<Mixin*>(nonPolyPtr)

上面的代码无法编译，因为基类是非多态的。

我看到 Boost 有一些可能有帮助的特征类，但我希望有一个我忽略的更简单的解决方案。

Answer 1

我认为您正在寻找错误的要求。您不需要在此处进行任何转换，但您可能需要对代码进行一些重组。如果你有类 A 的关系，它创建 mixin 和使用 NonPoly 的 B，那么只需将 NonPoly 指针传递给 B 并直接在 A 中使用 mixin 即可。没有理由为了尝试而放弃 A 中的类型信息再次把它拿回来。如果类多了，分成懂mixin的和懂NonPoly的，也是一样的关系。

如果一开始就是这种情况，那么 mixin 设计很可能不是正确的方法。很多时候，当需要简单的包含时，会使用 mixin。在我上面的 A 和 B 示例中，您可能有一个 Mixin 类

template <typename T>
class Mixin
{
  T * GetObject()
  { return & t_; }

  // other methods that use t_
private:
  T t_;
};

，然后在需要操作该对象时只需传递该对象即可。或者更常见的是，如果您只是将 T 传递给某个第 3 方库，则根本不需要 mixin。遏制甚至可能不是最好的。当您可以通过类型 T 的公共接口和公共第 3 方例程来操作类型 T 时，维护封装的最佳方法始终是编写文件范围算法。

如果您可以解释为什么您认为需要丢失类型信息然后再恢复，我们也许能够更清楚地展示如何重组所有权，这样就不需要发生这种情况，但由于这种类型信息永远不会离开运行时（因为你正在寻找演员 - 你的问题意味着它没有被序列化或任何东西），我可以向你保证，有一些设计，类型信息一开始就不会丢失。

Answer 2

如果您确定其类型，只需使用 static_cast 进行向下转换。您还需要在转换 Mixin* 中指定模板参数。

template<class T>
class Mixin : public T
{
    // mixin methods and members
};

class NonPoly {
};

int main() {
  Mixin<NonPoly> mixin;
  NonPoly* nonPolyPtr = &mixin;

  Mixin<NonPoly>* mixinPtr = static_cast<Mixin<NonPoly>*>(nonPolyPtr);
}