Stiamo implementando alcuni servizi Web e dobbiamo garantire che alcuni dei nostri metodi sempre restituiscano valori non nulli.
Abbiamo esaminato due modi per farlo:
- Uso di contratti di codice e restituzione del valore predefinito utilizzando
Ensures
vincoli sul ritorno valore. - L'utilizzo di un programmazione orientata all'aspetto si avvicina utilizzando PostSharp .
Entrambi gli approcci funzionano, ma mi chiedo se ci siano altri approcci che dovremmo prendere in considerazione.
Come applicheresti i valori di ritorno non nulli?
Sembra che ci fosse una domanda simile su SO e Jon Skeet raccomanda l'approccio al contratto di codice.