Aß
фвп это функции которые принимают/возвращают функции
Size: a a a
2021 November 09
ДП
Вспоминается сразу термин "мимикрирование"
P1
Всё верно
ДП
Если прочесть ANSI C и все последующие стандарты (до какого там хз), можно ли быть (по меньшей мере) осведомлённым о всех UB?
A
насколько я понимаю, да
A
всякое UB является таковым только из-за того, что оно так названо в стандарте
A
то, что какая-то железяка (в паре со своим тулчейном) может вести себя особым образом, это будет либо нарушение стандарта (если стандарт о чем-то говорит конкретное), либо ID (если стандарт в этом месте допускает ID)
АД
А разве то что не указано в стандарте не может быть УБ? Нет, конечно же есть анспецифаед, но по-моему как раз таки любое анспецифаед должно явно указываться, а уб может быть неявным
A
в языке не настолько много всего, чтобы чего-то не было указано в стандарте 8)
ДП
Надеюсь реально чуваки из https://cmustdie.com/ переборщили и всё не так плохо как они это представили, спасибо за комментарии.
АД
Ну в Си да, да даже в Крестах все возможные УБ уже перечислены и найти УБ что нет в стандарте - мягко говоря проблема
A
ну я сразу сказал же -- из основные претензии это "я делаю UB, а меня никто не тычет носом и не говорит мне об этом"
АД
Ну имхо, современные компили и статические анализаторы достаточно хорошо продвинулись в этом направлении
АД
Да и УБ это основной простор для оптимизаций
АД
Можно конечно же придумать какой-нибудь раст, но там у компиля время растёт экспоненциально количеству кода
A
Если компилятор работает быстро, то он ничего не делает 🙈
АД
Ну да, поэтому Си и любят
АД
Компиль быстрый, т.к. там просто перевод в машинный код без всяких проверок и подстановок
A
а потом оптимизаторы
АД
А разве не наоборот? Там тот же gcc сначала вроде переводит во всякие RTL, там проводит оптимизации, потом во всякие GIMPLE, там тоже вроде оптимизации, а потом можно и в машинный код