在编程文档中,双冒号后面跟一个等号(:: =)是什么意思？

Question

::=编程文档中的含义是什么？
例如在Lua文档中:或在Python文档中.

Answer 1

它象征着Backus-Naur形式中的 "符号推导规则"

意思是:

<symbol> ::= __expression__ 

非终结符<symbol>由(定义为,由其构成,派生自) __expression__

它用于描述语言语法.

请注意,这两个示例都在Extended Backus-Naur Form中,但使用传统的BNF符号表达式分隔符(::=).

Answer 2

这是描述语言的Backus-Naur形式(BNF)符号.::=在这种情况下,手段被定义为.

例如,在您引用的Python语言文档中,标识符定义为字母或下划线,后跟字母,数字或下划线.然后,该符号继续描述字母和数字的定义,等等.

Answer 3

正如其他人已经说过的，它是 BNF 符号的一部分。维基百科有解释和一些例子，这里不再赘述。

::=符号本身的历史和演变在 ALGOL 努力的历史（第 29 页）中进行了解释。

Answer 4

给定的元素语法。例如：

identifier ::=  (letter|"_") (letter | digit | "_")*

意味着所有标识符必须符合给定的语法规则。