「：=」做什麼？

Question

我見過:=在幾個代碼示例中使用，但沒有附帶說明。如果不知道它的正確名稱，就不可能在谷歌中使用它。

它是做什麼的？

Answer 1

http://en.wikipedia.org/wiki/Equals_sign#In_computer_programming

在計算機編程語言，等號通常號表示任一個布爾運算符來測試值相等（例如，如在帕斯卡或艾菲爾），這與在數學符號的用法一致，或一個賦值運算符（例如像C語言中那樣）。作出前一種選擇的語言通常使用冒號等於（：=）或≔來表示其賦值運算符。做出後一種選擇的語言通常使用雙等號（==）來表示它們的布爾相等運算符。

注：我發現這個通過搜索colon equals operator

Answer 2

某些語言使用:=充當賦值運算符。

Answer 3

這是賦值運算符的舊（pascal）語法。它會像這樣使用：

a := 45; 

它也可能在其他語言，以及可能在類似的用途。

Answer 4

在很多CS書，它作爲賦值運算符，從平等操作=分化。然而，在許多高級語言中，賦值爲=，等於==。

Answer 5

這是賦值運算符帕斯卡，並經常用於證明和僞代碼。這與C語言中的=是一樣的。

歷史上，計算機科學論文使用=進行等式比較，←進行賦值。 Pascal使用:=來表示難以左右的箭頭。 C走向不同的方向，而是決定運營商=和==。

Answer 6

在靜態類型語言Go中：=是初始化和分配的一個步驟。這樣做是爲了允許以編譯語言進行解釋式創建變量。

// Creates and assigns 
answer := 42 

// Creates and assigns 
var answer = 42 

Answer 7

Colon-equals用於Algol及其後代，如Pascal和Ada，因爲它與ASCII一樣接近左箭頭符號。

使用C語言開始使用等於賦值和雙等於比較的奇怪慣例。

在Prolog中，賦值和平等測試之間沒有區別。

Answer 8

從編程語言的世界之外的另一種解釋來自鎢Mathworld，等人：

如果A和B是由定義相等（即，A被定義爲B），那麼這被寫入象徵性地A = B，A：= B，或者有時A≜B。

■http://mathworld.wolfram.com/Defined.html

■https://math.stackexchange.com/questions/182101/appropriate-notation-equiv-versus