Perché non posso dichiarare un elenco generico come annullabile?

Question

Nel tentativo di utilizzare il seguente codice:

private Nullable<List<IpAddressRange>> ipAddressRangeToBind; 

Ma io sono sempre il seguente avviso:

L'elenco tipo deve essere un tipo di valore non annullabile in per usarlo come un parametro 'T' nel tipo o metodo generico 'System.Nullable'.

Answer 1

List<T> è già un tipo di riferimento (per ogni tipo di T) - è possibile dichiarare solo Nullable<T> dove T è un tipo di valore non annullabile (è dichiarato come Nullable<T> where T : struct).

Ma va bene così, perché se si dichiara:

private List<IpAddressRange> ipAddressRangeToBind; 

allora si può ancora avere

ipAddressRangeToBind = null; 

perché i tipi di riferimento sono sempre annullabile.

Answer 2

List<IpAddressRange> è un tipo di riferimento - è già annullabile - infatti verrà inizializzato a null da tale dichiarazione.

Answer 3

si può semplicemente usare così com'è:

List<IpAddressRange> ipAddressRangeToBind = null; 

List è già annullabile.

Answer 4

I tipi di riferimento non possono essere raggruppati in Nullable<T> a causa di un vincolo where T : struct sul generico.

Le ragioni di questo vincolo sono:

1. tipi di riferimento sono già annullabile per definizione, e
2. Nullable non è molto efficiente dello spazio, ma più di un supporto di valori Null "logico".

Nullable<T> ha una proprietà bool HasValue e un tipo T struttura Value che contiene il valore effettivo value-type.

Anche se HasValue == false (ovvero se la variabile con valore nulla spostato è impostata su null), ANCORA si utilizza lo spazio per il tipo di valore come se fosse lì.

E 'logicamente annullabile per consentire di specificare opzionale comportamento, ma non salva qualsiasi spazio. Questo è molto simile a come boost :: opzionale funziona in C++.