Controllare se Generico Interfaccia Utente è "puro" (ha attributo Pure)

Question

devo un'interfaccia con metodi annotati con l'attributo Pure da System.Diagnostics.Contracts:

public interface IFoo<T> { 
    [Pure] 
    T First { get; } 

    [Pure] 
    T Last { get; } 

    [Pure] 
    T Choose(); 

    void Add(T item); 

    T Remove(); 
} 

desidero scorrere i membri dell'interfaccia e controllo se il membro è puro o no. Attualmente non sono in grado di ottenere gli attributi del Info Utente:

var type = typeof(IFoo<>); 
var memberInfos = type.GetMembers(); 
var memberInfo = memberInfos.First(); // <-- Just select one of them 
var attributes = memberInfo.GetCustomAttributesData(); // <-- Empty 

Che cosa mi manca?

Si noti che non ho una classe o un'istanza di questo. Solo l'interfaccia.

Answer 1

Utilizzare un decompilatore di propria scelta e aprire l'assemblea. Vedrai che il PureAttribute verrà rimosso dal compilatore. Quindi non puoi ottenerlo con la riflessione perché non esiste più.

Per testare è possibile utilizzare un altro attributo che non verrà rimosso e sarà possibile ottenerlo utilizzando il riflesso.

Aggiornamento: Da un lato, come lei ha detto nei commenti:

Pure è un attributo condizionale ([condizionale ("CONTRACTS_FULL")]), e viene aggiunto solo se i contratti sono abilitati.

D'altra parte il codice ha un difetto perché il metodo Linqs First() restituirà un membro, senza un attributo, il metodo getter della proprietà. È possibile utilizzare il codice come questo per ottenere il risultato previsto: members.Where(x => x.GetCustomAttributes<PureAttribute>().Any()).ToArray().