简洁有边界

- 位置：《Go语言底层原理剖析》第3章《类型推断全解析》3.2节《Go语言中类型推断的特性》 - 结论依据：原文说明 Go 语言设计者认为 Java、C++ 的类型系统过于复杂，因此"对变量使用简单的类型推断"，但同时指出"Go语言的类型推断目前还相对简单，没有涵盖参数和返回值之类的内容"，且"在处理包含变量标识符的推断方面是半智能的"（编译器不允许对变量标识符引用的值做隐式强制转换），因此可以推出"类型推断越强代码越短但隐藏信息越多，Go 选择了局部、有边界的推断"这一结论。 - 原始内容：Go语言的类型推断目前还相对简单，没有涵盖参数和返回值之类的内容。在实践中，可以通过在声明新变量或常量时忽略类型信息或使用：=表示法来触发Go语言中的类型推断……Go语言的类型推断在处理包含变量标识符的推断方面是半智能的。本质上，编译器不允许对变量标识符引用的值进行强制类型转换。