C#通用协变误差

时间:2010-10-12 03:11:14

标签: c# generics covariant

以下是我的代码,   我不知道为什么DateTime不能改为Object,   有什么想法来解决这个问题吗?

    public class Test
    {
        public DateTime CreatedTime { get; set; }
    }
    public class Test1
    {

    }
    public class Test2 : Test1
    {
    }
    static void Main(string[] args)
    {

        Func<Test, ArgumentException> fn1 = null;
        Func<Test, Exception> fn2 = fn1;// success 

        Func<Test, Test2> fn3 = null;
        Func<Test, Test1> fn4 = fn3;//success  

        Func<Test, DateTime> expression1 = p => p.CreatedTime;
        Func<Test, object> s = expression1; // Cannot implicitly convert type 'System.Func<IlReader.Program.Test,System.DateTime>' to 'System.Func<IlReader.Program.Test,object>'    
        Func<Test, ValueType> s2 = expression1; // cannot implicatily convert .... 
    }

2 个答案:

答案 0 :(得分:6)

DateTime是一种值类型。将值类型转换为引用类型(在本例中为object)是一种表示更改转换。它需要装箱值类型。对于参考类型,情况并非如此。 CLR使用指针实现引用,并且所有指针都具有相同的大小。对派生类的引用仅被解​​释为对基类的引用。因此,您不能在值类型上使用协方差。

理论上,编译器可以生成如下的中间函数:

object compilerGeneratedFunction(Test t) {
    return (object)anonymousFunctionThatReturnsDateTime(t);
    // The above cast can be implicit in C# but I made it explicit to demonstrate
    // boxing that has to be performed.
}

Func<Test, DateTime> convertedFunction = compilerGeneratedFunction;

但是生成的委托会指向一个完全不同的函数,导致不遵守C#规范中的委托相等规则等不良内容。设计团队决定不再生成这样的功能。

答案 1 :(得分:0)

您正在尝试将委托类型Func<Test, DateTime> expression1转换为委托类型Func<Test, object>,而不是DateTime字段转换为object

如果这是您的初衷,请改用lambda表达式语法,如下所示:

Func<Test, object> s = p => p.CreatedTime;