record修饰符定义一个引用类型,用来提供用于封装数据的内置功能。C# 10允许recode class语法作为同义词来阐明引用类型,并允许recode struct使用相同功能定义值类型。本文将重点讲解recode在实际中的使用。
在记录(record)上声明主构造函数时,编译器会为主构造函数参数生成公共属性。记录的主构造函数参数称为位置参数。编译器创建镜像主构造函数或位置参数的位置属性。编译器不会在没有record修饰符的类型上合成主构造函数参数的属性。
public record Person(string name,string address,int age);
public record Person
{
public required string name{get;init;}
public required string address{get;init;}
public required int address{get;init;}
}
public readonly record struct Point(double X,double Y,double Z);
public record struct Point
{
public double X{get;init;}
public double Y{get;init;}
public double Z{get;init;}
}
记录(record)定义了一些不可变的类型,其实记录也可以创建为可变的类型。但是record主要用于支持不可变的数据模型中。记录创建为可变属性和字段的记录如下:
创建可变引用类型记录
public record Person
{
public required string FirstName { get; set; }
public required string LastName { get; set; }
};
创建结构型记录
public record struct Point
{
public double X { get; set; }
public double Y { get; set; }
public double Z { get; set; }
}
record
或record class
声明引用类型。class
关键字是可选项,但可以提供代码辨识度。record struct
声明值类型。readonly record struct
中不可变。record
一词用于描述应用于所有记录类型的行为。record struct
或record class
用于描述仅适用于struct或class类型的行为。
在创建Recode实例时,可以使用位置参数来声明记录的属性,并初始化属性值:
public record Person(string UserName,int UserAge);
public static void Main()
{
Person person=new("诸葛亮",59);
Console.WriteLine(person);
}
属性定义使用位置语法时,编译器将执行一下操作:
record
和readonly record struct
类型,为record
属性。record struct
类型,为读写属性。record struct
类型,则是将每个字段设置为其默认值的无参数构造函数。Deconstruct
方法,对记录声明中提供的每个位置参数都一个out
参数。此方法解构了使用位置语法定义的属性;并忽略了使用标准的属性语法定义的属性。如果生成的自动实现的属性定义并不是你所需要的,你可以自行定义同名的属性。例如,你可能想要更改可访问性或可变性,或者为get
或set
访问器提供实现。如果在源中声明属性,则必须从记录的位置参数初始化该属性。如果属性是自动实现的属性,则必须初始化该属性。如果在源中添加支持字段,则必须初始化支持字段。生成的析构函数将使用属性定义。
positional record
和positional readonly record struct
声明init-only
属性。positional record struct
声明read-write属性性,可以替代这些默认值中的任何一个。
如果你需要一个以数据为中心的类型是线程安全的,或者需要使哈希代码保持不变,那么不可变性很有用。但不可变性并不是适用于所有的数据场景。例如,Entity Framework Core
就不支持通过不可变实体类型进行更新。
init-only
属性无论是通过位置参数(record class
和readonly record struct
)创建的,还是通过指定init
访问器创建的,都具有浅的不可变性。初始化后,将不能更改值型的值或引用类型的引用地址。不过,引用类型引用的数据是可以更改的,下面示例展示了引用型不可变属性的内容时可变的:
public record Person(string UserName,int UserAge,String[] UserPhones);
public static void Main()
{
Person person=new("诸葛亮",55,new string[1]{"010-6689012"});
Console.WriteLine(person.UserPhones[0]);// output:010-6689012
person.PhoneNumbers[0] = "010-6689018";
Console.WriteLine(person.UserPhones[0]);// output:010-6689018
}
记录类型持有功能是由编译器合成的方法实现的,这些方法都不会通过修改对象状态来影响不可变性。除非另行指定,否则将为record
,record struct
和readonly record struct
声明生成综合方法。
如果不替代或替换相等性方法,则声明的类型将控制如何定义相等性。
class
类型,如果两个对象引用内存中的同一个对象,则这两个对象相等。struct
类型,如果两个对象是相同的类型并存储相同的值,则这两个对象相等。record
修饰符(record class
、record struct
和readonly record struct
)的类型,如果两个对象是相同的类型并存储相同的值,则这两个对象相等。record struct
的相等性定义与struct
的相等性定义相同。不同之处在于,对于struct
,实现处于ValueType.Equals(Object)
中并且依赖反射,对于记录,实现由编译器合成,并且使用声明的数据成员。
如果需要复制包含一些修饰的实例,可以使用with
表达式来实现非破坏性变化。with
表达式创建一个新的记录实例,该实例是现有记录的实例的一个副本,修改了指定属性和字段。使用对象初始化设定项语法指定要更改的值,实例如下:
public record Person(string userName,int userAge)
{
public string[] userPhone {get;init;}
}
public static void Main()
{
Person person1=new("诸葛亮",35);
Console.WriteLine(person1);
//output:Person{userName=诸葛亮,userAge=35,userPhone=System.String[]}
Person person2= person1 with {userName="赵云"};
Console.WriteLine(person2);
//output:Person{userName=赵云,userAge=35,userPhone=System.String[]}
Console.WriteLine(person1 == person2);
//output:False
}
with
表达式可以设置位置属性或使用标准属性语法创建的属性。显示声明属性必须有一个init
或set
访问器才能在with
表达式中进行更改。
with
表达式的结果是一个浅的副本,这意味着对于引用属性,只复制对实例的引用。原始记录和副本最终都具有对同一个实例的引用。
为了对record class
类型实现此功能,编译器合成了一个克隆方法和一个复制构造函数,虚拟克隆方法返回由复制构造函数初始化的新记录,当使用with
表达式时,编译器将创建调用克隆方法的代码,然后设置with
表达式中指定的属性。
record
继承仅适用于record class
类型。一条记录可以从另一条记录继承。但是记录不能继承类,类也不能继承记录类。
派生记录为基本记录主构造函数中的所有参数声明位置参数。基本记录声明并初始化这些属性。派生记录不会隐藏它们,而只会创建和初始化在基本记录中声明的参数的属性。
public abstract record Person(string FirstName, string LastName);
public record Teacher(string FirstName, string LastName, int Grade)
: Person(FirstName, LastName);
public static void Main()
{
Person teacher = new Teacher("Nancy", "Davolio", 3);
Console.WriteLine(teacher);
// output: Teacher { FirstName = Nancy, LastName = Davolio, Grade = 3 }
}
记录是一个语法糖,本质上还是class或者struct,它只编译时生效,在公共语言运行时中并不存在记录这个内容。