разделения на сигнатуру/тело - ничего автоматически выводится не может. Тоже самое с decay. Что изменится? Много. Можно выводить что угодно автоматически - тот же noexcept. Функция может полиморфна по куда большему числу свойств. Допустим, как я выше сказал, не будет затираться категория значений.
Ну возвращаемый тип можно выводить
Обсуждают сегодня