当前位置:首页 > 技术 > 正文内容

深入理解 C# 9 记录类型:利用 with 表达式掌握不可变性设计

访客 技术 2026年11月2日 1

C# 9 记录类型与值语义基础

在 C# 9 中,引入了 `record` 关键字,这标志着该语言在函数式编程支持上迈出了重要一步。记录类型(Record Types)本质上是引用类型,但它们在行为上更接近值类型,特别是其内置的"值相等性"特征。

声明记录类型

记录类型支持简洁的声明方式,允许在一行代码中定义属性、构造函数和解构函数。
// 定义一个表示车辆信息的记录
public record Vehicle(string Make, string Series, int ReleaseYear);

// 实例化两个属性完全一致的对象
var car1 = new Vehicle("Tesla", "Model 3", 2021);
var car2 = new Vehicle("Tesla", "Model 3", 2021);

// 在传统类中这里会返回 False,但在记录类型中返回 True
Console.WriteLine(car1 == car2); 

非破坏性修改与 with 表达式

不可变性是记录类型的核心设计理念。为了在不修改原始对象的情况下更新数据,C# 引入了 `with` 表达式。它会创建一个原对象的浅拷贝,并根据开发者指定的属性进行覆盖。
// 使用 with 表达式生成新实例,修改发行年份
var updatedCar = car1 with { ReleaseYear = 2024 };

Console.WriteLine(car1.ReleaseYear);    // 输出 2021 (原对象保持不变)
Console.WriteLine(updatedCar.ReleaseYear); // 输出 2024 (新对象已更新)

记录类型与传统类的对比

下表列出了记录类型与普通类(Class)在核心机制上的显著差异:
功能特性 记录类型 (Record) 普通类 (Class)
默认相等性 基于属性值的比较 基于内存地址(引用)的比较
可变性倾向 鼓励不可变(init-only) 通常设计为可变(get/set)
语法便捷性 自动生成构造函数、Equals、ToString 需手动重写或编写样板代码
克隆机制 原生支持 with 表达式 需实现 ICloneable 或手动编写拷贝逻辑

with 表达式的底层工作原理

当编译器处理 `with` 表达式时,它并不是简单地进行成员赋值,而是通过一个特殊的"克隆方法"来实现非破坏性修改。

编译器生成的克隆机制

记录类型会隐式包含一个名为 `$` 的方法。`with` 表达式在底层会先调用此方法创建副本,然后调用属性的 `init` 访问器完成赋值。

不可变性的优势

  • 线程安全: 不可变对象天然免疫多线程竞态条件,无需复杂的加锁机制。
  • 状态一致性: 对象一旦创建即保证其状态不再变更,降低了业务逻辑中的意外副作用。
  • 引用透明性: 函数的输出仅依赖于输入,不修改外部状态,便于进行单元测试。

深拷贝与浅拷贝的性能权衡

记录类型的 `with` 表达式默认执行的是浅拷贝。对于包含嵌套对象的复杂结构,这一点尤为重要。
public record Engine(string SerialNumber);
public record Truck(string Model, Engine PowerPlant);

var engine = new Engine("V8-999");
var truck1 = new Truck("HeavyLoad", engine);

// 浅拷贝:truck2 与 truck1 共享同一个 engine 引用
var truck2 = truck1 with { Model = "SuperLoad" };

Console.WriteLine(ReferenceEquals(truck1.PowerPlant, truck2.PowerPlant)); // 输出 True
在处理包含大规模引用类型的记录时,浅拷贝能显著减少内存分配和 CPU 周期,但开发者需注意引用共享带来的潜在风险。

不可变模式在工程中的实践

在领域驱动设计 (DDD) 中的应用

在 DDD 中,值对象(Value Objects)非常适合使用记录类型。由于记录类型原生支持值相等性,判断两个领域模型是否等价变得非常简单。
// 货币值对象示例
public record Money(decimal Amount, string Currency);

public void ProcessPayment(Money payment) {
    // 逻辑处理,始终返回新对象
}

事件溯源中的快照机制

