下划线（）作为空白标识符用于声明但不使用变量，常见于编译期强制验证某类型是否实现特定接口，确保接口契约在构建阶段即被校验，避免运行时隐式失败。
下划线（_）作为空白标识符用于声明但不使用变量，常见于编译期强制验证某类型是否实现特定接口，确保接口契约在构建阶段即被校验，避免运行时隐式失败。
在 Go 语言中，_（下划线）是空白标识符（blank identifier），它不绑定任何值，也不可被引用。当它出现在变量声明的左侧（如 var _ InterfaceName = expr），其核心目的并非赋值或存储，而是触发编译器对类型兼容性的静态检查。
最典型的用例是接口实现断言（interface satisfaction assertion）。例如：
var _ PropertyLoadSaver = (*Doubler)(nil)
这段代码的含义是：
✅ 声明一个类型为 PropertyLoadSaver 的匿名变量（由 _ 占位）；
✅ 尝试将 (*Doubler)(nil)（一个 *Doubler 类型的 nil 指针）赋值给它；
✅ Go 编译器会严格检查：*Doubler 的方法集是否包含 PropertyLoadSaver 接口定义的全部方法（即是否满足该接口）。
若 *Doubler 缺少 Save() 或 Load() 等必需方法，编译将立即失败，并给出清晰错误（如 missing Save method），而非等到运行时调用失败才暴露问题。这属于零成本、无副作用的编译期契约验证。
⚠️ 注意事项：
- 此断言仅在包级作用域（全局变量位置）有效；函数内使用 var _ Interface = impl 会导致“declared and not used”错误（因局部变量未被使用且 _ 不豁免该检查）；
- 它不执行任何运行时逻辑，不分配内存，不调用构造函数或初始化方法；
- 虽可用具名变量替代（如 var _assertDoublerImplementsPLS PropertyLoadSaver = (*Doubler)(nil)），但用 _ 更简洁且明确传达“仅用于检查”的意图；
- 该模式广泛应用于标准库和高质量 Go 项目（如 golang/appengine/datastore），是 Go “显式优于隐式”哲学的典型实践。
总结：下划线在此场景下是 Go 类型系统与编译器协同提供的轻量级契约工具——它让接口实现关系从“隐式满足”变为“显式声明”，大幅提升代码可维护性与健壮性。
