non possono ereditare con i generici

Question

questa dichiarazione di classe:

public abstract class Repository<TE, TD> 
    where TE : class, IEntity, new() 
    where TD : DataProvider<TE> 

non possono essere soddisfatte da questa firma classe:

public class SqlRepository<TE> : Repository<TE, SqlDataProvider> 
    where TE : SqlEntity, new() 

Dove SqlEntity : IEntity e SqlDataProvider : DataProvider<SqlEntity>, ottengo questo errore:

Error 1 The type ~ cannot be used as type parameter 'TD' in the generic type or method '~.Repository'. There is no implicit reference conversion from '~.SqlDataProvider' to '~.DataProvider'.

Perché non può convertire SqlEntity nell'interfaccia che implementa?

Answer 1

Il problema è quello che in SqlRepository<TE> si fissa parametro generico interno TD s', che è legata al TE in Repository<TE, TD> Dichiarazione, da SqlEntity, ma questo non può essere detto su TE, che viene lasciato generico.

Cosa si può fare, è continuare a TD generico SqlDataProvider come questo:

public class SqlDataProvider<TD> : DataProvider<TD> 
    where TD : SqlEntity 

e poi emergere questa dipendenza in SqlRepository come questo:

public class SqlRepository<TE> : Repository<TE, SqlDataProvider<TE>> 
    where TE : SqlEntity, new() 

Questo compila, perché TE utilizzo è coerente .