Как работают проперти со значимыми типами — почему так?

Question

[footballer]

Вопрос вызван этой статьей https://m.habr.com/ru/post/124404/

Ссылка на фиддл https://dotnetfiddle.net/uFhUvl
В коде на фиддле метод IncrementX метод обращается к автопроперти X значимого типа int и инкрементит его, т.е. чисто логически, сначала геттер должен вернуть не ссылку на поле, а копию поля, а дальше операцией инкримента меняется значение копии. В итоге как минимум в результате должно было вывестись 5, а не 6, а как максимум должен был упасть эксепшен
"Cannot modify the return value of 'что-то тут' because it is not a variable".
Но по факту в результате выводится 6, а не 5, и нет никаких эксепшенов. Кто-нибудь может объяснить?

Answer 1

[freeExec]

Эээ X++ => X = X + 1 Значение копии то меняется, но затем оно заносится обратно.

Comments

[Александр Павлов]

Неверно. В этом случае обращение из другого класса к этому свойству также работало бы. Но оно не работает. Советую ознакомиться со статьей.

[freeExec]

Александр Павлов, Статью я не читал. Но вот я убрал private и обращаюсь как a.Mutable.X++;, в результате увеличение на 1. Как я вижу всё работает. Но пойду почитаю статью, потому, что в чём загвозка я не понял.

[footballer]

Значение копии то меняется, но затем оно заносится обратно.

Да, так , видимо, и есть.
a.Mutable.X++ тоже работает, если Mutable не проперти, а поле. Если сделать его проперти, а не поле, то перестает работать, т.к. происходит ошибка Cannot modify the return value of 'A.Mutable' because it is not a variable

Как раз из-за этого я и задал вопррс, т.к. сначала не понял, почему Mutable как проперти не работает, а Х как проперти работает. Сейчас я все понял. Если Mutable поле, а X проперти, то у оригинала Mutable возвращается копия X, копия Х инкрементится и присваивается снова в X, т.е. у оригинала Mutable увеличивается X. А если Mutable это проперти, то возвращается копия Mutable, у копии Mutable возвращается копия X, копия Х инкрементится и присваивается снова в X, т.е. у КОПИИ Mutable увеличивается X. А т.к. копия Mutable не сохранена ни в какую пересенную, то и возникает эта ошибка о бессмысленном изменении поля копии.