Исправление Siborgium, (текущая версия) :
Ну вперёд, напиши без библиотечных вызовов вроде common_type.
auto foo(auto ... xs) {
return (xs + ...);
}
Может всё-таки стоит попробовать подумать головой, а не пытаться выиграть спор? Компилятор может вывести типы переменных в compile time. Значит у него есть информация, необходимая для вывода типов, и он эту информацию может перенести в рантайм, и использовать её там.
К чему это вообще? Для чего ты мне это сообщаешь? Что ты пытаешься этим сказать? Как это относится к якобы эквивалентности List<TypeTaggedVar> и вариадиков?
Да, никто так не делает, так же как никто не использует стирание типов для реализации bounded parametric polymorphism.
Что ты несешь, при чем здесь это? Ты совсем поплыл? Почему ты не можешь ответить за свое же блеяние и реализовать то, что ты наблеял? Зачем ты в рантайм поперся переносить свой лист, для которого еще и переписал все функции в рекурсивный понос?
Ключ в том, чтобы не переписывать ничего, а вынести уже имеющийся синтаксис f(a, b, c) на новый уровень, позволив вот эти a, b, c выдирать оттуда и использовать отдельно и самостоятельно.
Исходная версия Siborgium, :
Ну вперёд, напиши без библиотечных вызовов вроде common_type.
auto foo(auto ... xs) {
return (xs + ...);
}
Может всё-таки стоит попробовать подумать головой, а не пытаться выиграть спор? Компилятор может вывести типы переменных в compile time. Значит у него есть информация, необходимая для вывода типов, и он эту информацию может перенести в рантайм, и использовать её там.
К чему это вообще? Для чего ты мне это сообщаешь? Что ты пытаешься этим сказать? Как это относится к якобы эквивалентности List<TypeTaggedVar> и вариадиков?
Да, никто так не делает, так же как никто не использует стирание типов для реализации bounded parametric polymorphism.
Что ты несешь, при чем здесь это? Ты совсем поплыл? Почему ты не можешь ответить за свое же блеяние и реализовать то, что ты наблеял? Зачем ты в рантайм поперся переносить свой лист, для которого еще и переписал все функции в рекурсивный понос?