any/interface{} 作为约束与参数类型之间的区别？

Question

由于最近在 Go 1.18 中发布了泛型，我已经开始学习它们了。我通常能理解这个概念，因为我过去有一些 Java 经验。但我没有得到一些实施细节。例如：什么时候更适合使用any而不是interface{}？这是一个例子：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")}两种实现都有效。但是，如果我尝试nil使用any-version 进行打印，则会出现编译时错误：无法推断 T。https://go.dev/play/p/0gmU4rhhaOP如果我尝试nil使用interface{}-version 打印，我将不会收到此错误。那么用例是any什么？与简单使用相比，它何时以及带来哪些好处interface{}？我要求提供一个具体示例，其中一种实现客观上比另一种更合适和/或存在可以评估的特定好处。

Answer 1

除了any和是类型别名——因此，在用法上是等价的——在as type parameter和as regular function argumentinterface{}之间存在实际差异，如您的示例所示。anyany

不同之处在于，在printAny[T any](foo T)类型中foo不是any/ interface{}，而是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{})仍然可以接受两个不同类型的参数，因为它们都可以单独分配给any/ 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/p/pDjP986cj96

注意：没有显式类型参数就不能调用泛型版本，nil因为nilalone 不携带类型信息，所以编译器无法推断T。但是nil通常可以分配给接口类型的变量。

Answer 2

any是的别名。规范：接口类型：interface{}

为方便起见，预先声明的类型any是空接口的别名。

由于它是别名，因此使用哪一个都无关紧要。他们是一样的。它们可以互换。您可以将一个替换为另一个，代码的含义相同。

any更短更清晰，但仅适用于 Go 1.18。

由于它们是可互换的，这也适用：

func printInterface(foo any) {

    fmt.Printf("%v\n", foo)

}

printAny()不起作用的原因是因为它是一个带有类型参数的通用函数。要使用它，它必须被实例化（它的类型参数必须被分配一个已知的类型）。尝试调用它时nil不携带任何类型信息，因此无法进行实例化，类型推断也不会起作用。

如果你用一个带有类型信息的值调用它，它就会工作，或者如果你明确指定类型参数（在Go Playgroundnil上试试）：

printAny((*int)(nil))

printAny[*int](nil)

// Or

var r io.Reader

printAny(r)

如前所述，any可以与 互换interface{}，因此如果您交换这两个事件，您将拥有相同的代码（在Go Playground上尝试这个）：

func printInterface(foo any) {

    fmt.Printf("%v\n", foo)

}

func printAny[T interface{}](foo T) {

    fmt.Printf("%v\n", foo)

}