C#泛型的协变与逆变

//C#泛型接口的协变和逆变在概念上都是子类型到父类型的隐式转换

//协变针对于更宽泛的输出使用out关键字

interface IDemo<out T>
{
	T Create();
}

public class Demo:IDemo<string>
{
	public string Create()
	{
		return "Demo";
	}
}

public Main()
{
	IDemo<string> d=new Demo();
	IDemo<object> o=d;
	Console.Write(o.Create());
}

//逆变针对于更具体的输入使用in关键字

interface IDemo<in T>
{
	void Create(T o);
}

public class Demo:IDemo<object>
{
	public void Create(object o)
	{
		Console.Write(o.ToString());
	}
}

public Main()
{
	IDemo<object> d=new Demo();
	IDemo<string> o=d;
	o.Create();
}

泛型委托也可以支持协变逆变，而普通的泛型类和泛型方法不支持

public static void Main(string[] args)
{
	Action<Parent> parentAction=Print;
	Action<Child> childAction=parentAction;
	Func<TParent,TChild> Fun1=xxx;
	Func<TChild,TParent> Fun2=Fun1;
}

可变性只能用于引用类型
多播委托和可变性不能同时使用，但是可以顺序使用

Func<string> stringFun = () => " ";
Fun<object> objectFun = () => new object();
//Fun<object> comboFun = stringFun + objectFun;错误
Fun<object> ostringFun=stringFun;
Fun<object> comboFun = ostringFun + objectFun;//正确

如果一个泛型接口的参数/返回值是另一个泛型接口，那么当前的泛型接口必须支持协变/逆变，另一个泛型接口必须支持逆变/协变