Язык программирования C#9 и платформа .NET5

Троелсен Эндрю

static void ValueTypeContainingRefType

{

// Создать первую переменную Rectangle.

Console.WriteLine("-> Creating r1");

Rectangle r1 = new Rectangle("First Rect", 10, 10, 50, 50);

// Присвоить новой переменной Rectangle переменную r1.

Console.WriteLine("-> Assigning r2 to r1");

Rectangle r2 = r1;

// Изменить некоторые значения

в r2.

Console.WriteLine("-> Changing values of r2");

r2.RectInfo.InfoString = "This is new info!";

r2.RectBottom = 4444;

// Вывести значения из обеих переменных Rectangle.

r1.Display;

r2.Display;

}

Вывод будет таким:

– > Creating r1

– > Assigning r2 to r1

– > Changing values of r2

String = This is new info!, Top = 10, Bottom = 50, Left = 10, Right = 50

String = This is new info!, Top = 10, Bottom = 4444, Left = 10, Right = 50

Как видите, в случае модификации значения информационной строки с использованием ссылки

r2

для ссылки

r1

отображается то же самое значение. По умолчанию, если тип значения содержит другие ссылочные типы, то присваивание приводит к копированию ссылок. В результате получаются две независимые структуры, каждая из которых содержит ссылку, указывающую на один и тот же объект в памяти (т.е. создается поверхностная копия). Для выполнения глубокого копирования, при котором в новый объект полностью копируется состояние внутренних ссылок, можно реализовать интерфейс

ICloneable

(что будет показано в главе 8).

Передача ссылочных типов по значению

Ранее в главе объяснялось, что ссылочные типы и типы значений могут передаваться методам как параметры. Тем не менее, передача ссылочного типа (например, класса) по ссылке совершенно отличается от его передачи по значению. Чтобы понять разницу, предположим, что есть простой класс

Person

, определенный в новом проекте консольного приложения по имени

FunWithRefTypeValTypeParams

:

class Person

{

public string personName;

public int personAge;

// Constructors.

public Person(string name, int age)

{

personName = name;

personAge = age;

}

public Person{}

public void Display

{

Console.WriteLine("Name: {0}, Age: {1}", personName, personAge);

}

}

А что если мы создадим метод, который позволит вызывающему коду передавать объект

Person

по значению (обратите

внимание на отсутствие модификаторов параметров, таких как out или

ref

)?

static void SendAPersonByValue(Person p)

{

// Изменить значение возраста в р?

p.personAge = 99;

// Увидит ли вызывающий код это изменение?

p = new Person("Nikki", 99);

}

Здесь видно, что метод

SendAPersonByValue

пытается присвоить входной ссылке на

Person

новый объект

Person

, а также изменить некоторые данные состояния. Протестируем этот метод с помощью следующего кода:

// Передача ссылочных типов по значению.

Console.WriteLine("***** Passing Person object by value *****");

Person fred = new Person("Fred", 12);

Console.WriteLine("\nBefore by value call, Person is:");

// Перед вызовом с передачей по значению

fred.Display;

SendAPersonByValue(fred);

Console.WriteLine("\nAfter by value call, Person is:");

// После вызова с передачей по значению

fred.Display;

Console.ReadLine;

Ниже показан результирующий вывод:

***** Passing Person object by value *****

Before by value call, Person is:

Name: Fred, Age: 12

After by value call, Person is:

Name: Fred, Age: 99

Легко заметить, что значение

PersoneAge

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

Person

прошла успешно, возникает вопрос: что же тогда было скопировано? Ответ: была получена копия ссылки на объект из вызывающего кода. Следовательно, раз уж метод

SendAPersonByValue

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

Передача ссылочных типов по ссылке

Предположим, что имеется метод

SendAPersonByReference

, в котором ссылочный тип передается по ссылке (обратите внимание на наличие модификатора параметра

ref

):

static void SendAPersonByReference(ref Person p)

{

// Изменить некоторые данные в р.

p.personAge = 555;

// р теперь указывает на новый объект в куче!