Исходное сообщение
"Началось ограниченное бета-тестирование Duetto, компилятора ..." Отправлено 0xd34df00d, 03-Окт-13 15:58
> О великий погромист объясни недалёкому человеку почему для определения "автоматически" > определяемого возвращаемого типа в шаблонных функциях используется столь изящный синтаксис > в котором сам погромист указывает как этот тип определить Потому что в C++ система типов не позволяет прикрутить полноценный вывод типов типа Хиндли-Милнера в ML-подобных языках, а обсуждение реализации своего варианта еще затянуло бы принятие C++11. В C++14 ты, впрочем, сможешь написать что-то типа template<...> auto foo(...) -> decltype(auto) {     // произвольно сложное тело с произвольным количеством return'ов } > или почему > функциям необходим constexpr для того чтобы определить результат во время компиляции? Определить результат можно и не во время компиляции. constexpr просто дает компилятору понять, что ты требуешь, чтобы результат можно было определить во время компиляции. Если захочешь функцию в аргументах темплейтов юзать, например. Требовать этого от каждой функции — бред, а с раздельной компиляцией по функции невозможно сказать же, вычислена она в компилтайме или нет. > И в конце концов почему у с++ такой гениальный и простой > синтаксис для работы с шаблонами? Что именно тебе не нравится?