Перегрузка оператора ++

[Svorobey]

Есть класс ThreeD и метод перегрузки ++:

public static ThreeD operator ++(ThreeD op)
    {
        ThreeD result = new ThreeD();
 
        result.x = op.x + 1;
        result.y = op.y + 1;
        result.z = op.z + 1;
 
        return result;
    }

Т.е. исходя из кода, видно, что передаваемый аргумент op не должен изменяться, вместо этого возвращается некий, вновь созданный объект result, куда уже и помещается значение op, увеличенное на 1.
Почему, тогда, следующее выражение, изменит объект:

c = a++

Я понимаю, что это операция инкремента сама по себе и задумана как увеличение числа\поля на 1, но почему так происходит? Ведь в методе перегрузки оператора мы не меняем сам передаваемый объект, а создаем новый, который и возвращаем.

Спасибо.

[Luuzuk]

ThreeD a = new ThreeD();
ThreeD c = a++;

Этот код исполняется примерно так:

1) Создается экземпляр класса ThreeD, ссылка на который хранится в переменной а. Назовем его "Экземпляр 1".
2) Создается переменная с, в которую помещается ссылка на "Экземпляр 1", которая хранится в переменной а (ThreeD c = a)
3) Теперь выполняется оператор "++". Да, только теперь, ибо он записан в постфиксной форме и выполнится уже после присваивания с = а. Этот оператор создаст новый экземпляр класса ThreeD (согласно перегрузке в классе ThreeD) и поместит его в переменную а. Назовем этот экземпляр класса "Экземпляр 2"

ИТОГО:
Переменная с ссылается на тот самый объект, который был в а изначально ("Экземпляр 1");
Переменная а ссылается на "Экземпляр 2", созданный в перегруженном операторе "++"


P.S. Если бы оператор ++ не выполнял бы присваивание переменной своего результата автоматически, то код мог бы выглядеть так:

ThreeD a = new ThreeD();
ThreeD c = a;
a = a++; // Если бы "++" был просто методом, то пришлось бы писать так, чтобы добиться того же самого результата, что и выше

P.P.S. Пруф: http://msdn.microsoft.com/ru-ru/library/ms173145.aspx, самый первый пример

[Svorobey]

Сообщение от Luuzuk

...Этот оператор создаст новый экземпляр класса ThreeD (согласно перегрузке в классе ThreeD)

который в примере именуется result ?

Сообщение от Luuzuk

ИТОГО:
Переменная с ссылается на тот самый объект, который был в а изначально ("Экземпляр 1");
Переменная а ссылается на "Экземпляр 2", созданный в перегруженном операторе "++"

т.е. в нашем случае a++ = a = result; ??

[Luuzuk]

Именно так

[Svorobey]

Спасибо за подробный понятный ответ!

Простите, еще один момент!
Вы говорите, что " ... оператор создаст новый экземпляр класса ThreeD (согласно перегрузке в классе ThreeD) и поместит его в переменную а."
А каким образом а начинает ссылаться на rezult? за счет return result ? Немного запутанно. Хочется написать return (a=result)... Растолкуйте, пожалуйста. Спасибо заранее.

[Luuzuk]

Ага. Запись "а++" будет обработана как-то так:
1) Будет вызван метод, реализующий оператор "++", в качестве параметра ему будет передана переменная а
2) Результат выполнения этого метода будет записан в переменную "а"

результатом выполнения метода в вашем коде является result. Оно и будет записано в переменную "а". Вот такое закулисье в C# )

[Svorobey]

Да, уж. И это закулисье справедливо только для ++\-- ?. Т.е., например, в методе перегрузке -(унарный) тело метода аналогичное, однако, оно не меняет (не назначает ему другую ссылку, правильней сказать) сам передаваемый ему аргумент:

public static ThreeD operator -(ThreeD op)
    {
        ThreeD result = new ThreeD();

        result.x = -op.x;
        result.y = -op.y;
        result.z = -op.z;

        return result;
    }

И, получается, что в операции. c=-a. с станет -а, а а останется собой.

[Luuzuk]

И, получается, что в операции. c=-a. с станет -а, а а останется собой.

c станет равным result, а а останется прежним.
Разница в том, что операторы ++ и -- сами по себе должны менять переменную, к которой применены, иначе смысла в них не будет