在C#的方法参数列表中，out和ref都能让方法直接操作调用方的变量，而不是操作值的副本。理解它们最根本的差异，要从编译器的赋值检查和语义设计入手，而不是只看运行结果。
一、基础概念与编译期约束
默认情况下，C#的值类型参数是按值传递的，方法内修改形参不会影响实参。加上ref或out后，传递的是变量的引用（托管指针）。但二者的编译规则明显不同：ref要求变量在传入前必须已经被明确赋值，方法内部可以读取也可以写入；out则不要求传入前赋值，但方法在每个返回路径上都必须对该参数赋值，否则编译失败。
这种约束让out天然适合“只输出结果”的场景，而ref适合“既读又改”的场景。从IL（中间语言）角度看，二者都使用ldarga指令取参数地址，运行时开销一致，差异完全停留在静态检查与代码意图层面。
1.1 ref参数的典型写法
下面代码演示用ref实现两个变量的交换。调用前a和b都必须有值，方法内直接交换它们指向的内容。
using System;
class Program
{
static void Swap(ref int x, ref int y)
{
int temp = x;
x = y;
y = temp;
}
static void Main()
{
int a = 10;
int b = 20;
Swap(ref a, ref b);
Console.WriteLine($"a={a}, b={b}");
}
}
在上面的例子中，如果a或b未初始化就传给ref，编译器会报错。这保证了方法读到的一定是有效数据。
1.2 out参数的典型写法
以下代码用out从一个字符串中解析整数，无需提前给结果变量赋值。
using System;
class Program
{
static bool TryParseInt(string s, out int result)
{
if (int.TryParse(s, out result))
{
return true;
}
result = 0;
return false;
}
static void Main()
{
int value;
if (TryParseInt("123", out value))
{
Console.WriteLine($"解析成功：{value}");
}
}
}
注意value在声明时没有赋值，因为out允许这样。但如果在TryParseInt的某个分支忘了给result赋值，编译通不过。
二、使用场景对比
从工程实践看，ref多用于需要方法修改已有状态的情况，例如数值累加、引用类型内部替换、性能敏感的大结构体避免复制。而out广泛用于多返回值，尤其是框架里的Dictionary.TryGetValue、int.TryParse等模式。
如果滥用ref去代替out做输出，会让调用方被迫写无意义的初始值；反过来用out去传需要预置状态的变量，则丢失了“输入”语义，容易让维护者误解。
| 对比维度 | ref | out |
|---|---|---|
| 传入前是否需赋值 | 必须赋值 | 不需赋值 |
| 方法内是否必须赋值 | 不强制 | 每个出口必须赋值 |
| 主要语义 | 读写双向 | 只输出 |
| 常见用例 | 交换、累加、修改结构体 | TryParse、多返回值 |
2.1 多返回值的替代方案
现代C#也可以用元组返回多个值，但在高性能或旧版框架中，out依然更直接。例如下面的方法同时返回商和余数：
using System;
class Program
{
static int DivRem(int a, int b, out int remainder)
{
remainder = a % b;
return a / b;
}
static void Main()
{
int rem;
int quo = DivRem(10, 3, out rem);
Console.WriteLine($"商={quo}, 余数={rem}");
}
}
如果用ref写remainder，调用方得先写int rem = 0;，毫无必要。这就是语义选择带来的代码整洁度差异。
三、常见误区与注意事项
一个常见误区是认为out比ref快，或者反之。实际上二者生成的机器码在传参上几乎一样，性能差异可以忽略。另一个误区是在异步方法里用ref/out，C#不允许在async方法的参数上使用它们，因为状态机无法安全捕获引用。
还要注意，对于引用类型，ref改变的是引用本身（可让形参指向新对象并反映到外部），普通引用类型参数只能改对象内部状态，不能改外部变量指向。下面例子说明这一点：
using System;
class Data { public int Num; }
class Program
{
static void ChangeRef(ref Data d)
{
d = new Data { Num = 99 };
}
static void ChangeNormal(Data d)
{
d = new Data { Num = 99 };
}
static void Main()
{
Data a = new Data { Num = 1 };
ChangeNormal(a);
Console.WriteLine(a.Num); // 仍是1
Data b = new Data { Num = 1 };
ChangeRef(ref b);
Console.WriteLine(b.Num); // 变成99
}
}
这段代码清楚展示了ref对引用类型变量本身重定向的能力，而普通参数做不到。掌握这点，才能在封装工具方法时正确表达意图。
四、总结建议
写方法时先问自己：调用方需不需要先给我一个值？如果不需要，只用输出，就用out；如果需要基于原值加工，就用ref。不要为了省事统一用ref，那会降低代码自解释性。
在团队规范里，建议把out专用于类似TryXXX的模式，把ref留给确需修改入参的逻辑。这样阅读代码时，一眼就能看出数据是流入、流出还是双向流动。