Мне трудно понять, почему работает приведенный ниже код вращения дерева. Если T2 указывает на y.left , а y.left указывает на x , не делает ли это последнее присваивание x.right = T2 равным x.right = x ? Разве указатель не должен указывать...