C#中的自赋值

Question

我正在查看我不久前编写的一些代码，并意识到我对 C# 中的赋值运算符做了一个假设。这是有问题的代码行（它按预期工作）：

pointsChecked = pointsChecked ?? new List<Point>();

pointsChecked 是一个列表，指定为递归函数的参数。它是一个默认参数，默认值为null。我想要做的是初始化一次，然后构建一个我已经检查过的点的集合，所以它应该只在第一次迭代期间被初始化。

我的假设是 C# 可以防止自赋值，就像 C++ operator=应该在重载时提供保护（即if(this == &rightHandSide) return *this;）一样。但是，我无法找到任何明确声明这适用于 C# 的资源。

我找到的最接近的例子是this question about the null-coalescing operator，如果对象不是null，它似乎会被分配回自身。在该示例中没有人对自我分配发表任何评论，但我想确定这不是一个坏做法，并且没有负面影响。

Searching on MSDN我还发现（根据我的理解解释）右侧的值被复制到左侧的值并返回。所以我再次不确定进行自我分配是否是一件坏事。

我知道我可以采取以下措施更安全：

if(pointsChecked == null)
{
    pointsChecked = new List<Point>();
}

但我更愿意了解自我分配实际发生的情况。

Answer 1

Assignment 复制对对象的引用，而不是对象的内容。从来没有可定制的代码作为分配给包含对象引用的变量的一部分运行。对于结构也是如此。

在 C++ 中赋值是可自定义的，而在 C# 中则不是。

将相同的对象引用分配给已经持有它的变量是安全的：

object someRef = new object();
someRef = someRef; //always does nothing

这与分配任何其他值一样安全：

int someVal = 123;
someVal = someVal; //always does nothing

请注意，不存在克隆/复制对象的通用方法。任何依赖这种机制存在的解释都是错误的。

自赋值是安全的，因为它转换为以下近似 IL 指令：

ldloc someRef
stloc someRef

这有明确定义的语义。它首先将someRef 加载到堆栈中，然后将堆栈中的任何内容存储到someRef。