ли короткое замыкание тройная оператора определенным образом

Question

Если у Вас есть следующие:

if (x) 
{ 
    y = *x; 
} 
else 
{ 
    y = 0; 
} 

Тогда поведение гарантированно определить, так как мы можем только разыменовать x, если это не 0

Может то же самое можно сказать:

y = (x) ? *x : 0; 

Это, кажется, работает, как ожидалось (даже скомпилирован с -Wpedantic на г ++)

Гарантировано?

Answer 1

Да, только второй или третий операнд будет оцениваться проект C++ стандартный раздел 5.16[expr.cond] говорит:

Условные выражения группируются справа налево. Первое выражение преобразуется контекстно в bool (раздел 4). Он оценивается, и если он истинен, результатом условного выражения является значение второго выражения, в противном случае третьего выражения. Оценивается только одно из второго и третьего выражений. Каждое значение вычисление и побочный эффект, связанные с первым выражением, секвенируются перед вычислением каждого значения и побочным эффектом, связанным со вторым или третьим выражением.