为什么要连续声明 "var _ I = T{}" 和 "var _ I = &T{}"？

Question

当我阅读 docker/distribution 源代码的副本时，我发现声明的变量让我很困惑。 The code is:

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

不知道declare是什么意思，希望得到帮助

Answer 1

来自FAQ：

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.

在这种情况下，空白标识符 _ 代表此处不需要的变量名称（因此可以防止 "declared but not used" 错误）。

更一般的来自 spec：

The blank identifier provides a way to ignore right-hand side values in an assignment:
_ = x       // evaluate x but ignore it 
x, _ = f()  // evaluate f() but ignore second result value

通过测试 FileInfoInternal{} 和 &FileInfoInternal{}，您可以检查接口是否使用值接收器实现。值接收器将接受值和指针，而指针接收器将仅使用指针，并且第一次按值分配将失败。

实际上不需要 &FileInfoInternal{} 的第二个测试（正如作者在评论中确认的那样），因为第一个测试将通过值接收器并失败并接收到指针。因此第二个测试是多余的。

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

Answer 2

FileInfo是一个interface and the code checks whether FileInfoInternal implements这个接口。

为什么要连续声明 "var _ I = T{}" 和 "var _ I = &T{}"？

Why declare like "var _ I = T{}" and "var _ I = &T{}" continuously?

registry

go

docker