Вопрос возник из-за интереса к: pub const unsafe fn from_bytes_with_nul_unchecked(bytes: &[u8])

Question

Вопрос возник из-за интереса к: pub const unsafe fn from_bytes_with_nul_unchecked(bytes: &[u8])

-> &CStr {
unsafe { &*(bytes as *const [u8] as *const CStr) }
}
как указатель на [u8] потом превращается в ссылку на объект CStr?
Сам CStr содержит в себе поле inner: [c_char], а c_char уже либо i8, либо u8 и т.д.

#backend #embedded #programming #russian #rust

0

02.08.2021

10 ответов

19 просмотров

Yuriy Zymlex Автор вопроса

Пух
CStr случайно не repr(transparent)?

нет, что и удивило, но есть коммент: // When attribute privacy is implemented, CStr should be annotated as #[repr(transparent)]. // Anyway, CStr representation and layout are considered implementation detail, are // not documented and must not be relied upon.

0

02.08.2021

Пух

А ну и это же UB? Или с одним полем оно так не работает?

0

02.08.2021

Yuriy Zymlex Автор вопроса

Yuriy Zymlex
нет, что и удивило, но есть коммент: // When attri...

но коммент написан не к структуре-кортежу

0

02.08.2021

Пух