我想知道为什么第一次调用Bar(ref对象)不起作用,第二次调用.考虑到我以任何一种方式传入一个类型对象,并且将匿名类型传递给Foo(对象),这看起来很傻.为什么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);
}
我在下面的答案中看到了如何编译代码的建议,但这不是我追求的.我想特别知道为什么在将匿名类型传递给Foo()时,将其作为ref参数会阻止编译.
解决方法
主要原因有点隐藏：发生这种情况是因为传入的参数必须与参数中定义的类型完全相同.
这是(模糊地？)在规范部分$10.6.1.2中说明的：
When a formal parameter is a reference parameter,the corresponding argument in a method invocation must
consist of the keyword ref followed by a variable-reference (§5.3.3) of the same type as the formal parameter.
出于同样的原因,将子类传递给使用引用参数的方法不起作用.这在Jeff Mercado的回答中有所描述.
在您的第一个示例中,您不使用ref,因此多态性起作用(匿名类型是对象的子类型),在最后一个示例中,您将其声明为对象,这意味着您使用与引用参数完全相同的类型.
