go - Go中下划线(空白标识符)的含义

Question

这个问题在这里已经有了答案:

What does an underscore and interface name after keyword var mean? (2 个回答)

关闭 4年前。

当我阅读 Go 文档时，我发现了这个:

You can ask the compiler to check that the type T implements the interface I by attempting an assignment:

type T struct{}
var _ I = T{} // Verify that T implements I.

我不明白 _ 的用途，我在其他作业中看到过它，但不明白它的含义。深入挖掘我发现它被称为“空白标识符”，但我不明白他们提出的用例:

_ = x // evaluate x but ignore it

围棋成语对我来说仍然有点陌生，所以我试图理解我为什么要做这样的事情。

Answer 1

_ 是一个特殊的标识符，你可以分配任何东西，但从不读取。在您给出的第一个示例中:

var _ I = T{}

无法访问此变量，因此将在生成的程序中对其进行优化。但是，如果类型 T 不能分配给接口(interface) I，则可能会导致编译错误。所以在这种情况下，它被用作关于类型的静态断言。

第二种情况更常见。虽然丢弃函数调用的结果可能看起来很奇怪，但在具有多个返回的函数中可能更有意义。考虑一个返回两个值但您只对第一个值感兴趣的函数 foo？您可以使用 _ 忽略第二个:

a, _ = foo()

您可以通过创建另一个变量来保存不需要的返回值来获得相同的效果，但此功能意味着您无需担心为其选择唯一名称。