在事件溯源系统中,通过存储聚合根的快照来优化性能。记录类型可以轻松捕捉某一时刻的状态,并通过 `with` 表达式将历史状态演进为新状态。
public record OrderState(string OrderId, string Status, decimal Total);

// 状态演进
var shippedOrder = currentState with { Status = "Shipped" };

结合 LINQ 进行集合转换

不可变集合配合 LINQ 可以构建纯净的数据处理流水线:
var inventory = ImmutableList.Create(
    new Device("Laptop", 1200),
    new Device("Phone", 800)
);

var discounted = inventory
    .Where(d => d.Price > 1000)
    .Select(d => d with { Price = d.Price * 0.9m })
    .ToImmutableList();

未来演进与技术融合

随着 .NET 版本的更迭,记录类型的应用边界正在不断扩展。从边缘计算中的轻量级数据模型到云原生微服务中的 DTO(数据传输对象),不可变性都在发挥关键作用。 在分布式系统中,结合服务治理(如 Service Mesh 流量调度)和现代加密协议,确保数据在传输与存储过程中的不可变性和完整性,已成为构建健壮架构的标准做法。通过混合密钥交换机制和版本化的配置管理,系统能够在保证高性能的同时,实现更高级别的容错能力与安全基准。

相关文章

Linux crontab 详解

1) crontab 是什么cron 是 Linux 的定时任务守护进程;crontab 是用来编辑/查看“按时间周期执行命令”的表(cron table)。常见两类:用户 crontab:每个用户一份(crontab -e 编辑)系统级 crontab / cron.d:可指定执行用户(/etc/crontab、/etc/cron.d/*)2) crontab 时间...

富文本里可以允许的 HTML 属性

一、所有标签默认允许的安全属性(极少)class        (可选)id           (通常建议禁用)title️ 注意:id 容易被滥用做锚点注入,很多系统直接禁用class 允许的话最好只允许固定前缀(如 editor-*)二、a 标签允许属性<a href="" t...

Mac 安装 Node.js 指南

方法一:通过官网安装包(最简单,适合初学者)如果你只是想快速安装并开始使用,这是最直接的方法。访问 Node.js 官网。页面会显示两个版本:LTS (Recommended For Most Users):长期支持版,最稳定。建议选这个。Current:最新特性版,包含最新功能但可能不够稳定。下载 .pkg 安装包并运行。按照安装向导点击“下一步”即可完成。方法二:使用 Homebrew 安装(...

Dom\HTML_NO_DEFAULT_NS 的副作用:自动加闭合标签

在使用Dom\HTMLDocument时,Dom\HTML_NO_DEFAULT_NS 将禁止在解析过程中设置元素的命名空间, 此设置是为了与DOMDocument向后兼容而存在的。当使用它时,已知的一个副作用就是:自动加闭合标签例如 </img> 为什么会这样?当你使用:Dom\HTML_NO_DEFAULT_NS文档会变成 无命名空间模式,此时内部更接近 XML...

自定义域名解析神器 dnsmasq

什么是 dnsmasq?dnsmasq 是一个轻量级、功能强大的网络服务工具,专为小型和中等规模网络设计。它是一个综合的网络基础设施解决方案[1]。dnsmasq 能做什么?功能说明应用场景DNS 转发与缓存将 DNS 查询转发到上游服务器(ISP、Google DNS 等),并在本地缓存结果加快 DNS 查询速度,减少外部 DNS 流量本地 DNS解析本地网络设备的主机名,无需编辑&n...

linux screen 用法详情 (nohup 的替代方案)

一、screen 是什么?能干嘛?screen 是一个终端复用器,可以:在一个 SSH 会话中开多个“虚拟终端”SSH 断线后,程序仍然在后台运行随时重新连接到原来的会话特别适合:nohup 的替代方案跑脚本 / 爬虫 / 训练模型运维、远程开发二、安装 screen# CentOS / Rocky / Almayum install -y screen# Debian / Ubuntuapt i...

发表评论

访客

◎欢迎参与讨论,请在这里发表您的看法和观点。