“：=”做什么？

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