编译器值类型分辨率和硬编码“0”整数值

首先，有点背景。 阅读此处发布的问题和已接受的答案，以了解我的问题的具体方案。 我不确定是否存在其他相似的案例，但这是我所知道的唯一案例。

上面的“怪癖”是我早已意识到的。 直到最近，我才明白原因的全面性。

微软关于SqlParameter类的文档对这种情况有了更多的了解。

在value参数中指定Object时，将从Object的Microsoft .NET Framework类型推断出SqlDbType 。

使用SqlParameter构造函数的此重载指定整数参数值时请小心。 因为此重载采用Object类型的值 ，所以必须在值为零时将整数值转换为Object类型，如下面的C＃示例所示。

Parameter = new SqlParameter("@pname", Convert.ToInt32(0));

如果不执行此转换， 编译器会假定您尝试调用SqlParameter（string，SqlDbType）构造函数重载。

（emph。补充）

我的问题是为什么编译器假设当你指定硬编码“0”（并且只有值“0”）时，你试图指定枚举类型而不是整数类型？ 在这种情况下，它假定您声明SqlDbType值，而不是值0。

这是非直观的，更糟糕​​的是，错误是不一致的。 我有我写过的旧应用程序多年来一直调用存储过程。 我将对应用程序进行更改（通常甚至与我的SQL Server类无关），发布更新，此问题将突然中断应用程序。

当包含多个方法签名的对象包含两个相似的签名，其中一个参数是对象/整数而另一个接受枚举时，为什么编译器会被值0混淆？

正如我所提到的，我从未将其视为任何其他类的任何其他构造函数或方法的问题。 这对于SqlParameter类是唯一的还是在C＃/ .Net中inheritance的bug？

Answer 1

这是因为零整数可以隐式转换为枚举：

 enum SqlDbType { Zero = 0, One = 1 } class TestClass { public TestClass(string s, object o) { System.Console.WriteLine("{0} => TestClass(object)", s); } public TestClass(string s, SqlDbType e) { System.Console.WriteLine("{0} => TestClass(Enum SqlDbType)", s); } } // This is perfectly valid: SqlDbType valid = 0; // Whilst this is not: SqlDbType ohNoYouDont = 1; var a1 = new TestClass("0", 0); // 0 => TestClass(Enum SqlDbType) var a2 = new TestClass("1", 1); // => 1 => TestClass(object) 

（改编自Visual C＃2008突破性变化 – 改变12 ）

当编译器执行重载SqlDbType ，0是SqlDbType和object构造函数的Applicable函数成员 ，因为：

从参数的类型到相应参数的类型存在隐式转换（第6.1节）

（ SqlDbType x = 0和object x = 0都有效）

由于更好的转换规则 ， SqlDbType参数优于object参数：

• 如果T1和T2是相同的类型，则转换都不会更好。
  • object和SqlDbType的类型不同
• 如果S是T1 ，则C1是更好的转换。
  • 0不是object
• 如果S是T2 ，则C2是更好的转换。
  • 0不是SqlDbType
• 如果存在从T1到T2的隐式转换，并且不存在从T2到T1隐式转换，则C1是更好的转换。
  • 不存在从object到SqlDbType隐式转换
• 如果存在从T2到T1的隐式转换，并且不存在从T1到T2隐式转换，则C2是更好的转换。
  • 存在从SqlDbType到object的隐式转换，因此SqlDbType是更好的转换

请注意，正如@Eric在他的回答中解释的那样，在Visual C＃2008 （Microsoft的C＃规范的实现）中， 究竟构成常量0的内容已经（非常微妙地）发生了变化。

Answer 2

理查德·托尔斯的回答非常好，但我想我会补充一点。

正如其他答案所指出的那样，行为的原因是（1）零可以转换为任何枚举，显然是对象，（2）任何枚举类型都更具体于该对象，因此采用枚举的方法是因此，通过重载分辨率选择更好的方法。 第二点是我希望不言自明，但是什么解释了第一点？

首先，这里有一个不幸的偏离规范。 规范说任何文字零 ，即实际上字面上出现在源代码中的数字0 ，可以隐式转换为任何枚举类型。 编译器实际上实现了可以如此转换任何常数零 。 原因是因为编译器有时会以奇怪和不一致的方式允许常量零而有时不允许常量为零的错误。 解决问题的最简单方法是始终允许恒定的零。 你可以在这里详细阅读：

http://blogs.msdn.com/b/ericlippert/archive/2006/03/28/the-root-of-all-evil-part-one.aspx

其次，允许零转换为任何枚举的原因是为了确保始终可以将“标志”枚举归零。 良好的编程习惯是每个“flags”枚举都有一个值“None”，它等于零，但这是一个指导原则，而不是一个要求。 C＃1.0的设计者认为你可能不得不说它看起来很奇怪

 for (MyFlags f = (MyFlags)0; ... 

初始化本地。 我个人的观点是，这个决定造成了比它值得更多的麻烦，无论是对上述错误的悲痛还是你所发现的重载决议引入的奇怪之处。

最后，构造函数的设计者可能已经意识到这首先是一个问题，并且使得重载的签名使得开发人员可以清楚地决定调用哪个ctor而不必插入强制转换。 不幸的是，这是一个相当模糊的问题，因此很多设计师都没有意识到这一点。 希望任何阅读此内容的人都不会犯同样的错误; 如果您希望两个覆盖具有不同的语义，请不要在对象和任何枚举之间创建歧义 。

Answer 3

这显然是一种已知的行为，并且会影响任何存在枚举和对象类型的函数重载。 我不明白这一切，但Eric Lippert在他的博客上总结得非常好

Answer 4

这是因为整数文字0具有对任何枚举类型的隐式转换。 C＃规范声明：

6.1.3隐式枚举转换

隐式枚举转换允许将decimal-integer-literal 0转换为任何枚举类型和任何可以为其类型为枚举类型的可空类型。 在后一种情况下，通过转换为基础枚举类型并包装结果来评估转换。

因此，在这种情况下，最具体的重载是SqlParameter(string, DbType) 。

这不适用于其他int值，因此SqlParameter(string, object)构造函数是最具体的。

Answer 5

解析重载方法的类型时，C＃选择最具体的选项。 SqlParameter类有两个构造函数，它们只有两个参数， SqlParameter(String, SqlDbType)和SqlParameter(String, Object) 。 当您提供文字0 ，它可以被解释为Object或SqlDbType。 由于SqlDbType比Object更具体，因此假定它是intent。

您可以在此答案中阅读有关重载决策的更多信息。