任何/接口{}作为约束与参数类型之间的区别？

Question

由于仿制药已经在Go 1.18中发布了，因此我已经开始学习它们。我通常会得到这个概念，因为我过去有一些Java经验。但是我没有得到一些实施细节。

例如：当更合适地使用任何而不是接口{}时？这是一个示例：

func printInterface(foo interface{}) {
    fmt.Printf("%v\n", foo)
}

func printAny[T any](foo T) {
    fmt.Printf("%v\n", foo)
}

func (suite *TestSuite) TestString() {
    printInterface("foo")
    printAny("foo")
}

两个实现都起作用。但是，如果我尝试用任何 version打印nil，我将获得一个编译时错误：

不能推断t。

https://go.dev/play/pplay/p/0gmu4rhhaop

我赢了如果我尝试使用nil使用接口{} -version打印nil，请获取此错误。

那么任何的用例是什么？与简单地使用接口{}相比，它带来了何时以及哪些好处？

我要求提供一个特定的示例，其中一种实现比另一个实现更合适和/或可以评估的特定受益。

Answer 1

任何是别名 for interface {}}。 spec：接口类型：

为方便起见，预定类型任何都是空接口的别名。

由于它是一个别名，因此您使用哪一个都没关系。他们是一个又一个。它们是可以互换的。您可以用另一个替换一个，代码将表示相同。

任何较短，更清晰，但仅从GO 1.18起。

由于它们是可互换的，因此这也有效：

func printInterface(foo any) {
    fmt.Printf("%v\n", foo)
}

printany（）不起作用的原因是它是具有类型参数的通用函数。要使用它，它必须为实例化（必须用已知类型分配其类型参数）。试图用nil调用它不会带来任何类型信息，因此不能发生实例化，类型推断将无法使用。

如果您使用nil值值，则可以使用类型信息，或者明确指定type param（在 go playground ）：

printAny((*int)(nil))
printAny[*int](nil)
// Or
var r io.Reader
printAny(r)

正如所说，任何都可以与interface> interface {}互换，因此您'如果交换这两次出现，则LL具有相同的代码（在

func printInterface(foo any) {
    fmt.Printf("%v\n", foo)
}

func printAny[T interface{}](foo T) {
    fmt.Printf("%v\n", foo)
}

Answer 2

您的问题与的使用无关。如您所见，从这个游乐场，如果您使用explicit类型实例化函数，则代码> PRINTANY [ANY]（NIL）它将起作用。

如果您具有具有通用类型的功能，则需要指定类型。但是，GO编译器非常聪明，可以为您推断某些类型。但是nil仅是无法推断的。

Answer 3

除了其他任何和接口{}是类型别名 - 因此，在用法中等效 - 任何作为类型都有实际差异参数和 如您的示例中的任何作为常规函数参数。

区别在于，在printany [t any]（foo t） foo的类型不是任何/接口>接口{} < /code>，但它是t。 t实例化是一种具体类型，它可能是接口本身也可能不是接口。然后，您只能将参数传递给可以分配给该混凝土类型的实例化printany。

通过多个参数，这如何影响您的代码最为明显。如果我们稍微更改函数签名：

func printInterface(foo, bar any) {
    fmt.Println(foo, bar)
}

func printAny[T any](foo, bar T) {
    fmt.Println(foo, bar)
}

实例化后：

• 函数printany接受相同类型的任何两个参数 - 以实例化t
• printInterface，等效于printinterface（foo，bar Interface {}）仍然可以接受两个不同类型的参数，因为两者都会是 个体可分配到任何/接口{}。

printInterface(12.5, 0.1)    // ok
printInterface(12.5, "blah") // ok, int and string individually assignable to any

printAny(10, 20)             // ok, T inferred to int, 20 assignable to int
printAny(10, "k")            // compiler error, T inferred to int, "k" not assignable to int
printAny[any](10, "k")       // ok, T explicitly instantiated to any, int and string assignable to any

printAny(nil, nil)           // compiler error, no way to infer T
printAny[any](nil, nil)      // ok, T explicitly instantiated to any, nil assignable to any

一个游乐场： https://go.dev/play/pplay/pdjp986cj96

注释：不能使用nil在没有显式类型参数的情况下使用，仅仅是因为nil单独携带类型信息，因此编译器无法推断t。但是，nil通常可以分配给接口类型的变量。