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

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

从常见问题解答：

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

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

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

规格中的更一般性：

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

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

通过测试两者

FileInfoInternal{}

和，

&FileInfoInternal{}

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

&FileInfoInternal{}

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

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