记录类型

是什么，为什么存在

记录类型（record type） 是一种类或结构体，其编译器生成的契约把数据视为类型的核心。两个分别分配的记录对象，只要对应成员相等，就可以比较为相等。普通类默认比较引用标识，除非你另行实现相等契约。

record 修饰符要求编译器生成值相等比较、配套哈希行为、可读的 ToString() 与 with 表达式支持。位置记录还会得到主构造函数、公开属性与 Deconstruct()。这些成员消除了重复代码，却不会替你决定哪些数据应该属于该类型。

当数据内容决定身份时，记录类型适合数据传输对象、消息、坐标、金额值与快照。若实体在属性变化后仍保持同一身份，记录类型通常不是默认选择。例如，客户改名后仍是同一位客户，用基于 ID 的类契约可能比比较每个记录成员更清楚。

record 与 record class 声明引用类型；record struct 与 readonly record struct 声明 值类型（value type） 。它们共享编译器生成的记录功能，但赋值、可空性、继承与默认值行为仍由底层的类或结构体语义决定。

记录类型不承诺不可变。位置记录类的属性带有 init 访问器，但记录仍可声明可写属性，也可以包含可变对象。非只读 record struct 的位置属性默认可读写。

工作原理

位置声明与生成成员

public record OrderLine(string Sku, int Quantity); 声明一个记录类。两个位置参数会成为公开的 init-only 属性、构造函数参数与生成的 Deconstruct() 输出，并参与编译器生成的相等比较与字符串表示。

名义记录用普通类型体替代位置参数。它仍会得到记录类型的相等、哈希、显示与复制成员，但不会仅因为写了 record 就自动得到主构造函数或 Deconstruct()。需要展开属性名称、默认值、访问器或构造规则时，适合使用这种形式。

init 访问器（init accessor） 允许在对象构造阶段和 with 初始化器中赋值，之后拒绝普通赋值。这只提供浅层不可变性。若一个 init-only 属性指向 List<T>，调用方在构造后仍能修改该列表。

生成的接口取决于声明形式：

相等性与哈希码

编译器生成的记录相等性，是针对记录实例状态的 结构相等性（structural equality） 。每个成员沿用自身的相等契约。字符串按内容比较，而数组和常见可变列表类默认按引用比较，除非另有比较器或包装类型定义不同规则。

在同一次执行中，相等的记录会产生相同哈希码，因此记录可用作字典键或集合元素。反向推论并不成立，不相等的值可能发生哈希冲突。更重要的是，记录存放在哈希集合期间，所有参与相等与哈希的值都必须保持稳定。

插入后修改可写属性，可能改变生成的哈希码。字典随后会去另一个桶查找，甚至找不到当初作为键插入的同一个对象。init 能降低顶层属性的这类风险，却不能阻止嵌套对象改变自身的相等行为。

记录类继承会在相等判断中加入运行时类型检查。基类记录实例与派生记录实例不会仅因共有成员一致而相等。这样才能保持对称性，即 baseValue.Equals(derivedValue) 与反向调用必须得到同一答案。

使用 with 复制

with 表达式（with expression） 先创建副本，再给初始化器中点名的成员赋值。对记录类，编译器生成的机制会按复制语义创建新对象；对记录结构体，则先复制值，再修改副本上选定的字段或属性。

默认结果是 浅拷贝（shallow copy） 。除非初始化器替换引用类型成员，否则它们仍指向同一个嵌套实例。original with { Name = "new" } 不会克隆其他成员保存的数组、列表、字典或对象。

在记录类继承体系中，结果会保留操作数的运行时类型。静态类型为基记录的变量可以指向派生记录，对它使用 with 仍会生成另一个派生对象。初始化器只能点名接收者编译时类型可见的成员。

复制还会影响派生值或缓存值。由位置参数计算的属性初始化器在原始构造时运行，其存储结果随后被复制。如果 with 改变输入属性，这个已存结果可能过期；应在访问时计算依赖值，或明确重建不变量。

先决定相等性，再选择语法

决定性问题是：哪些值一致时，两个实例可以互换？如果答案是所有稳定成员值，记录生成的契约很有用。如果相等性取决于数据库身份、规范化策略、序列内容或领域容差，就不能未经审查直接接受生成的相等行为。

复制语义是另一个决定。普通赋值记录类时复制的是引用，使用 with 才会创建新的外层对象。记录结构体在普通赋值时也会复制字段，因此大型或可变结构体即使没有出现 with，也可能让调用方意外。

构造规则需要单独处理。required 可以要求调用方初始化成员，却不会校验范围或跨成员关系。构造函数、工厂与验证访问器仍需覆盖无效值的测试；无论构造函数检查了什么，default(SomeRecordStruct) 始终存在。

示例

下面的示例依次展示生成的位置接口、浅拷贝、嵌套成员相等性与记录继承。本地环境没有 .NET SDK 或 C# 编译器，因此所有代码块都明确标为未执行，也不编造输出。

查看位置记录的接口

两个分别创建的订单行会比较为相等。解构遵循位置顺序，with 则创建修改后的外层对象，不改变原对象。

这个声明没有验证逻辑，因此生成的构造函数会接受挑战项中的边界值。这里使用按成员顺序比较的相等性，编译器不会修剪 SKU、折叠大小写，也不会推断数量必须为正。

sealed 阻止派生记录扩大相等性定义域。对于含义封闭的小型值，这是合理选择，但它不会让引用类型成员变为不可变。

暴露浅拷贝

