public interface IFication<T>
{
void Method1 ( T t );
T Method2();
}
public class Parent : IFication<Parent>
{
public string Car="阿斯顿马丁"; // 父亲具有车子
public void Method1 ( Parent p )
{
Console.WriteLine ( p.Car );
}
public Parent Method2 ( )
{
Parent p = new Parent ( );
return p;
}
}
public class Child :Parent, IFication<Child>
{
public string Computer="惠普"; // 儿子具有电脑
public void Method1 ( Child c )
{
Console.WriteLine ( c.Computer );
}
public new Child Method2 ( )
{
Child c = new Child ( );
return c;
}
}
IFication<Child> c = new Child ( );
IFication<Parent> p = c; // 编译时错误
//c是Child类型，现在要把它转换为Parent类型，现在你尝试进入Child类内部实现的IFication<Child>接口的代码部分，将出现的Child全部替换成Parent，则发现以下事实：
//Method1使用了c.Computer，现在成了Parent实例.Computer，因Parent不从Child派生，所以它不具备Computer字段，这个转换就是无效的。也即这样的接口设计就存在隐患。
//Method2定义的返回类型被替换为Parent ，而方法体内部return的是Child类型，Child从Parent派生，所以这个转换就是有效的。
IFication<Parent> p = new Parent ( );
IFication<Child> c = p; // 编译时错误
//p 是Parent类型，现在要把它转换为Child类型，现在你尝试进入Parent类内部实现的IFication<Parent>接口的代码部分，将出现的Parent全部替换成Child，则发现以下事实：
//Method1使用了 p.Car，现在成了Child实例.Car，因Child从Parent派生，所以Child具备Car字段，这个转换就是有效的。
//Method2定义的返回类型被替换为Child，而方法体内部return的是Parent类型，Parent不从Child派生，这个转换就是无效的。也即这样的接口设计就存在隐患。
//根据以上解析可以得出一个结论，
//子转父：函数参数可能无法确定参数实例是否具备某个成员，所以子转父只适用于泛型接口中的函数的返回值的类型
//父转子时：函数返回类型可能与代码体return的类型无法兼容，所以父转子只适用于泛型接口中的函数的参数的类型
//如果设计规范良好的接口？答：使用协变与逆变。
//协变：子转父。在类型参数前面加out关键字即可声明该类型参数是一个可协变参数。
//逆变：父转子。在类型参数前面加in关键字即可声明该类型参数是一个可逆变参数。
//接口设计应考虑到以上bug，所以最终定义接口时你最好都使用协变逆变关键字指定类型参数究竟是作为函数的返回类型还是函数的参数
//当然，你也可以忽视上面的转换问题，只要不进行子转父或父转子即可，但是你这样做就说明你的接口不是完美的接口，因为它有转换问题，算是个隐患。
//重新设计的接口已经为类型参数指定了其作用究竟是什么。IFication的类型参数用于函数返回值，IRegulation的类型参数用于函数的参数
public interface IFication<out T>
{
T Method2 ( );
}
public interface IRegulation<in T>
{
void Method1 ( T t );
}
public class Parent : IFication<Parent>, IRegulation<Parent>
{
public string Car = "阿斯顿马丁"; // 父亲具有车子
public void Method1 ( Parent p )
{
Console.WriteLine ( p.Car );
}
public Parent Method2 ( )
{
Parent p = new Parent ( );
return p;
}
}
public class Child : Parent, IFication<Child>, IRegulation<Child>
{
public string Computer = "惠普"; // 儿子具有电脑
public void Method1 ( Child c )
{
Console.WriteLine ( c.Computer );
}
public new Child Method2 ( )
{
Child c = new Child ( );
return c;
}
}
//子转父 out协变 return的子类型也是父类型
IFication<Child> c = new Child ( );
IFication<Parent> p = c;
//父转子 in逆变 子已继承父的内容
IRegulation<Parent> p = new Parent ( );
IRegulation<Child> c = p;
public class Person { }
public class Employee : Person { }
List<Person> plist = new List<Person> ( );
IEnumerable<Employee> List = pList; //父转子，逆变，IEnumerable却只有一个类型参数被定义为out，所以此处抛错
List<Employee> eList = new List<Employee> ( );
IEnumerable<Person> pList = eList; //子转父，协变，IEnumerable有一个类型参数被定义为out，所以此处合理
