Detect variance on generic type parameters of interfaces

Posted by Water Cooler v2 on Stack Overflow See other posts from Stack Overflow or by Water Cooler v2
Published on 2010-05-20T09:27:44Z Indexed on 2010/05/20 9:40 UTC
Read the original article Hit count: 239

Filed under:

reflection

|

covariance

|

contravariance

|

variance

Is there a way to reflect on an interface to detect variance on its generic type parameters and return types? In other words, can I use reflection to differentiate between the two interfaces:

interface IVariant<out R, in A>
{
   R DoSomething(A arg);
}


interface IInvariant<R, A>
{
   R DoSomething(A arg);
}

The IL for both looks the same.

© Stack Overflow or respective owner

Related posts about reflection

Reflection: Is using reflection still "bad" or "slow"? What has changed with reflection since 2002?

as seen on Programmers - Search for 'Programmers'
I've noticed when dealing with Expressions or Expression Trees I'm using reflection a lot to set and get values in properties and what have you. It has occurred to me that the use of reflection seems to be getting more and more common. Things like DataAnotations for validation, Attribute heavy ORMs… >>> More
Rails Associations - Callback Sequence/Magic

as seen on Stack Overflow - Search for 'Stack Overflow'
Taking following association declaration as an example: class Post has_many :comments end Just by declaring the has_many :comments, ActiveRecord adds several methods of which I am particularly interested in comments which returns array of comments. I browsed through the code and following seems… >>> More
lambda expression based reflection vs normal reflection

as seen on Stack Overflow - Search for 'Stack Overflow'
What is the difference between normal reflection and the reflection that can be done with lambda expressions such as this (taken form build your own MVVM): public void NotifyOfPropertyChange<TProperty>(Expression<Func<TProperty>> property) { var lambda = (LambdaExpression)property; … >>> More
actionscript3: reflect-class applied on rotationY

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi, I'm using a class which applies a visual reflection-effect to defined movieclips. I use a reflection-class from here: link to source. It works like a charm except when I apply a rotation to the movieclip. In my case the reflection is still visible but only a part of it. What am I doing wrong?… >>> More
System.Reflection - Global methods aren't available for reflection

as seen on Stack Overflow - Search for 'Stack Overflow'
I have an issue with a semantic gap between the CLR and System.Reflection. System.Reflection does not (AFAIK) support reflecting on global methods in an assembly. At the assembly level, I must start with the root types. My compiler can produce assemblies with global methods, and my standard bootstrap… >>> More

Related posts about covariance

Covariance vs. contravariance

as seen on Stack Overflow - Search for 'Stack Overflow'
What are the concepts of covariance and contravariance? Given 2 classes, Animal and Elephant (which inherits from Animal), my understanding is that you get runtime errors in .NET if you try and put an Elephant into an array of Animal, which happens because Elephant is "bigger" (more specific) than… >>> More
Safe Covariance and Contravariance in .NET 4.0

as seen on Internet.com - Search for 'Internet.com'
.NET Developers may not recognize the terms invariance, covariance, and contravariance, it is likely they have been impacted by them and left wondering. This article will explain the concepts and the changes being introduced as part of .NET Framework 4.0. >>> More
covariance and contravariance in java ?

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi , Please any one give me a good example for covariance and contravariance in Java . Why we go for this . Thx >>> More
Why the concept of "Covariance" and "Contravariance" are applicable while implementing the methods o

as seen on Stack Overflow - Search for 'Stack Overflow'
The use case is some what like this: public class SomeClass: IClonable { // Some Code //Implementing interface method Public object Clone() { //Some Clonning Code } } Now my question is "Why is it not possible to use "SomeClass(As it is derivd from objec)"… >>> More
What is Covariance and Contravariance

as seen on Stack Overflow - Search for 'Stack Overflow'
Please explain me in simple terms (if possible simple example) the covariance and contravariance in c# .net . I know many are available(even in stackoverflow) but my problem is in which scenario I should use that is not explained in the articles that I am refering to. e.g. Covariance and Contravariance… >>> More