Go 1.19中为何函数内可自动转子类到接口，变量声明时不行？

我定义了泛型接口Collections[T]，LinkedList[T]结构体实现了该接口，同时定义了接收Collections[T]参数的IsEmpty函数。当构造函数NewLinkedList[T]返回Collections[T]类型时，可直接将返回值赋值给变量并传入IsEmpty；但当构造函数返回*LinkedList[T]类型时，必须显式声明变量类型为Collections[T]才能传入IsEmpty。请问在Go 1.19中，为何函数参数能自动将子类转换为接口，而变量声明时却无法自动转换？

相关代码示例 #

泛型接口定义 #

type Collections[T any] interface {
    Add(element T) bool
    Get(index uint64) T
    Length() uint64
}

实现接口的结构体 #

type LinkedList[T any] struct {
    size uint64
    head *linkedListNode[T]
    tail *linkedListNode[T]
}

接收接口参数的包函数 #

func IsEmpty[T any](collections Collections[T]) bool {
    if collections == nil {
        return true
    }
    return collections.Length() <= 0
}

返回接口类型的构造函数及使用 #

// 返回接口类型的构造函数
func NewLinkedList[T any]() Collections[T] {
    linkList := &LinkedList[T]{size: 0}
    headNode := &linkedListNode[T]{}
    tailNode := &linkedListNode[T]{}
    headNode.next = tailNode
    tailNode.pre = headNode
    linkList.head = headNode
    linkList.tail = tailNode
    return linkList
}

// 使用示例
func TestLinkedListCreate(t *testing.T) {
    var obj = datastruct.NewLinkedList[string]()
    empty := datastruct.IsEmpty(obj)
    println(empty)
}

返回结构体指针类型的构造函数及使用 #

// 返回结构体指针类型的构造函数
func NewLinkedList[T any]() *LinkedList[T] {
    linkList := &LinkedList[T]{size: 0}
    headNode := &linkedListNode[T]{}
    tailNode := &linkedListNode[T]{}
    headNode.next = tailNode
    tailNode.pre = headNode
    linkList.head = headNode
    linkList.tail = tailNode
    return linkList
}

// 对应的使用示例
func TestLinkedListCreate(t *testing.T) {
    var obj datastruct.Collections[string] = datastruct.NewLinkedList[string]()
    empty := datastruct.IsEmpty(obj)
    println(empty)
}

问题解答 #

这本质是Go的类型推断规则和隐式接口转换时机决定的：

• 函数参数的隐式转换：
  调用IsEmpty时传入*LinkedList[T]类型的值，Go会自动校验该类型是否实现了Collections[T]接口。由于Go的接口是隐式实现的，只要类型方法集匹配接口要求，编译器会在函数调用的参数传递阶段，自动把*LinkedList[T]包装成Collections[T]接口值，无需手动转换。这是Go为简化函数调用设计的语法糖，属于调用时的隐式转换。

• 变量声明的类型推断限制：
  用var obj = NewLinkedList[string]()这类类型推断语法时，Go会直接将obj的类型推断为构造函数的返回类型*LinkedList[string]，不会主动将具体类型提升为接口类型。因为Go的类型推断是基于右侧表达式的具体类型，不会默认把具体类型转为接口——除非你显式指定变量类型为接口，否则编译器只会用最具体的类型来推断变量类型。

泛型场景下这个规则和非泛型完全一致，只是接口与结构体都带了类型参数而已。

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