Одна сигнатура и несколько возвращаемых типов: как победить «двусмысленность»?

Question

[johnslowpoke]

Есть сферический код в вакууме:

enum class Event {
	CREATE, TERMINATE, TIMEOUT, PARTYTIME
};

static std::map<Event, std::function<void()>> callbackMap {
	{ Event::CREATE, []{ std::cout << "CREATE\n"; } },
	{ Event::TERMINATE, []{ std::cout << "TERMINATE\n"; } },
	{ Event::TIMEOUT, []{ std::cout << "TIMEOUT\n"; } },
	{ Event::PARTYTIME, []{ std::cout << "PARTYTIME\n"; } },
};

struct App {
	
	struct Callback {
		using Create = int(*)(void *);
		using Terminate = void(*)(void *);
		using Timeout = void(*)(void *); // идентичен с Terminate
		using Partytime = const char *(*)(int, void *);
	};

	template <Event TEvent>
	static Callback::Create getCallback() {
		return [](void *) { callbackMap[TEvent](); return 42; };
	}

};

// костыльная функция, роль которой в рельном коде выполняет ОС
template <typename T>
void caller(T callback) {
	callback(nullptr);
}

int main() {

	auto create = App::getCallback<Event::CREATE>();

	// ОС дергает колбэк
	caller(create);

}

Как реализовать getCallback для остальных ивентов? Возможно, требуется немного шаблонной магии?

Comments

