O
Чтобы не плодить уб
УБ тут разумнее и уж куда ожидаемее, чем мусор в ограниченном наборе значений перечисления
Size: a a a
2020 May 26
AB
УБ тут разумнее и уж куда ожидаемее, чем мусор в ограниченном наборе значений перечисления
Зато его хуй обработаешь. Проверка в коде будет в любом случае
O
Зато его хуй обработаешь. Проверка в коде будет в любом случае
Проверка должна быть возложена на один раз на сериализатор, который создаёт значение с типом перечисления, не на всю дальнейшую цепочку пользователей этого значения
AB
Проверка должна быть возложена на один раз на сериализатор, который создаёт значение с типом перечисления, не на всю дальнейшую цепочку пользователей этого значения
Если путь исполнения гарантирует, что s всегда 0 или 1, не делай проверку
AB
А то, что внешние данные нужно проверять, негласная истина
AB
Я и говорю, инструмента, который ты хочешь, пока нет в языке
O
Читай полностью параграф про енам, он небольшой
The underlying type can be explicitly specified using an enum-base.Я не понимаю, о чём тут речь. Что стандарт подразумевает под
For a scoped enumeration type, the underlying type is int if it is not explicitly specified.
In both of these cases, the underlying type is said to be fixed.
both of these cases?
O
А то, что внешние данные нужно проверять, негласная истина
Внешние данные — это
int, unsigned int, char и прочие. Если у нас уже есть enum — мы уже провалидировали данные и они перестали быть внешними. Озаботиться проверками мы должны до каста в enum, а не послеAB
Внешние данные — это
int, unsigned int, char и прочие. Если у нас уже есть enum — мы уже провалидировали данные и они перестали быть внешними. Озаботиться проверками мы должны до каста в enum, а не послеТак не проверяй. В описании апи напиши, что если аргумент невалидный Sex, тебе похуй
O
Я и говорю, инструмента, который ты хочешь, пока нет в языке
Конечно же есть — UB, это самое место, куда более место, чем для неопределённого порядка вычисления аргументов
AB
The underlying type can be explicitly specified using an enum-base.Я не понимаю, о чём тут речь. Что стандарт подразумевает под
For a scoped enumeration type, the underlying type is int if it is not explicitly specified.
In both of these cases, the underlying type is said to be fixed.
both of these cases?
Если указан base (низлежащий тип) или енам scoped (то есть enum class)
AB
Конечно же есть — UB, это самое место, куда более место, чем для неопределённого порядка вычисления аргументов
Я имел в виду инструмент описания апи и валидации. Для обоих вещей уб - хуета, а не инструмент
AB
Конечно же есть — UB, это самое место, куда более место, чем для неопределённого порядка вычисления аргументов
Это не несет практического смысла. Ты с тем же успехом можешь выкинуть проверку и вставить __builtin_unreachable
AZ
ах как хорошо у хейтерка С++ полыхнуло, что на С++ можно писать безопасные программы
AZ
и чтобы их писать, их надо делать обязательно на Rust
AZ
так полыхнуло, что аж мут на месяц выписал мне
AZ
ух как хорошо :)))))
AZ
типичный растодрочер, кек. и со ссылкой на такие вот новости "качественные": https://www.chromium.org/Home/chromium-security/memory-safety
AZ
особенно мне нравится про то, что Chromium до сих пор разрешает использовать raw pointers и при этом жалуются на memory safety :)))))
AZ
это примерно как "Пишу на Rust везде unsafe, подскажите плиз, почему при работе с памятью мне ноги отрывает"?