无重新赋值时，C#引用类型带ref与不带ref传递是否有差异？

当传递引用类型时，是否使用ref在重新赋值场景下的行为差异很明确：

static void ReassignArray(int[] arr)
{
    arr = new int[] { 99, 98, 97 }; // 重新赋值不影响原数组
}

static void ReassignArrayWithRef(ref int[] arr)
{
    arr = new int[] { 99, 98, 97 }; // 重新赋值会修改原数组引用
}

但在**直接修改对象内部状态（无重新赋值）**的场景下，两者行为一致：

static void ChangeFirst(int[] arr) {
    arr[0] = 4;  // 会影响原数组
}

static void ChangeFirst(ref int[] arr) {
    arr[0] = 6;  // 会影响原数组
}

因此核心问题：除了网传的ref可能带来的性能提升（无需复制指针）外，在无重新赋值的场景下，传递引用类型时带ref与不带ref是否存在其他差异？

以下是无重新赋值场景下的关键差异：

1. 编译期的赋值检查强制要求 #

带ref的参数必须在调用前完成明确赋值，编译器会严格执行这个规则；而不带ref的参数允许传递未初始化的变量（或null），只要方法内部能处理。

示例：

// 合法：不带ref可传递null或未赋值变量（编译通过，运行时可能报错）
int[] nullArr = null;
ChangeFirst(nullArr);

int[] unassignedArr;
ChangeFirst(unassignedArr); // 编译通过，但运行时会抛出NullReferenceException

// 编译错误：带ref的参数必须提前赋值
int[] unassignedRefArr;
ChangeFirst(ref unassignedRefArr); // CS0165: 使用了未赋值的局部变量“unassignedRefArr”

2. 方法签名的重载兼容性 #

带ref和不带ref的方法属于不同的方法签名，可以重载；而仅靠返回值或其他非ref/out/in修饰符无法构成重载。

示例：

// 合法：两个方法可共存
static void Process(int[] arr) { Console.WriteLine("不带ref"); }
static void Process(ref int[] arr) { Console.WriteLine("带ref"); }

// 调用时通过ref区分
int[] arr = new int[3];
Process(arr); // 输出：不带ref
Process(ref arr); // 输出：带ref

3. 语义层面的暗示 #

• 带ref传递引用类型时，语义上向调用者传递明确信号：该参数是方法的输入输出参数（即使方法当前没有重新赋值），未来方法可能会修改其引用；同时暗示参数必须是已初始化的有效实例。
• 不带ref的参数语义上仅表示方法会使用该对象的状态，不会修改其引用（即使方法内部可以修改对象的内部状态）。

4. 与其他修饰符的组合差异 #

ref可以和in/out等修饰符组合（如ref readonly），实现更精细的语义控制；而不带ref的参数无法使用这些组合，只能依赖方法内部的约束。

内容的提问来源于stack exchange，提问作者FluidMechanics Potential Flows