M(
Потому что у них есть nil
Size: a a a
2021 March 03
M(
И options этот факт использует
M(
Для ref'ов будет их же размер
Ну ещё для ptr, pointer, proc
M(
Все это ссылки
f
Можно попробовать написать свой option которые при помощи when и прочего ада будет определять будет ли 'пустое' свободное место которое можно использовать, и затем использовать ветку объекта где стоит packed поле, а в противном случае использовать обычное.
Примерно тоже самое что делает раст для своих option типов
Примерно тоже самое что делает раст для своих option типов
G
Можно попробовать написать свой option которые при помощи when и прочего ада будет определять будет ли 'пустое' свободное место которое можно использовать, и затем использовать ветку объекта где стоит packed поле, а в противном случае использовать обычное.
Примерно тоже самое что делает раст для своих option типов
Примерно тоже самое что делает раст для своих option типов
Не совсем понял. Насколько я помню, в расте эта оптимизация убирает место занимаемое дискриминатором, потому что компилятор знает, что все ссылки не нулейбл
f
import std/options
type
OptPacked[T] {.packed.} = object
value: T
has: bool
OptBase[T] = object
value: T
has: bool
Opt[T] = object
when sizeof(T) mod 2 == 0:
impl: OptPacked[T]
else:
impl: OptBase[T]
echo sizeof(OptPacked[int])
echo sizeof(Opt[int])
echo sizeof(Option[int])
echo sizeof(Opt[uint16])
echo sizeof(Option[uint16])
echo sizeof(Opt[uint32])
echo sizeof(Option[uint32])
f
Ну примерно такой костыль
VB
ыыыыыыыыыы
VB
там всё has ломает
VB
там надо when sizeof(T) mod 2 != 0 и тогда будет лучше :)
f
ну это код-из-пещеры в любом случае, я не то чтобы особенно хорошо разобрался как там это все точно оптимизировать надо
f
Не совсем понял. Насколько я помню, в расте эта оптимизация убирает место занимаемое дискриминатором, потому что компилятор знает, что все ссылки не нулейбл
f
Я имел ввиду это, но опять же, я не разбирался подробоно, просто мне показалась что общая идея похожа
VB
если некратно 2 то бул дополнит до 2
G
KD
поэтому { int, char, int, char} будет больше по размеру чем {int, char, char, int}
есть какая-то прагма чтоб оно перетасовывало усе поля по размеру с целью уменьшения общего занимаемого места?
VB
нет. это невозможно с точки зрения самого языка.
KD
а хуле?