я думаю в @android_ru ответят более охотно

окей

Я думаю, это всё-таки работает не так. Аллокация ничем не отличается от современного кода на C++ с умными указателями.
Аллокатор вообще дёргается только при выделении памяти в куче.

А чистить кто будет?

Кучу? Ну он же, но вся суть раста в том, что можно выделять память не только в куче, при этом не копировать её постоянно, и не иметь возможности стрелять по ногам.

А как бороу чекер связан с тем, где выделяется память?

Нет ничего проще, чем выделить память в куче, но насколько я знаю, всё-таки в расте обмазываться Box везде не комильфо

Так, что без него выделять её на стеке - прямой путь к отстреленным ногам

А там прямо написано, что он на стеке выделяет? Вообще это как-то очень странно, потому что бороу чекер позволяет выводить переменную за пределы скоупа, значит это уже точно не стек

Отсутствие боксинга не значит, что это выделение на стеке

Эм, вообще-то он как раз проверяет, что использование не утекает за скоуп

Ну как же не утекает, там специальные конструкции есть для утекания

контролируемо, но утекает

Локальные переменные обычно выделяются на стеке (но это конечно деталь реализации), и если брать на них ссылки, можно получить всякое. Так вот в расте нельзя передать ссылку так, чтобы она не была валидной в момент использования.

очень сложно писать, долго, дорого.
в доковидную эпоху когда ещё были нормальные живые митапы, я таки видел и общался с людьми которые фултайм пишут на расте. и тогда и сформировал мнение - это зачастую история про паровозик который смог. про фанатов или патологических любителей брать что-то новое, которым хватило полномочий и влияние продавать раст у себя, потому-что 'это крута! раст!' другого обоснование бывает редко. это не про то как эффективнее решить задачу и какой инструмент выбрать, это про то как нам угореть веселее.

Да и в Украине использовать низя 😌

А я кстати не помню, чем эта эпопея закончилась. Нельзя было свежую версию покупать, текущей купленной можно было пользоваться, и то вроде порешали.

Глянул доку, и да, там прям написано, что по дефолту всё на стеке

А чего тогда с долгоживущими объектами? Копирование?

Ну как все, у множества структур их типы - это ссылки. И возвращая строчку, если это не слайс, вы создадите новую строчку, а ссылка на память будет старая.