Charles WeylandНа счёт += всё понятно - сначала вычисляется правый операнд, потом левый.
неправильная логика: ассоциативность операторов с приоритетами и порядок вычисления входящих в них операндов в общем случае это разные вещи. Первое - это всего лишь порядок вызова функций

н-р, правая ассоциативность как в си
a + b + c -> +(a, +(b,c))

второе - порядок вычисления аргументов после "расстановки скобок" он может быть и слева направо и наоборот

оператор ?: формально без определённых допущений к бинарным не относится