Perché dovrei circondare esplicitamente con "deselezionato"?

Question

C'è qualcuno in grado di spiegarmi questo strano comportamento?

int i = 0x1234; 
    byte b1 = (byte)i; 
    byte b2 = (byte)0x1234;   //error: const value '4660' can't convert to byte (use unchecked) 
    byte b3 = unchecked((byte)0x1234); 
    byte b4 = checked((byte)i);  //throws 
    byte b5 = (byte)(int)0x1234; //error: same as above 

NOTA: È un'applicazione vuota Console, con NO aritmetica checking abilitata (come default è). Grazie a tutti in anticipo.

EDIT: Dovevo essere abbastanza chiaro, ma non per tutti.

So che una parola non può essere inserita in un byte. Ma, per impostazione predefinita, un programma C# consente determinate operazioni "pericolose", principalmente per motivi di prestazioni.

Analogamente, è possibile sommare due interi di grandi dimensioni insieme e senza alcun overflow.

La mia meraviglia riguardava l'errore di compilazione sopra riportato: il cast b1/assegnazione è compilato, il b2 non può essere compilato. Apparentemente non c'è differenza, perché entrambi hanno Int32 con lo stesso valore.

Spero sia chiaro ora.

Answer 1

Stai inciampare in una parte della sezione 7.19 del C# 4 spec:

A meno che un'espressione costante è esplicitamente collocato in una unchecked contesto, overflow che si verificano nelle operazioni e conversioni aritmetiche integrale di tipo durante la valutazione fase di compilazione dell'espressione causano sempre errori di compilazione.

In sostanza, il punto è che anche se sei felice per consentire le operazioni di overflow esecuzione tempo, se si sta cercando di utilizzare un'espressione costante che non può essere convertito nel tipo di destinazione al momento della compilazione, devi dire al compilatore che tu non sappia quello che stai facendo.

Ad esempio, in questo caso si sta perdendo informazioni - sarà equivalente a

byte b3 = 0x34; 

quindi faresti normalmente essere meglio solo che specifica che, per darvi il codice più chiaro che doesn ingannare il lettore. E 'relativamente raro che si desidera traboccare in un continuo - il più delle volte si deve solo specificare il valore valido, invece.

Answer 2

Questo non è un comportamento strano, l'intervallo valido per una variabile del tipo di dati byte è 0-255 ma quando si converte HEX 0x1234 valore nel sistema decimale ti ha 4660. Quindi unchecked utilizzato per controllare le operazioni aritmetiche di tipo integrale e le conversioni di controllo di overflow.

È possibile trovare che unchecked viene spesso utilizzato nell'implementazione GetHashCode() che esegue operazioni numeriche per calcolare il codice hash finale.

In sintesi si dovrebbe usare unchecked quando il valore risultato finale delle operazioni integer tipo non è materia, ma troppo pieno potrebbe accadere.

Answer 3

È non dovrebbe circondano questo con incontrollato.Deselezionato consente l'assegnazione di tipi di valori pericolosi a un tipo, che può causare overflow.

byte b1 = (byte)i; causerà un overflow o un'eccezione di trasmissione in fase di esecuzione.

byte b2 = (byte)0x1234; non valido perché non è possibile memorizzare valori superiori a 0xFF in un byte.

byte b3 = unchecked((byte)0x1234); inserirà 0x34 o 0x12 (a seconda dell'implementazione CLR) in b3 e l'altro byte si sovrapporrà.

byte b4 = checked((byte)i); è lo stesso di byte b1 = (byte)i;

byte b5 = (byte)(int)0x1234; getteranno 0x1234 ad un int, e quindi provare a gettarlo ai byte. Anche in questo caso, non è possibile convertire 0x1234 in un byte perché è troppo grande.