c#中关于协变性和逆变性(又叫抗变)帮助理解
程序员文章站
2022-05-13 23:45:42
今天回忆了之前看的《深入理解C#》这本书中的泛型章节,其中对泛型的可变性的理解。泛型可变性分两种:协变和逆变。逆变也又称为抗变。 怎么理解这两个名词的意思: ①:协变即为在泛型接口类型中使用out标识的类型参数。协变的字面意思是“与变化的方向相同”②逆变那就是用in来标识的泛型接口类型的类型参数。逆 ......
今天回忆了之前看的《深入理解c#》这本书中的泛型章节,其中对泛型的可变性的理解。泛型可变性分两种:协变和逆变。逆变也又称为抗变。
怎么理解这两个名词的意思:
①:协变即为在泛型接口类型中使用out标识的类型参数。协变的字面意思是“与变化的方向相同”②逆变那就是用in来标识的泛型接口类型的类型参数。逆变的字面意思是“与变化的方向相反”
需要注意的是无论是协变还是逆变也只能在泛型接口中来使用。
先来举个基本的例子,来加强你对可变性的理解。在c#中有隐式类型转换,比如:
string str = "nibian";
object str1 = str;
console.writeline(str1);
大家都知道string类型是object类型的子类型,即string->object为子->父;从子类型到父类型的转换是隐式类型转换。
举个例子:
interface idemo<out t>
{
t method(string str);
}
class one : idemo<string>
{
public string method(string str)
{
return str;
}
}
class two : idemo<object>
{
public object method(string str)
{
return str;
}
}
class program
{
static void main(string[] args)
{
idemo<string> one = new one();
idemo<object> two;
two = one;
console.writeline(two.method("2222"));
}
}
因为string是object类型的子类,在这里idemo<string>和idemo<object>类型之间也存在着类型转换的,从idemo<string>向idemo<object>进行的转换可以看成是子类型向父类型的隐式转换,它的这个用法就是协变。(这里必须要用out)
相反的我们在来看一下有关逆变的代码:
interface idemo<in t>
{
string method(t str);
}
class one : idemo<string>
{
public string method(string str)
{
return str;
}
}
class two : idemo<object>
{
public string method(object str)
{
return str.tostring();
}
}
class program
{
static void main(string[] args)
{
idemo<object> two = new two();
idemo<string> one;
one = two;
console.writeline(one.method("2222"));
}
}
同样的从idemo<object>类型向idemo<string>类型的转换,但是在这里我们却将父类型隐式转换为子类型的用法叫逆变。(这里必须要用in)
总结:协变和逆变就是在泛型接口类型将类型参数作为输入和输出的情况下,对类型间进行隐式转换的规律。