为什么方法签名必须与接口方法完美匹配

Question

我开始学习Go并且无法理解以下内容:

package main

import "fmt"

type I interface {
    foo(interface {})
}

type S struct {}

func (s S) foo(i int) {
    fmt.Println(i)
}

func main() {
    var i I = S{}
    i.foo(2)
}

这失败了:

cannot use S literal (type S) as type I in assignment:
        S does not implement I (wrong type for foo method)
                have foo(int)
                want foo(interface {})

我不明白为什么Go不接受foo(int)签名,因为int实现的事实interface {}.任何人都可以帮忙解释一下吗？

Answer 1

我认为你对界面的理解并不合理.Interface {}本身就是一种类型.它由两部分组成:基础类型和基础价值.

Golang没有超载.Golang类型系统按名称匹配,并且要求类型一致

因此,当您定义一个以接口类型为参数的函数时:

foo(interface {})

这与采用int类型的函数不同:

foo(int)

所以你应该改变以下行

func (s S) foo(i interface{}) {
    fmt.Println(i)
}

或者更好的是:

type I interface {
    foo()
}

type S struct {
    I int
}

func (s S) foo() {
    fmt.Println(s.I)
}

func main() {
    var i I = S{2}
    i.foo()
}