G
Это можно понять, если на минимальном уровне знать алгебру типов
Size: a a a
2020 March 25
Т8
Это можно понять, если на минимальном уровне знать алгебру типов
А можно понять по примерам использования, не зная алгебру типов
G
Т-34 85
А можно понять по примерам использования, не зная алгебру типов
C++:
Rust:
enum class MyBadEnum {
A, B, C, D
}Rust:
enum MyGoodEnum {
A, B, C, D
}enum MyGoodEnumExtended {
A(i32, i32), B, C(String), D,
}enum class в C++ = enum в Rust с () у всех вариантов.G
std::variant соответствует enum в Rust, но удобство страдает
Т8
std::variant соответствует enum в Rust, но удобство страдает
Ты не видишь разницы между union и enum?
AZ
Т-34 85
Ты не видишь разницы между union и enum?
нет
G
Не совсем, она есть. Enum в Rust можно воспринимать как disjoint union
G
Т-34 85
Ты не видишь разницы между union и enum?
Откуда ты это решил?
G
Не совсем, она есть. Enum в Rust можно воспринимать как disjoint union
union не предоставляет никакого способа увидеть активный член в данный момент
AZ
Не совсем, она есть. Enum в Rust можно воспринимать как disjoint union
ну если знаменитое удобное уб когда пишем флоат читаем инт
G
ну если знаменитое удобное уб когда пишем флоат читаем инт
Да, это union type punning
G
ну если знаменитое удобное уб когда пишем флоат читаем инт
Union type punning в Си можно, но там по-моему конкретный случай, где нельзя, т.е. представление объекта может случайно содержать трапа, считывание которого - UB
AK
Например
class enum в C++ - это частный случай enum в Rustclass enum в C++ это просто тег, перечисление константант. тип суммы - это union, которому нужно ручками присобачить enum, если хочешь вразумительно с ним работать
Вот так enum * (Int + String + Double)
Вот так enum * (Int + String + Double)
G
Alexander Krivitskiy
class enum в C++ это просто тег, перечисление константант. тип суммы - это union, которому нужно ручками присобачить enum, если хочешь вразумительно с ним работать
Вот так enum * (Int + String + Double)
Вот так enum * (Int + String + Double)
Да, я это знаю. Enum class N вариантов = N
G
Собственно зачем нужно было придумывать enum class, std::variant, когда можно было сделать полноценные копродукты, как в Rust
AK
Собственно зачем нужно было придумывать enum class, std::variant, когда можно было сделать полноценные копродукты, как в Rust
Из-за обратной совместимости с си, где енам это просто чёртов генератор дефайнов.
Т.е. впадло писать
#define Red 0
#define Green 1
?
Напиши
enum Color = {Red, Green};
Или enum Dir = { Left, Right };
Удобно.
А потом:
Color c = Left;
c == Red
В си даже флагом тайпчек енамов не включить.
Т.е. впадло писать
#define Red 0
#define Green 1
?
Напиши
enum Color = {Red, Green};
Или enum Dir = { Left, Right };
Удобно.
А потом:
Color c = Left;
c == Red
В си даже флагом тайпчек енамов не включить.
AK
Собственно зачем нужно было придумывать enum class, std::variant, когда можно было сделать полноценные копродукты, как в Rust
А enum class сделали ради того, чтобы в неймспейс варианты загонять, а не в глобал скоуп выбрасывать
G
Alexander Krivitskiy
Из-за обратной совместимости с си, где енам это просто чёртов генератор дефайнов.
Т.е. впадло писать
#define Red 0
#define Green 1
?
Напиши
enum Color = {Red, Green};
Или enum Dir = { Left, Right };
Удобно.
А потом:
Color c = Left;
c == Red
В си даже флагом тайпчек енамов не включить.
Т.е. впадло писать
#define Red 0
#define Green 1
?
Напиши
enum Color = {Red, Green};
Или enum Dir = { Left, Right };
Удобно.
А потом:
Color c = Left;
c == Red
В си даже флагом тайпчек енамов не включить.
Enum оставить. Я говорил про enum class и std::variant
G
Enum оставить. Я говорил про enum class и std::variant
Один решает частный случай копродуктов в Rust, второй - решает её неудобно
G
Alexander Krivitskiy
Из-за обратной совместимости с си, где енам это просто чёртов генератор дефайнов.
Т.е. впадло писать
#define Red 0
#define Green 1
?
Напиши
enum Color = {Red, Green};
Или enum Dir = { Left, Right };
Удобно.
А потом:
Color c = Left;
c == Red
В си даже флагом тайпчек енамов не включить.
Т.е. впадло писать
#define Red 0
#define Green 1
?
Напиши
enum Color = {Red, Green};
Или enum Dir = { Left, Right };
Удобно.
А потом:
Color c = Left;
c == Red
В си даже флагом тайпчек енамов не включить.
Ну в Си у меня анализ исчерпаемости был