“<type> 是指向接口的指针，而不是接口”的混淆

Posted 2023-02-22

【中文标题】“<type> 是指向接口的指针，而不是接口”的混淆

【英文标题】："<type> is pointer to interface, not interface" confusion

【发布时间】：2017-11-06 07:20:21

【问题描述】：

我有这个问题，我觉得有点奇怪。看一下这段sn-p的代码：

package coreinterfaces

type FilterInterface interface 
    Filter(s *string) bool


type FieldFilter struct 
    Key string
    Val string


func (ff *FieldFilter) Filter(s *string) bool 
    // Some code


type FilterMapInterface interface 
    AddFilter(f *FilterInterface) uuid.UUID     
    RemoveFilter(i uuid.UUID)                   
    GetFilterByID(i uuid.UUID) *FilterInterface


type FilterMap struct 
    mutex   sync.Mutex
    Filters map[uuid.UUID]FilterInterface


func (fp *FilterMap) AddFilter(f *FilterInterface) uuid.UUID 
    // Some code


func (fp *FilterMap) RemoveFilter(i uuid.UUID) 
    // Some code


func (fp *FilterMap) GetFilterByID(i uuid.UUID) *FilterInterface 
    // Some code

在其他一些包上，我有以下代码：

func DoFilter() 
    fieldfilter := &coreinterfaces.FieldFilterKey: "app", Val: "152511"
    filtermap := &coreinterfaces.FilterMap
    _ = filtermap.AddFilter(fieldfilter) // <--- Exception is raised here

运行时不会接受提到的行，因为

"不能使用 fieldfilter (type *coreinterfaces.FieldFilter) 作为类型 *coreinterfaces.FilterInterface 在 fieldint.AddFilter 的参数中： *coreinterfaces.FilterInterface 是指向接口的指针，而不是接口"

但是，将代码更改为：

func DoBid() error 
    bs := string(b)
    var ifilterfield coreinterfaces.FilterInterface
    fieldfilter := &coreinterfaces.FieldFilterKey: "app", Val: "152511"
    ifilterfield = fieldfilter
    filtermap := &coreinterfaces.FilterMap
    _ = filtermap.AddFilter(&ifilterfield)

一切正常，在调试应用程序时，它似乎确实包含

我对这个话题有点困惑。在查看其他博客文章和堆栈溢出线程讨论这个完全相同的问题时（例如 - This，或 This) 引发此异常的第一个 sn-p 应该可以工作，因为 fieldfilter 和 fieldmap 都被初始化为指向接口的指针，而不是接口的值。我无法理解这里实际发生的事情，我需要更改以便我不声明 FieldInterface 并为该接口分配实现。必须有一种优雅的方式来做到这一点。

【问题讨论】：

当将* FilterInterface 更改为FilterInterface 时_ = filtermap.AddFilter(fieldfilter) 行现在提出了这一点：不能在filtermap.AddFilter 的参数中使用fieldfilter (type coreinterfaces.FieldFilter) 作为type coreinterfaces.FilterInterface： coreinterfaces.FieldFilter 没有实现 coreinterfaces.FilterInterface （Filter 方法具有指针接收器） 但是，当将行更改为 _ = filtermap.AddFilter(&fieldfilter) 时，它可以工作。这里会发生什么？这是为什么呢？

因为实现接口的方法都有指针接收器。传值，不实现接口；传递一个指针，它确实，因为方法然后应用。一般来说，在处理接口时，您将指向结构的指针传递给需要接口的函数。在任何情况下，您几乎都不需要指向接口的指针。

我理解你的意思，但是通过将参数值从* FilterInterface 更改为实现此接口的结构，这打破了将接口传递给函数的想法。我想要完成的不是绑定到我传递的结构，而是实现我感兴趣使用的接口的 any 结构。您可能认为对我来说更有效或更符合标准的任何代码更改？我很乐意使用一些代码审查服务:)

你的函数应该接受一个接口参数（不是指向接口的指针）。调用者应该传入一个指向实现接口的结构的指针。这并没有“打破将接口传递给函数的想法”——函数仍然需要一个接口，你传递的是一个实现该接口的混凝土。

