C++ RTTI Registry Pattern

Question

Мне интересно узнать больше о преимуществах и ограничениях RTTI на C++. Предположим, у меня есть следующий сценарий:

class C {}; 
class C0 : public C {}; 
class C1 : public C {}; 
... 

void print(int id, C* c) { 
    if (id == 0) dynamic_cast<C0 *>(c)->print(); 
    else if (id == 1) dynamic_cast<C0 *>(c)->print(); 
    ... 
} 

Возможно ли реализовать описанный выше пример с использованием шаблона реестра? Например, используя что-то вроде этого:

map<int, ?> registry; 
void print(int id, C* c) { 
    registry[id](c)->print(); 
} 

Answer 1

При использовании полиморфизма и виртуальный метод представляется более целесообразным, вы можете использовать что-то вроде следующего для регистрации и отправки в соответствии с id

class PrintCaller 
{ 
public: 
    template <typename T> 
    std::size_t register_class() 
    { 
     m.push_back([](C* c) { 
      auto* p = dynamic_cast<T*>(c); 
      if (p) { 
       p->print(); 
      } else { 
       throw std::runtime_error("Incorrect type"); 
      } 
     }); 
     return m.size() - 1; 
    } 

    void print(std::size_t id, C* c) const { 
     if (id < m.size()) { 
      m[id](c); 
     } else { 
      throw std::runtime_error("invalid id"); 
     } 
    } 

private: 
    std::vector<std::function<void(C*)>> m; 
}; 

Live example

Answer 2

Это было бы легче всего решить, просто делая print виртуальную функцию. Тогда вы могли бы просто:

void print(C* c) 
{ 
    c->print(); 
} 

, и это будет полезно для всех производных классов.

Но если вы хотите сохранить print не виртуальным, тогда, как вы понимаете, есть вопрос, как что-то вроде registry[id](c)->print(); может работать. Тип значения карты является фактом компиляции, но вы хотите разницу во времени выполнения.

Ну, я могу думать об одном способе сделать это ... используя виртуальные функции. Вам нужно будет создать класс, который работает как обертка для C с производными версиями, которые соответствуют типам, полученным из C. Использование некоторых шаблонов, вероятно, может сделать это несколько приличным для решения. Затем карта объявляется в терминах указателей на базу, но заполняется через производные оболочки.

Но в конце концов, это требует гораздо более сложной работы и не дает больше пользы, чем могло бы быть достигнуто, просто сделав фактически виртуальным в действительности print.