采取以下措施:
class A {} class B : A {} class C { C() { var b = new B(); Foo(b); Foo2(ref b); // <= compile-time error: // "The 'ref' argument doesn't match the parameter type" } void Foo(A a) {} void Foo2(ref A a) {} }
为什么会出现上述编译时错误?ref和out参数都会发生这种情况。
ref
out
=============
更新:我使用此答案作为此博客条目的基础:
为什么ref和out参数不允许类型变化?
有关此问题的更多评论,请参见博客页面。感谢您提出的重大问题。
让我们假设你有课Animal,Mammal,Reptile,Giraffe,Turtle和Tiger,具有明显的子类关系。
Animal
Mammal
Reptile
Giraffe
Turtle
Tiger
现在假设您有一个方法void M(ref Mammal m)。 M可以读写m。
void M(ref Mammal m)
M
m
您可以将类型的变量传递Animal给M吗?
否。该变量可以包含Turtle,但M将假定它仅包含哺乳动物。A Turtle不是Mammal。
结论1 :ref不能使参数“更大”。(动物比哺乳动物多,因此该变量变得“更大”,因为它可以包含更多的东西。)
您可以将类型的变量传递Giraffe给M吗?
号M可以写入m,并且M可能要编写一个Tiger成m。现在,您已将a Tiger放入实际类型为的变量中Giraffe。
结论2 :ref不能使参数“更小”。
现在考虑N(out Mammal n)。
N(out Mammal n)
您可以将类型的变量传递Giraffe给N吗?
N
号N可以写n,并且N可能要写一个Tiger。
n
结论3 :out不能使参数“更小”。
您可以将类型的变量传递Animal给N吗?
嗯
好吧,为什么不呢? N无法读取n,只能写入,对不对?您将a写入Tiger类型的变量,Animal就已经准备好了,对吧?
错误。规则不是“ N只能写n”。
这些规则是:
1)在正常返回之前N必须先写入。(如果抛出,则所有投注均无效。)n``N``N
n``N``N
2)N必须先写入内容,n然后才能从中读取内容n。
这允许发生以下一系列事件:
x
显然,我们想使之非法。
结论4 :out不能将参数设为“更大”。
最后得出结论 : 无论是ref也不out参数可能有所不同它们的类型。否则将破坏可验证的类型安全性。
如果您对基本类型理论中的这些问题感兴趣,请考虑阅读我的有关协方差和反方差如何在C#4.0中工作的系列文章。