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

Эквивалентность с типами записей

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

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

Для типов записей присваивание экземпляра такого типа новой переменной создает указатель на ту же самую ссылку, что аналогично поведению классов. Это демонстрируется в приведенном ниже коде:

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, доказывая эквивалентность по значению и по ссылке.