从属性返回值类型

Question

我对类中的值类型属性在堆栈和堆上发生的情况感到困惑。

到目前为止我的理解：

当您创建一个具有如下结构（值类型）的类时：

class Foo
{
  private Bar _BarStruct;
  public Bar BarStruct
  {
    get {return _BarStruct; }
    set {_BarStruct = value; }
   }
}

private struct Bar
{
  public int Number;
  Bar()
  {
    Number = 1;
  }
  Bar(int i)
  {
    Number = i;
  }
}

如果您创建一个像这样的类实例：

Foo fooObj = new Foo();

堆栈和堆将如下所示：

...其中 Bar 结构嵌入到堆中的 Foo 类中。这对我来说很有意义，但是当我们考虑修改 Foo 对象内的 BarStruct 类中的 Number 整数时，我开始失去它。例如：

Foo fooObj = new Foo();
fooObj.BarStruct.Number = 1;

据我了解，这应该返回 BarStruct 的副本以存在于堆栈中，这意味着 BarStruct 成员的任何更改都不会传递到对象，这就是上面最后一行给出错误的原因。

到目前为止这是正确的吗？

如果是这样，我的问题是，为什么像这样的分配：

fooObj.BarStruct = new Bar(2);

...有效并更改堆值？当然这只是改变堆栈上的值？另外，（渐渐地）我发现它非常令人困惑，以至于您可以在值类型上使用 new 。对我来说，new 用于在堆上分配（按照 C++），对堆栈上的项目执行此操作感觉不自然。

因此，只是重申一下这个问题，我对调用包含结构的属性时会发生什么的假设是否正确？为什么可以将新结构分配给副本，但它仍然会更改堆上的引用？

真的希望这一切都有意义。

如果您需要澄清，请大喊！

塔，

安迪。

Answer 1

查看此赋值：

fooObj.BarStruct = new Bar(2);

该赋值不会更改堆栈上的值 - 它会调用属性的setter。

换句话说，您的第一个作业相当于：

fooObj.get_BarStruct().Number = 1; // Bad

第二个作业相当于：

fooObj.set_BarStruct(new Bar(2));

这有帮助吗？

请注意，如果您一开始就将值类型设置为不可变，那么有问题的赋值就不再是问题了——事实上，这通常是有帮助的。在 C# 中，可变值类型是一个非常糟糕的主意；和他们在一起你可能会遇到无穷无尽的麻烦。

就您对“新”的期望而言，基本上尽量不要用 C++ 来思考。 C# 不是 C++，如果您尝试用 C# 有效地编写 C++，那么各种东西（析构函数、泛型、构造期间的行为）会让您感到困惑。 “new”语句创建类型的新实例，无论该类型是值类型还是引用类型。