脚本之家 服务器常用软件
快捷导航
您的位置：首页 → 软件编程 → C#教程 → c#协变和逆变

c#协变和逆变实例分析

 更新时间：2014年10月24日 10:37:39   投稿：shichen2014  
这篇文章主要介绍了c#协变和逆变,以实例形式详细讲述了协变和逆变的原理与具体用法,具有一定的学习借鉴价值,需要的朋友可以参考下

本文实例讲述了c#协变和逆变的原理及应用。分享给大家供大家参考。具体如下：

由子类向父类方向转变是协变，用out关键字标识，由父类向子类方向转变是逆变，用in关键字

协变和逆变的应用
 
一、 数组的协变
 

复制代码 代码如下:
Animal[] animalArray = new Dog[]{};

说明：声明的数组数据类型是Animal，而实际上赋值时给的是Dog数组；每一个Dog对象都可以安全的转变为Animal。Dog向Animal方法转变是沿着继承链向上转变的所以是协变
 
二． 委托中的协变和逆变

1、委托中的协变

复制代码 代码如下:
//委托定义的返回值是Animal类型是父类
public delegate Animal GetAnimal();
//委托方法实现中的返回值是Dog，是子类
static Dog GetDog(){return new Dog();}
//GetDog的返回值是Dog, Dog是Animal的子类；返回一个Dog肯定就相当于返回了一个Animal；所以下面对委托的赋值是有效的
GetAnimal getMethod = GetDog;

 
2、委托中的逆变

复制代码 代码如下:
//委托中的定义参数类型是Dog
public delegate void FeedDog(Dog target);
//实际方法中的参数类型是Animal
static void FeedAnimal(Animal target){}
// FeedAnimal是FeedDog委托的有效方法，因为委托接受的参数类型是Dog；而FeedAnimal接受的参数是animal，Dog是可以隐式转变成Animal的，所以委托可以安全的的做类型转换，正确的执行委托方法；
FeedDog feedDogMethod = FeedAnimal;
//定义委托时的参数是子类，实际上委托方法的参数是更宽泛的父类Animal，是父类向子类方向转变，是逆变

 
三. 泛型委托的协变和逆变
 
1、 泛型委托中的逆变

复制代码 代码如下:
//委托声明：
public delegate void Feed<in T>(T target);
//Feed委托接受一个泛型类型T，注意在泛型的尖括号中有一个in关键字，这个关键字的作用是告诉编译器在对委托赋值时类型T可能要做逆变

//先声明一个T为Animal的委托
Feed<Animal> feedAnimalMethod = a=>Console.WriteLine(“Feed animal lambda”);
//将T为Animal的委托赋值给T为Dog的委托变量，这是合法的，因为在定义泛型委托时有in关键字，如果把in关键字去掉，编译器会认为不合法
Feed<Dog> feedDogMethod = feedAnimalMethod;


 
2、泛型委托中的协变

复制代码 代码如下:
//委托声明
public delegate T Find<out T>();
//Find委托要返回一个泛型类型T的实例，在泛型的尖括号中有一个out关键字，该关键字表明T类型是可能要做协变的
//声明Find<Dog>委托
Find<Dog> findDog = ()=>new Dog();
//声明Find<Animal>委托，并将findDog赋值给findAnimal是合法的，类型T从Dog向Animal转变是协变
Find<Animal> findAnimal = findDog;

 
四． 泛型接口中的协变和逆变
 
1、泛型接口中的逆变

复制代码 代码如下:
//接口定义：
public interface IFeedable<in T>
{
void Feed(T t);
}

//接口的泛型T之前有一个in关键字，来表明这个泛型接口可能要做逆变
//如下泛型类型FeedImp<T>，实现上面的泛型接口；需要注意的是协变和逆变关键字in

public class FeedImp<T>:IFeedable<T>
{
    public void Feed(T t){
        Console.WriteLine(“Feed Animal”);
    }
}

