知识卡片
类型给编译器两类信息
内容
值的类型告诉编译器需要多少内存，以及这段内存代表什么。发散：类型不是语法标签，而是内存布局和可用操作的契约。
参考来源
- 位置：《Go语言实战》第5章《Go语言的类型系统》（源文件：_epub-src/OEBPS/Text/part0015.xhtml）
- 结论依据：原文围绕“值的类型给编译器提供两部分信息”给出定义、机制、流程、对比或限制条件，本卡片据此提炼可迁移的 Go 语言/工程结论，并补充边界或实践启发。
- 原始内容：道类型信息，编译器就可以确保程序合理地使用值。这有助于减少潜在的内存异常和bug，并且使编译器有机会对代码进行一些性能优化，提高执行效率。 值的类型给编译器提供两部分信息：第一部分，需要分配多少内存给这个值（即值的规模）；第二部分，这段内存表示什么。对于许多内置类型的情况来说，规模和表示是类型名的一……