C#怎么使用ref readonly_C#按引用传递且防止修改【底层】

星浩酱_7833

星浩酱_7833

2026-04-29

903人浏览

原创

ref readonly 是 c# 7.2 引入的底层只读引用机制,通过 il 的 readonly. 前缀禁止修改所指内存,编译器阻止赋值和调用非 readonly 方法,但不阻止读取或复制后修改。

c#怎么使用ref readonly_c#按引用传递且防止修改【底层】

ref readonly 是什么,它真能阻止修改吗

ref readonly 不是“只读引用”的语法糖,而是 C# 7.2 引入的底层机制:它让编译器在 IL 层面生成 ldarg.0(或类似)后跟 readonly. 前缀指令,向 JIT 表明该引用所指向的内存不可被写入。这意味着:

  • 编译器会禁止你对 ref readonly 变量本身赋值(比如 r = ref other; 报错)
  • 更关键的是,禁止通过它调用任何可能修改字段的方法(包括 set 访问器、非 readonly 实例方法)
  • 但它不阻止你读取字段、调用 readonly 方法、或把值复制出来再改

常见错误现象:ref readonly Person p = ref GetPerson(); p.Name = "new"; —— 直接编译失败,提示 “Cannot assign to variable ‘p’ because it is a readonly variable”

什么时候必须用 ref readonly 而不是普通 readonly 或 in 参数

ref readonly 的核心价值在于:零拷贝 + 只读语义 + 支持任意结构体(包括未标记 readonly struct 的)

  • 普通 readonly 字段或局部变量只是“不可重新赋值”,但若类型是可变结构体(如 Span<byte></byte>),它内部字段仍可被改
  • in 参数本质是编译器对 ref readonly 的语法糖,仅用于参数传递;无法用于返回、字段、局部变量等场景
  • 如果你要从一个大结构体数组中“借出”一个元素供只读访问(比如 ref readonly BigStruct[] arr 中取 ref readonly arr[1000]),不用 ref readonly 就得复制整个结构体(可能几百字节)

使用场景举例:

  • 高性能数值计算中避免 Vector4 复制
  • ReadOnlySpan<t></t> 内部实现中安全暴露底层数据引用
  • 自定义集合的 GetRefReadonly(int index) 方法

ref readonly 返回值的陷阱和限制

C# 不允许直接返回局部变量的 ref readonly,因为栈内存会销毁。但容易忽略的是:它也不允许返回临时表达式的引用。

C#
C#

"避开 C# 常见错误——空陷阱、异步陷阱、LINQ 陷阱及资源泄漏。"

下载

以下代码全部非法:

  • return ref readonly new Vector3(1, 2, 3);(临时对象)
  • return ref readonly _items[index];(如果 _items 是 List<t></t>,其 this[] 不是 ref 索引器)
  • return ref readonly GetSomeStruct().Field;(返回临时结构体的字段引用)

