Nadmiarowe ograniczenie ogólne?

Question

Rozważmy następującą metodę Generic:

public T2 Frob<T1, T2>(T1 item) 
     where T1 : class, T2 
     => item as T2; 

Kompilator odmówić skompilować ten kod; Parametr typu „T2” nie może być używane z „jako” operatora, ponieważ nie ma ograniczenia typu klasy ani „klasa” ograniczenie

OK, to jest łatwo rozwiązywalne prostu robi:

public T2 Frob<T1, T2>(T1 item) 
     where T1 : class, T2 
     where T2 : class 
     => item as T2; 

Ale czy to nie jest zbyteczne? Czy jest jakiś możliwy T2, który nie jest class biorąc pod uwagę ograniczenia już obowiązujące dla T1?

Moje pytanie nie jest dlaczego to "wnioskowanie" nie zostało zaimplementowane w kompilatorze, powodem może być po prostu "nikt o tym nie myślał" i to jest w porządku. Jestem bardziej zainteresowany wiedząc, czy moje rozumowanie jest poprawne, ponieważ T2 jest skutecznie i we wszystkich przypadkach ograniczone do class w pierwszym przykładzie, nawet jeśli nie zostało wyraźnie wymuszone.

Answer 1

My interpretacja tego względu C# 5,0 specyfikacje znaczy w 7.10.11 The as operatora:

operacji w postaci E as T, E musi być ekspresja i T musi być typu odniesienie , parametr typu znany jako typ odniesienia lub typ nullby.

Kompilator w tym momencie uważa tylko T2 w tym bloku:

public T2 Frob<T1, T2>(T1 item) 
     where T1 : class, T2 
     => item as T2; 

I widzi, że T2 sama nie jest ograniczony. Oczywiście, może to odliczyć że w tym przypadku T1 ma być rodzajem odniesienia i dziedziczą T2, dlatego że sama T2 powinny być również rodzaj odniesienia, ale jestem pewien, że istnieją powody, dla których nie robi.