Добрый день!

Проблема: необходимо в зависимотси от наличия или отсутствия метода класса (сигнатура метода полностью известна) выбрать стратегию реализации функции, метода или класса;

Решение:

Приобрел себе всю серию книг C++ in Depth. При изучении книги "Решение сложных задач на С++" натолкнулся на решение схожей проблемы.

Необходимо было определить на этапе компиляции принадлежность объекта к семейству, проще говоря определить наследование одного класса от другого (на этапе компиляции). В качестве решения этой проблемы предлагается следующее:

Код

template <typename D, typename B> class IsDerivedFrom {         class No {};         class Yes { No m_utNo [2];};                  static Yes Test (const B*);         static No Test (...);                  static void Constraints (const D* pD)         {             B* pB = pD;             pB = pD;         }              public:                  enum          {             Is = (sizeof (Test (static_cast <D*> (0))) == sizeof (Yes));         };                  IsDerivedFrom ()         {             void (*p) (const D*) = Constraints;         } };

Соответственно, при наличии или отсутствии наследования от того или иного интерфейса можно используя этот шаблон можно определять стратегию реализации того или иного метода, класса, функции:

Код

template <const bool t_bValue> void Some (); template <> void Some <true> () {      } template <> void Some <false> () {      }

Используя IsDerivedFrom это можно сделать так:

Код

void Some <IsDerivedFrom <Class1, Class2>::Is > ();

Интересно, а как определить не наследование от интерфейса, а наличие или отсутствие метода?

Заранее благодарен за ответы.