必须满足:

  • 返回源必须有明确生命周期(通常是类字段、数组元素、或传入的 ref readonly 参数)
  • 对应的索引器或属性必须声明为 ref readonly(C# 7.2+)
  • 若返回 struct 字段,该 struct 最好也标记为 readonly struct,否则编译器可能因“可能触发隐式复制”而报错

ref readonly 和 readonly struct 的配合要点

readonly struct 是给编译器的“承诺”:这个结构体所有实例方法都不会修改字段。但它是可选的;而 ref readonly 是强制的访问约束。

两者配合时关键点:

  • 如果结构体没标 readonly struct,但你用 ref readonly 引用它,调用其非 readonly 方法仍会报错(如 r.SomeMethod() → “Cannot call method because it’s not marked readonly”)
  • ref readonly 允许你安全读取字段,哪怕结构体本身可变;但一旦想调用方法,就必须依赖 readonly 标记来过编译
  • 性能上:未标记 readonly struct 的类型,在 ref readonly 上调用 readonly 方法时,JIT 仍可能插入防御性复制(尤其涉及装箱或泛型约束时)

最容易被忽略的地方:ref readonly 的安全性完全由编译器静态检查保障,运行时不产生额外开销,但一旦绕过(比如用 unsafe 或反射),它就形同虚设。别把它当成运行时防护机制。

相关文章

PHP速学视频免费教程(入门到精通)
PHP速学视频免费教程(入门到精通)

PHP怎么学习?PHP怎么入门?PHP在哪学?PHP怎么学才快?不用担心,这里为大家提供了PHP速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

相关标签:

c#

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
c#是什么意思
c#是什么意思

C#是一种通用的面向对象编程语言,它在.NET框架上运行,可用于开发各种类型的应用程序。本专题为大家提供c#相关的各种文章、以及下载和课程。

2023.08.08

1012

5

什么是c#
什么是c#

C#(读作C Sharp)是一种现代的、通用的、面向对象的编程语言。它由微软公司开发,于2000年首次发布,主要用于开发Windows桌面应用程序、Web应用程序、移动应用程序以及游戏开发等领域。C#是一种类型安全和托管的编程语言,它结合了C++的强大性能和C语言的简单易学特点,并引入了许多新的特性和概念,如委托、属性、泛型和异步编程等,以提高开发效率和代码可维护性。

2023.08.31

2951

3

C#中base关键字的用法
C#中base关键字的用法

在C#中,base关键字用于访问当前类的基类成员,这包括基类的字段、属性、方法、构造函数、索引器以及事件。想了解更多C#的相关内容,可以阅读本专题下面的文章。

2024.03.13

885

8

C#Task用法
C#Task用法

Task在C#中是用于表示异步操作的对象,它位于System.Threading.Tasks命名空间中。想了解更多C#中各种用法的相关内容,可以阅读本专题下面的文章。

2024.03.14

2615

11

C# 并发与异步编程
C# 并发与异步编程

本专题系统讲解 C# 异步编程与并发控制,重点介绍 async 和 await 关键字、Task 类、线程池管理、并发数据结构、死锁与线程安全问题。通过多个实战项目,帮助学习者掌握 如何在 C# 中编写高效的异步代码,提升应用的并发性能与响应速度。

2026.02.03

312

18

C# 多线程与异步编程
C# 多线程与异步编程

本专题深入讲解 C# 中多线程与异步编程的核心概念与实战技巧,包括线程池管理、Task 类的使用、async/await 异步编程模式、并发控制与线程同步、死锁与竞态条件的解决方案。通过实际项目,帮助开发者掌握 如何在 C# 中构建高并发、低延迟的异步系统,提升应用性能和响应速度。

2026.02.06

389

20

C# ASP.NET Core微服务架构与API网关实践
C# ASP.NET Core微服务架构与API网关实践

本专题围绕 C# 在现代后端架构中的微服务实践展开,系统讲解基于 ASP.NET Core 构建可扩展服务体系的核心方法。内容涵盖服务拆分策略、RESTful API 设计、服务间通信、API 网关统一入口管理以及服务治理机制。通过真实项目案例,帮助开发者掌握构建高可用微服务系统的关键技术,提高系统的可扩展性与维护效率。

2026.03.11

631

24

C# Unity游戏开发与ECS架构实践
C# Unity游戏开发与ECS架构实践

本专题聚焦 C# 在 Unity 游戏开发中的应用,系统讲解 ECS(Entity-Component-System)架构设计、游戏对象管理、性能优化与内存控制策略。通过实际游戏案例,帮助开发者构建高性能、结构清晰的游戏系统,提高游戏开发效率与运行性能。

2026.04.13

329

20

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
C++ Core Guidelines
C++ Core Guidelines

共0课时 | 0人学习

C++ Reference
C++ Reference

共0课时 | 0人学习

C++ 官方标准说明
C++ 官方标准说明

共0课时 | 0人学习