知识卡片
零值保证消除未初始化数据
内容
Go没有显式调用的构造函数，取而代之的是一条语言级承诺：任何值被创建时都会自动初始化成对应类型的空值——数字是0，字符串是空字符串，指针是nil，结构体的每个字段都递归地被初始化成各自类型的空值。发散：这是”消除一整类错误”而非”提供工具去避免错误”的设计取向——C/C++里”变量声明了但没初始化”是需要程序员自律避免的陷阱，Go直接从语言层面把这类状态判为不存在，代价是所有类型都必须能定义。
参考来源
- 位置：《Go语言程序设计》第1章《5个例子》（源文件：_epub-src/OEBPS/text00035.html）
- 结论依据：原文在该章节围绕“Go没有显式调用的构造函数，取而代之的是一条语言级承诺：任何值被创建时都会自动初始化成对应类型的空值——数字是…”给出定义、示例或限制条件；摘录中的术语、代码片段或对比关系直接支撑本卡片的结论。
- 原始内容：p", "needle"}) haystack.Push(81.52) for { item, err := haystack.Pop() if err != nil { break } fmt.Println(item) } } 函数的开头声明了一个 stack.Stack 类型的变量 haystack 。在Go语言中，导入包中的类型、…