为什么使用 Option Strict On 允许将 Double 分配给 Single

Question

为什么即使我有Option Strict On，下面的代码也不会导致编译错误？

Dim value As Single = 12345.12345  ' No error

默认情况下，编译器将数字文字解释为Double。从Double 转换为Single 是一种缩小转换（在这种情况下，赋值实际上将值四舍五入为12345.123）。根据MSDN article，Option Strict On的作用如下：

将隐式数据类型转换限制为仅扩大转换，禁止后期绑定，并禁止导致 Object 类型的隐式类型。

根据该描述，我的示例代码应该会导致错误。事实上，即使我在字面量后显式指定类型字符，它仍然不会将其视为错误：

Dim value As Single = 12345.12345R   'Still no error, despite the "R"

即使这样也不会导致错误：

Dim value As Single = CDbl(12345.12345)   'Still no error, despite the CDbl() conversion

但是，正如我所料，这确实会导致错误：

Dim value1 As Double = 12345.12345
Dim value2 As Single = value1    ' Causes "Option Strict On disallows implicit conversions from 'Double' to 'Single'" error

同样，这也如预期的那样失败了：

Public Function GetValue() As Double
    Return 12345.12345
End Function

' ...

Dim value As Single = GetValue()   ' Causes "Option Strict On disallows implicit conversions from 'Double' to 'Single'" error

作为旁注，C# 中的以下内容如预期的那样失败：

float x = 12345.12345;  ' Causes error in C#

所以，这不是所有 .NET 语言的问题。它似乎只是 VB.NET 的一个特性。

此外，VB.NET 不允许这种隐式转换，即使它是从文字转换的：

Dim x As Integer = 1.5  ' Causes error

那么，我的问题是，为什么 VB.NET 会这样工作？对我来说这似乎是一个缺陷，但也许有一些很好的解释来解释为什么它允许将Double 文字转换为Single，但在任何其他情况下都不允许。

Answer 1

正如 Hans 在上面的 cmets 中指出的那样，VB.NET language specification 在这个主题上非常清楚。在section 11.2 中明确指出：

整数类型（Long、Integer、Short、Byte）的常量表达式可以隐式转换为更窄的整数类型，Double 类型的常量表达式可以隐式转换为@ 987654328@，前提是常量表达式的值在目标类型的范围内。无论使用的是宽松语义还是严格语义，这些缩小转换都是允许的。

由于此行为是由规范规定的，因此显然是设计使然。只要Double 值是一个常量，就始终允许隐式转换为Single，即使转换导致值丢失精度。在这种情况下，关于“只要常量表达式的值在目标类型的范围内”这一点是误导性的。 Single 类型支持表示负无穷大和正无穷大的值，因此当 Double 值超出 Single 类型的有效范围时，它只会将其设置为这些无穷大值之一。

至于这种行为的设计决策背后的基本原理，我不能肯定地说，但我怀疑它允许像这样更方便的语法：

Dim x As Single = 1 / 2

如果Option Strict On 不允许从Double 到Single 的隐式转换，您将不得不总是写一些像这样简单的东西：

Dim x As Single = 1.0F / 2.0F

或者

Dim x As Single = CSng(1 / 2)

在我看来，这可以说是更可取的，但我可以理解为什么语言设计者会认为它的语法会过于混乱。