[#алгоптимизируй #отботизируй]

Специализация шаблона для каждого вида ивента?

[#алгоптимизируй #отботизируй]

Возможно потребуется больше одного параметра для промежуточного шаблона.

[johnslowpoke]

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

[nirvimel]

Я извиняюсь, но приведенный код - костыль на костыле. Если у вас Create/Terminate/Timeout/Partytime имеют РАЗНЫЕ сигнатуры, значит это все это РАЗНЫЕ типы. А в callbackMap у вас все функции std::function с ОДИНАКОВЫМИ сигнатурами, следовательно одного типа. Даже если вам каким-то образом удастся привести один тип к разным типам (что логически ошибочно), то какой все это будет иметь смысл? Все равно при попытке вызвать любую функцию, через указатель на функцию другого типа случится НЕОПРЕДЕЛЕННОЕ ПОВЕДЕНИЕ.

[AtomKrieg]

Зачем вам эта шаблонная магия? Напишите нормальный свич.

[johnslowpoke]

nirvimel: getCallback() возвращает указатель на анонимную лямбду с сигнатурой одного из объявленных типов, в которой происходит вызов лямбды из карты, т.е. приведения типов нет, есть дополнительный вызов. Это было сделано для того, чтобы клиентский код (ничего не зная про требуемые сигнатуры) мог устанавливать колбэки таким способом:
app.setCallback(Event::CREATE, [] { "user defined callback" });
В реальном коде App - это базовый класс с десятком наследников, у каждого из которых свои ивенты и свои сигнатуры.

[nirvimel]

johnslowpoke: ОК, теперь задача ясна (из оригинального вопроса она не совсем ясна). Если вместо getCallback имеется в виду setCallback в качестве клиентского API, то это меняет смысл. Насколько я понимаю, эта лябда должна тихо проглатывать любые аргументы, если вызывается через сигнатуру с аргументами и возвращать значение по умолчанию (результат вызова конструктора по умолчанию), когда в соответствии с конкретной сигнатурой ее возвращаемое значение отлично от void.
Остается одна проблема: перечисление Event никак не связано с сигнатурой конкретной Callback, так что из значения Event никак не получится вывести аргументы и возвращаемое значение для лямбды.

Answer 1

[johnslowpoke]

Получилось вот это...

enum class Event {
	CREATE, TERMINATE, TIMEOUT, PARTYTIME
};

static std::map<Event, std::function<void()>> callbackMap {
	{ Event::CREATE, []{ std::cout << "CREATE\n"; } },
	{ Event::TERMINATE, []{ std::cout << "TERMINATE\n"; } },
	{ Event::TIMEOUT, []{ std::cout << "TIMEOUT\n"; } },
	{ Event::PARTYTIME, []{ std::cout << "PARTYTIME\n"; } },
};

struct App {
	
	struct Callback {
		using Create = int(*)(void *);
		using Terminate = void(*)(void *);
		using Timeout = void(*)(void *); // идентичен с Terminate
		using Partytime = const char *(*)(int, void *);
	};

	template <typename TCallback, Event TEvent>
	static TCallback getCallback();

};

template <>
App::Callback::Create App::getCallback<App::Callback::Create, Event::CREATE>() {
	return [](void *) { callbackMap[Event::CREATE](); return 42; };
}

template <>
App::Callback::Terminate App::getCallback <App::Callback::Terminate, Event::TERMINATE>() {
	return [](void *) { callbackMap[Event::TERMINATE](); };
}

template <>
App::Callback::Timeout App::getCallback <App::Callback::Timeout, Event::TIMEOUT>() {
	return [](void *) { callbackMap[Event::TIMEOUT](); };
}

template <>
App::Callback::Partytime App::getCallback <App::Callback::Partytime, Event::PARTYTIME>() {
	return [](int, void *) -> const char * { callbackMap[Event::PARTYTIME](); return nullptr; };
}

// костыльная функция, роль которой в реальном коде выполняет ОС
template <typename T>
void caller(T callback) {
	callback(nullptr);
}

template <>
void caller(App::Callback::Partytime callback) {
	callback(0, nullptr);
}

int main() {

	auto create = App::getCallback<App::Callback::Create, Event::CREATE>();
	auto terminate = App::getCallback<App::Callback::Terminate, Event::TERMINATE>();
	auto timeout = App::getCallback<App::Callback::Timeout, Event::TIMEOUT>();
	auto partytime = App::getCallback<App::Callback::Partytime, Event::PARTYTIME>();

	// ОС дергает колбэки
	caller(create);
	caller(terminate);
	caller(timeout);
	caller(partytime);

}

Из-за перегруженности кода теряется смысл всей затеи, проще тогда уж без лямбд и блекджека...

UPD: менее нагруженный вариант, но придется держать в уме особые правила вызова для terminate и timeout

...
	template <typename TCallback>
	static TCallback getCallback();

	template <typename TCallback, Event TEvent>
	static TCallback getCallback();
...

	auto create = App::getCallback<App::Callback::Create>();
	auto terminate = App::getCallback<App::Callback::Terminate, Event::TERMINATE>();
	auto timeout = App::getCallback<App::Callback::Timeout, Event::TIMEOUT>();
	auto partytime = App::getCallback<App::Callback::Partytime>();

Даже не знаю, что хуже :/

Comments

[#алгоптимизируй #отботизируй]

Можно сгенерировать код, если не нравится кол-во.
На оверфлоу попробуйте спросить.

[#алгоптимизируй #отботизируй]

По сути смысла нет в карте, если сигнатуры известны.А методов 4 .

[johnslowpoke]

Sharp: У App есть наследники, которые перегружают getCallback и имеют свой набор ивентов и сигнатур колбэков (до десятка). Я преследовал цель оградить пользователя от внутреннего устройства системозависимых элементов.
Для клиентского кода существует только интерфейс:
app.setCallback(Event::CREATE, [] { "user defined callback" });

[#алгоптимизируй #отботизируй]

johnslowpoke:можно добавить шаблон с одним аргументом,который(при специализации) будет вызывать другой шаблон уже с двумя.
Кодогенерация поможет, если лень печатать с любой реализацией.

[#алгоптимизируй #отботизируй]

johnslowpoke: Смысла пока не вижу в шаблонах. Все равно будет переопределяться функция конкретный сигнатуры. Можно было бы тупо сделать абстрактные методы и дергать словарь с коллбэком+конкретная реализация.