【参考方案1】：

所以你在这里混淆了两个概念。指向结构的指针和指向接口的指针是不一样的。接口可以直接存储一个结构或一个指向结构的指针。在后一种情况下，您仍然只是直接使用接口，而不是指向接口的指针。例如：

type Fooer interface 
    Dummy()


type Foo struct

func (f Foo) Dummy() 

func main() 
    var f1 Foo
    var f2 *Foo = &Foo

    DoFoo(f1)
    DoFoo(f2)


func DoFoo(f Fooer) 
    fmt.Printf("[%T] %+v\n", f, f)

输出：

[main.Foo] 
[*main.Foo] &

https://play.golang.org/p/I7H_pv5H3Xl

在这两种情况下，DoFoo 中的 f 变量只是一个接口，不是指向接口的指针。然而，当存储f2 时，接口持有一个指向Foo 结构的指针。

指向接口的指针几乎从不有用。事实上，Go 运行时专门更改了几个版本，不再自动取消引用接口指针（就像它对结构指针所做的那样），以阻止它们的使用。在绝大多数情况下，指向接口的指针反映了对接口应该如何工作的误解。

但是，接口存在限制。如果您将结构直接传递到接口，则只能使用该类型的 value 方法（即func (f Foo) Dummy()，而不是func (f *Foo) Dummy()）来实现接口。这是因为您在接口中存储了原始结构的副本，因此指针方法会产生意想不到的效果（即无法更改原始结构）。因此，默认的经验法则是在接口中存储指向结构的指针，除非有令人信服的理由不这样做。

如果您将 AddFilter 函数签名更改为：

func (fp *FilterMap) AddFilter(f FilterInterface) uuid.UUID

GetFilterByID 签名：

func (fp *FilterMap) GetFilterByID(i uuid.UUID) FilterInterface

您的代码将按预期工作。 fieldfilter 是*FieldFilter 类型，它填充了FilterInterface 接口类型，因此AddFilter 将接受它。

这里有一些很好的参考资料，可以帮助您了解 Go 中的方法、类型和接口如何工作以及如何相互集成：

https://medium.com/@agileseeker/go-interfaces-pointers-4d1d98d5c9c6 https://www.goinggo.net/2014/05/methods-interfaces-and-embedded-types.html https://blog.golang.org/laws-of-reflection

【讨论】：

"这是因为您在接口中存储了原始结构的副本，因此指针方法会产生意想不到的效果（即无法更改原始结构）" - 这不会感觉是限制的原因。毕竟，唯一的副本可能一直保存在界面中。

您的回答毫无意义。您假设当您更改存储在接口中的内容时，存储在接口中的具体类型的位置不会改变，但事实并非如此，如果您使用不同的内存布局存储内容，这应该很明显。您对我的指针注释没有了解的是，具体类型上的指针接收器方法可以总是修改它被调用的接收器。存储在接口中的值会强制复制您无法获得引用的副本，因此指针接收器无法修改原始句点。

@Kaedys 有没有我们必须使用指向接口的指针的用例？

几乎从不，但只是“几乎”。唯一有价值的用例（至少我能想到的）是如果您需要通过引用更改存储在接口中的内容。然而，为了避免意外的副作用，返回新的或更改的界面而不是原地改变它几乎总是更好的设计。

谢谢！ Go 中整个指针与值的关系真的很令人困惑，尤其是在这种情况下，想知道是否有充分的理由这样设计它

【参考方案2】：

GetFilterByID(i uuid.UUID) *FilterInterface

当我收到这个错误时，通常是因为我指定了一个指向接口而不是接口的指针（这实际上是一个指向实现接口的结构的指针）。

*interface... 有一个有效的用途，但更常见的是我只是在想“这是一个指针”而不是“这是一个接口，它恰好是我正在编写的代码中的一个指针”

【讨论】：

这个比上面更详细的答案更快地帮助了我，+1；我希望使用IThing 风格的接口命名——___er 不够清晰，我无法快速发现接口