标签:set 泛型接口 str 使用 class 返回 inter fun 只读
逆变和协变,关键字在泛型接口和委托中使用
亲测:
Func<Object,Object> a = Func<string,string>;// ERROR,in不可协变 Func<string,Object> a = Func<string,string>;//Right,out可协变 //协变:out IEnumerable<string> strings = new List<string>(); IEnumerable<object> objects = strings; static string SetString(string o) { return "str"; } //逆变:in Action<object> actObject = SetObject; Action<string> actString = actObject; Func<string,string> funcString = SetString; //协变:out Func<string, object> FuncObject = funcString;//out协变
out,in泛型修饰符,泛型在声明的尖括号中<out T><in T>
out,in还可用作参数修饰符,在小括号中(),默认是in,ref侧重修改.out侧重输出。
out——协变
in——逆变
所以如果有一个泛型参数标记为out,则代表它是用来输出的,只能作为结果返回,而如果有一个泛型参数标记为in,则代表它是用来输入的,也就是它只能作为参数。
总之一句话,在泛型中,如果函数类型参数是只读或者只写,那么就可以使用协变或者逆变。如果类型参数无法保证只读或只写,这种类型参数既不能协变也不能逆变,只能精确类型匹配。记住这个将是理解协变和逆变的关键。
下面是一些常用的泛型类或接口:
public interface IEnumerable<[NullableAttribute(2)] out T> : IEnumerable //List没有in和out修饰泛型,只能精确匹配,而不能逆变和协变。 public class List<[NullableAttribute(2)] T> public delegate TResult Func<[NullableAttribute(2)] in T, [NullableAttribute(2)] out TResult>(T arg); public delegate void Action<[NullableAttribute(2)] in T>(T obj);
想转化List为协变,需要以下操作:
List<Animal> lstAnimal2 = lstDogs.Select(d => (Animal)d).ToList();
标签:set 泛型接口 str 使用 class 返回 inter fun 只读
原文地址:https://www.cnblogs.com/erlongxizhu-03/p/12886615.html