Исходное сообщение
"Выпуск языка программирования Rust 1.57" Отправлено От.Со.Сишник, 03-Дек-21 20:03
> Есть ещё маленький вопрос: я правильно понимаю, что > const _: () = assert!(std::mem::size_of::<u64>() == 8); > это эквивалент > static_assert(sizeof(uint64_t) == 8); > ??? "Эквивалент" - это вот тут https://docs.rs/static_assertions/0.1.1/static_assertions/in... Нюанс в том, что растовый assert/static_assert - реализуется макросами, а не в недрах компилятора. use std::mem::*; #[macro_export] macro_rules! static_assert {     ($condition:expr) => {         const _: &() = &[()][1 - ($condition) as usize];     } } static_assert!(size_of::<usize>() == 8); static_assert!(size_of::<*const u8>() == 8); static_assert!(align_of::<*const u8>() >= align_of::<u128>()); static_assert!(5>3);

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	>> Есть ещё маленький вопрос: я правильно понимаю, что >> const _: () = assert!(std::mem::size_of::<u64>() == 8); >> это эквивалент >> static_assert(sizeof(uint64_t) == 8); >> ??? > "Эквивалент" - это вот тут https://docs.rs/static_assertions/0.1.1/static_assertions/index.html > Нюанс в том, что растовый assert/static_assert - реализуется макросами, а не в > недрах компилятора. > [code] > use std::mem::*; > #[macro_export] > macro_rules! static_assert { > ($condition:expr) => { > const _: &() = > &[()][1 - ($condition) as usize]; > } > } > static_assert!(size_of::<usize>() == 8); > static_assert!(size_of::<*const u8>() == 8); > static_assert!(align_of::<*const u8>() >= align_of::<u128>()); > static_assert!(5>3); > [/code]
	Введите код, изображенный на картинке: