我可以将匿名对象传递给需要对象类型的引用参数的方法吗？

Question

我想知道为什么对Bar(ref object) 的第一次调用不起作用而第二次调用。考虑到我以任何方式传递object 类型似乎很愚蠢，和 将匿名类型传递给Foo(object) 工作正常。为什么ref，与内存位置有关的东西会影响对Bar()的调用？

考虑以下 sn-p：

static void Foo(object obj)
{ }

static void Bar(ref object obj)
{ }

static void Main()
{
    // Compiles
    var a = new { };
    Foo(a);

    // Does not compile
    var b = new { };
    Bar(ref b);

    // Compiles
    object c = new { };
    Bar(ref c);
}

我在下面的答案中看到了有关如何编译代码的建议，但这不是我所追求的。我想具体了解为什么在将匿名类型传递给Foo() 时将其设为ref 参数会阻止编译工作正常。

Answer 1

主要原因有点隐藏：发生这种情况是因为您传入的参数必须与参数中定义的类型完全相同。

这在规范部分 $10.6.1.2 中有说明（含糊不清？）：

当形参是引用形参时，方法调用中对应的实参必须 由关键字 ref 后跟一个变量引用（第 5.3.3 节）与形参的类型相同。

出于同样的原因，将子类传递给使用引用参数的方法是行不通的。这在 Jeff Mercado 的回答中有所描述。

在您的第一个示例中，您不使用ref，因此多态性有效（匿名类型是object 的子类型），在最后一个示例中，您将其声明为object，这意味着您使用完全相同的类型作为参考参数。

Answer 2

为什么要这样做？变量b 没有像方法所期望的那样声明为object。

考虑这个例子：

string s;
GetValue(ref s); // no...

void GetValue(ref object x)
{
    x = 123;
}

Answer 3

通过不允许带有 ref 和参数类型的函数，编译器实际上是在防止损害类型安全。同样的情况也发生在下面的场景中

    private static void MyMethod(out object MyPara)
    {
        MyPara = new String('x', 10);
    }

    MyClass obj = new MyClass();
    MyMethod(out obj); //compile time error

编译器实际上是通过不允许这种情况编译来保持 obj 的内存位置安全。如果允许这样做，应用程序的安全性很容易受到损害

Answer 4

类型推断很聪明，但它无法读懂你的想法。所以仅仅声明var b = new { }; 是不足以让编译器理解你想要一些可以作为对象引用传递的信息。

var b = new Object ();
Bar (ref b);

当然可以。