Всегда ли свойства неизменны?

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

Я обновляю старый код C#, и VS2017 дает мне несколько советов по рефакторингу, например, частные члены с вручную предоставленными свойствами для автоматически сгенерированных свойств.

VS упрощает это с помощью пары щелчков мышью, и все компилируется отлично. Проблема в том, что код работает не так, как раньше.

Рассмотрим следующий пример сокращенного кода:

using System;

public class Program    
{
    struct A
    {
        public A(int x) : this()
        {
            X = x;
        }

        public int X { get; private set; }

        public void Update(int y)
        {
            X += y;
        }
    }

    class B
    {
        private A _secondVar;

        public B()
        {
        }

        public A MyVar { get; set; }

        public A SecondVar
        {
            get { return _secondVar; }
            protected set { _secondVar = value; }
        }           

        public void Foo(int z)
        {
            MyVar.Update(z);
            _secondVar.Update(z);
        }       
    }


    public static void Main()
    {
        B b = new B();
        Console.WriteLine("BEFORE: b.MyVar: " + b.MyVar.X + ", b.SecondVar: " + b.SecondVar.X );
        b.Foo(23);
        Console.WriteLine("AFTER: b.MyVar: " + b.MyVar.X + ", b.SecondVar: " + b.SecondVar.X );
    }
}

Результат:

BEFORE: b.MyVar: 0, b.SecondVar: 0
AFTER: b.MyVar: 0, b.SecondVar: 23

Я ожидал, что вызов MyVar.Update(z) обновит свойство, а последующие вызовы MyVar.X должны предоставить обновленное значение.

Это ожидаемое поведение или ошибка в C#?

Какой вывод вы сделали ожидать и почему?

mjwills 16.01.2019 12:06

создание структуры относительно редко, по большому счету; Структуры изменчивый фактически являются хорошей идеей никогда (хотя я бы допустил это для ref struct); если вы используете последние версии C#, практически все структуры должны быть объявлены как readonly struct

Marc Gravell 16.01.2019 12:35

@MarcGravell: Я бы также подчеркнул, что «практически никогда» - это не довольно никогда. Я поддерживаю то, что семейство ValueTuple является изменчивым, хотя мне потребовалось некоторое время, чтобы взяться за дело.

Jon Skeet 16.01.2019 12:39

@JonSkeet согласился - я был вполне осознан в своем хеджировании :) Но это одна из тех вещей, где неудобный ответ: «вам нужно, чтобы действительно очень точно понимал, что, почему и последствия»

Marc Gravell 16.01.2019 12:42
Стоит ли изучать PHP в 2026-2027 годах?
Стоит ли изучать PHP в 2026-2027 годах?
Привет всем, сегодня я хочу высказать свои соображения по поводу вопроса, который я уже много раз получал в своем сообществе: "Стоит ли изучать PHP в...
Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией
Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией
В JavaScript одним из самых запутанных понятий является поведение ключевого слова "this" в стрелочной и обычной функциях.
Приемы CSS-макетирования - floats и Flexbox
Приемы CSS-макетирования - floats и Flexbox
Здравствуйте, друзья-студенты! Готовы совершенствовать свои навыки веб-дизайна? Сегодня в нашем путешествии мы рассмотрим приемы CSS-верстки - в...
Тестирование функциональных ngrx-эффектов в Angular 16 с помощью Jest
В системе управления состояниями ngrx, совместимой с Angular 16, появились функциональные эффекты. Это здорово и делает код определенно легче для...
Концепция локализации и ее применение в приложениях React ⚡️
Концепция локализации и ее применение в приложениях React ⚡️
Локализация - это процесс адаптации приложения к различным языкам и культурным требованиям. Это позволяет пользователям получить опыт, соответствующий...
Пользовательский скаляр GraphQL
Пользовательский скаляр GraphQL
Листовые узлы системы типов GraphQL называются скалярами. Достигнув скалярного типа, невозможно спуститься дальше по иерархии типов. Скалярный тип...
4
4
365
1
Перейти к ответу Данный вопрос помечен как решенный

Ответы 1

Ответ принят как подходящий

Вы используете изменяемые структуры, что настоятельно не рекомендуется именно по этой причине.

Ваш код здесь:

public void Foo(int z)
{
    MyVar.Update(z);
    _secondVar.Update(z);
}

эквивалентно этому:

public void Foo(int z)
{
    A tmp = MyVar; // Creates a copy
    tmp.Update(z);
    _secondVar.Update(z);
}

Ваш код _secondVar.Update(z) изменяет значение _secondVar, потому что вы вызываете его непосредственно для переменной. Это не относится к вашему свойству - использование метода получения свойства фактически вызывает метод, который возвращает значение, которое является копией значения переменной.

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

возможно, стоит отметить (но не стоит добавлять ответ): в последних версиях C# используется действительно легко, чтобы не допустить ошибки изменяемых структур: readonly struct A { public A(int x) => X = x; public int X { get; } }

Marc Gravell 16.01.2019 12:32

Другие вопросы по теме