Console.WriteLine($"Cars are the same? {myCar.Equals(anotherMyCar)}");
// Эквивалентны ли экземпляры Car?
Однако они не эквивалентны. Вспомните, что типы записей представляют собой специализированный вид класса, а классы являются ссылочными типами. Чтобы два ссылочных типа были эквивалентными, они должны указывать на тот же самый объект в памяти. В качестве дальнейшей проверки выясним, указывают ли два экземпляра Car на тот же самый объект:
Console.WriteLine($"Cars are the same reference?
{ReferenceEquals(myCar, anotherMyCar)}");
// Указывают ли экземпляры Car на тот же самый объект?
Запуск программы дает приведенный ниже результат:
Cars are the same? False
CarRecords are the same? False
Типы записей ведут себя по-другому. Они неявно переопределяют Equals(), == и !=, чтобы производить результаты, как если бы экземпляры были типами значений. Взгляните на следующий код и показанные далее результаты:
Console.WriteLine($"CarRecords are the same?
{myCarRecord.Equals(anotherMyCarRecord)}");
// Эквивалентны ли экземпляры CarRecord?
Console.WriteLine($"CarRecords are the same reference?
{ReferenceEquals(myCarRecord,anotherMyCarRecord)}");
// Указывают ли экземпляры CarRecord на тот же самый объект?
Console.WriteLine($"CarRecords are the same?
{myCarRecord == anotherMyCarRecord}");
Console.WriteLine($"CarRecords are not the same?
{myCarRecord != anotherMyCarRecord}");
Вот результирующий вывод:
/*************** RECORDS *********************/
My car:
CarRecord { Make = Honda, Model = Pilot, Color = Blue }
Another variable for my car:
CarRecord { Make = Honda, Model = Pilot, Color = Blue }
CarRecords are the same? True
CarRecords are the same reference? false
CarRecords are the same? True
CarRecords are not the same? False
Обратите внимание, что записи считаются эквивалентными, невзирая на то, что переменные указывают на два разных объекта в памяти.
Копирование типов записей с использованием выражений with
Для типов записей присваивание экземпляра такого типа новой переменной создает указатель на ту же самую ссылку, что аналогично поведению классов. Это демонстрируется в приведенном ниже коде:
(window.adrunTag = window.adrunTag || []).push({v: 1, el: 'adrun-4-390', c: 4, b: 390})
CarRecord carRecordCopy = anotherMyCarRecord;
Console.WriteLine("Car Record copy results");
Console.WriteLine($"CarRecords are the same?
{carRecordCopy.Equals(anotherMyCarRecord)}");
Console.WriteLine($"CarRecords are the same?
{ReferenceEquals(carRecordCopy,
anotherMyCarRecord)}");
В результате запуска кода обе проверки возвращают True, доказывая эквивалентность по значению и по ссылке.
Для создания подлинной копии записи с модифицированным одним или большим числом свойств в версии C# 9.0 были введены выражения with. В конструкции with указываются любые подлежащие обновлению свойства вместе с их новыми значениями, а значения свойств, которые не были перечислены, копируются без изменений. Вот пример:
CarRecord ourOtherCar = myCarRecord with {Model = "Odyssey"};
Console.WriteLine("My copied car:");
Console.WriteLine(ourOtherCar.ToString());
Console.WriteLine("Car Record copy using with expression results");
// Результаты копирования CarRecord
// с использованием выражения with
Console.WriteLine($"CarRecords are the same?
{ourOtherCar.Equals(myCarRecord)}");
Console.WriteLine($"CarRecords are the same?
{ReferenceEquals(ourOtherCar, myCarRecord)}");
В коде создается новый экземпляр типа CarRecord с копированием значений Make и Color экземпляра myCarRecord и установкой Model в строку "Odyssey". Ниже показаны результаты выполнения кода:
/*************** RECORDS *********************/
My copied car:
CarRecord { Make = Honda, Model = Odyssey, Color = Blue }
Car Record copy using with expression results
CarRecords are the same? False
CarRecords are the same? False
С применением выражений with вы можете компоновать экземпляры типов записей в новые экземпляры типов записей с модифицированными значениями свойств. На этом начальное знакомство с новыми типами записей C# 9.0 завершено. В следующей главе будут подробно исследоваться типы записей и наследование.
Резюме
Целью главы было ознакомление вас с ролью типа класса C# и нового типа записи C# 9.0. Вы видели, что классы могут иметь любое количество конструкторов, которые позволяют пользователю объекта устанавливать состояние объекта при его создании. В главе также было продемонстрировано несколько приемов проектирования классов (и связанных с ними ключевых слов). Ключевое слово this используется для получения доступа к текущему объекту. Ключевое слово static дает возможность определять поля и члены, привязанные к уровню класса (не объекта). Ключевое слово const, модификатор readonly и средства доступа только для инициализации позволяют определять элементы данных, которые никогда не изменяются после первоначальной установки или конструирования объекта. Типы записей являются особым видом класса, который неизменяем и при сравнении одного экземпляра типа записи с другим экземпляром того же самого типа записи ведет себя подобно типам значений.
