AB
почти в любом вызове функций
Можешь небольшой пример сделать? На расте, си или плюсах
Size: a a a
2020 May 26
AZ
почти в любом вызове функций
ахахахаха
Т8
Можешь небольшой пример сделать? На расте, си или плюсах
+
Т8
Сколько раз дёргал функции, но не припоминаю, чтобы хоть раз мне такой кейс выстрелил
KK
мне хватает UB в порядке вычисления аргументов в функции
Не поверишь, но так пишут... Да никто так не пишет
O
Предположим. Мне непонятно, что есть range of the enumeration values
Где-то что-то было в стандарте про максимальное и минимальное значение элементов. Но для более сложного случая, вроде
я понятия не имею
enum Color { red = 0, blue = 2 };
Color color = static_cast<Color>(1);я понятия не имею
KK
Еще
Можно встретить, но вот
Практически нереально
while(a--)
Можно встретить, но вот
func(a++, a++)
Практически нереально
А
Где-то что-то было в стандарте про максимальное и минимальное значение элементов. Но для более сложного случая, вроде
я понятия не имею
enum Color { red = 0, blue = 2 };
Color color = static_cast<Color>(1);я понятия не имею
тут же уб
AZ
Т-34 85
Сколько раз дёргал функции, но не припоминаю, чтобы хоть раз мне такой кейс выстрелил
+1
AZ
Не поверишь, но так пишут... Да никто так не пишет
погоди, нам тут Rust продают. не сбивай цену
p
Можешь небольшой пример сделать? На расте, си или плюсах
а, я неправильно прочитал
O
мне хватает UB в порядке вычисления аргументов в функции
Пиши чистые функции и будет тебе счастье. Декремент такой не является
KK
погоди, нам тут Rust продают. не сбивай цену
Так мне другая компания платит
AZ
Так мне другая компания платит
опа, ща шарпы продавать будут :)
O
тут же уб
А вот я не уверен. И тут уже @das_3sz3tt может быть прав, там очень сложно с точки зрения стандарта. Вот будь тут
Color color = static_cast<Color>(-1) или Color color = static_cast<Color>(3) — точно UB...KK
опа, ща шарпы продавать будут :)
Ага
/¯
@das_3sz3tt, @urandon, таки нет, вот ответ, ссылающийся на стандарт и тот самый дефект-репорт. Интересующий нас пример в самом конце:
Таким образом, для
Выглядит убедительно
enum ColorUnfixed /* no fixed underlying type */
{
red = 0x1,
yellow = 0x2
}
Therefore, 100 would be outside the range of ColorUnfixed, and the static_cast would produce an unspecified value before CWG 1766 and undefined behaviour after CWG 1766.Таким образом, для
unscoped enum без явного указания нижележащего типа, тут unspecified value/UB.Выглядит убедительно
Это ишью, какое решение по его принятию/решению?)
AZ
А вот я не уверен. И тут уже @das_3sz3tt может быть прав, там очень сложно с точки зрения стандарта. Вот будь тут
Color color = static_cast<Color>(-1) или Color color = static_cast<Color>(3) — точно UB...даёшь
enum_cast в массыА
даёшь
enum_cast в массыисключение будет бросать ?
O
Это ишью, какое решение по его принятию/решению?)
Дефект-репорт? Не знаю, я в стандарте правки не увидел этой, но
unspecified value звучит не лучше UB, имхо. Я вообще не понимаю, что такое unspecified value