C#中为何不允许ref/out修饰符与params修饰符搭配使用

编译失败的示例代码 #

以下写法无法通过C#编译器校验：

public static int[] Findfactors(ref params int[] pro) {
    int[] hjk = { 88, 99 };
    pro = hjk;
    return pro;
}

核心设计原因 #

两种修饰符的底层传递语义存在本质冲突，组合使用要么产生无意义的无效操作，要么会制造极易误导开发者的隐式bug，因此C#从语法层面直接禁止了这种组合：

• params是编译器提供的调用侧语法糖，允许调用方以三种形式传参：传入已存在的同类型数组、传入任意数量的同类型零散元素、甚至完全不传该参数。当调用方选择传零散元素或不传参时，编译器会自动在调用代码处生成一个临时的数组实例传入方法，这个临时实例没有任何调用方代码持有它的引用。
• ref/out的核心语义是：形参是调用方传入变量的别名，方法内部对形参的重新赋值，会直接同步修改调用方对应变量的引用值，设计目的就是让方法内对参数本身的修改可以回传给调用方。

你猜测的场景完全成立：如果允许组合使用，当调用方以不传参数的形式调用方法时，方法内对pro的重新赋值，修改的只是编译器生成的、调用方完全无法访问的临时变量，ref要实现的“回传修改”效果完全落空，这种操作没有任何实际价值。

除此之外还有额外的歧义风险：就算调用方选择传入零散元素的形式调用，编译器生成的依旧是临时数组，方法内对pro引用的修改同样无法被调用方感知，开发者很容易误以为ref生效，写出逻辑完全不符合预期、还难以排查的bug。

对应需求的实现方式 #

如果只是需要在方法内部让pro变量指向hjk数组，直接移除ref修饰符即可——参数本身是方法作用域内的局部变量，你可以随时对它重新赋值，不需要ref修饰。
如果需要让方法外调用方持有的原变量也同步指向hjk数组，就移除params修饰符，使用普通的ref int[] pro参数，要求调用方必须显式传入一个数组类型的变量即可。

内容的提问来源于stack exchange，提问作者Erik_JI