Go自定义List类型无法实现自定义Functor接口问题咨询

为深入学习Go语言、泛型与函数式编程，我实现了一个List类型，以下为list.go的代码片段：

package funcprog

type Function[T any] func(T) T

type List[T any] []T

func (l List[T]) Map(f Function[T]) List[T] {
    var ys List[T]
    for _, x := range l {
        y := f(x)
        ys = append(ys, y)
    }
    return ys
}

上述代码初始运行效果正常，对应main.go代码如下：

package main

import (
    "fmt"

    "funcprog"
)

func main() {
    numbers := funcprog.List[int]{0, 1, 2, 3}
    twice := func(x int) int { return x * 2 }
    fmt.Println(numbers.Map(twice))
}

运行命令与输出：

$ go run main.go
[0 2 4 6]

由于List本质是Functor，因此编写了如下Functor接口，对应functor.go代码：

package funcprog

type Functor[T any] interface {
    Map(Function[T]) Functor[T]
}

尝试将List作为Functor使用时，修改后的main.go代码如下：

import (
    "fmt"

    "funcprog"
)

func demo[T int](f funcprog.Functor[T]) {
    fmt.Println(f.Map(func(x T) T { return x * 2 }))
}

func main() {
    numbers := funcprog.List[int]{0, 1, 2, 3}
    demo[int](numbers)
}

编译时报错信息：

funcprog.List[int] does not implement funcprog.Functor[int] (wrong type for Map method)
    have Map(f funcprog.Function[int]) funcprog.List[int]
    want Map(funcprog.Function[int]) funcprog.Functor[int]

核心疑问：既然List[T]理应满足Functor[T]的定义，为何List[int]无法被识别为合法的Functor[int]实现？

Go接口实现的判定规则是方法签名必须与接口定义完全一致，返回值类型不支持协变。
当前List[T]的Map方法返回值类型是List[T]，但Functor[T]接口要求Map方法返回Functor[T]类型，二者类型字面量不匹配，编译器直接判定List[T]未实现Functor[T]接口。
哪怕从逻辑上List[T]完全符合Functor的行为约定，Go的类型系统也不会自动做这种类型适配——这个规则和是否使用泛型无关，非泛型场景下如果方法返回值类型和接口要求不一致，会抛出完全同类的错误。

• 方案1：修改List.Map方法的返回值类型为Functor[T]
  改完后可直接满足接口实现要求，但每次调用Map拿到返回值后，都需要做类型断言才能转回List[T]做后续操作，适合绝大多数场景只需要面向接口编程、很少操作具体类型的情况。

  func (l List[T]) Map(f Function[T]) Functor[T] {
      var ys List[T]
      for _, x := range l {
          ys = append(ys, f(x))
      }
      return ys
  }
  

• 方案2：给Functor接口增加自身类型参数（推荐）
  将具体实现类型作为泛型参数传入接口定义，不需要额外做类型断言，同时兼顾接口抽象能力和具体类型的使用便利性：

  // 调整functor.go中的接口定义
  type Functor[T any, Self any] interface {
      Map(Function[T]) Self
  }
  
  // List[T]原有Map方法不需要做任何修改，返回值List[T]天然匹配Self参数
  // 调用时指定第二个类型参数为具体实现类型即可
  func demo[T int](f funcprog.Functor[T, funcprog.List[T]]) {
      fmt.Println(f.Map(func(x T) T { return x * 2 }))
  }
  

内容的提问来源于stack exchange，提问作者Patrick Bucher