54 lines
1.4 KiB
C#
54 lines
1.4 KiB
C#
namespace Lesson17_协变逆变练习
|
|
{
|
|
//协变
|
|
delegate T TestOut<out T>();
|
|
//逆变
|
|
delegate void TestIn<in T>(T t);
|
|
|
|
class Father
|
|
{
|
|
|
|
}
|
|
|
|
class Son : Father
|
|
{
|
|
|
|
}
|
|
internal class Program
|
|
{
|
|
static void Main(string[] args)
|
|
{
|
|
#region 练习题一
|
|
//请简述协变逆变有什么作用
|
|
|
|
//协变逆变是用来修饰泛型替代符的 只存在于泛型接口和泛型委托中
|
|
//1.协变 用 out 修饰 只能作为返回值 不能作为参数
|
|
//2.逆变 用 in 修饰 只能作为参数 不能作为返回值
|
|
|
|
//遵循里氏替换原则 用out和in修饰的泛型委托如果类型是父子关系 那么可以相互装载
|
|
// 协变：父类泛型委托变量 可以装 子类泛型委托实例
|
|
// 逆变：子类泛型委托变量 可以装 父类泛型委托实例
|
|
#endregion
|
|
|
|
#region 练习题二
|
|
//请写出协变逆变的代码示例
|
|
|
|
TestOut<Son> s = () =>
|
|
{
|
|
return new Son();
|
|
};
|
|
|
|
TestOut<Father> tf = s;
|
|
Father f = tf();
|
|
|
|
TestIn<Father> iF = (value) =>
|
|
{
|
|
Console.WriteLine("接受到一个Father类型的参数");
|
|
};
|
|
TestIn<Son> iS = iF;
|
|
iS(new Son());
|
|
#endregion
|
|
}
|
|
}
|
|
}
|