在描述 golang 中的“for”语法的编译错误时，是否使用了不正确的术语？

Question

我尝试使用类似的东西

for i := 0; i < len(bytes); ++i {
        ...
}

这是不正确的，我收到了错误

语法错误：意外 ++，需要 表达式

那是因为++i不是我想的表达方式。

然后我发现i++（它在for循环中工作）也不是根据the documentation的表达式。

我在some cases（现在我认为在所有情况下）中也遇到过不能用语句代替表达式。

现在如果我们回到错误，我们会看到for 循环需要一个表达式。我对此感到困惑。我检查了the documentation 的另一部分，结果发现for 需要声明。

带有for子句的语句

带有 ForClause 的“for”语句也受其控制 条件，但另外它可以指定一个 init 和一个 post 声明

我从问题开始（我比最后一个问题更喜欢这个问题，因为我认为它是关于语言不熟悉的）

语句被接受为表达式是循环语法的特殊情况还是golang中还有其他情况？

在写问题和检查文档的过程中，我遇到了一个问题

在描述错误时是否使用了不正确的术语，应该修复以免混淆？还是在某些情况下通常用语句和表达式等术语来代替？

Answer 1

The Go Programming Language Specification

Primary expressions

主表达式是一元和二元表达式的操作数。

PrimaryExpr =
  Operand |
  Conversion |
  PrimaryExpr Selector |
  PrimaryExpr Index |
  PrimaryExpr Slice |
  PrimaryExpr TypeAssertion |
  PrimaryExpr Arguments .

Selector       = "." identifier .
Index          = "[" Expression "]" .
Slice          = "[" [ Expression ] ":" [ Expression ] "]" |
                 "[" [ Expression ] ":" Expression ":" Expression "]" .
TypeAssertion  = "." "(" Type ")" .
Arguments      = "(" [ ( ExpressionList | Type [ "," ExpressionList ] ) [ "..." ] [ "," ] ] ")" .

运算符和标点符号

以下字符序列表示运算符：

++    
--    

Operators

运算符将操作数组合成表达式。

Expression = UnaryExpr | Expression binary_op Expression .
UnaryExpr  = PrimaryExpr | unary_op UnaryExpr .

binary_op  = "||" | "&&" | rel_op | add_op | mul_op .
rel_op     = "==" | "!=" | "<" | "<=" | ">" | ">=" .
add_op     = "+" | "-" | "|" | "^" .
mul_op     = "*" | "/" | "%" | "<<" | ">>" | "&" | "&^" .

unary_op   = "+" | "-" | "!" | "^" | "*" | "&" | "<-" .

运算符优先级

++ 和 -- 运算符构成语句，而不是表达式。

IncDec statements

“++”和“--”语句将其操作数递增或递减 无类型常量 1. 与赋值一样，操作数必须是 可寻址或地图索引表达式。

IncDecStmt = Expression ( "++" | "--" ) .

---

++ 和 -- 是运算符。 ++ 和 -- 运算符构成语句，而不是表达式。

IncDecStmt = Expression ( "++" | "--" ) . 

当编译器遇到++ 运算符时，它希望它前面紧跟一个表达式。

例如，

package main

func main() {

    // syntax error: unexpected ++, expecting expression
    for i := 0; i < 1; ++i {}
}

游乐场：https://play.golang.org/p/y2d9ijeMdw

输出：

main.go:6:21: syntax error: unexpected ++, expecting expression

编译器抱怨语法。它发现了一个 ++ 运算符，前面没有紧接的表达式：syntax error: unexpected ++, expecting expression。

Answer 2

Go 规范说 for 子句的 post 语句接受（除其他外）IndDec 语句。

IncDec 语句定义为：IncDecStmt = Expression ( "++" | "--" ) .

解析器发现一个 IndDec 语句但一个空表达式，因此吐出错误“期望表达式”。

编辑：这可能会失败，因为要解析 SimplStmt 的后备节点是一个表达式。 IncDecStmt 失败，因此它继续使用默认值。该错误准确地反映了冒泡的最新错误。

虽然错误消息是正确的，但它有点误导。但是，修复它需要传递更多关于正在解析的当前树的上下文。例如：bad ForClause: bad PostStmt: bad SimpleStmt: expected expression。

仍然存在expected expression 是最后遇到的错误的问题。在此之前，它无法解析 IncDecStmt 但该错误被吞下，因为它依赖于表达式。这同样适用于树的更高级别。

即使没有这个问题，它也会比当前的错误消息更加笨拙，甚至可能更令人困惑。不过，您可能想征求 Go 人员的意见。