with 表达式修改了 Version，但只复制 Tags 引用。通过任一记录修改列表，另一个记录都会看到变化。

// # not executed here: the .NET SDK and C# compilers are unavailable
using System;
using System.Collections.Generic;

ReleaseNotes original = new("1.0", ["preview"]);
ReleaseNotes published = original with { Version = "1.1" };

published.Tags.Add("stable");

Console.WriteLine(ReferenceEquals(original, published));
Console.WriteLine(ReferenceEquals(original.Tags, published.Tags));
Console.WriteLine(string.Join(", ", original.Tags));
Console.WriteLine(string.Join(", ", published.Tags));

public sealed record ReleaseNotes(
    string Version,
    List<string> Tags);

# not executed here: the .NET SDK and C# compilers are unavailable

把属性写成 IReadOnlyList<string> 会限制通过该接口修改，却不会复制传入对象，也不能保证实际实现不可变。当记录契约要求内容固定时，需要定义集合所有权，并取得防御性快照或不可变快照。

记录类可以用自定义复制行为克隆嵌套状态，但出人意料的深拷贝不一定更好。必须说明对象图中哪些边会复制；否则遇到身份敏感对象、资源与循环时，「全部克隆」本身就没有明确含义。

测试嵌套成员相等性

数组自身的 Equals 使用引用相等性。前两个键共享同一个数组，因此比较为相等；第三个键使用内容相同但实例不同的数组，不满足生成的记录相等性。

// # not executed here: the .NET SDK and C# compilers are unavailable
using System;
using System.Collections.Generic;

string[] sharedScopes = ["read", "write"];

CacheKey first = new("tenant-a", sharedScopes);
CacheKey sameReference = new("tenant-a", sharedScopes);
CacheKey sameContents = new("tenant-a", ["read", "write"]);

HashSet<CacheKey> keys = [first, sameReference, sameContents];

Console.WriteLine(first == sameReference);
Console.WriteLine(first == sameContents);
Console.WriteLine(keys.Count);

public sealed record CacheKey(
    string TenantId,
    string[] Scopes);

# not executed here: the .NET SDK and C# compilers are unavailable

把数组替换为 IReadOnlyList<string> 本身不会改变相等行为。若序列内容定义这个值，应使用具备序列相等性的包装类型，或实现完整的相等与哈希契约。只自定义 Equals 而不提供匹配的 GetHashCode，会破坏哈希集合行为。

缓存键必须包含租户、区域、权限与规范化版本等所有隔离字段。记录语法无法判断遗漏字段究竟无关紧要，还是会导致跨租户数据泄漏。

结合继承与模式

这个继承体系为每种消息提供简洁的数据形状。模式匹配随后可以在消费边界区分派生运行时类型，并校验其中的值。

// # not executed here: the .NET SDK and C# compilers are unavailable
using System;

PaymentMessage[] messages =
[
    new Authorized("P-17", 42m),
    new Declined("P-18", "insufficient-funds")
];

foreach (PaymentMessage message in messages)
    Console.WriteLine(Describe(message));

static string Describe(PaymentMessage message) => message switch
{
    Authorized { Amount: > 0m } paid => $"paid {paid.Id}: {paid.Amount}",
    Authorized => "invalid authorization",
    Declined { Reason.Length: > 0 } failed => $"declined {failed.Id}: {failed.Reason}",
    _ => "unknown payment message"
};

public abstract record PaymentMessage(string Id);
public sealed record Authorized(string Id, decimal Amount) : PaymentMessage(Id);
public sealed record Declined(string Id, string Reason) : PaymentMessage(Id);

# not executed here: the .NET SDK and C# compilers are unavailable

基类型明确列出可接受的类型族，但 C# 记录继承并不是密封联合。另一个程序集仍可从可访问且未密封的基类派生，所以最后一个分支必须定义未知类型策略。

模式匹配只消费记录形状，不负责验证构造。如果负数金额在任何位置都不应存在，应在消息进入继承体系前建立不变量，而不是要求每个消费者重复同一个分支。

陷阱

把所有记录都称为不可变

修复方法： 审查每个字段与属性，包括嵌套对象。不需要值类型变更时使用 readonly record struct；内容必须固定时，对调用方拥有的集合取得快照。

假设 with 会深拷贝

修复方法： 对所有权敏感的嵌套成员测试 ReferenceEquals。可以在初始化器中替换成员、使用不可变表示，或在更深复制属于契约时，为记录类定义并说明自定义复制行为。

误以为生成的相等性会比较集合内容

修复方法： 明确集合身份、顺序敏感的内容或集合式内容中，哪一种定义相等。把选择编码进包装类型或自定义比较器，并验证相等值始终产生相同哈希码。

修改哈希键

修复方法： 键位于集合期间，必须保持其哈希状态稳定。优先使用由规范化标量值组成的小型不可变键记录，并在每个可能修改嵌套状态的操作后测试查找。

忘记记录结构体的全零值

修复方法： 让零值具备有效含义，或者在使用前验证；若「没有值」必须单独表达，可以选择记录类或显式可选包装。只靠构造函数验证无法禁止结构体默认值。

让复制后的属性过期

修复方法： 计算成本较低时，把依赖值写成计算 getter；否则通过同时重建并验证所有依赖状态的操作更新。测试时用 with 逐一改变每个源成员，再读取所有派生成员。

延伸阅读

• 记录类型：C# 参考
• C# 记录类型
• with 表达式：C# 参考
• init 关键字：C# 参考