Я был удивлён, когда узнал

лол, показывает правильынй ответ

В викторина

После того, как ты ответишь же

я точно помню что путой енам это плохо в рутономиконе пишут

и при этом winapi-rs крейт юзает таки пустой енам

Пустой энум это ок, он много где используется

Но об него просто получить уб в ансейф-коде

циатака из рутсономикона:


We recommend against modelling C's void* type with *const Void. A lot of people started doing that but quickly ran into trouble because Rust doesn't really have any safety guards against trying to instantiate empty types with unsafe code, and if you do it, it's Undefined Behaviour. This was especially problematic because developers had a habit of converting raw pointers to references and &Void is also Undefined Behaviour to construct.

https://doc.rust-lang.org/nomicon/exotic-sizes.html#empty-types

Ну я про это же

Я раньше думал так же, как большинство ответивших

N.B., for LLVM to recognize the void pointer type and by extension
   functions like malloc(), we need to have it represented as i8* in
   LLVM bitcode. The enum used here ensures this and prevents misuse
   of the "raw" type by only having private variants. We need two
   variants, because the compiler complains about the repr attribute
   otherwise and we need at least one variant as otherwise the enum
   would be uninhabited and at least dereferencing such pointers would
   be UB.


хм, а в винапи крейте не подхватили(

O_o я думал пустой енам

прикольно

спасибо за ссылку. Видимо, придётся вернуться на gcc, такого рода фокусы нельзя допускать

хз, нет. Кстати она была моим аватаром

ну да, в гцц есть обратно-совместимые уб

А как же принц?

я когда услышал об этом орал так что стена чуть не слетела

он у меня был копателем и принимателем лещей

это ещё что такое?

Это что такое

это когда в новой версии разрабы гцц проверяют что УБ компилится так же как в предыдущей версии