C# -- 泛型(3)
简介:
前两篇文章讲了关于泛型的一些基础,下面笔者通过这篇文章来给刚刚接触泛型的朋友介绍一下
<1>.原理性的东西----” 泛型的协变和逆变 “
<2>.以及常用的接口----” IEnumerable 及其泛型版的IEnumerable<out T> “
------------------------------------------------------------------------------------------------------------------------------------------------------------
<泛型的协变与逆变|泛型修饰符‘out’与‘in’>
|首先这2个拗口的名词先不用去管它,先知道协变和逆变主要是用在泛型的接口和委托上就可以了,下面我们通过一个例子来看看:
|在这之前我们插点别的东西,我们知道接口是可以体现多态的,当然接口体现的多态注重的功能上的多态,这和抽象类不同,抽象类更注重的是建立在血缘关系上的多态。
知道接口是可以体现多态的之后,我们来看看一个相关的例子--
鸟和飞机都会飞,把飞定义成一个借口,在定义2个类
public interface IFlyable
{
void fly();
}
class Bird:IFlyable
{
public void fly()
{
Console.WriteLine("鸟儿飞!");
}
}
class Plane:IFlyable
{
public void fly()
{
Console.WriteLine("飞机飞!");
}
}
下面看看接口体现的多态性:
IFlyable ifly; ifly = new Bird();
ifly.fly(); ifly = new Plane();
ifly.fly();
运行结果:
鸟儿飞!
飞机飞!
了解了接口的多态性后我们再来看一个例子:
这里定义了2个类 Animal 和 Cat (Cat继承了Animal)
public class Animal
{
} public class Cat:Animal
{
}
继续往下看:
Cat cat = new Cat();
下面这句代码,cat向animal转,子类向父类转换,这时cat会隐式转换为animal 我们说“儿子像父亲” 这是完全可以理解的
Animal animal = cat;
但是 说”父亲像儿子“ 这是说不过去的 ,但是有的时候如果儿子坑爹,强制转换了一下还是可以的
cat = (Cat)animal;
(协变)
List<Cat> catArray = new List<Cat>();
List<Animal> animalArray = catArray;
如果是上面说的类,这样写是可以的,但是这里是会报错的 如图
继续往下看 这样写却可以
IEnumerable<Cat> lCat = new List<Cat>();
IEnumerable<Animal> lAnimal = lCat;
对 IEnumerable<Cat> 转到定义 如图 我们发现这里多了一个 “out” 关键字
概念引入:
1.对于泛型类型参数,out 关键字指定该类型参数是协变的。 可以在泛型接口和委托中使用 out 关键字。“协变”是指能够使用与原始指定的派生类型相比,派生程度更大的类型。
--对于 “协变” 笔者是这样理解的就是”说的通变化“ 就像 “儿子像父亲一样”(假定父亲派生程度0那么儿子的派生程度就是1了,所以父亲可以使用派生程度更大的儿子)
协变与多态性类似,因此它看起来非常自然。
(逆变)
我们知道IComparable<T>接口中,T的修饰符是‘in’,下面我们修改一下上面的代码演示一下
class Cat : Animal, IComparable<Cat>
{
//仅演示
public int CompareTo(Cat other)
{
return ;
}
} class Animal : IComparable<Animal>
{
//仅演示
public int CompareTo(Animal other)
{
return ;
}
}
这里Cat和Animal都实现了IComparable<T>接口,然后我们这样写
IComparable<Cat> ICat = new Cat();
IComparable<Animal> IAnimal = new Animal();
ICat = IAnimal;
代码中ICat(高派生程度)使用 IAnimal(低派生程度) “父亲像儿子” 和上面的例子完全相反。
概念引入:
2.对于泛型类型参数,in 关键字指定该类型参数是逆变的。 可以在泛型接口和委托中使用 in 关键字。“逆变”则是指能够使用派生程度更小的类型。
--对于 “逆变” 笔者的理解则是 “坑爹儿子” 反过来硬说 “父亲像儿子” 这是 “说不过去的” 只是利用了强硬的手段
在了解了上面的内容后,我们来看看“out” 与 “in” 关键字的特性
IEnumerable<T>接口的IEnumerator<T> GetEnumerator()方法返回了一个迭代器 ,不难发现T如果用 out 标记,则T代表了输出,也就说只能作为结果返回。
IComparable<T>接口的CompareTo(T other)方法传入了一个T类型的Other参数,不难发现T如果用 in 标记,则T代表了输入,也就是它只能作为参数传入。
下面我们演示一个例子
将动物会叫这功能,定义成一个泛型借口用 out 修饰
这里会出现一个错误
把第二个带参数的setSound方法,去掉后编译可以正常通过
下面我们把 out 改成 in
这里会出现一个错误
把第一个setSound方法,去掉后编译可以正常通过,或者把第一个方法的返回值,改成其它非T类型,编译也可通过
这个演示充分说明了:out 修饰 T 则 T只能作为结果输出而不能作为参数 ; in 修饰 T 则 T只能作为参数而不能作为结果返回;
------------------------------------------------------------------------------------------------------------------------------------------------------------
<IEnumerable接口及其泛型版>
为什么要用IEnumerable接口? 下面我们通过一个例子看看:
//定义Person类
public class Person
{
public Person(string _name)
{
this.name = _name;
} public string name;
} //定义People类
public class People
{
private Person[] _people; public People(Person[] pArray)
{
//实例化数组 用于存Person实例
_people = new Person[pArray.Length]; for (int i = ; i < pArray.Length; i++)
{
_people[i] = pArray[i];
}
}
}
上面的代码我们定义了一个 Person 类和一个 People 类,显然 People是用来存放多个Person实例的集合,下面我们尝试用 Foreeach 遍历集合的每个元素 输出:
static void Main(string[] args)
{
Person[] personArray = new Person[]{
new Person("Keiling1"),
new Person("Keiling2"),
new Person("Keiling3"),
}; People people = new People(personArray);
foreach (Person item in people)
{
Console.WriteLine(item.name);
}
}
这里编译不能通过,出现了一个错误
GetEnumerator:是IEnumerable接口中的一个方法,它返回一个 IEnumerator(迭代器),如下图
IEnumerator内部规定了,实现一个迭代器的所有基本方法,包括 如下图
为了在foreach中使用 People的实例, 我们给People实现IEnumerable接口,代码如下:
public class People:IEnumerable
{
private Person[] _people; public People(Person[] pArray)
{
//实例化数组 用于存Person实例
_people = new Person[pArray.Length]; for (int i = ; i < pArray.Length; i++)
{
_people[i] = pArray[i];
}
} ////IEnumerable和IEnumerator通过IEnumerable的GetEnumerator()方法建立了连接,可以通过IEnumerable的GetEnumerator()得到IEnumerator对象。
IEnumerator IEnumerable.GetEnumerator()
{
return (IEnumerator)GetEnumerator();
} public PeopleEnum GetEnumerator()
{
return new PeopleEnum(_people);
}
} public class PeopleEnum:IEnumerator
{
public Person[] _people; public PeopleEnum(Person [] pArray)
{
_people = pArray;
}
//游标
int position = -; //是否可以往下 移
public bool MoveNext()
{
position++;
return (position < _people.Length);
} //集合的所有元素取完了之后 重置position
public void Reset()
{
position = -;
} //实现 IEnumerator的 Current方法 返回当前所指的Person对象
object IEnumerator.Current
{
get
{
return Current;
}
} //Current是返回Person类实例的只读方法
public Person Current
{
get
{
try
{
return _people[position];
}
catch (IndexOutOfRangeException)
{
throw new InvalidOperationException();
}
}
}
}
测试运行:
static void Main(string[] args)
{
Person[] personArray = new Person[]{
new Person("Keiling1"),
new Person("Keiling2"),
new Person("Keiling3"),
}; People people = new People(personArray);
foreach (Person item in people)
{
Console.WriteLine(item.name);
}
}
结果:
总结:
1.一个集合要支持foreach方式的遍历,必须实现IEnumerable接口,描述这类实现了该接口的对象,我们叫它 ‘序列’。
比如 List<T> 支持 foreach 遍历 是因为它实现了IEnumerable接口和其泛型版,如图--
2. IEnumerator对象具体实现了迭代器(通过MoveNext(),Reset(),Current)。
3. 从这两个接口的用词选择上,也可以看出其不同:IEnumerable是一个声明式的接口,声明实现该接口的class是“可枚举(enumerable)”的,但并没有说明如何实现迭代器,
而IEnumerator是一个实现式的接口,IEnumerator对象就是一个迭代器。
关于IEnumerable<T>我们来了解一下它的代码:
出自: Keiling_J'Blog http://www.cnblogs.com/keiling/
C# -- 泛型(3)的更多相关文章
- 一起学 Java(三) 集合框架、数据结构、泛型
一.Java 集合框架 集合框架是一个用来代表和操纵集合的统一架构.所有的集合框架都包含如下内容: 接口:是代表集合的抽象数据类型.接口允许集合独立操纵其代表的细节.在面向对象的语言,接口通常形成一个 ...
- .NET面试题系列[8] - 泛型
“可变性是以一种类型安全的方式,将一个对象作为另一个对象来使用.“ - Jon Skeet .NET面试题系列目录 .NET面试题系列[1] - .NET框架基础知识(1) .NET面试题系列[2] ...
- C#4.0泛型的协变,逆变深入剖析
C#4.0中有一个新特性:协变与逆变.可能很多人在开发过程中不常用到,但是深入的了解他们,肯定是有好处的. 协变和逆变体现在泛型的接口和委托上面,也就是对泛型参数的声明,可以声明为协变,或者逆变.什么 ...
- 编写高质量代码:改善Java程序的151个建议(第7章:泛型和反射___建议106~109)
建议106:动态代理可以使代理模式更加灵活 Java的反射框架提供了动态代理(Dynamic Proxy)机制,允许在运行期对目标类生成代理,避免重复开发.我们知道一个静态代理是通过主题角色(Prox ...
- 6.在MVC中使用泛型仓储模式和依赖注入实现增删查改
原文链接:http://www.c-sharpcorner.com/UploadFile/3d39b4/crud-operations-using-the-generic-repository-pat ...
- C#泛型详解(转)
初步理解泛型: http://www.cnblogs.com/wilber2013/p/4291435.html 泛型中的类型约束和类型推断 http://www.cnblogs.com/wilber ...
- C# 泛型
C# 泛型 1.定义泛型类 在类定义中包含尖括号语法,即可创建泛型类: class MyGenericClass<T> { //Add code } 其中T可以遵循C#命名规则的任意字符. ...
- java8中lambda表达式的应用,以及一些泛型相关
语法部分就不写了,我们直接抛出一个实际问题,看看java8的这些新特性究竟能给我们带来哪些便利 顺带用到一些泛型编程,一切都是为了简化代码 场景: 一个数据类,用于记录职工信息 public clas ...
- java 泛型
1.Student stu =tool.getObj();右边得到的是Object类型,需要向下转型,强转换. 2. 3. 4.泛型方法不能被静态修饰这样写 5.如果想定义定义静态泛型方法,只能这样写 ...
- Java泛型的历史
为什么Java泛型会有当前的缺陷? 之前的章节里已经说明了Java泛型擦除会导致的问题,C++和C#的泛型都是在运行时存在的,难道Java天然不支持“真正的泛型”吗? 事实上,在Java1.5在200 ...
随机推荐
- 73个word使用终极技巧
1.问:Word里边怎样设置每页不同的页眉?如何使不同的章节显示的页眉不同? 答:分节,每节可以设置不同的页眉.文件——页面设置——版式——页眉和页脚——首页不同 2.问:请问Word中怎样让每一章用 ...
- You-Get 一键下载全网视频资源
下载视频 无论是单纯的下载视频收藏,还是以便离线收看,都离不开“下载”,好的工具让你把注意力更好的放在视频的本身,而不用考虑要如何下载视频.下载视频从来不乏方法,之前也介绍了下载 Youtube ...
- CAN总线扩展数据帧介绍
在扩展CAN 数据帧中,紧随SOF 位的是32 位的仲裁字段.仲裁字段的前11 位为29 位标识符的最高有效位(Most Significant bit,MSb)(基本lD) .紧随这11 位的是替代 ...
- 【转】Jmeter压力测试模拟并发
jmeter下载地址:http://jmeter.apache.org/download_jmeter.cgi JMeterPlugins(jmeter插件):http://jmeter-plugin ...
- java代码用户界面网格布局GridLayout.划分为格子区域
总结:网格布局.很简单,首先要new一个 this.setlayout(new GriedLayout(3,5));里面是行数和列数 package clientFrame; //网格布局练习 i ...
- Java-Maven-Runoob:Maven 自动化构建
ylbtech-Java-Maven-Runoob:Maven 自动化构建 1.返回顶部 1. 自动化构建定义了这样一种场景: 在一个项目成功构建完成后,其相关的依赖工程即开始构建,这样可以保证其依赖 ...
- 优秀设计师必须知道哪些优秀的UI设计原则
转自:http://www.gamelook.com.cn/2016/01/240359 界面清晰最重要 界面清晰是UI设计的第一步,要想让用户喜欢你设计的UI,首先必须让用户认可它.知道怎么样使用它 ...
- UseSubmitBehavior="false" 防止页面重复提交bug
OnClientClick="this.disabled=true;" UseSubmitBehavior="false" 注: 1.当设置UseSubmitB ...
- python中常用模块详解一
1.time 模块 import time s = time.localtime() # 把时间转化成格式化的时间,通过. 取得里面的年月日等 struct_time 格式 time.struct_t ...
- 安全测试回顾(一)补充:burp 的基本操作
浏览器设置; 拦截请求: Spider 伪造请求: 对这个url 伪造请求 拦截一个页面后,进入攻击模块 sniper 两个参数值 保证一个不变 另一个 进行枚举 battering ram 两个 ...