Visual Studio 2013和2015之间重载方法行为的更改

Question

Visual Studio 2013和2015有很大的问题。在一个类中，我定义了以下两种方法：

1. public List<T> LoadData<T>(string connectionStringName = "", string optWherePart = "", params object[] parameter)
2. public List<T> LoadData<T>(string optWherePart, params object[] parameter)

我只想这样调用第二个方法：

....LoadData<Config_Info>("ConfigName LIKE 'Version' AND UserName LIKE '' AND PlugInName Like ?", parameter: ProductName);

如果我要在Visual Studio 2013中进行定义，则要进行第二个方法声明，但是在Visual Studio 2015中，我要进行第一个方法声明。 两种解决方案绝对相同。

即使编译结果是不同的，所以如果我使用VS 2015编译相同的解决方案，该程序将停止工作。

这是一个非常奇怪的行为。

有谁有主意，区别是什么？

Answer 1

这是基于C＃5规范的，但是由于C＃6规范似乎尚未发布，所以这是我能做的最好的事情。 这也是引用坎宁安定律的一种尝试。

---

首先，以规范的s7.5.3.1（“适用的功能成员”）的语言，两个功能成员均以其扩展形式（即，如果另一个不存在则可以被调用） params object[]不能由string ProductName满足，因此将转换为object参数。

因此，我们继续进行s7.5.3.2（“更好的函数成员”）的决定，以决定两者中哪个更好。

---

首先， 构造一个精简的参数列表A，其中仅包含参数表达式本身，并按照它们在原始参数列表中出现的顺序排列 ：

• { string "ConfigName [...]", string ProductName }

接下来， 以以下方式构造每个候选函数成员的[p]参数列表：

• 如果功能成员仅适用于扩展形式，则使用扩展形式。
• 没有相应参数的可选参数将从参数列表中删除
• 对参数进行重新排序，以便它们出现在参数列表中与相应参数相同的位置。

这给我们以下内容：

• { string connectionStringName, object parameter } （删除optWherePart ，扩展params ）
• { string optWherePart, object parameter } （ params扩展）

然后，我们进行一系列比较，以决定其中哪个是更好的功能成员 。 分别称为1 Mp和1 Mq ，如下所示：

• 如果Mp是非泛型方法，而Mq是泛型方法，则Mp优于Mq 。
  • 这里没什么区别
• 否则，如果Mp以其正常形式适用且Mq具有params数组且仅以其扩展形式适用，则Mp优于Mq 。
  • 这里没有区别； 两者都处于扩展形式
• 否则，如果Mp声明参数比Mq ，则Mp优于Mq 。 如果这两种方法都具有params数组并且仅以其扩展形式适用，则可能发生这种情况。
  • 这不是100％。 我们的两个参数列表都使用原始函数定义中的2个参数。 我认为这仅是为了区分两种情况都进入同一个params数组的情况，一种情况是其中一种进入数组，而另一种进入普通参数的情况。
• 否则，如果Mp所有参数都有对应的参数，而Mq默认参数需要替换至少一个可选参数，则Mp优于Mq 。
  • 啊哈！ 我们的第一个参数列表缺少optWherePart ，它需要一个默认参数，因此第二个参数列表更好！ 所以VS2015错了！

... 可是等等。 最后一颗子弹是什么意思？ Mp和Mq是专门的参数列表，其中删除了没有相应自变量的[可选]参数 。 他们中的任何一个都不可能有相应的参数，因为如果没有，则将其删除。

---

总之，我无法确定这是旧编译器，新编译器还是C＃规范中的错误。

我发现SLaks的博客文章似乎也认为旧行为是一个错误。 该博客指出Roslyn已通过使编译器失败来解决此问题，这不再是我所看到的。 也许他们改变了主意？

---

编辑：更新！ 我的Roslyn错误报告 对编译器进行了更改，以确保在这种情况下，选择第二次重载。 这似乎是由于默认参数需要在上面替换措词。 我仍然认为规范是模棱两可的，因此令我失望的是仅进行了代码更改（而不是规范更改，甚至没有讨论为什么第二个重载更好的原因），但是至少VS2015运行时的特性是现在与VS2013中的相同。