lua 中赋值前的 ::(双冒号)是什么意思?

What does :: (double-colon) mean before an assignment in lua?

我目前正在查看 LUA 文档的第一页,发现每个赋值都显示为 var ::= Name,但是我找不到对 ::= 语法的任何引用本身。该文档详细介绍了作业的结构,但掩盖了这些符号。我想知道的是,是否每个赋值都需要在实际赋值运算符之前使用 ::,如果是这样,为什么它的结构是这样的,而不仅仅是普通的 =?

您看到的不是 Lua 代码,而是 Lua 语言的语法片段,如 Backus-Naur Form 中所定义。 ::= 运算符是 BNF 的一部分。

这是赋值运算符 - 通常用于形式语法。