为什么 ref 参数类型与常规类型不同？

Question

我了解如何在两种不同类型之间切换，但我的问题是；为什么类型级别存在这种差异？

我本以为它是 ParamterInfo 的属性 对象，而不是单独的特殊类型。

假设它在反射中呈现为单独的类型，因为它的内部就是这样，那么将其作为单独的类型有什么语言好处（我猜更容易的方法重载解析或其他什么）？

同样，为什么 ref 会产生不同的类型，而 out 却不会（我想不出 ref 是一个不同的类型的原因）单独的类型，不适用于 out）？

Answer 1

ref 参数具有不同的类型，因为 ref 类型在除参数之外的其他上下文中也是允许的和有用的。 C# 不允许，但其他语言（至少 C++/CLI）确实支持，例如引用类型的局部变量。这样的事情对于 ref 有意义，但对于 out 则没有意义。

假装 C# 允许，您可以这样写（IL 支持）：

int x = 3;
ref int y = x;
y = 4;
if (x == 4)
    MessageBox.Show("x is 4");

这不是一个有用的示例，但在 ref 参数有用的相同情况下，使用带有 ref 字段的辅助类或结构也很有用。

Answer 2

public static int SomeMethod(string local, ref string strParam)
{
  local = SomeStaticlyHeldString;
  strParam = SomeStaticlyHeldString;
  int localInt = local.Length;
  return strParam.Length;
}

对 local 的赋值意味着 local 标签在内存中的位置现在指向 SomeStaticlyHeldString 所指向的同一对象。

对 strParam 的赋值意味着参数在内存中使用 ref 标签传递给方法的位置，现在指向与 SomeStaticlyHeldString 相同的对象正在指着。

获取local.Length查询local指向的对象。获取strParam.Length查询strParam指向的变量所指向的对象。

两者的行为确实非常不同，不仅在定义参数或局部变量时，而且在每次使用它们时。这种差异很大程度上是隐藏的，这使得它们更加不同，因为对它们的每次操作效果都不同。

如果我们有一种较低级的语言，除了局部变量、某种非局部堆上的对象以及指向这两者的指针之外什么都没有，那么 local 将是 string*< 类型/code> 和 strParam 类型为 string**。这就是我们在 C 中执行类似操作的方式，以及我们如何在 C++ 中执行此操作，尽管它也有引用类型（尽管在 C++ 中，类型是引用类型更清楚地是其类型定义的一部分，并且它们有进一步的用途和改进）。 C# 在其语法中向我们隐藏了几乎所有这些内容。隐藏任何细节的好处总是有争议的，但在这种情况下，隐藏任何有用的东西并没有太多，所以人们很难批评它。