:=只能用于至少声明一个新变量，若左边全为已声明变量则报“no new variables”错误；它兼具声明与初始化功能，作用域限于当前代码块，且不支持隐式类型转换。
什么时候能用 :=，什么时候会报错 no new variables on left side of :=
这个错误不是因为你写错了语法，而是 Go 编译器在帮你检查「是否真有新变量要声明」。:= 要求左边至少有一个**全新未声明的变量名**，其余可以是已声明的（但类型必须兼容）。如果左边全是已声明变量，就直接报错。
- 合法：
a, b := 1, "hello"（a、b 都没出现过） - 合法：
a, c := 1, true（a 已声明，c 是新的；前提是 a 类型能接 1） - 非法：
a, b := 1, 2（a 和 b 都已存在，编译器不干） - 常见陷阱：在
if或for的初始化语句里重复用:=，比如if x := foo(); x > 0 { x := bar() }—— 第二个x := bar()作用域内 x 已存在，报错
:= 声明的变量作用域只在当前 block 里
它不是“赋值”，是“声明 + 初始化”，所以作用域规则和 var 一致：在 {} 内声明，出了大括号就不可见。很多人误以为 := 能跨 block 修改外层同名变量，其实只是遮蔽（shadowing）了它。
- 在
if里用:=声明的变量，else里访问不到 - 在
for循环体里:=出来的变量，循环结束后就失效 - 想让变量活到整个函数？老实用
var x int开头声明，后面用=赋值 - 示例：
if v := find(); v != nil { fmt.Println(v) }; fmt.Println(v)—— 最后一行报错：v undefined
类型推导靠右值，但不能自动转换
:= 的类型完全由右边表达式决定，不会做隐式类型转换。哪怕看起来“应该能转”，Go 也坚持显式优先。
Golang Uber Dig
下载
使用 uber-go/dig 在 Golang 中实现依赖注入——基于反射容器，提供 Provide/Invoke、dig.In/dig.Out 参数与结果对象，支持命名依赖等
-
n := 42→n是int（具体取决于平台，通常是int64或int32） -
f := 3.14→f是float64，不是float32 -
s := "hi"→s是string，不是[]byte - 错误写法：
port := 8080; listen(":<code>port") —— 如果函数期望string，而port是int，这里会编译失败，得写fmt.Sprintf(":%d", port)或显式转成string（不行，int 不能直转 string）
在函数返回值里混用 := 容易掉坑
带命名返回值的函数里，:= 行为容易让人困惑：它既可能声明新变量，也可能给命名返回值赋值——取决于名字是否冲突。
立即学习“go语言免费学习笔记（深入）”；
-
func foo() (err error) { err := fmt.Errorf("x") }—— 这里err :=声明了一个新局部变量err，和返回值err无关，函数实际返回nil - 正确做法：去掉冒号，用
err = fmt.Errorf("x")，或者干脆不用命名返回值，用return fmt.Errorf("x") - 更隐蔽的坑：
func bar() (x, y int) { x, z := 1, 2 }——x是返回值，z是新变量，但y没被赋值，返回时是 0，且无警告
:= 左边有没有意外遮蔽或漏赋值。 
