Code Contracts: ContractClassFor im Umgang mit einer generischen abstrakten Klasse?

Question

Also, ich habe ein kleines Problem hier.

Angenommen, ich habe:

public class Repository<TEntity> 
    where TEntity : class 
{ 
    public abstract void Add(TEntity entity); 

    // ...and so on... 
} 

Und jetzt möchte ich einen Vertrag Klasse definieren, etwa so:

public class RepositoryContracts<TEntity> : Repository<TEntity> 
    where TEntity : class 
{ 
    public void Add(TEntity entity) 
    { 
     Contract.Requires(entity != null); 
    } 

    // ...etc... 
} 

Nun würde ich diese Klassen mit ContractClassAttribute und ContractClassForAttribute markieren müssen. Problem ist, das wird nicht funktionieren:

[ContractClassFor(typeof(Repository<TEntity>))] // what is TEntity?! error! 

Also, die Frage läuft darauf hinaus: Wie verknüpfe ich diese zwei Klassen zusammen diese Attribute verwenden, wenn sie sind Generika?

Answer 1

Es ist ein Duplikat von this question, irgendwie.

Die typeof (Repository <>) Syntax schien für mich nicht zu funktionieren, aber es stellt sich heraus, dass typeof (Repository <,>) den Trick macht, da es zwei Typparameter gibt.

Schließen Sie die Frage und fügen Sie the previous one einen Kommentar hinzu.