C#-弄懂泛型和协变、逆变

C#-弄懂泛型和协变、逆变

脑图概览#

image

泛型声明和使用#

协变和逆变#

《C#权威指南》上在委托篇中这样定义:

  • 协变:委托方法的返回值类型直接或者间接地继承自委托前面的返回值类型;
  • 逆变:委托签名中的参数类型继承自委托方法的参数类型;

在泛型篇中这样定义:

  • 协变:泛型参数定义的类型只能作为方法的返回类型,不能作为方法的参数类型,且该类型直接或者间接地继承自接口方法的返回值类型;可以使用out关键字声明协变参数。
  • 逆变:泛型参数定义的类型只能作为方法参数的类型,不能作为返回值类型,且该类型是接口方法的参数类型的基类型;可以使用in关键字声明逆变参数

一直没弄懂,或者一时弄懂了也没记住,一定不怪我!看到一个博主这样解释,秒懂:

  • 协变性:如:string->object (子类到父类的转换)
  • 逆变性:如:object->string (父类到子类的转换)
  • 不变性

《CLR via C#》 第三版这样定义:

  • 协变量:意味着泛型类型参数可以从一个派生类更改为它的基类(子类可以转为父类);
  • 逆变量:意味着泛型类型参数可以从一个基类改为该类的派生类(父类可以转为子类);
  • 不变量:意味着泛型参数不能更改;

总结:协变逆变中的协逆是相对于继承关系的继承链方向而言的

《CLR via C#》 底部有注解说:
协变性指定返回类型的兼容性,而逆变性指定参数的兼容性。

基类和子类的转换#

面向对象中有一个规则是:子类向上可以转为基类,但是基类不能向下转为子类
比如子类Student可以通过以下方式转为基类Person:

CopyPerson p=new Student();
或者
Student s=new Student();
Person p=s;

但是基类转为子类这样转编译器就会出错:

CopyPerson p=new Person();
Student s=p;
或者
Object obj=new Object();
string str=obj;

Func泛型委托的出参只有协变#

既然子类可以转为父类,父类不能转为子类,那我这样做行不行?新定义了一个委托,委托返回一个类型

Copydelegate T MyFunc<T>();
void Main()
{
	Student s = new Student() { Name = "张三" };
	Person p = s;

	MyFunc<Student> func1 = () => new Student() { Name = "李四" };
	MyFunc<Person> func2 = func1;

	Func<Student> func3 = () => new Student() { Name = "王五" };
	Func<Person> func4 = func3;
}
public class Person
{
	public string Name { get; set; }
}
public class Student : Person
{
	public string Number { get; set; }
}
public class Teacher
{
	public string TeacherBook { get; set; }
}

这样不行,MyFunc func2 = func1;编译器不认编译失败,这句代码却Func func4 = func3;正常。
我们知道Student转Person是合法的转换,但是编译器不知道,需要告诉编译器这段转换时合法的,没有必要做强制的类型安全转换。

怎么做?声明类型时指定out关键字,如下:

Copydelegate T MyFunc<out T>();

可以看到编译器通过**。out关键字会告诉编译器Student到Person是有效转换**。
其实Func委托的定义也是如此:

Copypublic delegate TResult Func<out TResult>();//无输入参数,有返回值。

但要是加如下代码呢?

CopyMyFunc<Teacher> func5 = func1;

编译还是会不给过的!因为转换不合法。

那要是 out关键字加在委托的入参类型呢

Copydelegate void MyFunc<out T>(T t);

