为什么在 VB.NET 和 C# 中检查 null 值会有所不同？

Question

在VB.NET 中会发生这种情况：

Dim x As System.Nullable(Of Decimal) = Nothing
Dim y As System.Nullable(Of Decimal) = Nothing

y = 5
If x <> y Then
    Console.WriteLine("true")
Else
    Console.WriteLine("false") '' <-- I got this. Why?
End If

但在 C# 中会发生这种情况：

decimal? x = default(decimal?);
decimal? y = default(decimal?);

y = 5;
if (x != y)
{
    Debug.WriteLine("true"); // <-- I got this -- I'm with you, C# :)
}
else
{
    Debug.WriteLine("false");
}

为什么会有差异？

Answer 1

VB.NET 和 C#.NET 是不同的语言，由不同的团队构建，他们对使用做出了不同的假设；在这种情况下，NULL 比较的语义。

我个人偏爱 VB.NET 语义，它本质上赋予 NULL 语义“我还不知道”。然后将 5 与“我还不知道”进行比较。自然是“我还不知道”；即NULL。这具有在（大多数如果不是全部）SQL 数据库中镜像 NULL 行为的额外优势。这也是对三值逻辑的更标准（比 C# 的）解释，如 here 所述。

C# 团队对 NULL 的含义做出了不同的假设，从而导致您表现出的行为差异。 Eric Lippert wrote a blog about the meaning of NULL in C#。 Per Eric Lippert：“我还写了关于 VB / VBScript 和 JScript here 和 here 中空值语义的文章。

在任何可能出现 NULL 值的环境中，重要的是要认识到排中定律（即 A 或 ~A 在重言式上为真）不再可以依赖。

更新：

bool（相对于bool?）只能采用值 TRUE 和 FALSE。然而，NULL 的语言实现必须决定 NULL 如何通过表达式传播。在 VB 中，表达式 5=null 和 5<>null 都返回 false。在 C# 中，在可比较的表达式 5==null 和 5!=null 中，只有 second 第一个 [updated 2014-03-02 - PG] 返回 false。但是，在任何支持 null 的环境中，程序员都有责任了解该语言使用的真值表和 null 传播。

更新

Eric Lippert 关于语义的博客文章（在下面的 cmets 中提到）现在位于：

• Sep. 30, 2003 - A Whole Lot of Nothing

• Oct. 1, 2003 - A Little More on Nothing

Answer 2

因为x <> y 返回Nothing 而不是true。它根本没有定义，因为x 没有定义。 （类似于 SQL null）。

注意：VB.NET Nothing C# null.

您还必须比较 Nullable(Of Decimal) 的值，前提是它有值。

所以上面的 VB.NET 比较类似于这个（看起来不太正确）：

If x.HasValue AndAlso y.HasValue AndAlso x <> y Then
    Console.WriteLine("true")
Else
    Console.WriteLine("false")  
End If

VB.NET language specification:

7.1.1 可空值类型 ...可空值类型可以包含与不可空值相同的值 类型的版本以及空值。因此，对于一个可为空的 值类型，将 Nothing 分配给该类型的变量会设置值 变量的值为空值，而不是值的零值 输入。

例如：

Dim x As Integer = Nothing
Dim y As Integer? = Nothing

Console.WriteLine(x) ' Prints zero '
Console.WriteLine(y) ' Prints nothing (because the value of y is the null value) '

Answer 3

查看生成的CIL（我都转换成C#了）：

C#：

private static void Main(string[] args)
{
    decimal? x = null;
    decimal? y = null;
    y = 5M;
    decimal? CS$0$0000 = x;
    decimal? CS$0$0001 = y;
    if ((CS$0$0000.GetValueOrDefault() != CS$0$0001.GetValueOrDefault()) ||
        (CS$0$0000.HasValue != CS$0$0001.HasValue))
    {
        Console.WriteLine("true");
    }
    else
    {
        Console.WriteLine("false");
    }
}

Visual Basic：

