ref 用于变量而不是函数中的参数

Question

假设我有一个 Person 类并具有以下内容：

Person A = new Person("Tom");
Person B = A;

有没有办法可以更改它，以便如果我将新的 Person 分配给 B , B = new Person("Harry"), A 也会引用同一个实例吗？我知道您可以在函数中的 ref 参数赋值中做到这一点。

Answer 1

更新：此处描述的功能已添加到 C# 7 中。

---

您想要的功能称为“ref locals”，C# 中不支持它。

CLR 确实支持生成包含引用局部变量的代码，几年前我编写了一个 C# 实验版本，它具有您想要的功能，只是为了看看它是否有效。你可以这样做：

Person a = whatever;
ref Person b = ref a;

然后正如你所说，对“b”的更改将更改“a”的内容。这两个变量成为同一存储位置的别名。

尽管这是一个不错的小功能并且运行良好，但我们决定不将其用于 C#。在该语言的假设的未来版本中，这种情况仍有可能发生，但我不会对此感到兴奋；它可能不会发生。

（请记住，Eric 对任何 Microsoft 产品的假设未来版本的所有思考都仅供娱乐。）

Answer 2

不，这在安全代码中是不可能的（除了 ref 函数参数）。在不安全的代码中，您可能可以使用指针来实现这一点，但我认为这不是一个好主意。

A 包含对“Tom”的引用作为值。您需要引用 A 来更改它指向的位置。

如果我们考虑一种显式使用指针而不是隐式地将类实例视为引用的语言中的类似代码：

Person* A=new Person("Tom");
Person* B=A;
B=new Person("Harry");//Changes only B
Person** C=&A;
(*C)=new Person("John");//Now A changes

因此您需要一个指向指针的指针才能更改 A。如果将其转移到 C#，则需要对局部变量的引用。这些仅以 ref 函数参数的形式提供。这避免了一些生命周期问题，因为对局部变量的引用不能安全地超过该局部变量的寿命。

如果这些不是私有变量，您可以将 B 设置为在 setter 中修改 A 的属性。

Person B{get{return A;} set{A=value;}}

Answer 3

没有直接的方法可以做到这一点。

您可以采用源代码方法，例如：

A = B = new Person("Harry")

或使用泛型类型。类似于：

var A = new ReferenceHolder<Person> (new Person("Tom")); 
var B = A;

在 C# 中，您还可以使用指针（因此基本上是引用类型），但该方法不可静态验证，因此不建议使用。