ref 和 out 是 C# 中强制显式标注的引用传递机制,要求声明、定义、调用三处均加关键字;ref 要求实参已初始化,out 允许未初始化但方法内必须且仅赋值一次;in 为只读引用,适用于大 struct 避免拷贝;ref 返回值和 ref 局部变量可穿透方法边界但需确保生命周期安全;泛型与接口中使用受限,多数场景值传递更安全。

ref 和 out 都要显式加关键字,不加就是值传递
很多人写 void Swap(int a, int b) 后发现交换无效,不是因为逻辑错,而是没告诉编译器“我要传地址”。C# 默认所有参数都是值传递——哪怕传的是引用类型,传的也只是引用的副本。ref 和 out 是强制要求调用方和被调用方都明确标注的契约:你得在声明、定义、调用三处都带上关键字,少一个就编译失败。
常见错误现象:CS0149: 方法名缺少 ref 或 out 关键字;或者调用时漏写 ref,结果变量没被修改,还以为是逻辑 bug。
-
ref要求实参在传入前已初始化(哪怕只是int x = 0;) -
out允许传入未初始化的变量,但方法体内必须赋值一次且仅一次(编译器会检查) - 调用时,
ref x和out y的写法不能省略,哪怕变量名看起来“显然该传引用”
in 参数是只读引用,适合大结构体避免拷贝
in 是 C# 7.2 加入的,本质是 ref 的只读版本:它把参数以引用方式传入,但禁止方法内部修改它。主要价值不在“能不能改”,而在性能——对 struct 尤其明显。比如传一个 64 字节的 Vector4,用 in 能避免栈上复制 64 字节;而用 ref 或值传递,要么多一次复制,要么开放修改权限。
使用场景:高频调用、参数是大型 struct、函数纯读取(比如计算哈希、比较相等性)。
-
in参数在方法内不能被赋值,也不能传给非in的形参(除非显式ref readonly转换) - 不能用于
async方法或迭代器(yield),因为生命周期可能跨 await 点 - 如果传的是小 struct(如
int、Point),加in反而可能因额外间接寻址变慢,别盲目套用
ref 返回值和 ref 局部变量让引用能“穿透”方法边界
普通方法返回值是副本,ref 返回值则允许直接返回某个变量的引用——调用方拿到的不是值,而是原始存储位置。配合 ref 局部变量(ref int r = ref arr[0];),就能绕过数组索引重复查找,或实现类似 C++ 引用返回的效果。
典型错误:试图 return ref localVariable;,但 localVariable 是栈上分配的局部变量,函数返回后内存就失效了——编译器会报 CS8347: 无法返回对局部变量的引用。
- 只能
ref return字段、数组元素、其他ref参数,或堆上对象的可寻址成员 -
ref局部变量必须用ref声明,且绑定目标必须有足够长的生命周期(比如类字段、数组、或另一个ref参数) - 滥用
ref return容易让所有权变得模糊,调试时很难追踪谁在改哪个内存位置
ref 和 out 在泛型约束和接口实现里容易出兼容问题
泛型方法声明 T DoSomething 看似通用,但实际调用时,如果 T 是 class 类型,ref 没问题;如果是 struct,也 OK;但如果 T 是不可变类型(比如 readonly struct),又用了 ref,编译器会拒绝——因为 ref 暗示可写,而 readonly 结构体不允许通过引用修改字段(除非字段本身是 ref readonly)。
更隐蔽的问题是接口:接口不能声明 ref 或 out 参数(C# 11 才支持 ref 返回值的接口),所以带 ref 的方法无法被接口抽象,导致多态受限。
- 想通过接口统一行为?老老实实用普通参数 + 返回值,或封装成
ValueTuple(比如(bool success, int result))替代out -
in参数可以出现在接口中(C# 7.2+),但要注意实现类方法签名必须完全一致,包括in关键字 - 跨 assembly 调用时,
ref返回值需要双方都启用RefReturn特性,否则运行时报MissingMethodException
事情说清了就结束。真正难的不是语法记不住,而是判断“这里到底需不需要 ref”——多数时候你并不需要,值传递更安全;只有当你明确看到性能瓶颈(比如 profiler 显示大量 struct 拷贝),或必须修改调用方变量时,才值得引入这些机制。










