RB
а далее мы все засываем их в sum и нужно сложить всё это
Size: a a a
2021 March 05
SP
но что ты показываешь? почему с шаблонами не работает?
RB
вот проблема там в том, что у него функция описана как
T sum_govna(T tRB
т.е. у него функция возвращает тот же тип, который принимает
SP
нужны сумтипы )
RB
очевидно, что полиморфный sum не можете возвращать тот же тип, который принимает.
RB
не, нужно порождение нового типа. Потому что операция порождает новый тип. Вот представь, что 1, 2,3 - это типы. Разные. Значения - типы. Я выше об этом говорил
RB
вот можешь ли ты написать 1 == (1 + 2)
SP
ну а откуда взять новый тип если ты вообще не знаешь до разворачивания шаблона ничего о них?
RB
нет, не можешь. 1 + 2 - не будет 1, а будет 3. Т.е. появляется тип, которого не было.
RB
ну а откуда взять новый тип если ты вообще не знаешь до разворачивания шаблона ничего о них?
А зачем это знать? Это узнаётся тогда, когда ты передаёшь туда все аргументы. И уже из этого можно получить новый тип
RB
мы же не знаем какой будет результат у add пока мы его не вызовем? Так же и тут
SP
ээм а почему версия с auto работает?
SP
а, потому что она перегружена
SP
хотя sum_govna тоже перегружена
RB
потому что там используются специальные чиселки, да. Где операция реализована правильная
SP
ох блет как же сложно
RB
вот он тебе пишет
'integral_constant<[...],4950>' to 'integral_constant<[...],0>'RB
у нам же (0, 1, 2, ...)
RB
т.е. у него T выводится как 0, а значит тип возврата 0. А реальный, который был посчитан - 4950