php小编小新在这篇文章中将探讨一个关于X未能实现Y的问题。在这个问题中,我们使用了一个指针接收器的方法。通过这个方法,我们可以更好地理解为什么X无法实现Y,并且找到解决这个问题的方法。在接下来的内容中,我们将详细讨论这个问题,并提供一些解决方案。
问题内容
已经有几个关于“X 没有实现 Y(...方法有指针接收器)”问题的问答,但对我来说,他们似乎在谈论不同的事情,并且不适用于我的具体情况。
因此,我没有将问题变得非常具体,而是将其变得广泛和抽象 - 似乎有几种不同的情况可能会导致此错误发生,有人可以总结一下吗?
即如何避免该问题,如果发生,有哪些可能性?谢谢。
解决方法
当您尝试将具体类型分配或传递(或转换)为接口类型时,会出现此编译时错误;并且类型本身并不实现该接口,仅实现一个指向该类型的指针。
简短摘要:对变量的赋值如果所分配的值实现了所分配到的接口,则接口类型有效。如果它的方法集是接口的超集,它就会实现它。指针类型的方法集包括具有指针和非指针接收器的方法。非指针类型的方法集仅包括具有非指针接收器的方法。
让我们看一个例子:
type stringer interface {
string() string
}
type mytype struct {
value string
}
func (m *mytype) string() string { return m.value }
stringer
接口类型只有一个方法:string()
。存储在接口值 stringer
中的任何值都必须具有此方法。我们还创建了一个 mytype
,并创建了一个带有指针接收器的方法 mytype.string()
。这意味着 string()
方法位于 *mytype
类型的 方法集 中,但是不在 mytype
中。
当我们尝试将 mytype
的值分配给 stringer
类型的变量时,我们收到以下错误:
m := mytype{value: "something"}
var s stringer
s = m // cannot use m (type mytype) as type stringer in assignment:
// mytype does not implement stringer (string method has pointer receiver)
但是如果我们尝试将 *mytype
类型的值分配给 stringer
,则一切正常:
s = &m
fmt.println(s)
我们得到了预期的结果(在 go playground 上尝试一下):
something
因此获得此编译时错误的要求:
- 被分配(或传递或转换)的非指针具体类型的值
- 被分配(或传递或转换)的接口类型
- 具体类型具有接口所需的方法,但具有指针接收器
解决问题的可能性:
- 必须使用指向值的指针,其方法集将包括带有指针接收者的方法
- 或者接收者类型必须更改为非指针,因此非指针具体类型的方法集也将包含该方法(从而满足接口)。这可能可行,也可能不可行,就好像该方法必须修改值一样,非指针接收器不是一个选项。
结构和嵌入
当使用结构和嵌入时,通常不是“你”实现接口(提供方法实现),而是嵌入 struct
中的类型。就像这个例子一样:
type mytype2 struct {
mytype
}
m := mytype{value: "something"}
m2 := mytype2{mytype: m}
var s stringer
s = m2 // compile-time error again
再次编译时出错,因为mytype2
的方法集不包含内嵌mytype
的string()
方法,只有*mytype2
的方法集,所以下面的方法有效(在去游乐场):
var s stringer
s = &m2
如果我们嵌入 *mytype
并仅使用非指针 mytype2
,我们也可以使其工作(在 去游乐场):
type mytype2 struct {
*mytype
}
m := mytype{value: "something"}
m2 := mytype2{mytype: &m}
var s stringer
s = m2
此外,无论我们嵌入什么(mytype
或 *mytype
),如果我们使用指针 *mytype2
,它总是可以工作(在 去游乐场):
type mytype2 struct {
*mytype
}
m := mytype{value: "something"}
m2 := mytype2{mytype: &m}
var s stringer
s = &m2
规范中的相关部分(来自结构类型部分):
给定一个结构体类型 s
和一个名为 t
的类型,提升的方法包含在该结构体的方法集中,如下所示:
- 如果
s
包含匿名字段t
,则s
和*s
的方法集均包含接收者为t
的提升方法。*s
的方法集还包括接收者*t
的提升方法。 - 如果
s
包含匿名字段*t
,则s
和*s
的方法集都包含接收者为t
或*t
的提升方法。
换句话说:如果我们嵌入一个非指针类型,非指针嵌入器的方法集只能获取具有非指针接收器的方法(来自嵌入类型)。
如果我们嵌入一个指针类型,非指针嵌入器的方法集将获取具有指针和非指针接收器的方法(来自嵌入类型)。
如果我们使用指向嵌入器的指针值,则无论嵌入类型是否是指针,指向嵌入器的指针的方法集始终都会获取具有指针和非指针接收器的方法(从嵌入类型)。
注意:
有一个非常相似的情况,即当您有一个包含 mytype
值的接口值时,并且您尝试 类型断言 另一个接口值,stringer
。在这种情况下,由于上述原因,断言将不成立,但我们会得到一个略有不同的运行时错误:
m := mytype{value: "something"}
var i interface{} = m
fmt.println(i.(stringer))
运行时恐慌(在 go playground 上尝试一下):
panic: interface conversion: main.mytype is not main.stringer:
missing method string
尝试转换而不是类型断言,我们得到了我们正在讨论的编译时错误:
m := MyType{value: "something"}
fmt.Println(Stringer(m))
以上就是X 没有实现 Y(...方法有一个指针接收器)的详细内容,更多请关注编程网其它相关文章!