How Does C# 4.0's Generic Covariance and Contravariance Enhance Type Assignment Flexibility?

C# 4.0 The genetic collaboration and inverter

C# 4.0 introduces support for genetic collaboration and inverter, which makes the genealogy of generic types more flexible. In the early version of C#, trying

to assign

to List<string></string> will cause the compiler error, although List<object></object> can accommodate any object that can be converted to a string. List<string></string>

In order to solve this problem, C# 4.0 allows the output variant type (such as

) to coordinate, and the input variant type (such as IEnumerable<t></t>) is inverted. Action<t></t>

Cooperation

Coordination allows one type to be used as an alternative to another type in the inheritance hierarchical structure. For example,

can be assigned to

, because the string is an object. This is because List<string></string> is declared List<object></object>, indicating that it can only output the value of the type T. Therefore, as long as is only used for reading value, it is safe to use it as IEnumerable<t></t>. IEnumerable<out t></out> List<string></string> Reverse List<object></object>

Disposter allows one type to be used as an alternative to another type in the inheritance hierarchical structure. For example, can be assigned to , because objects can receive string as parameters. This is because

is declared

, indicating that it can only accept the value of the type T. Therefore, as long as is used only for transmitting value, it is safe to use it as Action<object></object>. Action<string></string> Action<t></t> Implement the details Action<in t></in> Action<object></object> Action<string></string> In C# 4.0, the variance is achieved using CLR's collaborative and inverse support. This makes C# 4.0 support the variance without affecting the type of security.

When the generic type declaration is the output deformation or input deformation, the compiler generates additional IL code to check the variance of the type parameter during runtime. This ensures that coordination and inverting are used in a safe way.

The above is the detailed content of How Does C# 4.0's Generic Covariance and Contravariance Enhance Type Assignment Flexibility?. For more information, please follow other related articles on the PHP Chinese website!