Почему такой код компилируется, это ж не Python всё-таки? Или я туплю?

int a, b;

b = (a=3, a+3);  // теперь b равно 6 ...

Метод доказательства "от противного" знаешь? Так вот, поставим вопрос по-другому: почему такой код не должен компилироваться? В языке есть операция "запятая", результатом которой является результат последнего операнда. Что там в последнем операнде делается? В первом a присвоили 3, во втором увеличили его еще на три. Результат = 6, где подвох?

Этого я не знал. Думал до сегодняшнего дня, что запятая она и есть запятая, а не операция какая-то.