История изменений
Исправление red75prim, (текущая версия) :
Никто так не пишет
Ну вперёд, напиши без библиотечных вызовов вроде common_type.
auto f(auto … args);
Может всё-таки стоит попробовать подумать головой, а не пытаться выиграть спор? Компилятор может вывести типы переменных в compile time. Значит у него есть информация, необходимая для вывода типов, и он эту информацию может перенести в рантайм, и использовать её там.
Да, никто так не делает, так же как никто не использует стирание типов для реализации bounded parametric polymorphism.
Исходная версия red75prim, :
Никто так не пишет
Ну вперёд, напиши без библиотечных вызовов вроде common_type.
auto f(auto … args);
Может всё-таки стоит попробовать подумать головой, а не пытаться выиграть спор? Компилятор может вывести типы переменных в compile time. Значит у него есть информация, необходимая для вывода типов, и он эту информацию может перенести в рантайм, и использовать её там.