ΑZ
не надо держать в голове кучу правил, есть чистая функа Tree -> Tree
Size: a a a
2020 December 29
CD
потому что оно проще
мне кажется, у тебя какое-то странное понимание, что такое SFINAE
CD
это просто паттерн матчинг для Type
ΑZ
это когда ты пишешь Foo<T> и у тебя это может иметь дохуя значений и перегрузок. И сам черт не разберет что где резолвится. И насколько я понимаю ещё и наличие/отсутствие импортов могут семантику менять
2020 December 30
CD
это когда ты пишешь Foo<T> и у тебя это может иметь дохуя значений и перегрузок. И сам черт не разберет что где резолвится. И насколько я понимаю ещё и наличие/отсутствие импортов могут семантику менять
не, SFINAE это что перегрузка, для которой не может быть синтезирована сигнатура, не рассматривается
CD
это очень точный аналог паттерн матчинга
ΑZ
мне не кажется это аналогом паттерн матчинга
ΑZ
для меня это выглядит как хак механизма резолва методов
CD
для меня это выглядит как хак механизма резолва методов
позволяющий сделать паттерн матчинг, скажем, написать разные реализации для integral, string и остальных
ΑZ
позволяющий сделать паттерн матчинг, скажем, написать разные реализации для integral, string и остальных
специализацию можно без этого сделать
ΑZ
в расте вон есть же
CD
специализацию можно без этого сделать
частичную специализацию функции в плюсах делать нельзя
ΑZ
я и говорю
ΑZ
так что фтопку сфинае) С чего я и начал
CD
я и говорю
ну вот смотри, в Rust можно написать две версии swap(a, b) для одинаковых и разных a и b?
CD
это же понятно, что паттерн матчинг?
CD
с точностью до того, что у тебя есть два способа выполнить такой матчинг - открытый и закрытый, SFINAE даёт открытый, if constexpr закрытый
ΑZ
аналогии можно во всем найти при желании)
ΑZ
мне не кажется подобнйы "паттерн матчинг на функах" хорошей фичей вот и все
CD
мне не кажется подобнйы "паттерн матчинг на функах" хорошей фичей вот и все
специализация в качестве дефекта имеет перекрытие одной реализацией другой