Телеграмм чат группы rust_offtopic страница 9882

11:32пожаловаться #1

Т8

Т-34 85 in rust_offtopic

https://t.me/rust_offtopic/206209

Hirrolot in rust_offtopic

Один решает частный случай копродуктов в Rust, второй - решает её неудобно

В чём неудобство? Разные задачи - разные инструменты

11:33пожаловаться #2

Т-34 85

В чём неудобство? Разные задачи - разные инструменты

Покажи мне задачу, где std::variant/enum class решает лучше, чем enum в Rust

11:33пожаловаться #3

Т8

Т-34 85 in rust_offtopic

Покажи мне задачу, где std::variant/enum class решает лучше, чем enum в Rust

Я не говорю, что лучше. Я говорю, что они для разного нужны

11:34пожаловаться #4

Alexander Krivitskiy in rust_offtopic

Т-34 85

Не столько из-за этого, сколько чтобы сделать типизацию, ибо enum == int

Ну и ради этого тоже. Но если что, то обычные enumы в плюсах тайпчекаются при присвоениях и передачи аргов в функцию. Только сравнение к интам кастует

11:34пожаловаться #5

Т-34 85

Я не говорю, что лучше. Я говорю, что они для разного нужны

enum в Rust покрывает все случаи лучше.

11:34пожаловаться #6

Т-34 85

Не столько из-за этого, сколько чтобы сделать типизацию, ибо enum == int

Each enumerated type is compatible with one of: char, a signed integer type, or an unsigned integer type. It is implementation-defined which type is compatible with any given enumerated type, but whatever it is, it must be capable of representing all enumerator values of that enumeration.

https://en.cppreference.com/w/c/language/enum

Д-во, что не всегда int.

11:35пожаловаться #7

Более того, он способен делать анализ исчерпаемости для костыльных копродуктов и умный компилятор с флагами ещё и типы может проверять

11:38пожаловаться #8

Т8

Т-34 85 in rust_offtopic

https://en.cppreference.com/w/c/language/union

The union is only as big as necessary to hold its largest member (additional unnamed trailing padding may also be added). The other members are allocated in the same bytes as part of that largest member.

В смысле, для выравнивания может чуть больше взять? Окей, но не суть

11:40пожаловаться #9

Т-34 85

В смысле, для выравнивания может чуть больше взять? Окей, но не суть

Да

11:40пожаловаться #10

Т8

Т-34 85 in rust_offtopic

Alexander Krivitskiy

Серьёзно?

11:41пожаловаться #11

Но суть алгебраических типов данных в том, что с помощью них можно делать любые несложные типы

11:41пожаловаться #12

Т8

Т-34 85 in rust_offtopic

enum в Rust покрывает все случаи лучше.

Это вопрос конкретной реализации. И плюсовый способ можно прокачать

11:43пожаловаться #13

Т-34 85

Это вопрос конкретной реализации. И плюсовый способ можно прокачать

Если прокачать можно, то его _придётся прокачивать_. Но я сомневаюсь, что можно, не зря есть RFC по сопоставлению с образом в C++23.

11:43пожаловаться #14

Это вопрос дизайна языка

11:44пожаловаться #15

Т8

Т-34 85 in rust_offtopic

Each enumerated type is compatible with one of: char, a signed integer type, or an unsigned integer type. It is implementation-defined which type is compatible with any given enumerated type, but whatever it is, it must be capable of representing all enumerator values of that enumeration.

https://en.cppreference.com/w/c/language/enum

Д-во, что не всегда int.

Да, можно и другие целые запихнуть. Опять же, не суть. Беда в неявных кастах, enum class защищает от этого

11:44пожаловаться #16

Т-34 85

Да, можно и другие целые запихнуть. Опять же, не суть. Беда в неявных кастах, enum class защищает от этого

Ага, enum в Rust тоже