VB.Net 新对象：它们去了哪里？

Question

每隔一段时间，在长时间的编码旅行之后，我就必须掌握一门语言的基础知识。在 VB.Net 中，我理解将变量声明为对象类型或多或少会创建对其的引用。

采取以下代码：

Dim obj1 as Object
Dim obj2 as Object
obj1 = new Object
obj2 = new Object
obj1 = obj2

一组非常基本的任务，但我试图弄清楚每一步到底发生了什么。这是我的理解：第 1 行，obj1 被声明为对象类型，编译器为 obj1 创建一个引用来保存，但是 第 1 行末尾的 obj1 引用是什么？（是 Nothing 和 null 同义？）第 2 行与第 1 行相同，只是变量不同。第3行，编译器在堆中为新对象分配空间，并将引用传递给obj1 1来保存。第 4 行与第 3 行相同。我一直不太清楚的部分是第 5 行。 obj1 被分配给与 obj2 相同的引用，因此它们都指向内存中的同一个对象。那么第 3 行中最初分配给 obj1 的对象会发生什么情况呢？ 一旦 obj1 获取与 obj2 相同的引用，是否会导致内存中留下的第一个新对象无法访问它（或至少在垃圾回收开始之前）？

Answer 1

首先是空/什么都没有的问题。在新对象创建之前，obj1 和 obj2 的值为 Nothing，但这与 C# 的 null 并不完全相同。 VB.Net 的 Nothing 更接近于 C# 的 default(T) 概念。在这种情况下，它们都是同一件事，但值得了解其中的区别，因为当您使用值类型时，null 和 Nothing 的行为非常不同。

接下来要理解的是第 5 行中的赋值。此时，来自 obj2 变量的引用被复制到 obj1 变量。这很重要，因为它们不再是相同的引用，而是碰巧指向（引用）同一位置的两个引用。在这段代码中这很容易理解，但我见过它在更复杂的地方让人们陷入困境......假设其中一个变量是在方法中分配的。

最后一点是，是的，最初由 obj1 变量引用的对象现在符合垃圾回收的条件。您无需再担心它。

Answer 2

第 1 行末尾的 obj1 引用什么？

在 VB 中，它指向 Nothing，这与 C# 的 null 相同（在本例中，您可以将其视为指向内存位置零）。

一旦 obj1 与 obj2 获取相同的引用，是否会留下第一个
新对象留在内存中，无法访问它（或者至少直到
垃圾收集开始）

是的，这正是发生的情况。由于垃圾收集的变幻莫测，您永远无法知道何时会实际收集它，而且实际上，无法保证它会被收集。

让 GC 担心这类事情，不要试图“帮助”它，除非你真的（老兄，我认真的意思是真的）需要。

Answer 3

第 1 行之后，obj1 将保存对 null 值的引用 - Nothing。

VB.NET 中的 Nothing 与 C# 中的 null 相同，至少在引用类型方面是如此（请参阅 Joel Coehoorn 的评论）。

第 5 行 - obj1 引用的对象是 obj2 引用的某个对象。此时，第一个对象确实不再可访问，并且将被垃圾收集。

Answer 4

在 .net 中，当您创建变量时，您会创建引用或值类型。所有示例都是引用变量，当程序进入函数时，它会创建保存局部变量所需的空间（即保存引用所需的空间）。

---

ILdasm

.method public static void  Main() cil managed
{
  .entrypoint
  .custom instance void [mscorlib]System.STAThreadAttribute::.ctor() = ( 01 00 00 00 ) 
  // Code size       32 (0x20)
  .maxstack  1
  .locals init ([0] object obj1,
           [1] object obj2)
  IL_0000:  nop

然后在托管堆而不是“堆”上创建对象并将它们分配给本地对象。

 IL_0001:  newobj     instance void [mscorlib]System.Object::.ctor()
  IL_0006:  call       object [mscorlib]System.Runtime.CompilerServices.RuntimeHelpers::GetObjectValue(object)
  IL_000b:  stloc.0
  IL_000c:  newobj     instance void [mscorlib]System.Object::.ctor()
  IL_0011:  call       object [mscorlib]System.Runtime.CompilerServices.RuntimeHelpers::GetObjectValue(object)
  IL_0016:  stloc.1
  IL_0017:  ldloc.1
  IL_0018:  call       object [mscorlib]System.Runtime.CompilerServices.RuntimeHelpers::GetObjectValue(object)
  IL_001d:  stloc.0

然后该函数返回

 IL_001e:  nop
  IL_001f:  ret
} // end of method Module1::Mai

垃圾收集器由运行时的突发奇想调用（您可以强制它的手），并将按生成收集所有无法访问的对象。