Go：*Var 是 Var 的“子类”吗？

Question

取自 go tour：package mainimport (    "fmt"    "math")type Abser interface {    Abs() float64}func main() {    var a Abser    f := MyFloat(-math.Sqrt2)    v := Vertex{3, 4}    a = f    a = &v    // v == Vertex != *Vertex -> exception    a = v}type MyFloat float64func (f MyFloat) Abs() float64 {    if f < 0 {        return float64(-f)    }    return float64(f)}type Vertex struct {    X, Y float64}func (v *Vertex) Abs() float64 {    return math.Sqrt(v.X*v.X + v.Y*v.Y)}但是，当func (v *Vertex) Abs() float64变成 时func (v Vertex) Abs() float64，代码编译：package mainimport (    "math")type Abser interface {    Abs() float64}func main() {    var a Abser    f := MyFloat(-math.Sqrt2)    v := Vertex{3, 4}    a = f    // Since *Vertex != Vertex, this shouldn't compile, should it?    a = &v    a = v}type MyFloat float64func (f MyFloat) Abs() float64 {    if f < 0 {        return float64(-f)    }    return float64(f)}type Vertex struct {    X, Y float64}func (v Vertex) Abs() float64 {    return math.Sqrt(v.X*v.X + v.Y*v.Y)}为什么第二个例子会运行？

Answer 1

该类型*T不是 的子类T，但是*T的方法集将继承 的方法T：

任何其他类型 T 的方法集由所有以接收者类型 T 声明的方法组成。 对应指针类型 *T 的方法集是所有以接收者 *T 或 T 声明的方法的集合（即，它还包含方法组 T)。

因此，如果T符合特定接口，那么*T. 这就是您可以*Vertex为Abser示例中的变量赋值的原因。