C#里泛型接口支持协变、逆变和不支持协变、逆变的对比?
2012-12-04 13:55
459 查看
这其实是对3个问题的补充。
定义一个接口IFoo,既不支持协变,也不支持逆变。
interface IFoo<T>
{
void Method1(T param);
T Method2();
}
实现接口IFoo
public class FooClass<T> : IFoo<T>
{
public void Method1(T param)
{
Console.WriteLine(default(T));
}
public T Method2()
{
return default(T);
}
}
定义一个接口IBar支持对参数T的协变
interface IBar<out T>
{
T Method();
}
实现接口IBar
public class BarClass<T> : IBar<T>
{
public T Method()
{
return default(T);
}
}
定义一个接口IBaz支持对参数T的逆变
interface IBaz<in T>
{
void Method(T param);
}
实现接口IBaz
public class BazClass<T> : IBaz<T>
{
public void Method(T param)
{
Console.WriteLine(param.ToString());
}
}
定义两个有继承关系的类型,IParent和SubClass。
interface IParent
{
void DoSomething();
}
public class SubClass : IParent
{
public void DoSomething()
{
Console.WriteLine("SubMethod");
}
}
按照协变的逻辑,分别来使用IFoo和IBar。
//IFoo 不支持对参数T的协变
IFoo<SubClass> foo_sub = new FooClass<SubClass>();
IFoo<IParent> foo_parent = foo_sub;//编译错误
//IBar 支持对参数T的协变
IBar<SubClass> bar_sub = new BarClass<SubClass>();
IBar<IParent> bar_parent = bar_sub;
foo_parent = foo_sub 会提示编译时错误“无法将类型“IFoo<SubClass>”隐式转换为“IFoo<IParent>”。存在一个显式转换(是否缺少强制转换?)”
按照逆变的逻辑,分别来使用IFoo和IBaz。
//IFoo 对参数T逆变不相容
IFoo<IParent> foo_parent = null;
IFoo<SubClass> foo_sub = foo_parent;//编译错误
//IBaz 对参数T逆变相容
IBaz<IParent> baz_parent = null;
IBaz<SubClass> baz_sub = baz_parent;
foo_sub = foo_parent 会提示编译时错误“无法将类型“IFoo<IParent>”隐式转换为“IFoo<ISub>”。存在一个显式转换(是否缺少强制转换?)”
定义一个接口IFoo,既不支持协变,也不支持逆变。
interface IFoo<T>
{
void Method1(T param);
T Method2();
}
实现接口IFoo
public class FooClass<T> : IFoo<T>
{
public void Method1(T param)
{
Console.WriteLine(default(T));
}
public T Method2()
{
return default(T);
}
}
定义一个接口IBar支持对参数T的协变
interface IBar<out T>
{
T Method();
}
实现接口IBar
public class BarClass<T> : IBar<T>
{
public T Method()
{
return default(T);
}
}
定义一个接口IBaz支持对参数T的逆变
interface IBaz<in T>
{
void Method(T param);
}
实现接口IBaz
public class BazClass<T> : IBaz<T>
{
public void Method(T param)
{
Console.WriteLine(param.ToString());
}
}
定义两个有继承关系的类型,IParent和SubClass。
interface IParent
{
void DoSomething();
}
public class SubClass : IParent
{
public void DoSomething()
{
Console.WriteLine("SubMethod");
}
}
按照协变的逻辑,分别来使用IFoo和IBar。
//IFoo 不支持对参数T的协变
IFoo<SubClass> foo_sub = new FooClass<SubClass>();
IFoo<IParent> foo_parent = foo_sub;//编译错误
//IBar 支持对参数T的协变
IBar<SubClass> bar_sub = new BarClass<SubClass>();
IBar<IParent> bar_parent = bar_sub;
foo_parent = foo_sub 会提示编译时错误“无法将类型“IFoo<SubClass>”隐式转换为“IFoo<IParent>”。存在一个显式转换(是否缺少强制转换?)”
按照逆变的逻辑,分别来使用IFoo和IBaz。
//IFoo 对参数T逆变不相容
IFoo<IParent> foo_parent = null;
IFoo<SubClass> foo_sub = foo_parent;//编译错误
//IBaz 对参数T逆变相容
IBaz<IParent> baz_parent = null;
IBaz<SubClass> baz_sub = baz_parent;
foo_sub = foo_parent 会提示编译时错误“无法将类型“IFoo<IParent>”隐式转换为“IFoo<ISub>”。存在一个显式转换(是否缺少强制转换?)”
相关文章推荐
- <转>C# 4.0 为泛型编程引入了 协变 和 逆变 支持,这是个不错的福利,能省掉以往的一些麻烦。不过当前(Beta2)仅支持泛型接口和泛型委托。
- <转>C# 4.0 为泛型编程引入了 协变 和 逆变 支持,这是个不错的福利,能省掉以往的一些麻烦。不过当前(Beta2)仅支持泛型接口和泛型委托。
- 理解 C# 泛型接口中的协变与逆变(抗变)
- c#打包文件解压缩 C#中使用委托、接口、匿名方法、泛型委托实现加减乘除算法 一个简单例子理解C#的协变和逆变 对于过长字符串的大小比对
- 编写高质量代码改善C#程序的157个建议——建议43:让接口中的泛型参数支持协变
- C#中泛型方法与泛型接口 C#泛型接口 List<IAll> arssr = new List<IAll>(); interface IPerson<T> c# List<接口>小技巧 泛型接口协变逆变的几个问题
- 建议43:让接口中的泛型参数支持协变
- C# 泛型的协变和逆变
- C# 泛型的协变和逆变
- 泛型接口协变逆变的几个问题
- [译]委托和接口泛型参数类型的协变和逆变
- c#中泛型的协变与逆变:<in T>详解
- C# 泛型的协变和逆变 (转载)
- 泛型接口的协变和逆变
- C#深入学习:泛型修饰符in,out、逆变委托类型和协变委托类型
- c#4.0泛型接口和泛型委托的协变和逆变
- C# 泛型的协变和逆变
- C#中泛型的协变与逆变的理解【转】(比较容易理解)
- 泛型在接口中的协变、逆变练习
- 第五节:泛型(泛型类、接口、方法、委托、泛型约束、泛型缓存、逆变和协变)