//使用接口逆变：
IFeedable<Dog> feedDog = new FeedImp<Animal>();
//上面的代码将FeedImp<Animal>类型赋值给了IFeedable<Dog>的变量；Animal向Dog转变了，所以是逆变


 
2、泛型接口中的协变

复制代码 代码如下:
//接口的定义：
public interface IFinder<out T>
{
    T Find();
}

//泛型接口的泛型T之前用了out关键字来说明此接口是可能要做协变的；如下泛型接口实现类
public class Finder<T>:IFinder<T> where T:new()
{
    public T Find(){
        return new T();
    }
} 

//使用协变,IFinder的泛型类型是Animal，但是由于有out关键字，我可以将Finder<Dog>赋值给它
IFinder<Animal> finder = new Finder<Dog>();

希望本文所述对大家的C#程序设计有所帮助。

您可能感兴趣的文章:

相关文章

  • C# 函数返回多个值的方法详情

    C# 函数返回多个值的方法详情

    这篇文章主要介绍了C#函数返回多个值的方法详情，文章围绕主题展开详细的内容介绍，具有一定的参考价值，需要的小伙伴可以参考一下
    2022-09-09
  • C#实现泛型List分组输出元素的方法

    C#实现泛型List分组输出元素的方法

    这篇文章主要介绍了C#实现泛型List分组输出元素的方法,涉及C#针对List的遍历、排序、输出等相关操作技巧,需要的朋友可以参考下
    2017-12-12
  • c# rsa加密解密详解

    c# rsa加密解密详解

    这篇文章主要介绍了c# rsa加密解密的的相关资料，文中代码非常细致，帮助大家更好的理解和学习，感兴趣的朋友可以了解下
    2020-06-06
  • c#基础——了解程序结构

    c#基础——了解程序结构

    这篇文章主要介绍了c# 程序结构的相关资料，文中讲解非常细致，帮助大家更好的理解和学习C#,感兴趣的朋友可以了解下
    2020-07-07
  • C#控制反转的使用详解

    C#控制反转的使用详解

    控制反转是将对象的创建、依赖管理和生命周期控制从应用程序代码中转移出来,交由外部容器来管理,下面就来详细的介绍一下C#控制反转的使用,感兴趣的可以了解一下
    2026-01-01
  • C#去掉字符串中所有匹配的字符String.Replace方法

    C#去掉字符串中所有匹配的字符String.Replace方法

    在C#中,如果你想要去掉字符串中所有匹配的字符,你可以使用String.Replace方法,本文主要介绍了C#去掉字符串中所有匹配的字符String.Replace方法,具有一定的参考价值,感兴趣的可以了解一下
    2024-04-04
  • C#泛型集合Dictionary<K,V>的使用方法

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

    这篇文章主要介绍了C#泛型集合Dictionary<K,V>的使用方法,本文讲解了Dictionary的多种操作方法,需要的朋友可以参考下
    2014-10-10
  • C# 获取指定格式时间字符串的方法汇总

    C# 获取指定格式时间字符串的方法汇总

    本文介绍了在C#中获取指定格式时间字符串的几种方法,包括使用`DateTime.ToString()`方法、`String.Format`或字符串插值、`DateTimeOffset`（带时区信息）,并详细说明了常用格式模式和文化相关格式化,感兴趣的朋友跟随小编一起看看吧
    2025-11-11
  • C#如何使用Bogus创建模拟数据示例代码

    C#如何使用Bogus创建模拟数据示例代码

    这篇文章主要给大家介绍了关于C#如何使用Bogus创建模拟数据的相关资料，文中通过示例代码介绍的非常详细，对大家学习或者使用C#具有一定的参考学习价值，需要的朋友们下面来一起学习学习吧
    2019-04-04
  • C#实现的海盗分金算法实例

    C#实现的海盗分金算法实例

    这篇文章主要介绍了C#实现的海盗分金算法,结合具体实例形式分析了海盗分金算法的原理与C#相应实现技巧,需要的朋友可以参考下
    2017-07-07

最新评论