¿Hay alguna forma de marcar un método para garantizar que T no sea nulo?

Question

Por ejemplo, si tengo un método definido como ...

T Create() 
{ 
    T t = Factory.Create<T>(); 

    // ... 

    Assert.IsNotNull(t, "Some message."); 
    // -or- 
    if (t == null) throw new Exception("..."); 
    // -or- anything that verifies that it is not null 
} 

... y yo estoy llamando a que el método de alguna otra parte ...

void SomewhereElse() 
{ 
    T t = Create(); 
    // >><< 
} 

... al >><<, Lo sé (es decir, a mí, la persona que escribió esto) que t está garantizado para no ser nulo. ¿Hay alguna manera (un atributo, quizás, que no he encontrado) de marcar un método como garantizar que un tipo de referencia que devuelve o que pasa de otra forma (tal vez un parámetro out) esté garantizado por la lógica interna para que no sea nulo?

Tengo que admitir tímidamente que ReSharper es sobre todo por lo que me importa, ya que destaca todo lo que cree que podría causar ya sea InvalidOperationException o NullReferenceException. Me imagino que está leyendo algo que puedo marcar en mis métodos o simplemente sabe que Assert.IsNotNull, comprobaciones booleanas simples o algunas otras cosas eliminarán la posibilidad de que algo sea nulo y que puede eliminar el resaltado.

¿Alguna idea? ¿Acabo de ser víctima de la enfermedad de oh-my-god-resharper-highlights-it-I-have-fix-it?

Answer 1

Si ReSharper es por qué te importa entonces se puede marcar el método Factory.Create<T>() con su atributo [NotNull] descrito en su web help

Answer 2

No sabe cómo R # maneja esto, pero el método Contract.Assert puede ser lo que usted está buscando

Answer 3

Podría fundido T a un objeto a continuación, comprobar si es nulo?

var o = (object)Factory.Create<T>(); 
if(o == null) throw new Exception(); 

Answer 4

Se puede poner una restricción en T sólo para permitir struct.

Puede usar una extensión de idioma que le permita hacer definiciones más precisas de las condiciones pre/post para su función (programación basada en contrato), como SpecSharp o Code Contracts. Code Contracts parece aprovechar los sistemas integrados de C# 4.0. No tengo experiencia con ninguno de los dos, solo he oído hablar de ellos.