Go 分配空切片而不引用其类型

转到1.18

您可以使用一个泛型函数来捕获切片的基类型并返回长度为零的切片:

func echo[T any](v []T) []T {
    return make([]T, 0)
}

func main() {
    n := foo.GetFooBar()
    if n == nil {
        n = echo(n) // no need to refer to apiv17 here
    }
    bytes, _ := json.Marshal(n)
    fmt.Println(string(bytes)) // prints []
}

在echo中需要正则参数v []T的目的是允许类型推断将切片[]apiv17.SomeObject与参数[]T统一起来，并推断T作为基类型apiv17.SomeObject，这样您就可以将其称为echo(n)，而不需要显式类型参数.

包apiv17在编译时当然是已知的，因为它是通过myPackage传递导入的，所以您可以利用这个和类型推断来避免为apiv17添加显式import语句.

这是多文件操场上的情况:https://go.dev/play/p/4ycTkaGLFpo

该类型在bar包中声明，但main只导入play.ground/foo，只使用foo.GetFooBar.

达到1.17及以下

反射只需将echo函数从上面改为取interface{}参数(Go 1.17中没有any，记得吗？)用reflect.MakeSlice做契约:

func set(v interface{}) {
    rv := reflect.ValueOf(v)
    if rv.Kind() != reflect.Ptr {
        panic("not a ptr")
    }
    reflect.Indirect(rv).Set(reflect.MakeSlice(rv.Type().Elem(), 0, 0))
}

然后将指针传递到切片，以便可以使用反射设置其值.

func main() {
    n := foo.GetFooBar()
    if n == nil {
        set(&n)
    }
    fmt.Printf("type: %T, val: %v, is nil: %t\n", n, n, n == nil)
    // type: []bar.FooBar, val: [], is nil: false
    
    bytes, _ := json.Marshal(n)
    fmt.Println(string(bytes)) // prints [] again
}

围棋1.17操场:https://go.dev/play/p/4jMkr22LMF7?v=goprev