Как в шаблоне тип результата одной функции связать с типом параметра другого метода?

Question

[rustler2000]

Имеется много кода такого вида, используется C++17:

auto entity = get_entity();
entity->set_prop1( obj1.valueA );
entity->set_prop2( obj2.valueB );
...
entity->set_propX( objN.valueZ );

То есть тип entity выводится из контекста выражения. Да и entity этих вагон, как и мест где этот код используется.
В какой-то момент entity изменились сильно и теперь надо конвертировать obj.value иначе ошибки приведения.

Хотелось бы как-нибудь минимизировать изменения и не указывать явно типы. Я пробовал такой код:

template<typename A, typename B>A convert(B&);
...
entity->set_prop1(convert(obj.valueA));

Но ведь тип значения результата автоматически не выводится.

Еще я пробовал через указатель на метод.

magicSet(entity, &entity->set_prop1, obj.valueA);
// или
magicSet(entity, &decltype(entity)::set_prop1, obj.valueA); // выглядит не оч но можно спрятать за макросом

Но такой код тоже не компилируется.

Как неявно вывести для шаблона тип аргумента метода принимающего результат шаблонной функции?

Comments

[rustler2000]

Кто на "простой" сменил - решение предложите?

[Евгений Шатунов]

rustler2000, типы с какими характеристиками фигурируют у тебя в этом коде? Простые типы есть? Инвариантные? DTO есть? Правила неявного или явного преобразования из одного типа в другой всегда определены?

[rustler2000]

Евгений Шатунов, все там тривиально. принимающая сторона протобуфы, принимает свои енумы. исходные данные простые енумы. Друг о друге они не знают и никакие преобразование не определены. Основная проблема как я вижу что нельзя взять адрес bound method - тоесть &p->set_prop - это невалидно и фиг на типы разложишь (((
Я уже бытался в качестве хинта и лямбду вкинуть (ее можно былобо за макросом спрятать) - но оно тогда тупо не может тип аргумента лямбды вывести из вызываемого внутри лямбды метода (((

[Евгений Шатунов]

rustler2000, теперь становится ясно, что значат слова про сильное изменение entity.
Определения bound method для C++ не существует. У тебя там просто синтаксис нарушен в коде, поэтому трансляция и не проходит.

Если у тебя конвертируются только перечисления, то вопрос действительно тривиальный. Посмотри на документацию decltype. Ты его неправильно написал.
Этот пример не образцовый, не советую использовать его как есть. Но суть тебе должна быть понятна.

[rustler2000]

Евгений Шатунов, да блин в слепую сюда печатал оттого и ошибки ))) но суть что я хочу чтобы для функции конверта двух енумов мне не пришлось ниодного типа указывать - чтобы оно вывело все. а изза того что типа баунд метод ну никак не получить это похоже не возможно.
тоесть ясно что следующее тривиально

template <typename T, typename U> T convert(const U*);

template<>
enum_out_t convert(const enum_in_t& value) {
switch (value) {
 ....
}
}

но такое применение не реально:
entity->set_prop1( convert(value) );

и надо делать хотябы:
entity->set_prop1( convert<enum_prop_t>(value) );

а хотелось както вывести тип без явного указания типа entity

[Евгений Шатунов]

rustler2000, ты ведь сходил по ссылкам из моего комментария?

[rustler2000]

Евгений Шатунов, я тормоз. завтра уже. не очень понятно как метод Set передовать если их очень много. завтра поиграюсь.