Go 接口(interface)在方法之间强制执行相同的参数类型(但可以是任何类型)

Question

我敢肯定，标题令人困惑，但很难描述我的意思。

我想创建一个有两种方法的 Go 接口(interface)；第一个返回一个值，第二个接受一个值。我想确保方法 1 返回与方法 2 接受的类型相同的类型，而不指定类型是什么(除了它是一个结构)。例如:

type MyInterface interface {
    Method1() MyType
    Method2(MyType) error
}

在哪里 MyType可以是任何类型(结构)，只要在方法 1 和方法 2 中都相同。

有没有办法在 Go 中做到这一点？

编辑:

根据@iLoveReflection 的回答，我尝试了以下方法:

package main

type MyInterface interface {
    GetType() interface{}

    UseType(input interface{})
}

type MyImplementation struct{}

type MyType struct {
}

func (i MyImplementation) GetType() MyType {
    return MyType{}
}
func (i MyImplementation) UseType(input MyType) {
    return
}

func test(input MyInterface) {
    return
}

func assertArgAndResult() {
    var v MyImplementation
    v.UseType(v.GetType())
}

func main() {
    test(MyImplementation{})
}

所以基本上，我指定了一个接口(interface)( MyInterface )，并且我想确保该接口(interface)的给定实现( MyImplementation ，将由我的包的用户创建)满足原始中所述的要求邮政。
assertArgAndResult()正在按预期工作，并确保 MyImplementation符合要求。但是，我在 main() 中遇到编译错误。功能:

cannot use MyImplementation literal (type MyImplementation) as type MyInterface in argument to test:
    MyImplementation does not implement MyInterface (wrong type for GetType method)
        have GetType() MyType
        want GetType() interface {}

Answer 1

将以下函数添加到包中，以确保在编译时输入和输出类型匹配:

func assertArgAndResult() {
    var v MyInterface
    v.Method2(v.Method1())
}

只要不调用该函数，该函数就不会包含在可执行文件中。

没有编译时检查可以确保 MyType是问题中指定的结构类型。

reflect 包可用于完全检查类型类型。

// checkItf returns true of the interface value pointed to by
// pi has Method1 with some return type T and Method2 with
// argument type T.
func checkItf(pi interface{}) bool {
    t := reflect.TypeOf(pi)
    if t.Kind() != reflect.Ptr {
        return false // or handle as error
    }
    t = t.Elem()
    if t.Kind() != reflect.Interface {
        return false // or handle as error
    }
    m1, ok := t.MethodByName("Method1")

    // Method1 should have no outputs and one input.
    if !ok || m1.Type.NumIn() != 0 || m1.Type.NumOut() != 1 {
        return false
    }

    // Method2 should have one input and one output.
    m2, ok := t.MethodByName("Method2")
    if !ok || m2.Type.NumIn() != 1 || m2.Type.NumOut() != 1 {
        return false
    }

    e := reflect.TypeOf((*error)(nil)).Elem()
    s := m1.Type.Out(0)

    // The type must be a struct and
    // the input type of Method2 must be the same as the output of Method1 and
    // Method2 must return error.
    return s.Kind() == reflect.Struct &&
        m2.Type.In(0) == s &&
        m2.Type.Out(0) == e
}

像这样称呼它:

func init() {
   if !checkItf((*MyInterface)(nil)) {
      panic("mismatched argument and return time son MyInterface")
   }
}