“ <类型>是接口的指针,而不是接口”的困惑


104

亲爱的开发人员,

我遇到了这个问题,对我来说似乎有点奇怪。看一下这段代码:

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.FieldFilter{Key: "app", Val: "152511"}
    filtermap := &coreinterfaces.FilterMap{}
    _ = filtermap.AddFilter(fieldfilter) // <--- Exception is raised here
}

运行时不接受提到的行,因为

“不能在fieldint.AddFilter的参数中将fieldfilter(类型* coreinterfaces.FieldFilter)用作类型* coreinterfaces.FilterInterface:* coreinterfaces.FilterInterface是指向接口而不是接口的指针”

但是,将代码更改为:

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

一切都很好,并且在调试应用程序时,它似乎确实包括

我对此话题有些困惑。当看着其他博客和堆栈溢出线程讨论这个完全一样的问题(例如- ,或 )这引起了这个异常应该工作,因为这两个fieldfilter和fieldmap初始化为指针接口,而不是价值的第一个片段接口。为了避免不声明FieldInterface并为该接口分配实现,我一直无法解决这里实际发生的事情。必须有一个优雅的方法来做到这一点。


当改变* FilterInterfaceFilterInterface线_ = filtermap.AddFilter(fieldfilter)现在引发此:不能在参数中使用fieldfilter(类型coreinterfaces.FieldFilter)类型coreinterfaces.FilterInterface到filtermap.AddFilter:coreinterfaces.FieldFilter不实现coreinterfaces.FilterInterface(过滤方法具有指针接收器)但是改变时行_ = filtermap.AddFilter(&fieldfilter)它的作品。发生什么事了?这是为什么?
0rka

2
因为实现接口的方法具有指针接收器。传递值时,它不会实现接口;传递指针,它确实可以,因为随后将应用方法。一般来说,在处理接口时,您将指向结构的指针传递给需要接口的函数。在任何情况下,几乎都不需要指针指向接口。
阿德里安

1
我理解您的意思,但是通过将参数值从更改为* FilterInterface实现此接口的结构,这打破了将接口传递给函数的想法。我想要实现的目标不是绑定到我传递的结构上,而是实现我有兴趣使用的接口的任何结构。您可能认为对我而言更有效或符合标准的任何代码更改?我很高兴使用一些代码检查服务:)
0rka

2
您的函数应接受接口参数(而不是接口的指针)。调用者应传入一个指向实现该接口的结构的指针。这并不会“破坏将接口传递给函数的想法”-函数仍然带有接口,您传递的是实现接口的结义。
阿德里安

Answers:


140

因此,您在这里混淆了两个概念。指向结构的指针和指向接口的指针是不同的。接口可以直接存储结构指向结构的指针。在后一种情况下,您仍将直接使用该接口,而不是直接使用该接口的指针。例如:

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

在这两种情况下,fin中的变量DoFoo都只是一个接口,而不是指向接口的指针。但是,在存储时f2,接口保留指向Foo结构的指针。

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

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

如果将AddFilter函数签名更改为:

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

和GetFilterByID签名可以:

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

您的代码将按预期工作。 fieldfilter是type *FieldFilter,它会填满FilterInterface接口类型,因此AddFilter将接受它。

这里有一些很好的参考,用于理解Go中方法,类型和接口如何工作以及如何相互集成:


“这是因为您在接口中存储了原始结构的副本,所以指针方法会产生意想不到的效果(即,无法更改原始结构)”-这没有任何限制的理由。毕竟,唯一的副本可能一直都存储在界面中。
WPWoodJr

您的答案没有任何意义。您假设更改存储在接口中的具体类型的位置不会发生变化(事实并非如此),并且如果您要存储具有不同内存布局的内容,这应该很明显。关于我的指针注释,您没有得到的是,具体类型上的指针接收器方法始终可以修改正在被调用的接收器。接口中存储的值会强制复制一个您随后无法引用的副本,因此指针接收器无法修改原始句点。
Kaedys

5
GetFilterByID(i uuid.UUID) *FilterInterface

当我收到此错误时,通常是因为我指定的是指向接口的指针,而不是接口(它实际上是指向实现该接口的结构的指针)。

* interface {...}有一个有效的用法,但更常见的是,我只是在考虑“这是一个指针”,而不是“这是我编写的代码中恰好是指针的接口”

只是把它扔在那里,因为尽管被接受的答案虽然很详细,但并没有帮助我进行故障排除。

By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.