G
Когда костылил копродукты
Size: a a a
2020 March 25
Т8
union это такой тип, в котором ты описываешь, что в него может быть положено (что-то одно из), а память под этот юнион выделяется по размеру максимального типа из указанных, независимо от того, что ты туда заложишь. Короче, применение похоже на растовский Result
А enum ты знаешь по шарпу. Теперь видишь разницу?
А enum ты знаешь по шарпу. Теперь видишь разницу?
AZ
Т-34 85
union это такой тип, в котором ты описываешь, что в него может быть положено (что-то одно из), а память под этот юнион выделяется по размеру максимального типа из указанных, независимо от того, что ты туда заложишь. Короче, применение похоже на растовский Result
А enum ты знаешь по шарпу. Теперь видишь разницу?
А enum ты знаешь по шарпу. Теперь видишь разницу?
не поверишь, но энум в расте так же устроен
G
Т-34 85
union это такой тип, в котором ты описываешь, что в него может быть положено (что-то одно из), а память под этот юнион выделяется по размеру максимального типа из указанных, независимо от того, что ты туда заложишь. Короче, применение похоже на растовский Result
А enum ты знаешь по шарпу. Теперь видишь разницу?
А enum ты знаешь по шарпу. Теперь видишь разницу?
Не размер максимального типа. _как минимум_ размер максимального, т.к. может встроиться пустота, по крайней мере, в Си
Т8
union не предоставляет никакого способа увидеть активный член в данный момент
Ну, можно взять variant вместо него, не суть. Суть в том, что ты сравниваешь разнык по применению вещи
G
не поверишь, но энум в расте так же устроен
Не также, енум в Rust - это ещё и тег
AZ
Не также, енум в Rust - это ещё и тег
ну тег можно не считать
AZ
ты же можешь сделать трансмут в нужный вариант не проверяя тег, типа ты молодец. Ток зачем, непонятно
G
ну тег можно не считать
Почему???
G
Тег обеспечивает гарантии
G
union в Rust тоже есть, кстати
G
unsafe
Т8
Собственно зачем нужно было придумывать enum class, std::variant, когда можно было сделать полноценные копродукты, как в Rust
А в чём проблема?
AK
Один решает частный случай копродуктов в Rust, второй - решает её неудобно
Первый решает проблему пространства имён. Вертели эти копродукты в комитете на одном месте. Второй да, пытается что-то решить, но так себе выходит.
Т8
Alexander Krivitskiy
А enum class сделали ради того, чтобы в неймспейс варианты загонять, а не в глобал скоуп выбрасывать
Не столько из-за этого, сколько чтобы сделать типизацию, ибо enum == int
G
Alexander Krivitskiy
Первый решает проблему пространства имён. Вертели эти копродукты в комитете на одном месте. Второй да, пытается что-то решить, но так себе выходит.
s/Вертели эти копродукты в комитете/Вертели эту теорию типов в комитете
G
Т-34 85
Не столько из-за этого, сколько чтобы сделать типизацию, ибо enum == int
Не int, а целочисленный тип
Т8
не поверишь, но энум в расте так же устроен
Но это не тот энум, который в сях. Его так назвали для того, чтобы приходящих не отпугивать. И, кстати, правильно сделали!
Т8
Не размер максимального типа. _как минимум_ размер максимального, т.к. может встроиться пустота, по крайней мере, в Си
В смысле? Можно пример, когда размер больше максимального типа в нём?