一尘不染

为什么要连续声明“ var _ I = T {}”和“ var _ I =&T {}”?

go

当我阅读docker / distribution源代码的副本时,我发现有声明的变量使我很困惑。
代码是

var _ FileInfo = FileInfoInternal{}
var _ FileInfo = &FileInfoInternal{}

我不知道声明是什么意思,希望能得到一些帮助。


阅读 212

收藏
2020-07-02

共1个答案

一尘不染

常见问题解答

您可以通过尝试分配,要求编译器检查类型T是否实现了接口I:

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

在这种情况下,空白标识符_代表此处不需要的变量名(从而防止出现“已声明但未使用”错误)。

规格中的更一般性:

空白标识符提供了一种忽略分配中右侧值的方法:

_ = x       // evaluate x but ignore it
x, _ = f()  // evaluate f() but ignore second result value

通过测试两者FileInfoInternal{}和,&FileInfoInternal{}您可以检查接口是否通过值接收器实现。值接收器将同时接受值和指针,而指针接收器将仅与指针一起使用,并且按值进行的首次分配将失败。

&FileInfoInternal{}实际不需要进行第二次测试(作者在评论中确认),因为第一次测试将通过值接收器通过,而接收到指针失败。因此,第二项测试是多余的。

是一篇很棒的文章,解释了值接收器和指针接收器之间的区别以及如何很好地使用它们。

2020-07-02