Go 的 switch 语句不支持在 switch 关键字后直接使用短变量声明（如 k := f.Kind()）作为表达式，必须采用 switch init; expr { ... } 形式，其中初始化语句与判断表达式需用分号分隔。

go 的 `switch` 语句不支持在 `switch` 关键字后直接使用短变量声明（如 `k := f.kind()`）作为表达式，必须采用 `switch init; expr { ... }` 形式，其中初始化语句与判断表达式需用分号分隔。

在 Go 中，switch 有两种基本语法形式：类型开关（Type Switch） 和 表达式开关（Expression Switch）。二者语法约束严格，不可混用。

• ✅ 类型开关（专用于接口类型断言）语法为：

  switch t := someInterface.(type) {
  case int:   ...
  case string: ...
  default:    ...
  }

  此处 t := someInterface.(type) 是合法的 SimpleStmt，且 .(type) 是类型开关专属语法，仅在此上下文中允许。

• ❌ 表达式开关 不接受独立的短变量声明作为整个 switch 表达式。以下写法是非法的：

  switch k := f.Kind() {  // 编译错误：k := f.Kind() used as value
  case 12:
      ...
  }

  因为 k := f.Kind() 是一条语句（statement），而非可求值的表达式（expression），而 switch 后若无分号，默认期待一个表达式。

• ✅ 正确写法：必须显式分离初始化语句和判断表达式，用分号 ; 隔开：

  switch k := f.Kind(); k {  // ← 分号是关键！左侧是 SimpleStmt，右侧是 Expression
  case 12:
      fmt.Println("Kind is 12")
  case 0:
      fmt.Println("Kind is zero")
  default:
      fmt.Printf("Unknown kind: %d\n", k)
  }

  此处 k := f.Kind() 在 switch 作用域内执行并初始化变量 k，随后 k 作为被比较的表达式参与各 case 匹配。

⚠️ 注意事项：

• 初始化语句中声明的变量（如 k）作用域仅限于该 switch 块内，包括所有 case 和 default 分支；
• case 后的值必须是编译期可确定的常量表达式（如字面量、具名常量、const 衍生值），不能是变量或函数调用；
• 若无需初始化，可省略分号前部分：switch f.Kind() { ... }；
• 切勿混淆 switch x := y.(type)（类型开关）与 switch v := f(); v（表达式开关）——前者 .(type) 不可替换为普通方法调用。

总结：Go 的 switch 语法设计强调明确性与安全性。理解 SimpleStmt; Expression 这一核心结构，是写出正确、可维护分支逻辑的基础。遇到 used as value 错误时，请优先检查是否遗漏了分号，或误将类型开关语法用于非接口场景。