проблема возникает при попытке реализовать CRTP похожий данный упрощенный пример:
#include <type_traits>
#include <iostream>
enum ActionTypes {
eInit = 2 << 0,
eUpdate = 2 << 1,
eMultUpdate = 2 << 2
};
template <class Data,
unsigned Actions = eInit|eUpdate|eMultUpdate>
class ActionData
{
template<ActionTypes As /*???*/>
struct action {
static void exec(Data*) { std::cout << "ActionData:: /*dummy*/ exec()\n"; };
static void exec(Data*,int) { std::cout << "ActionData::/*dummy*/ exec(int)\n"; };
};
template<>
struct action < /*???*/ >
{
static void exec(Data*) { /*...*/ };
};
template< >
struct action < /*???*/ >
{
static void exec(Data*, int) { /*...*/ };
};
Data* derived() { return static_cast<Data*>(this); }
protected:
void init() { action<eInit>::exec(derived()); }
void update() { action<eUpdate>::exec(derived()); }
void update(int key) { action<eMultUpdate>::exec(derived()); }
public:
enum Keys { DEFAULT_KEY = -1 };
void call(ActionTypes a, int key = DEFAULT_KEY)
{
switch (a) {
case eInit:
init(); break;
case eUpdate:
if (key == DEFAULT_KEY)
update();
else
case eMultUpdate:
update(key);
}
}
};
class Test : public ActionData<Test, eUpdate>
{
public:
void update() { std::cout << "Test :: update()\n"; }
};
int main()
{
Test actor;
ActionTypes a = eInit;
actor.call(a, 0); // useless here but must be possible.
actor.call(eUpdate, 0);
actor.call(eUpdate);
}
Не все наследуемые классы реализуют необходимые методы, если соответсвующий бит в маске не установлен, action должен выбрать реализацию по умолчанию. На практике выбрать другую специализацию на основе параметра не являющегося типом невозможно, а решение, позволящие заменить его на класс, ускользает от меня.
ПС. Оригинальное решение наследует интерфейс от большого проекта написанного на Си и переведенного на Си++. ActionData Допустимыми возможностями являются возможности С++98/03 и tr1 С++11 (без вариадических шаблонов, без if constexpr, но enable_if и пр. присутствуют).
void update() { ActionData<Data,eUpdate>::exec( derived()); }
. Укажите из какого метода и какой вы хотите вызвать метод и с какими параметрами, тогда вам смогут показать подходящий пример. Статика вызывается через::
, динамика через->
плюс каст. – nick_n_a 22 ноя '19 в 13:32