È possibile semplificare i generici annidati in C#?

Question

Amo i generici in C#, ma a volte lavorare con loro può diventare un po 'complicato. Il problema qui sotto mi imbatte di tanto in tanto. C'è un modo per semplificare questo scenario? Non riesco a vedere come, ma spero che qualcuno possa :)

Dati tre classi di base:

public abstract class Inner 
{ 
} 

public abstract class Outer<T> 
    where T : Inner 
{ 
} 

public abstract class Handler<TOuter, TInner> 
    where TOuter : Outer<TInner> 
    where TInner : Inner 
{ 
    public abstract void SetValue(TInner value); 
} 

E alcune semplici implementazioni:

public class In : Inner 
{ 
} 

public class Out : Outer<In> 
{ 
} 

public class HandleOut : Handler<Out, In> 
{ 
    public override void SetValue(In value) { } 
} 

Ora la mia domanda è: per HandleOut, il tipo di TInner è dato dal tipo "Out", quindi esiste un modo per semplificare la definizione di HandleOut in qualcosa come public class HandleOut : Handler<Out> e ancora essere in grado di utilizzare il tipo interno come parametro per SetValue?

Questo è un esempio molto semplice, ma a volte ottengo una lunga lista di tipi generici nelle definizioni, quando di solito tutti possono essere dedotti dal primo tipo logicamente. Ci sono trucchi che mi mancano?

Answer 1

No.

Mentre tale deduzione dovrebbe probabilmente essere possibile, non fa parte del languge. Potresti essere interessato a suggerire questo a Roslyn (aprire un nuovo numero). Ovviamente questo tipo di inferenza dei vincoli generici può incorrere in problemi in casi complessi, ma almeno per quelli semplici è fattibile ... tuttavia, è quello in cui il team C# dovrebbe dedicare tempo e sforzi?

Il collegamento Why are generic constraints not inherited che Damien_The_Unbelievershared on the comments è azzeccato.

---

In ogni caso, il codice tua presentata se è vero che Out già darvi il tipo In, il parametro generico TOuter non è necessaria.

Il seguente codice funziona altrettanto bene:

public abstract class Inner 
{ 
} 

public abstract class Outer<T> 
    where T : Inner 
{ 
} 

public abstract class Handler<TInner> // NOTE: TOuter removed 
    where TInner : Inner 
{ 
    public abstract void SetValue(TInner value); 
} 

public class In : Inner 
{ 
} 

public class Out : Outer<In> 
{ 
} 

public class HandleOut : Handler<In> // NOTE: Out removed 
{ 
    public override void SetValue(In value) { } 
} 

---

Quindi, potrebbe considerare l'utilizzo di Outer<TInner> invece di touter se ne avete bisogno. Ovviamente, se si mantiene un elenco di TOuter sarà meno restrittivo in quanto consentirà qualsiasi tipo derivato di Outer<TInner> invece di qualsiasi tipo derivato di TOuter.

Poiché non è stato inserito "nuovo" nel vincolo generico, non si stanno creando oggetti di questo tipo, ma se il caso arriva, è possibile accettare un Func<Outer<TInner>> nel costruttore.