hirthwork
11.01.2013 10:35 mcabber
программирование с активным использованием auto напоминает программирование на языках с динамической типизацией. хуяришь себе утиную типизацию от шаблонных параметров, производишь преобразования над переданными объектами, утиная типизация во все поля, а потом оказывается, что тип, который компилятор вывел в итоге отличается от того что ты задумывал изначально и работает «несколько не так как нужно»
Это все потому, что концептов нет.
ога, были бы контрацептивы — разработчики трахались бы с тянами, а так приходится с утиной типизацией сношаться
На самом деле это охуенно и удобно, но только не в плюсах (внезапно). Потому что даже это умудрились сделать из говна и костылей.
DAE static_assert() ?
Хуита.
на самом деле нет
На самом деле да.
аргументы будут?
один хуй ты expected vs inferred матчи в нужных местах должен будешь ставить. В концептах мб какой-то даже параметрический полиморфизм сделают (?), ПОТОМ, а уже сейчас можно пилить одиночные статик асерты и жить.
Концепты логичнее и стройнее для этой цели и, насколько я понимаю, позволяют использовать, расширить и углубить SFINAE.
да. Но это не делает доступные УЖЕ СЕЙЧАС статик асерты хуитой.
ENLARGE YOUR SFINAE
Да.
На самом деле делает.
> удобно
языки с динамической типизацией тоже удобны, но HTTP-сервера в тырпрайзе до сих пор на С и жабке
/me представил себе юнит-тесты на темплейты в компил-тайме, проиграл в голос, это даже смешнее, чем питонушня.
/me считает что Boost.MPL состоит из подобных тестов не менее чем наполовину
SFINAE (от слова сфинктер) — хтоническая суть плюсов. Расслабляется у всех, кто читает чужой темплейтный код.
Да, но в контексте питонушни все равно смешно.
NO SUCH CONTEXT
Этот контекст у ulidtko в capture list, он его захватывает и с собой таскает.
съеби со своим улидткой, это теперь дедфудотред
Охуеть теперь.
всем ОХУЕТЬ в этом треде!