Вычисляется ли выражение присваивания С++ 11 справа налево?

var1 = var2 = 30;

Оба должны быть 30, и это указано в стандарте. Вещь, которая не указана, заключается в том, что если присваивание операндов является сложным выражением, которое должно быть оценено перед присвоением, какова последовательность их оценки?

(expr1) = (expr2) = x;
   1         2

or

(expr1) = (expr2) = x;
   2         1

Нет, новый стандарт не определяет последовательность или порядка вычислений всех подвыражений.

Выражение a + b + c грамматически сгруппировано как (a + b) + c, но три подвыражения a, b и c могут оцениваться в любом порядке, и оценки не упорядочены друг относительно друга.

Чтобы сделать это более конкретным, рассмотрим:

int main()
{
    return printf("Hello") + printf("World") + printf("\n");
}

Что касается вашего кода: там нет никакой двусмысленности. Это одно выражение, выражение присваивания формы a = b, где a — lvalue var1, а b — подвыражение var2 = 30. Тот факт, что вам интересно, заканчивается ли var1 20 или 30, наводит меня на мысль, что вы не уверены в ассоциативности оператора (для =). Это, однако, никогда не было двусмысленным и прекрасно определено во всех языковых вариантах, которые я могу придумать. Оператор присваивания связан справа, что приводит к подвыражениям a и b, которые я описал. Этот (чрезвычайно фундаментальный) аспект языка не претерпел изменений в C++11.

Если вы действительно хотите объединить две проблемы, вам следует рассмотреть следующее выражение:

var1 = 10;
(var1 = 20) = (var2 = var1);

Теперь конечное выражение также равно a = b, но и a, и b являются нетривиальными подвыражениями, оценка которых не упорядочена.

Оператор присваивания (=) и составные операторы присваивания группируются справа налево.

Это ничего не говорит нам о порядке оценки. Это просто означает, что a = b = c анализируется как a = (b = c), а не (a = b) = c.

1.9/15 по-прежнему применяется:

Если не указано иное, вычисления операндов отдельных операторов и подвыражений отдельных выражений не упорядочены.

Правила упорядочивания вводят только частичный порядок. В таком выражении:

(x+42) = (y+42)

гарантируется, что оба подвыражения (x+42) и (y+42) будут выполнены до присваивания результату (x+42), но сами два подвыражения не упорядочены. Любой из них может выполняться раньше другого, и их можно даже чередовать, и порядок не обязательно должен быть постоянным во время выполнения программы.