C # - 2 структурных вопроса

Question

Я знаю, что структуры являются типами значений, но тогда я не понимаю, почему это работает:
РЕДАКТИРОВАТЬ: я имею в виду, почему this.Size.Height не работает тогда?

struct A
{
    int height;

    public int Height
    { 
        get
        {
            return height;
        }

        set
        {
            height = value;
        }
    }
}

//... class Main
{
    A a = A();
    a.Height = 5;  //works. Why? I thought it should say "cannot modify as it is not variable". I think the properties should return copy of this struct...?
}

Второй вопрос - я прочитал, мне не нужно использовать «new» со структурами, но без него он не работает.

Answer 1

Позвольте мне разбить это на несколько вопросов:

Что такое переменная?

Переменная - это место хранения, которое содержит значение.

Почему типы значений называются типами значений?

Значением переменной типа значения является значение , и оно копируется значением .Значение переменной ссылочного типа - ссылка и копируется ссылка .Вот почему типы значений называются типами значений, а ссылочные типы называются ссылочными типами.

Почему работает a.Height = 10?

Чтобы изменить значение, хранящееся впеременная ссылочного типа, у вас должна быть переменная для начала.В этом случае вы делаете: у вас есть переменная «а».Компилятор компилирует это как «передать управляемый адрес переменной« a »установщику высоты с аргументом 10».Поэтому установщик свойства Height знает, как найти местоположение значения, хранящегося в «a», и изменить его.

Почему не работает a.Size.Height = 10?

Чтобы изменить значение, хранящееся в переменной ссылочного типа, у вас должна быть переменная для начала.Выражение «a.Size» не является переменной;это ценность.a.Size не дает вам переменную, которая поддерживает свойство - на самом деле, она может не быть.Вместо этого он дает вам стоимость имущества.Типы значений копируются по значению;это копия стоимости имущества.Это означает, что у компилятора есть два варианта: он может скопировать значение во временную переменную и затем преобразовать эту переменную, заставляя вас думать, что вы мутировали резервное хранилище a.Size.Или это может дать вам ошибку, указывающую на то, что вы делаете что-то глупое.Это делает последнее.

Разве это не смущает и раздражает?

Да.Мораль этой истории состоит в том, что не делают изменяемые типы значений .Делайте только неизменяемые типы значений.Во-первых, никогда не устанавливайте тип значения;только делать присваивание в конструкторе.Если объект должен быть изменяемым, сделайте его ссылочным типом.

Нужно ли использовать "новый", чтобы создать новый экземпляр типа значения?

Нет.Вы также можете использовать «default»:

Foo f = default(Foo);

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

Или, если тип значения является изменяемым, вы можете просто установить значения всех полей.Однако вы должны установить все из них, если вы не используете конструктор или инициализатор по умолчанию.Вы должны установить все из них , включая частные поля .

Но если структура имеет все открытые поля, не противоречит ли это рекомендациям по передовому опыту двумя способами?Во-первых, потому что у него есть открытые поля, а во-вторых, потому что это изменяемый тип значения?

Да.Не делай этого.

Answer 2

Я думаю, вы путаете типы значений с неизменяемостью. Я думаю этот ТАК вопрос поможет вам.

Answer 3

«this.Size.Height = 5» не работает, потому что, когда тип значения используется в качестве типа свойства, приведенная выше строка кода будет фактически означать «this.get_Size (). Set_Height (5)»,и результатом вызова get_Size () является копия оригинала, являющаяся типом значения.

Таким образом, если бы это было разрешено C #, установка значения свойства на 5 изменила бы значение копии, а не исходное значение свойства, что крайне нежелательно.

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

Answer 4

Это очень нормально.И почему вы думаете, что он не должен позволять вам устанавливать значение для высоты?Это очень нормальное поведение, как свойства должны работать.Что касается вызова new, то да, это не обязательно для типов значений.Для типов значений он просто вызывает конструктор по умолчанию, который просто инициализирует поля со значениями по умолчанию.

Answer 5

Свойство будет возвращать значение, которое возвращает его метод "get". То же самое для структур и классов. Если вы предоставляете метод "set", он будет делать все, что указывает "set". Единственный способ, которым высота не может быть изменена, это либо использовать закрытый «набор», либо вообще не предоставлять «набор».