B
Size: a a a
2021 May 27
B
тоесть ub
B
емнип
а
Не знаю как работает матч, но у variant есть метод получения значения по индексу
gо
Инспект варианта с одинаковыми типами — UB?
gо
Ололололо
B
там по индексу только можно
gо
То есть
Когда я где-то в глубинах темплейтов собираю вариант, мне нужно быть уверенным, что туда случайно не попали два одинаковых типа
Когда я где-то в глубинах темплейтов собираю вариант, мне нужно быть уверенным, что туда случайно не попали два одинаковых типа
gо
Поэтому я делаю
std::is_samegо
И юзеру вылетает ошибка через сто левелов темплейтов на весь экран
gо
Они там что, стараются сделать ошибки хуже?
B
да, поэтому у тебя есть концепты
gо
Концепты меня не спасают от этой проблемы (хотя спасают от других)
B
там все чекаешь
а
Да и кстати если вариант может различить
variant<string, int>, то это уже суммаgо
Ноп. Это и юнион может.
gо
bool + bool это 4bool | bool это 2B
а ведь реально
gо
Как я понял,
variant<bool, bool> это 4, кроме матчинга, когда это UBB
да, тк матчинг по типу UB уже сейчас