Эх, Вафель опередил

Если я перестал хвалить Rust — я или умер, или попал в военкомат (что, в принципе, одно и то же)

Ауч

fxtwitter.com/adhdjesse/status/1572760941187698688

#rust

https://keepcalmandcallclone.website

События последних дней таки догнали мою психику. Разрыдался.

И, кажется, у меня нервный тик.

🔁 Meeeeooooowww

#prog #rust #моё

"Вижу цель — не вижу препятствий", или о превратностях туннельного зрения.

Даже после точного подсчёта размера буфера to_ascii возвращает пару из буфера и размера записанной части. Но зачем? Буфер уже в точности того размера, который нужен — LEN! Значит, можно просто возвращать Array и не считать len, тем самым упростив код.

Переписал гист.

#prog #rust

То есть, согласно miri,

let s_rt: &[u8] = unsafe {
std::slice::from_raw_parts(
std::convert::identity([0]).as_ptr(),
1,
)
};

— это не ок, потому что тут создаётся висячая ссылка. Логично, значение, возвращаемое identity, дохнет после вызова функции.

Но: также согласно miri, тот же самый код, но в const-контексте,

const S_CONST: &[u8] = unsafe {
std::slice::from_raw_parts(
std::convert::identity([0]).as_ptr(),
1,
)
};

— это ок, тут никаких висящих ссылок нет. Потому что, тут, видимо, значение, возвращаемое константной identity, вызвано на константном значении и потому само является константным и может быть использовано для static promotion? Даже не смотря на отсутствие на identity атрибута #[rustc_promotable], поскольку возвращаемое значение не является непосредственно promotable значением и вычисляется внутри инициализатора константы?

И при этом, согласно всё тому же miri, если убрать identity:

let s_rt: &[u8] = unsafe {
std::slice::from_raw_parts([0].as_ptr(), 1)
};

, то всё ок и никаких висячих ссылок нету? Потому что [0] промоутится? А, нет, потому что это &[u8], но не &'static [u8], если поменять тип s_rt, тогда miri жалуется.

Короче, я тут так лихо отредактировал, что умудрился написать код, который вроде ок в const-контексте, но при этом вызывает UB в рантайме. Ещё раз поправил гист, теперь вроде висячих ссылок нету.

Более того, зная наперёд количество цифр, мы можем заполнять массив с конца, чтобы строка получилась сразу в правильном порядке, а не оборачивать его в конце!

Ещё раз обновил гист.

А ещё я забыл, что ссылка на массив приводится к ссылке на слайс. Следовательно, раз у меня длина точная, мне не нужна std::slice::from_raw_parts в const-контексте, а достаточно std::str::from_utf8_unchecked, которая была стабилизирована в const-контексте ещё в Rust 1.55.0, год назад, что я сейчас и проверил только что на godbolt.

Обновил гист. Опять.

Ощущаю себя невероятно тупым.

Не лучшая идея жить в ядерном реакторе.

Блин, а можно как-нибудь сейчас перевернуть календарь?

Спасибо @repushko, кстати