我可以将匿名对象传递给期望类型为object的引用参数的方法吗？

Question

我想知道为什么第一次呼叫Bar(ref object)不起作用而第二次呼叫不起作用.考虑到我以object任何一种方式传递一个类型,并传递一个匿名类型Foo(object)工作正常,似乎很傻.为什么ref,与内存位置有关的东西会影响调用Bar()？

请考虑以下代码段:

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);
}

我在下面的答案中看到了如何编译代码的建议,但这不是我追求的.我想特别知道为什么ref在将匿名类型传递到正常Foo()工作时使其成为参数会阻止编译.

Answer 1

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

这是(模糊地？)在规范部分$ 10.6.1.2中说明的:

当形式参数是引用参数时,方法调用中的相应参数必须包含关键字ref,后跟与形式参数相同类型的变量引用(第5.3.3节).

出于同样的原因,将子类传递给使用引用参数的方法不起作用.这在Jeff Mercado的回答中有所描述.

在您的第一个示例中,您不使用refso polymorphism工作(匿名类型是其子类型object),在最后一个示例中,您将其声明为object,这意味着您使用与引用参数完全相同的类型.

Answer 2

为什么要这样？该变量b未声明为object方法所期望的.

考虑这个例子:

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

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