更改方法重写中的参数修饰符

我知道一个params修饰符（将数组类型的一个参数转换为所谓的“参数数组”）特别不是方法签名的一部分。现在考虑这个例子：

class Giraffid
{
    public virtual void Eat(int[] leaves)
    {
        Console.WriteLine("G");
    }
}
class Okapi : Giraffid
{
    public override void Eat(params int[] leaves)
    {
        Console.WriteLine("O");
    }
}

编译时没有任何警告。然后说：

var okapi = new Okapi();
okapi.Eat(2, 4, 6);  // will not compile! 

给出一个错误（No overload for method 'Eat' takes 3 arguments).

现在，我知道编译器会翻译params修改器到应用程序中System.ParamArrayAttribute到有问题的参数上。一般来说，将一组属性应用于虚拟方法的参数，然后使用一组不同的属性装饰派生类中的重写方法中的“相应”参数，这是没有问题的。

然而编译器选择忽略我的params默默地关键词。相反，如果反过来，并应用params到基类中的参数Giraffid，然后省略覆盖中的关键字Okapi，编译器选择装饰both方法与System.ParamArrayAttribute。当然，我用 IL DASM 验证了这些事情。

我的问题：

这是有记录的行为吗？我彻底搜索了 C# 语言规范，但没有找到任何提及这一点的内容。

我可以说至少Visual Studio开发环境对此感到困惑。当输入2, 4, 6在上面的方法调用中，智能感知向我展示void Okapi.Eat(params int[] leaves)在提示中.

为了进行比较，我还尝试实现接口方法并更改存在/不存在params在接口和实现类中，我尝试定义委托类型并更改params或者不在委托类型定义或我将其方法组分配给委托类型的变量的方法中。在这些情况下，完全有可能改变params-ness.

编译器的行为是正确的，但这有点混乱。我希望这至少是一个警告。

毫不奇怪，您在规范中找不到它说这是正确的地方。相关位是：

M(A) 形式的方法调用的绑定时处理（其中 M 是方法组，A 是可选参数列表）由以下步骤组成： 构造方法调用的候选方法集。对于与方法组 M 关联的每个方法 F，如果 F 是非泛型，则当 M 没有类型参数列表时 F 是候选方法，并且 F 对于 A 是适用的。

什么是“与方法组 M 相关的方法”？好吧，首先，什么是方法组？

方法组，是由成员查找产生的一组重载方法...

好的，那么成员查找规则是什么呢？

否则，该集合由 T 中所有名为 N 的可访问成员组成，包括继承成员和 object 中名为 N 的可访问成员。包含覆盖修饰符的成员将从集合中排除。

添加了强调。

这里的实际结果是出于重载决议的目的，重写的方法被认为是被重写的方法最初宣布的，不是以前的方法压倒性的.不幸的是，在这种情况下，这条规则被违反了：

virtual void M(int x, int y) { }
...
override void M(int y, int x) { } 
...
M(x = 1, y = 2);

重载解析使用names来自更多派生版本。这是命名参数在游戏后期添加的不幸后果。

简而言之：为了确定一个方法是否是“params”，分析是在原始方法，不在覆盖方法.

如果编译器在这里给你一个警告就好了。

可以说至少Visual Studio开发环境对此感到困惑

正确的。 IntelliSense 层始终显示重写方法的方法信息，而不是被重写的方法。研究表明，当方法看起来像是最初声明的方法而不是重写方法时，用户会感到困惑。当然，正如我之前提到的，这些是您将用于命名参数的参数名称。