[STAThread]
public static void Main()
{
    decimal? x = null;
    decimal? y = null;
    y = 5M;
    bool? VB$LW$t_struct$S3 = new bool?(decimal.Compare(x.GetValueOrDefault(), y.GetValueOrDefault()) != 0);
    bool? VB$LW$t_struct$S1 = (x.HasValue & y.HasValue) ? VB$LW$t_struct$S3 : null;
    if (VB$LW$t_struct$S1.GetValueOrDefault())
    {
        Console.WriteLine("true");
    }
    else
    {
        Console.WriteLine("false");
    }
}

您将看到 Visual Basic 中的比较返回 Nullable（不是 bool、false 或 true！）。并且 undefined 转换为 bool 是 false。

Nothing 与始终为 Nothing 的值相比，在 Visual Basic 中不为假（与 SQL 中相同）。

Answer 4

这里观察到的问题是一个更一般问题的特殊情况，即至少在某些情况下可能有用的不同相等定义的数量超过了表达它们的常用方法的数量。在某些情况下，这个问题会因为一种不幸的信念而变得更糟，即使用不同的相等性测试方法会产生不同的结果会造成混淆，而这种混淆可以通过尽可能让不同形式的相等性产生相同的结果来避免。

实际上，混淆的根本原因是一种错误的信念，即认为不同形式的相等和不等式测试应该会产生相同的结果，尽管事实上不同的语义在不同的情况下是有用的。例如，从算术的角度来看，能够让Decimal 仅在尾随零的数量上比较相等是很有用的。同样对于double 值，如正零和负零。另一方面，从缓存或实习的角度来看，这种语义可能是致命的。例如，假设有一个Dictionary<Decimal, String>，这样myDict[someDecimal] 应该等于someDecimal.ToString()。如果一个对象有许多想要转换为字符串的 Decimal 值并期望有许多重复项，那么这样的对象似乎是合理的。不幸的是，如果使用这种缓存来转换 12.3 米和 12.40 米，然后是 12.30 米和 12.4 米，则后面的值将产生“12.3”和“12.40”，而不是“12.30”和“12.4”。

回到手头的问题，比较可空对象是否相等的明智方法不止一种。 C# 认为它的== 运算符应该反映Equals 的行为。 VB.NET 认为它的行为应该反映一些其他语言的行为，因为任何想要Equals 行为的人都可以使用Equals。从某种意义上说，正确的解决方案是使用三向“if”构造，并要求如果条件表达式返回三值结果，代码必须指定在null 情况下应该发生什么。由于这不是语言本身的选择，因此下一个最佳选择是简单地了解不同语言的工作原理并认识到它们是不同的。

顺便提一下，Visual Basic 的“Is”运算符（C 中缺少）可用于测试可空对象是否实际上为空。虽然人们可能会合理地质疑 if 测试是否应该接受 Boolean?，但在可空类型上调用时，让普通比较运算符返回 Boolean? 而不是 Boolean 是一项有用的功能。顺便说一句，在 VB.NET 中，如果尝试使用相等运算符而不是 Is，则会收到警告，指出比较的结果将始终为 Nothing，如果想要使用，则应使用 Is测试是否为空。

Answer 5

可能是 this 贴好帮助你：

如果我没记错的话，VB 中的“Nothing”表示“默认值”。对于值类型，这是默认值，对于引用类型，这将是 null。因此，对结构不赋值完全没有问题。

Answer 6

这绝对是 VB 的怪异之处。

在VB中，如果你想比较两个可以为空的类型，你应该使用Nullable.Equals()。

在你的例子中，它应该是：

Dim x As System.Nullable(Of Decimal) = Nothing
Dim y As System.Nullable(Of Decimal) = Nothing

y = 5
If Not Nullable.Equals(x, y) Then
    Console.WriteLine("true")
Else
    Console.WriteLine("false")
End If

Answer 7

您的 VB 代码完全不正确 - 如果您将“x y”更改为“x = y”，结果仍然是“false”。对于可空实例，最常见的 this 表达方式是“Not x.Equals(y)”，这将产生与 C# 中的“x != y”相同的行为。