Kryptische Zeile “??!??!” im Legacy-Code [duplicate]

Ich überarbeite einige sehr alter Legacy-Code, der voller Fehler und sehr fragwürdiger Praktiken ist, zumindest für moderne Standards. Jetzt bin ich auf eine Zeile gestoßen, die ich einfach nicht entziffern kann:

p und k sind vom Typ int *

return p??!??!k?p?*p:sizeof(*k):0;

Als ich es sah, traute ich meinen Augen nicht – ich kenne das ? Operator, aber seine Syntax ist bool ? trueresult : falseresult und ein ?? Operator macht weder Sinn (Lazy Evaluation trifft hier wirklich nicht zu), noch konnte ich irgendwo einen Hinweis auf diesen mysteriösen Operator finden.

Es wäre wirklich cool, wenn jemand etwas Licht in diese Angelegenheit bringen würde.

Es heißt Trigraph:

C11 (ISO/IEC 9899:201x) §5.2.1.1 Trigraph-Sequenzen

Bevor irgendeine andere Verarbeitung stattfindet, wird jedes Vorkommen einer der folgenden Sequenzen von drei Zeichen (sogenannte Trigraph-Sequenzen17)) durch das entsprechende einzelne Zeichen ersetzt.

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

Es ist auch in C++11 (ISO/IEC 14882:2011) § 2.3 enthalten Trigraph-Sequenzen

Also nach dem Ersetzen des Trigraphen die Linie return p??!??!k?p?*p:sizeof(*k):0; verwandelt sich in

return p || k ? p ? *p : sizeof(*k) : 0

Da der ternäre Operator eine eher niedrige Präzedenz hat, ist es eigentlich:

return (p || k) ? (p ? (*p) : sizeof(*k)) : 0;

Diese Codezeile ist äquivalent zu:

return p || k? p? *p : sizeof(*k) : 0;

Oder deutlicher:

return (p || k)? (p? (*p) : sizeof(*k)) : 0;