EG
fn foo(x: usize) -> usize {
if x == 0 { return 0 }
let _guard = Box::new(x);
return foo(x - 1);
}Вот в этой странной функции нет хвостовой рекурсии, например.
Вот в этой странной функции нет хвостовой рекурсии, например.
Size: a a a
2021 May 01
Вот в этой странной функции нет хвостовой рекурсии, например.
r
На такой случай в расте есть ключевое слово become.
TK
Которое не работает?
EG
Была идея сделать отдельный кейворд
become, который запускает дропы сразу / требует, чтобы никаких дропов на этот момент уже не оставаласьEG
Но это пока висит в воздухе
r
Ага. Просто зарезервировано
EG
Ну там не совсем правда написана, лол.
box сейчас вполне используется, просто в найтли.EG
Как и
macro.EG
А вот
become и abstract реально просто зарезервированыEG
Они смешали две категории — кейворды для нестабильных фич и кейворды для фич, которых вообще нет
П
А в стейбле Box не через кейворд создается?
EG
В стейбле Box создаётся через
Box::new()TK
Box::new
EG
Кейворда
box в стейбле нетr
Reference отражает всё-таки стейбл.
П
А внутри Box::new?
EG
А внутри Box::new стдлиба.
TK
box x
EG
Стдлиба написана с RUSTC_BOOTSTRAP=1, она, считай, на найтли.