EG
Оно использует синтаксис
[a], который не объявленSize: a a a
2021 April 30
DS
Потому что синтаксис встроен
B
ну вон посмотри stm32f1xx_hal
EG
То, что где-то в коде прописано определение, не означает, что листы не получают специального хендлинга
B
все ясно и безопасно как по мне
EG
https://github.com/rust-lang/rust/blob/master/library/alloc/src/boxed.rs#L162-L168
Я тоже так могу, типа, глядите,
Я тоже так могу, типа, глядите,
Box<T> это структура.
EG
Он не станет структурой от этого.
B
нихера нет, правда
B
но это не важно уже
EG
https://github.com/stm32-rs/stm32f1xx-hal/blob/master/src/usb.rs#L25
Ну вот о чём я говорю. Этот код пытается меня убедить, что по этому сырому поинтеру, который неизвестно откуда появился, лежит то, что он ожидает.
Ну вот о чём я говорю. Этот код пытается меня убедить, что по этому сырому поинтеру, который неизвестно откуда появился, лежит то, что он ожидает.
EG
В Rust, в сущности, нет определённой семантики «что происходит, если сделать поинтер из численного литерала».
EG
И нигде нет
А он меня убеждает, что знает, что там лежит
А он меня убеждает, что знает, что там лежит
EG
Он не знает. Я могу запустить его на эмуляторе и выдать ему сигсегв при обращении к этой области памяти. Он врёт, что знает.
EG
Я могу случайно запустить его на другом чипе, и ничего принципиально меня не остановит.
B
есть в мануале на 1к страниц
B
ну эму говно
EG
Семантика конвертации числа в указатель, если число не было получено из указателя, не определена нормально ни в Rust, ни в C/++.
EG
Ты вообще не можешь быть уверен ни в чём про этот указатель, не говоря уж о том, что он указывает на что-то полезное.
EG
Этот чувак написал
unsafe impl. unsafe impl это гарантия корректности сведений внутри. Ты не можешь дать этой гарантии.DS
