“foo = Nothing” 和有什么不一样？和“foo 没什么”在 VB.NET 中？

Question

有什么区别

if foo is Nothing Then
      doStuff()
End If

在VB.NET中，和

if foo=Nothing Then
    doStuff()
End If

---

更新 我收到以下答复：

foo is Nothing 只是检查 foo 是否未分配给任何引用。 foo = Nothing 检查 foo 持有的引用是否等于 nothing。

运行这三个语句后，

Dim foo as Object
Dim bar as Integer
foo = bar

foo is Nothing 的计算结果为 false，foo = Nothing 的计算结果为 true。

但是，如果 bar 被声明为 Object 并且未初始化，则 foo is Nothing 和 foo = Nothing 两者评价为真！我认为这是因为 Integer 是值类型，而 Object 是引用类型。

Answer 1

这取决于类型。

• 对于值类型，Is不起作用，仅=和Nothing< /code> 指的是该类型的默认实例（即通过为给定类型 T 调用 New T() 获得的实例）。

  


• 对于引用类型，Is 执行引用比较（与object.ReferenceEquals(a, Nothing) 相同）。 a = Nothing 通常不起作用，除非已为该类显式定义Operator =。

  此外，如果 Operator = 已正确实现，则 foo = Nothing 和 foo Is Nothing 应该产生相同的结果（但是对于任何其他值（而不是 Nothing）来说，情况并非如此），但 foo Is Nothing 会更高效，因为它是编译器固有的，而 Operator = > 将调用一个方法。

• 对于可空值类型（即Nullable(Of T)的实例），适用特殊规则：与所有其他运算符一样，= 是已提升 （请注意该博客文章中的错误...）由编译器转换为底层类型。因此，比较两个 Nullable 的结果不是 Boolean 而是 Boolean?（注意 ?）。然而，由于提升运算符所谓的“空传播”，无论 foo 的值是什么，这总是返回Nothing。引用 Visual Basic 10 语言规范 (§1.86.3)：

  <块引用>

  如果以太（原文如此！）操作数为 Nothing，则表达式的结果为 Nothing 值，键入为结果类型的可为空版本。

  因此，如果用户想要将 Nullable 变量与 Nothing 进行比较，他们必须再次使用 foo Is Nothing 语法，编译器生成特殊代码以使其工作（Visual Basic 10 语言规范的第 1.79.3 节）。
  _{向乔纳森·艾伦（Jonathan Allen）致敬，他（正确地）坚持认为我错了；感谢 Jared Parsons 向我传递了 Visual Basic 10 规范的链接。}

（上面假设使用了 Option Strict On，因为您总是应该这样做如果情况并非如此，结果会略有不同，因为调用 foo = Nothing 可能会执行后期绑定调用。）

Answer 2

foo is Nothing simply checks if `foo` is not assigned to any reference.

foo=Nothing checks if the reference held by `foo` is equal to `nothing`

在 VB 中，如果 foo 尚未初始化，两个语句的计算结果将相同

Answer 3

下面是一些用于验证差异的 IL：

.method public static void Main() cil managed
{
    .custom instance void [mscorlib]System.STAThreadAttribute::.ctor()
    .entrypoint
    .maxstack 3
    .locals init (
        [0] object o,
        [1] bool VB$CG$t_bool$S0)
    L_0000: nop 
    L_0001: newobj instance void [mscorlib]System.Object::.ctor()
    L_0006: call object [mscorlib]System.Runtime.CompilerServices.RuntimeHelpers::GetObjectValue(object)
    L_000b: stloc.0 
    L_000c: ldloc.0 
    L_000d: ldnull 
    L_000e: ceq 
    L_0010: stloc.1 
    L_0011: ldloc.1 
    L_0012: brfalse.s L_001f
    L_0014: ldstr "Is Nothing"
    L_0019: call void [mscorlib]System.Console::WriteLine(string)
    L_001e: nop 
    L_001f: nop 
    L_0020: ldloc.0 
    L_0021: ldnull 
    L_0022: ldc.i4.0 
    L_0023: call bool [Microsoft.VisualBasic]Microsoft.VisualBasic.CompilerServices.Operators::ConditionalCompareObjectEqual(object, object, bool)
    L_0028: stloc.1 
    L_0029: ldloc.1 
    L_002a: brfalse.s L_0037
    L_002c: ldstr "Is nothing"
    L_0031: call void [mscorlib]System.Console::WriteLine(string)
    L_0036: nop 
    L_0037: nop 
    L_0038: nop 
    L_0039: ret 
}

VB 代码：

Sub Main()
        Dim o As New Object

        If o Is Nothing Then
            Console.WriteLine("Is Nothing")
        End If

        If o = Nothing Then
            Console.WriteLine("Is nothing")
        End If
    End Sub

Answer 4

foo 是指向内存位置的指针，Nothing 表示“未指向任何内存，因为尚未分配内存”。等于意味着当您比较 2 个值类型时它们具有相同的值。但是您假设 foo 代表一个对象，它始终是一个引用类型，旨在指向内存中的对象。 'is' 用于比较对象类型，并且仅当有两个对象指向相同值时才返回 'true'。

假设您有 clsFoo 和一个公共整数成员变量“x”，并且 foo1 和 foo2 都是 clsFoo，并且 y 和 z 是整数

foo1=new clsFoo
foo2=new clsFoo
foo1.x=1
foo2.x=1
y=2
z=1
dim b as boolean 

b= foo1 is not foo2  ' b is true
b= foo1.x=foo2.x ' b is tree
b= foo1 is foo2 'b is false  
b= foo1.x=z ' true of course
foo2.x=3
b= foo1.x=foo2.x ' false of course
foo1=foo2
b=foo1 is foo2 ' now it's true
b= foo1.x=foo2.x ' true again
b= 3=3 ' just as this would be
b= foo1=foo2 ' ERROR: Option Strict On disallows operands of type Object for operator '='. Use the 'Is' operator to test for object identity.

永远不要忘记打开 option strict。如果失败了，那就是尖叫“请让我的程序糟透了。”

Answer 5

假设：

MyFunc（Foo 作为对象）

Foo - 如果 ValueType 则装箱

如果 foo 是 Nothing 那么

object.ReferenceEquals（内联代码 - 最快的方法）

if foo=Nothing then

Operators.ConditionalCompareObjectEqual(foo, Nothing, False)

Vb.Net 携带这种情况，如 Obj1 = Obj2。
它不使用 Obj.equals(obj2) ！如果 Obj1 没有任何异常，则

此选项使用非常复杂的代码，因为有很多选项取决于所有可能的 foo 定义。

试试这个：

子主函数()
  变暗 o 作为对象 = 0
  Debug.Print(o 什么也没有) 'False
  Debug.Print(o = Nothing) 'True 
结束子

Answer 6

这取决于 Foo 的类型。

引用类型

if foo = Nothing then 'This depends on how the op_Equals operator is defined for Foo. If not defined, then this is a compiler error. 
if foo Is Nothing then 'Evaluates to True is foo is NULL

值类型

if foo = Nothing then 'Evaluates to True is foo has the default value in every field. For most types the default is 0.
if foo Is Nothing then 'Compiler Error

可空值类型

if foo = Nothing then 'This always evaluates to false. In VB 10, this is a compiler warning
if foo Is Nothing then 'Evaluates to True is foo.HasValue = False

很多人不理解 VB 中的空传播。与 SQL 一样，它使用三值逻辑，因此“a=b”的答案可能是 True、False 或 Null。在 If 语句中，Null 被视为 False。

警告你不能只写If Not(Foo = Nothing) then，因为“Not (Nothing)”仍然是“Nothing”。