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完全独立。

---------------------------（备注）-------------------------------
out 参数：只能用在返回类型。

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;

以上就是本文的全部内容，希望本文的内容对大家的学习或者工作能带来一定的帮助，同时也希望多多支持我们！

赞 (0)

相关推荐

  • C#泛型集合Dictionary<K,V>的使用方法

    1.要使用Dictionary集合,需要导入C#泛型命名空间 System.Collections.Generic(程序集:mscorlib) 2.描述 1).从一组键(Key)到一组值(Value)的映射,每一个添加项都是由一个值及其相关连的键组成 2).任何键都必须是唯一的 3).键不能为空引用null(VB中的Nothing),若值为引用类型,则可以为空值 4).Key和Value可以是任何类型(string,int,custom class 等) 3.创建及初始化 复制代码 代码如下:

  • C#泛型实例详解

    C#泛型实例详解

    本文以实例形式讲述了C#泛型的用法,有助于读者深入理解C#泛型的原理,具体分析如下: 首先需要明白什么时候使用泛型: 当针对不同的数据类型,采用相似的逻辑算法,为了避免重复,可以考虑使用泛型. 一.针对类的泛型 针对不同类型的数组,写一个针对数组的"冒泡排序". 1.思路 ● 针对类的泛型,泛型打在类旁. ● 由于在"冒泡排序"中需要对元素进行比较,所以泛型要约束成实现IComparable接口. class Program { static void Main(s

  • C#中Dictionary泛型集合7种常见的用法

    要使用Dictionary集合,需要导入C#泛型命名空间 System.Collections.Generic(程序集:mscorlib)  Dictionary的描述 1.从一组键(Key)到一组值(Value)的映射,每一个添加项都是由一个值及其相关连的键组成 2.任何键都必须是唯一的 3.键不能为空引用null(VB中的Nothing),若值为引用类型,则可以为空值 4.Key和Value可以是任何类型(string,int,custom class 等) Dictionary常用用法:以

  • C# 泛型深入理解介绍

    C# 泛型深入理解介绍

    引言: 在上一个专题中介绍了C#2.0 中引入泛型的原因以及有了泛型后所带来的好处,然而上一专题相当于是介绍了泛型的一些基本知识的,对于泛型的性能为什么会比非泛型的性能高却没有给出理由,所以在这个专题就中将会介绍原因和一些关于泛型的其他知识. 一.泛型类型和类型参数 泛型类型和其他int,string一样都是一种类型,泛型类型有两种表现形式的:泛型类型(包括类.接口.委托和结构,但是没有泛型枚举的)和泛型方法.那什么样的类.接口.委托和方法才称作泛型类型的呢 ?我的理解是类.接口.委托.结构或方

  • C#中的where泛型约束介绍

    泛型约束的意思就是说:类的泛型,只能是where字句后面所写的接口或类.这么说好像也有点不大明白,举个例子.我有一个接口,如下: 复制代码 代码如下: /// /// 国籍的接口 /// public interface INationality {     string Nationality     {         set;         get;     }     string GetNationality(); } 然后该接口有两个实现,如下: 复制代码 代码如下: ///  /

  • 深入解析C#中的泛型类与泛型接口

    泛型类 泛型类封装不是特定于具体数据类型的操作.泛型类最常用于集合,如链接列表.哈希表.堆栈.队列.树等.像从集合中添加和移除项这样的操作都以大体上相同的方式执行,与所存储数据的类型无关. 对于大多数需要集合类的方案,推荐的方法是使用 .NET Framework 类库中所提供的类. 一般情况下,创建泛型类的过程为:从一个现有的具体类开始,逐一将每个类型更改为类型参数,直至达到通用化和可用性的最佳平衡.创建您自己的泛型类时,需要特别注意以下事项: 将哪些类型通用化为类型参数. 通常,能够参数化的

  • C#中数组Array，ArrayList，泛型List详细对比

    在C#中数组Array,ArrayList,泛型List都能够存储一组对象,但是在开发中根本不知道用哪个性能最高,下面我们慢慢分析分析. 一.数组Array 数组是一个存储相同类型元素的固定大小的顺序集合.数组是用来存储数据的集合,通常认为数组是一个同一类型变量的集合. Array 类是 C# 中所有数组的基类,它是在 System 命名空间中定义. 数组在内存中是连续存储的,所以它的索引速度非常快,而且赋值与修改元素也非常简单. Array数组具体用法: using System; names

  • 关于C#泛型列表List<T>的基本用法总结

    示例代码如下:namespace SampleListT{  class Program  {      static void Main(string[] args)      {//using System.Collections.Generic; 命名空间中的List<T>//using System.Collections; 命名空间中的ArrayList  //都实现了列表集合,一个是泛形集合,一个是非泛型的//下面我们将Person对象加到集合中 Person p1 = new P

  • C#实现利用泛型将DataSet转为Model的方法

    本文实例讲述了C#实现利用泛型将DataSet转为Model的方法.分享给大家供大家参考.具体如下: 因为网站需要用C#开发,习惯了java的泛型,所以看了一下C#下,也可以这样做,随便写了一个. public static List<T> PutAllVal<T>(T entity, DataSet ds) where T : new() { List<T> lists = new List<T>(); if (ds.Tables[0].Rows.Coun

  • C# 泛型接口的抗变和协变

    1, 泛型接口的协变 如果泛型类型用out关键字标注,泛型接口就是协变的.这也意味着返回类型只能是T. 泛型接口的抗变 如果泛型类型用in关键字标注,泛型接口就是抗变的.这样,接口只能把泛型类型T用作其方法的输入,即方法的参数. 这是泛型接口的抗变和协变的定义,那我们下面来用代码说明,直接上代码, /// <summary> /// 泛型接口 /// </summary> /// <typeparam name="T"></typeparam&

随机推荐