Les paramètres de type se définissant les uns les autres? classe A <T1, T2> où T1: Foo où T2: T1

Question

Est-ce que

class A<T1, T2> 
    where T1 : Foo 
    where T2 : T1 

ont un cas d'utilisation réelle?

Quelle est la différence de

class A<T1, T2> 
    where T1 : Foo 
    where T2 : Foo 

? Qu'est-ce qui change réellement?

Est-ce la même chose en cas de variance?

Answer 1

La différence est que T2 ne peut pas être n'importe quel Foo il doit être un Foo qui est dérivé de T1.

Par exemple

public class Foo{} 
public class Foo1 : Foo {} 
public class Foo2 : Foo {} 
public class Foo12 : Foo1 {} 
public class A<T1,T2> where T1: Foo where T2 : T1 {} 

permettra

var a = new A<Foo1, Foo12>() 

mais pas

var a = new A<Foo1, Foo2>() 

Cela signifie également que vous pouvez en toute sécurité jeter un objet de type T2-T1.

Est-ce la même chose en cas de variance?

La variance ne joue que sur les interfaces.