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

Question

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

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

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

Answer 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{}实际不需要进行第二次测试（作者在评论中确认），因为第一次测试将通过值接收器通过，而接收到指针失败。因此，第二项测试是多余的。

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