Go 错误：“嵌入式类型不能是指向接口的指针”

Question

以下代码给出编译时错误：

type IFile interface {
    Read() (n int, err error)
    Write() (n int, err error)
}

type TestFile struct {
   *IFile
}

错误：

./test.go:18: 嵌入式类型不能是指向接口的指针

为什么我不能嵌入*IFile ？

Answer 1

语言规范不允许这样做。 规范中的相关部分：结构类型：

使用类型声明但没有显式字段名称的字段是匿名字段，也称为嵌入字段或结构中的类型嵌入。 嵌入类型必须指定为类型名称T或指向非接口类型名称*T的指针，并且T本身可能不是指针类型。 非限定类型名称充当字段名称。

指向接口类型的指针很少有用，因为接口类型可能包含指针或非指针值。

话虽如此，如果实现您的IFile类型的具体类型是指针类型，那么指针值将被包装在IFile类型的接口值中，因此您仍然必须嵌入IFile ，只是实现IFile的值将是指针值，例如

// Let's say *FileImpl implements IFile:
f := TestFile{IFile: &FileImpl{}}

编辑：回答您的评论：

首先，这是 Go，而不是 C++。 在 Go 中，接口不是指针，而是表示为一对(type;value) ，其中“值”可以是指针或非指针。 博客文章中有关此的更多信息： 反射定律：接口的表示。

其次，如果FileImpl是一个类型， f := TestFile{IFile : &FileIml}显然是一个编译时错误，你需要一个*FileImpl的值，而&FileImpl显然不是。 例如，您需要一个形式为&FileImpl{}的复合文字，所以它应该是我在上面发布的。