C ++：在实际类型上“切换”给定指向超类的指针

Question

假设我有一个名为 Message 的类，其子类为 MessageA、MessageB ... MessageZ。

也许这些消息位于异构队列中，我正在将它们出列，并且我很肯定它们的父类型是 Message，但我只知道这些。

老 C 程序员可能会在 Message 中放置一个字段，该字段基本上是消息类型的枚举，所以我可以这样做：

switch ( message.ActualMessageType ) {
MessageAType:
   blah blah A
   break;
MessageBType:
   blah blah B
   break;
 :
 :
MessageZType:
   blah blah Z
   break;
}

这很麻烦：当我添加消息子类时，我必须继续编辑那个主枚举定义文件。

对于 C++99，我可能会给 Message 一个名为 BlahBlah() 的纯虚方法，并让每个子类适当地定义它。然后我写的是：

message.BlahBlah();

很好，因为调用虚函数可能比调用 switch 更快（通常实现为跳转查找表，但带有范围检查）。

但是让我们说这个等等等等更干净地属于带有开关的类，而不是那些不需要知道这个特定类如何处理它们的细节的消息。 C++11（或更新的方言？）是否添加了任何有趣的方式来直接跳转到处理各种子消息类型？

例如，如果我调用具有 MessageA 和 MessageB 实现的模板化函数，并带有指向 Message 的指针，其对象实际上是 MessageA 或 MessageB，调用正确的函数吗？

Answer 1

我认为可能有更好的解决方案，但这里有一个 C++99 解决方案。

Message 类有一个纯虚方法BlahBlah( Processor* )。

否则需要 switch 语句的 Processor 将具有称为 BlahBlahA( MessageA* pmsga )、BlahBlahB( MessageB* pmsgb )、...BlahBlahZ( MessageZ* pmsgz ) 的方法，它们采用指向相关消息类型的指针

子类MessageA 将定义：

virtual void BlahBlah( Processor* pproc ) { pproc->BlahBlahA( this ); };

Processor 类在它想要进行特定于消息类的处理时会调用：

pmsg->BlahBlah( this );

这会调用BlahBlah() 的每个子类定义，它会调用Processor 类的相应方法。

好处：

1. 无需维护全局枚举
2. 所有处理代码都在处理器中，而不是在消息子类中
3. 无需开关。
4. 无需演员表、RTTI 等

缺点：

1. 两个虚函数调用会产生某种开销。