C++ вложенных условного порядка оператора оценки

Question

Для выражения как

x = a ? b : c ? d : e; 

Я понимаю, что, так как: оператор имеет право ассоциативности, выражение сгруппировано

x = a ? b : (c ? d : e); 

Однако, как насчет того, оценки? Влияет ли ассоциативность на то, что ветвь (c? D: e) сначала оценивалась, а затем ответ ее передавался как аргумент влево?: Operator? Или сначала оценивается, а затем зависит от того, возвращается ли либо b, либо вычисляется ветвь (c? D: e)? Или это не определено?

Answer 1

n3376 5,16/1

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

Answer 2

Для условного оператора:

• первый операнд вычисляется в первую очередь;
• либо второй, либо третий (но не оба) оцениваются в зависимости от значения первого.