K
ну и баунд вряд ли получится нацепить
{ Self } валиднаSize: a a a
2020 December 26
K
Я сомневаюсь, что компилятор по ограничениям на размер поймёт, что конструкция
можно заменить на
unsafe { std::mem::transmute(()) }АК
можно заменить на
unsafe { std::mem::transmute(()) }Интересный способ
DF
Хороший хак
K
Правда кажется есть одна проблема, у юнит типов можно указывать align и тогда это формально будет убшечка
АК
Хорошо. Допустим, я заменю юнит-типы на пустые структуры. Соответственно, мне нужно доказать компилятору, что они могут быть созданы через
Self{}. Это реально?K
можно заменить на
unsafe { std::mem::transmute(()) }все же кажется лучше
mem::zeroed() использоватьTK
Нереально
TK
Конст дженерики пока ещё не настолько продвинутые, даже в найтли
K
Хорошо. Допустим, я заменю юнит-типы на пустые структуры. Соответственно, мне нужно доказать компилятору, что они могут быть созданы через
Self{}. Это реально?Через баунды я не знаю как, но просто через функцию да, через const_assertions
АК
Через баунды я не знаю как, но просто через функцию да, через const_assertions
Ассерты мне не нужны.. Мне просто нужно внутри дженерика по
<T> вызвать T{}. Для этого надо навесить какой-то баунд на T, но я хз, какойK
Ассерты мне не нужны.. Мне просто нужно внутри дженерика по
<T> вызвать T{}. Для этого надо навесить какой-то баунд на T, но я хз, какойконст ассерты == ассерты в компайл тайме
https://docs.rs/static_assertions/1.1.0/static_assertions/
https://docs.rs/static_assertions/1.1.0/static_assertions/
АК
конст ассерты == ассерты в компайл тайме
https://docs.rs/static_assertions/1.1.0/static_assertions/
https://docs.rs/static_assertions/1.1.0/static_assertions/
Я знаю. Но прописывание ассерта никак не поможет компилятору разрешить мне конструкцию
T{}. Это просто доп. защита, но не решение проблемы. Или я ошибаюсь?K
вообще кажется через трейт баунды тоже должно получится, сейчас попробую накидать
K
Я знаю. Но прописывание ассерта никак не поможет компилятору разрешить мне конструкцию
T{}. Это просто доп. защита, но не решение проблемы. Или я ошибаюсь?а, именно
T{} не выйдет сделать конечноTK
Я знаю. Но прописывание ассерта никак не поможет компилятору разрешить мне конструкцию
T{}. Это просто доп. защита, но не решение проблемы. Или я ошибаюсь?Такую конструкцию нельзя получить точно, unsafe-способами позволит лишь гарантировать безопасность
TK
И то ассерт для
size_of::<T>() не работаетTK
Функция просто не компилируется
АК
Ладно, пойдём дальше.
Есть баунды, которые позволят проверить наличие
Есть баунды, которые позволят проверить наличие
T::new() с определенной сигнатурой?TK
new не определён для всех ZST, да даже default