Bedingter Operator kann nicht implizit umwandeln?

Question

Ich bin von diesem kleinen C# Marotte stapfte wenig:

Da Variablen:

Boolean aBoolValue; 
Byte aByteValue; 

Folgende compiliert:

if (aBoolValue) 
    aByteValue = 1; 
else 
    aByteValue = 0; 

aber das wird nicht:

aByteValue = aBoolValue ? 1 : 0; 

Fehler sagt: „Kann nicht implizit Typ konvertieren‚int‘auf‚byte‘.“

Und natürlich wird diese Ungeheuerlichkeit kompilieren:

aByteValue = aBoolValue ? (byte)1 : (byte)0; 

Was hier los?

EDIT:

VS2008 verwenden, C# 3.5

Answer 1

Dies ist eine ziemlich häufig gestellte Frage.

In C#, wir fast immer von innen nach außen Grund. Wenn Sie

x = y; 

sehen wir herausfinden, was die Art von x ist, was ist die Art von y, und ob die Art der y Zuordnung mit x kompatibel. Aber wir nutzen nicht die Tatsache, dass wir wissen, was der Typ von x ist, wenn wir den Typ von y ausarbeiten.

, dass, weil es könnte mehr sein als ein x:

void M(int x) { } 
void M(string x) { } 
... 
M(y); // y is assigned to either int x or string x depending on the type of y 

Wir Notwendigkeit der Lage sein, den Typ eines Ausdrucks arbeiten ohne zu wissen, was es zugewiesen wird.Typ Informationsflüsse aus eines Ausdrucks, nicht in ein Ausdruck.

Um den Typ des Bedingungsausdrucks zu ermitteln, berechnen wir den Typ der Konsequenz und die alternativen Ausdrücke, wählen den allgemeineren der beiden Typen aus, und dies wird zum Typ des Bedingungsausdrucks. In Ihrem Beispiel ist der Typ des Bedingungsausdrucks "int" und keine Konstante (es sei denn, der Bedingungsausdruck ist konstant wahr oder konstant falsch). Da es keine Konstante ist, können Sie es nicht Byte zuweisen; der Compiler begründet sich ausschließlich aus den Typen, nicht aus den Werten, wenn das Ergebnis keine Konstante ist.

Die Ausnahme von all diesen Regeln sind Lambda-Ausdrücke, wobei die Typinformation von dem Kontext in das Lambda fließt. Es war sehr schwierig, diese Logik richtig zu machen.

Answer 2

Ich kann nicht eine große Antwort für Sie, aber wenn Sie dies tun, in vielen Orten, könnten Sie erklären:

private static readonly Byte valueZero = (byte)0; 
private static readonly Byte valueOne = (byte)1; 

und nur diese Variablen. Sie könnten bei der Verwendung von const weg, wenn es um das Projekt lokal ist.

EDIT:readonly mit würde keinen Sinn machen - diese sind nicht immer ändern gemeint.

Answer 3

Ich verwende VS 2005, und ich nicht wiedergeben kann, für Bool & Boolean, aber nicht für echte

bool abool = true; 
Boolean aboolean = true; 
Byte by1 = (abool ? 1 : 2); //Cannot implicitly convert type 'int' to 'byte' 
Byte by2 = (aboolean ? 1 : 2); //Cannot implicitly convert type 'int' to 'byte' 
Byte by3 = (true ? 1 : 2);  //Warning: unreachable code ;) 

Die einfachste Abhilfe scheint diese

Byte by1 = (Byte)(aboolean ? 1 : 2); 

gegossen, so zu sein, ja, so scheint es, dass der ternäre Operator die Konstanten verursacht zu „reparieren“ ihre Typen wie ints und deaktivieren Sie die implizite Typumwandlung, die Sie sonst von Konstanten erhalten, die innerhalb des kleineren Typs passen.