6.12.11 Условные выражения с опущенными операндами
Средний операнд в условном выражении можно опустить. В этом случае, если первый операнд не равен нулю, его значение становится значением условного выражения.
Следовательно, выражение
x ? : y
имеет значение x, если оно не равно нулю; в противном случае — значение y.
Этот пример полностью эквивалентен выражению
x ? x : y
В этом простом случае возможность опустить средний операнд не особенно полезна. Она становится полезной, когда первый операнд содержит или может содержать побочный эффект (если это аргумент макроса). В таком случае повторение операнда в средней позиции привело бы к двукратному выполнению побочного эффекта. Опуская средний операнд, мы используем уже вычисленное значение и избегаем нежелательных последствий повторного вычисления.
© Free Software Foundation
Licensed under the GNU Free Documentation License, Version 1.3.
https://gcc.gnu.org/onlinedocs/gcc-15.3.0/gcc/Conditionals.html