爲什麼對於短基元，有賦值運算符（＆=，+ =）但沒有非賦值運算符（＆，+）？

Question

我在所述行爲失腳是按位或運算不允許在原始類型大於32位的更小的，但相應的分配操作在實際上允許：

short BitwiseAnd(short a, short b) { return a & b; }   // error 
short BitwiseAndAssignment(ref short a, short b) { a &= b; } // works 

short Add(short a, short b) { return a + b; }    // error 
short AddAssignment(ref short a, short b) { a += b; }  // works 

相同的行爲適用於其它短原語類型，如byte,sbyte和ushort。

據我所知，算術和邏輯操作被用於32位，以及較大的類型（int，long ...）中所定義，因爲它的處理器提供什麼（see this question），和更短的類型的被加寬，並且可以轉換回8或16位。然而，這是否有理由在一個賦值運算符中工作？首先，我假設在幕後，short被鑄造爲int，但是您將得到一個賦值/返回值short value = (some int)，這應該會產生一個錯誤，因爲該轉換不是隱含的。

在不同的筆記：我在Visual Studio的直接窗口中嘗試了一些代碼，但在那裏，更多的代碼似乎工作。即時窗口可能會進行一些隱式投射，這通常是明確的。例如，short a = (int)5;被允許在直接窗口中。所以這沒有幫助。

Answer 1

然而，就是有一個原因，這將在賦值運算符的工作？

是：因爲否則賦值運算符不可能爲這些類型的工作 - 就沒有語法，允許它的工作。 期望的a += b或a &= b是清楚的，所以轉換是自動執行的。

與a + b或a & b，你已經注意到：由於性能原因，語法存在回來，特別是(short)(a+b)等

Answer 2

真正的錯誤是由於在對它們進行操作時將較小整數類型隱式轉換爲int。

當你有a & b其中a和b是short S，它們都被轉換成int和&經營者申請，其結果將是int類型的，所以你不能在你的方法聲明返回int爲short。一個簡單的演員將解決這個問題。 (short)(a & b)。

short BitwiseAnd(short a, short b) { return (short)(a & b); } //no error! 

當你有

short BitwiseAndAssignment(ref short a, short b) { a &= b; } 

編譯器會投給你，如果沒有你永遠不能在較小的種類比int使用這些類型的運營商（+=，*=，...）的。

---

下面會發生什麼？

short a = 1; 
short b = 2; 

short c = a + b; //error! 

爲什麼？因爲+運算符沒有超載來接收兩個short參數。由於存在short和int之間的隱式轉換，因此方法解析將選擇具有兩個int作爲輸入參數的重載。所以它會投a和b到int和然後調用所選的超載返回一個int。因爲它返回一個int，所以您不能將它存儲在short變量中，因此您需要明確地轉換它。

short c = (short)(a + b)//this will work