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 模拟。