会告诉你无效

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-c25TJm53-1590383756342)(https://raw.githubusercontent.com/rocklee2015/BlogImg/master/2019/190411-generic-out-error.png)]

那出参可以协变,入参是否可以协变呢?

完全不可以,就像父类转为子类一样是不合法的

泛型委托Action的入参只有逆变#

以下代码可以正常编译为什呢?明明object类型不可以转为string类型

CopyAction<object> action1 = t => { Console.WriteLine(t.GetType()); };
Action<string> action2 = action1;

而反过来却是错的

CopyAction<string> action3 = t => { Console.WriteLine(t.GetType()); };
Action<object> action4 = action3;

看看Action是如何定义的?

Copypublic delegate void Action<in T>(T obj);//泛型委托,无返回值

in关键会告诉编译器,要么传递T作为委托的参数类型,要么传递T的派生类型。string是oject的派生类,所有是正常的.
所以这里不能单纯理解为object转为string类型了,而要理解为string可以安全的替换掉object,因为string是object的子类呀,
object有的,string都有,这个转换肯定是安全的。

泛型中的协变和逆变#

泛型中的协变和逆变原理与泛型委托一样

out和in总结#

out: 输出(作为结果),in:输入(作为参数)
所以如果有一个泛型参数标记为out,则代表它是用来输出的,只能作为结果返回,而如果有一个泛型参数标记为in,则代表它是用来输入的,也就是它只能作为参数。

为什么in只能作为输入参数的逆变?#
Copyvoid Main()
{
	var p = new Person();
	var s = new Student();
	var gs = new GoodStudent();
	this.Method(p);//编译出错
	this.Method(s);
	this.Method(gs);
}
public void Method(Student stu)
{
}
public class Person
{
	public string Name { get; set; }
}
public class Student : Person
{
	public string Number { get; set; }
}
public class GoodStudent : Student
{
}

方法体形参可以把子类当成父类来用(传递Student还是GoodStudent对象都无所谓),但是不能把父类当成子类来用(传递Person对象就出错了)。【里氏替换原则】

为什么out只能作为返回值的协变?#

通常定义一个变量来接受返回值,父类可以接收子类的数据(这里可以理解为object obj=str),子类能接收父类的数据吗(这里理解为string str = (string)objcet)?肯定不是不能。所以只能是协变

相关单词:#
  • Covariant:协变量

  • Contravariant:逆变量

  • Covariance:协变性

  • Contravariance:逆变性

  • 0
    点赞
  • 5
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
Java是Java 5引入的新特性,可以提高代码的可读性和安全性,降低代码的耦合度。是将类参数化,实现代码的通用性。 一、的基本语法 在声明类、接口、方法时可以使用的声明方式为在类名、接口名、方法名后面加上尖括号<>,括号中可以声明一个或多个类参数,多个类参数之间用逗号隔开。例如: ```java public class GenericClass<T> { private T data; public T getData() { return data; } public void setData(T data) { this.data = data; } } public interface GenericInterface<T> { T getData(); void setData(T data); } public <T> void genericMethod(T data) { System.out.println(data); } ``` 其中,`GenericClass`是一个类,`GenericInterface`是一个接口,`genericMethod`是一个方法。在这些声明中,`<T>`就是类参数,可以用任何字母代替。 二、的使用 1. 类的使用 在使用类时,需要在类名后面加上尖括号<>,并在括号中指定具体的类参数。例如: ```java GenericClass<String> gc = new GenericClass<>(); gc.setData("Hello World"); String data = gc.getData(); ``` 在这个例子中,`GenericClass`被声明为一个类,`<String>`指定了具体的类参数,即`data`字段的类为`String`,`gc`对象被创建时没有指定类参数,因为编译器可以根据上下文自动推断出类参数为`String`。 2. 接口的使用 在使用接口时,也需要在接口名后面加上尖括号<>,并在括号中指定具体的类参数。例如: ```java GenericInterface<String> gi = new GenericInterface<String>() { private String data; @Override public String getData() { return data; } @Override public void setData(String data) { this.data = data; } }; gi.setData("Hello World"); String data = gi.getData(); ``` 在这个例子中,`GenericInterface`被声明为一个接口,`<String>`指定了具体的类参数,匿名内部类实现了该接口,并使用`String`作为类参数。 3. 方法的使用 在使用方法时,需要在方法名前面加上尖括号<>,并在括号中指定具体的类参数。例如: ```java genericMethod("Hello World"); ``` 在这个例子中,`genericMethod`被声明为一个方法,`<T>`指定了类参数,`T data`表示一个类为`T`的参数,调用时可以传入任何类的参数。 三、的通配符 有时候,我们不知道的具体类,可以使用通配符`?`。通配符可以作为类参数出现在方法的参数类或返回类中,但不能用于声明类或接口。例如: ```java public void printList(List<?> list) { for (Object obj : list) { System.out.print(obj + " "); } } ``` 在这个例子中,`printList`方法的参数类为`List<?>`,表示可以接受任何类的`List`,无论是`List<String>`还是`List<Integer>`都可以。在方法内部,使用`Object`类来遍历`List`中的元素。 四、的继承 类和接口可以继承或实现其他类或接口,可以使用子类或实现类的类参数来替换父类或接口的类参数。例如: ```java public class SubGenericClass<T> extends GenericClass<T> {} public class SubGenericInterface<T> implements GenericInterface<T> { private T data; @Override public T getData() { return data; } @Override public void setData(T data) { this.data = data; } } ``` 在这个例子中,`SubGenericClass`继承了`GenericClass`,并使用了相同的类参数`T`,`SubGenericInterface`实现了`GenericInterface`,也使用了相同的类参数`T`。 五、的限定 有时候,我们需要对的类参数进行限定,使其只能是某个类或接口的子类或实现类。可以使用`extends`关键字来限定类参数的上限,或使用`super`关键字来限定类参数的下限。例如: ```java public class GenericClass<T extends Number> { private T data; public T getData() { return data; } public void setData(T data) { this.data = data; } } public interface GenericInterface<T extends Comparable<T>> { T getData(); void setData(T data); } ``` 在这个例子中,`GenericClass`的类参数`T`被限定为`Number`的子类,`GenericInterface`的类参数`T`被限定为实现了`Comparable`接口的类。 六、的擦除 在Java中,信息只存在于代码编译阶段,在编译后的字节码中会被擦除。在运行时,无法获取的具体类。例如: ```java public void genericMethod(List<String> list) { System.out.println(list.getClass()); } ``` 在这个例子中,`list`的类为`List<String>`,但是在运行时,`getClass`返回的类为`java.util.ArrayList`,因为信息已经被擦除了。 七、的类推断 在Java 7中,引入了钻石操作符<>,可以使用它来省略类参数的声明。例如: ```java List<String> list = new ArrayList<>(); ``` 在这个例子中,`ArrayList`的类参数可以被编译器自动推断为`String`。 八、总结 Java是一个强大的特性,可以提高代码的可读性和安全性,降低代码的耦合度。在使用时,需要注意它的基本语法、使用方法、通配符、继承、限定、擦除和类推断等问题。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值