AP
Не все, конечно
Bla *ptr = new Bla(<…>) меняется на auto ptr = std::make_unique<Bla>(…), delete убирается.Size: a a a
2020 October 28
FN
Ну что там видеть?
Ех если бы еще unique_ptr был эквивалентен сырому указателю) На cppcon 2019 был отличный talk про это.
AI
Не только лишь все (С), я бы сказал
AT
Ну TCO умеют и интерпретируемые языки
Да тут даже TCO не нужен. 🤷♀️
AP
Он всегда нужен!
AI
Далана, половина живут без него и даже не знают )
FN
Ну TCO умеют и интерпретируемые языки
mutual tail recursion даже скалка не умеет (хоть бы проджект лум это пофиксил уже), а не взаимная не особо нужна.
AI
Не взаимная не нужна если есть встроенные примитивы организации циклов
AT
Далана, половина живут без него и даже не знают )
А вторая живёт с ним, и даже не знает? 😉
AI
Похоже на то 😁
AI
Но собсно ТСО, даже взаимная, реализуется тривиально трамплинами в любом языке, а мой кот выше про перенос любых рекурсий в стек
AT
AT
Но собсно ТСО, даже взаимная, реализуется тривиально трамплинами в любом языке, а мой кот выше про перенос любых рекурсий в стек
Вот компилятор без TCO "любую" рекурсию в стек и переносит. 🤷♀️
AP
mutual tail recursion даже скалка не умеет (хоть бы проджект лум это пофиксил уже), а не взаимная не особо нужна.
В "TCO" нет слова "recursion". Это "оптимизация хвостового вызова" — любого. Так что я не понял, к чему претензия?
AP
Но собсно ТСО, даже взаимная, реализуется тривиально трамплинами в любом языке, а мой кот выше про перенос любых рекурсий в стек
"TCO" и "даже взаимная" не нужно упоминать вместе. Одно подразумевает второе, если не сказано про "оптимизацию рекурсии" явно
AP
"Tail Call Optimization" для тех, кто забыл. Нет тут "Recursion"!
AP
Оптимизация рекурсии, как Саша и говорит, делается компиляторами как одна из многих других оптимизаций
AP
Но собсно ТСО, даже взаимная, реализуется тривиально трамплинами в любом языке, а мой кот выше про перенос любых рекурсий в стек
Ты пишешь ровно про то, против чего Саша выше высказался, говоря про то, что "то, что может быть сделано компилятором, должно делаться компилятором"
AP
Руками можно и на ассемблере писать. Но если можно не писать — нужно не писать!
AT
Ты пишешь ровно про то, против чего Саша выше высказался, говоря про то, что "то, что может быть сделано компилятором, должно делаться компилятором"
Это немного не точно: я не говорил, что "должно делаться компилятором". Я просто указал на то, что такие задачи аставляют упражняться в том, что и так делают компиляторы. 😊