C# 泛型参数转换
泛型不同参数类型生成的对象是相互独立的。 //如 Tuple<string> ts; Tuple<object> to; //ts to 是两个类型的对象。 很多时候,我们希望实现 to = ts 这种操作,为什么?因为看上去它应该如此。 为了达到这个目的,就要解决“泛型参数转换的问题”,这个问题的知识点是in out 泛型变体。老实说,这个问题本身不困难,只是非常不直观,很容易让人忘记。 首先一点,为了实现to = ts,实际上是有前提的,那就是该参数只能用在“返回类型”上。 //如 delegate object FuncObj(); FuncObj func = ()=>"string"; func之所以成功,就是因为string 可以转换成 object。当“用户”调用func,希望得到的是object对象,而string也是object对象,所以没有任何问题。 这里的关键是学会采用"用户"的视角分析问题。 //A delegate void FuncObj2(object obj); FuncObj2 func2 = (string str)=>{}; //B delegate void FuncStr(string str); FuncStr func3 = (object obj)=>{}; 分析这两组代码,哪一个更加合理? 在用户角度,它使用的是func2 和 func3 用户使用func2,传递的对象必然是object,但实际处理的函数是(string)=>{},object是无法转换成string的,所以很不合理。 用户使用func3,传递的对象只能是string,而实际处理的函数是(object)=>{},string 是可以转换成object的,所以是合理的。 当然这两组代码都是不成立的,因为函数参数类型不匹配。 但是泛型提供了一个方法,让类型不匹配的对象之间能够隐式转换!它实现的逻辑就是上面分析的。 //out 修饰返回类型 delegate ResultType FuncOut<out ResultType>(); //in 修饰参数类型 delegate void FuncIn<in ParamType>(ParamType param); //这是一开始我们想做到的目标 FuncOut<object> fun4 = () => "string"; //这个效果恰好相反 FuncIn<object> funcobj = (object obj) => { }; FuncIn<string> fun5 = funcobj; //注意,泛型变体一般只能和泛型变体之间隐式转换 //lambda表达式会自动转换成参数相同的泛型变体,但无法接着做变体之间的隐式转换,所以需要funcobj来过渡 out修饰返回类型,in修饰参数类型,还是挺形象的,但是要注意泛型in参数,和out参数正好相反。 开始我们想实现 to = ts,只是看到问题的一半,实际上泛型是存在 ts = to的可能性的,希望读者能理解这一点。 总结: out : to = ts; in : ts = to; 没有修饰:to,ts完全独立。 ---------------------------(备注)------------------------------- in 参数:只能用在参数。 没有修饰:任意位置。 ---------------------------(备注2)------------------------------ in、out泛型参数只能用在委托和接口上面。 //综合运用 delegate ResultType FuncInOut<in ParamType,out ResultType>(ParamType param); FuncInOut<object,string> funcobj2 = (object obj) => "string"; FuncInOut<string,object> func6 = funcobj2; 以上就是本文的全部内容,希望本文的内容对大家的学习或者工作能带来一定的帮助,同时也希望多多支持编程小技巧! (编辑:李大同) 【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容! |