« Record » : différence entre les versions
De Banane Atomic
Aller à la navigationAller à la recherche
| Ligne 70 : | Ligne 70 : | ||
Person person1 = new("Nicolas", [ "06-10-20-30-40" ]); | Person person1 = new("Nicolas", [ "06-10-20-30-40" ]); | ||
Person person2 = person1 with { Name = "Audrey" }; | Person person2 = person1 with { Name = "Audrey" }; | ||
person2 = person1 with { }; // copy without modification | |||
Console.WriteLine(person1 == person2); // true | |||
</kode> | </kode> | ||
Version du 9 août 2024 à 13:59
Links
Definition
Built-in functionality for encapsulating immutable data.
C# 10 allows the record class syntax as a synonym to clarify a reference type, and record struct to define a value type.
Primary constructor
When you declare a primary constructor on a record, the compiler generates public properties for the primary constructor parameters.
|
public record Person(string FirstName, string LastName);
// with the generated properties it is equivalent to
public record Person
{
public required string FirstName { get; init; }
public required string LastName { get; init; }
};
// record struct value type with immutable properties
public readonly record struct Point(double X, double Y);
// equivalent to
public record struct Point
{
public double X { get; init; }
public double Y { get; init; }
}
// record struct value type with mutable properties
public record struct Point(double X, double Y);
// equivalent to
public record struct Point
{
public double X { get; set; }
public double Y { get; set; }
}
|
Immutability
Immutability means the data of the record don't change after its creation.
It is useful when you need thread-safe data-centric types or expect hash codes remaining the sames.
However, the data that a reference-type property refers to can be changed:
|
|
public record Person(string Name, string[] PhoneNumbers);
Person person = new("Nicolas", new string[1] { "06-10-20-30-40" });
// the PhoneNumbers array is immutable, but the string in the array are mutable
person.PhoneNumbers[0] = "06-11-22-33-44";
|
Value equality
Two record objects are equal if they are of the same type and store the same values.
|
|
string[] phoneNumbers = [ "06-10-20-30-40" ];
Person person1 = new("Nicolas", phoneNumbers);
Person person2 = new("Nicolas", phoneNumbers);
Console.WriteLine(person1 == person2); // true
Person person1 = new("Nicolas", [ "06-10-20-30-40" ]);
Person person2 = new("Nicolas", [ "06-10-20-30-40" ]);
Console.WriteLine(person1 == person2); // false
public record Person(string Name, string[] PhoneNumbers);
|
Nondestructive mutation
Allow to copy and modify the copy only.
|
|
Person person1 = new("Nicolas", [ "06-10-20-30-40" ]);
Person person2 = person1 with { Name = "Audrey" };
person2 = person1 with { }; // copy without modification
Console.WriteLine(person1 == person2); // true
|
