Golang表达式和语句的本质区别

Go中表达式求值后必有结果，语句无值；if/for/switch/return是语句，不能用于赋值等需值的上下文，而a+b、len(s)等是表达式，可赋值或传参。

表达式求值后一定有结果，语句不产生值

Go 里没有“表达式语句”的概念，if、for、switch、return 这些全是语句，不能出现在需要值的地方。比如你不能写 x := if true { 1 } else { 2 } —— 这在 Go 中语法错误，因为 if 是语句，不是表达式。而 a + b、len(s)、func() int { return 42 }() 都是表达式，它们求值后产生一个具体类型的值（如 int、string），能被赋值、传参或参与运算。

赋值操作符左边必须是可寻址的，右边必须是表达式

Go 的赋值语句（如 x = 1）左边只能是变量、指针解引用、切片索引等“地址可取”的操作数；右边则必须是一个表达式。常见错误包括：

• 把语句当表达式用：x = fmt.Println("hello") —— fmt.Println 返回 (n int, err error)，但它本身是函数调用语句（副作用为主），不能直接用于简单赋值（除非你显式接收返回值）
• 误用短变量声明：if x := 1; x > 0 { ... } 中的 x := 1 是初始化语句，不是表达式，它只在该 if 作用域内有效
• 试图对不可寻址值赋值："hello"[0] = 'H' 报错，因为字符串字面量不可寻址，且字符串是只读的

函数调用既是表达式也是语句，取决于是否使用返回值

函数调用在 Go 中属于表达式，但若其返回值被完全忽略，它就退化为“纯语句”（仅执行副作用）。例如：

fmt.Println("done")        // 作为语句：忽略 (n, err) 返回值
n, _ := fmt.Println("ok")  // 作为表达式：显式接收返回值，n 是 int 类型

注意：defer、go 后面跟的也必须是函数调用表达式（不能是带括号的类型转换或复合字面量），比如 defer f() 合法，defer (x + y) 非法。

立即学习“go语言免费学习笔记（深入）”；

复合字面量和类型转换永远是表达式，从不构成语句

[]int{1,2,3}、struct{X int}{X: 42}、string(b) 这些都是表达式，它们生成值，哪怕没被赋给变量。你不能单独写一行 []int{1,2,3} 当作语句（编译报错：syntax error: unexpected literal），必须配合使用场景，比如：

• 赋值：s := []int{1,2,3}
• 函数参数：copy(dst, []int{1,2,3})
• 结构体字段初始化：m := map[string][]int{"a": {1, 2}}

真正容易混淆的是空结构体字面量 struct{}{}——它看起来像什么都没做，但它仍是表达式，求值结果是一个无字段的 struct{} 值，常用于 channel 信号或 map 的 set 模拟。