#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, кстати

От создателей "Поиск дополнительных проблем"

Команда, у нас и так мужчин в офисе почти нет. А те, кто остались, просятся идти работать из нашего подвала. Зачем? Если узнаю, что делаете там подкоп, чтобы свалить домой пораньше - будет штраф.
Давайте работать.

Обойдёмся без git clone

#prog #python

🔁 hkc (carbonated)
Moral of the story: ignoring unknown parameters in API is a bad thing

#mechanics абсолютно гипнотическая штука

🔁 ㊙(💕)