Что это ??!??! оператор делать в C?

Я видел строку C, которая выглядела так:

!ErrorHasOccured() ??!??! HandleError();

Он правильно скомпилирован и работает нормально. Кажется, что он проверяет, произошла ли ошибка, и если она есть, то обрабатывает ее. Но я не совсем уверен, что он на самом деле делает или как он это делает. Похоже, программист пытается выразить свои чувства по поводу ошибок.

Я никогда раньше не видел ??!??!ни одного языка программирования, и я не могу найти документацию для него нигде. (Google не помогает с поисковыми терминами, как ??!??!). Что это делает и как работает пример кода?

??!это триграф, который переводится как |. Так оно говорит:

!ErrorHasOccured() || HandleError();

который из-за короткого замыкания эквивалентен:

if (ErrorHasOccured())
    HandleError();

Гуру недели (имеет дело с C ++, но актуально здесь), где я поднял это.

Возможное происхождение триграфов или, как указывает @DwB в комментариях, более вероятно из-за сложности EBCDIC (опять же). Эта дискуссия на форуме разработчиков IBM, похоже, подтверждает эту теорию.

Из ISO / IEC 9899: 1999 §5.2.1.1, сноска 12 (h / t @ Random832):

Последовательности триграфа позволяют вводить символы, которые не определены в наборе инвариантных кодов, как описано в ИСО / МЭК 646, который является подмножеством семибитного набора кодов США ASCII.

Ну, почему это вообще существует, вероятно, отличается от того, почему оно существует в вашем примере.

Все началось полвека назад с перепрофилирования терминалов связи в качестве компьютерных пользовательских интерфейсов. В начальную эпоху Unix и C это был телетайп ASR-33.

Это устройство было медленным (10 cps), шумным и уродливым, и его представление набора символов ASCII закончилось на 0x5f, поэтому у него не было (посмотрите на рис.) Ни одного из ключей:

{ | } ~ 

Триграфы были определены для решения конкретной проблемы. Идея заключалась в том, чтобы программы на C могли использовать подмножество ASCII, найденное на ASR-33, и в других средах, в которых отсутствуют высокие значения ASCII.

Ваш пример на самом деле два ??!, каждый смысл |, так что результат ||.

Тем не менее, люди, пишущие код на C почти по определению, имели современное оборудование, ¹ так что я думаю: кто-то хвастается или развлекается, оставляя в коде какое-то пасхальное яйцо, которое вы сможете найти.

Это действительно сработало, это привело к чрезвычайно популярному вопросу SO.

                                            ^{ASR-33 телетайп}

Это C триграф . ??!есть |, так же ??!??!как и оператор||

Как уже говорилось ??!??!, по существу , два триграфы ( ??!и ??!снова) mushed вместе , которые заменяются переведенный на ||, то есть логическое ИЛИ , препроцессором.

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

Trigraph   Replaces

??(        [
??)        ]
??<        {
??>        }
??/        \
??'        ^
??=        #
??!        |
??-        ~

^{Источник: C: Справочное руководство 5-е издание}

Таким образом, триграф, который выглядит как ??(??), в конечном итоге отобразится [], ??(??)??(??)будет заменен [][]и т. Д., Вы получите идею.

Так как триграфы заменяются во время предварительной обработки, вы можете использовать, cppчтобы самостоятельно просмотреть вывод, используя глупую trigr.cпрограмму:

void main(){ const char *s = "??!??!"; } 

и обрабатывать его с помощью:

cpp -trigraphs trigr.c 

Вы получите консольный вывод

void main(){ const char *s = "||"; }

Как вы можете заметить, опция -trigraphsдолжна быть указана, иначе cppбудет выдано предупреждение; это указывает на то, что триграфы остались в прошлом и не представляют никакой современной ценности, кроме как сбивать с толку людей, которые могут столкнуться с ними .

Что касается обоснования введения триграфов, то лучше понять, рассматривая раздел истории ИСО / МЭК 646 :

ИСО / МЭК 646 и его предшественник ASCII (ANSI X3.4) в значительной степени одобрили существующую практику в отношении кодировки символов в телекоммуникационной отрасли.

Поскольку в ASCII не было указано количество символов, необходимых для языков, отличных от английского, был создан ряд национальных вариантов, которые заменяли некоторые менее используемые символы на нужные .

^{(акцент мой)}

Таким образом, по существу, некоторые необходимые символы (те, для которых существует триграф) были заменены в определенных национальных вариантах. Это приводит к альтернативному представлению с использованием триграфов, состоящих из символов, которые все еще были в других вариантах.