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")
}

两种实现都有效。但是，如果我尝试使用 any-version 打印 nil，我会得到一个编译时错误：

cannot infer T.

https://go.dev/play/p/0gmU4rhhaOP

如果我尝试使用 interface{}-版本打印 nil，我将不会收到此错误。

那么 any 的用例是什么？与简单地使用 interface{}?

相比，它何时以及带来哪些好处

我要求提供一个具体示例，其中一个实现客观上比另一个 and/or 更合适具体可以评价的好处

Answer 1

any 是一个 alias for interface{}. Spec: Interface types:

For convenience, the predeclared type any is an alias for the empty interface.

既然是别名，用哪个都无所谓。他们是一样的。它们可以互换。您可以将一个替换为另一个，代码将表示相同。

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

因为它们可以互换，所以这也有效：

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

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

如果您使用携带类型信息的 nil 值调用它，它会起作用，或者如果您明确指定类型参数（在 Go Playground 上尝试）：

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)
}

Answer 2

您的问题与 any/interface{} 的用法无关——它们的区别纯粹是装饰性的——但它是类型推断。正如您从 this playground 中看到的那样，如果您使用显式类型实例化您的函数，例如 printAny[any](nil) 它将起作用。

如果您有泛型函数，则需要指定类型。然而 go 编译器非常聪明，可以为你推断出一些类型。但是单凭nil是无法推断的。

Answer 3

除了 any 和 interface{} 是类型别名——因此，在用法上是等价的——在 any 作为类型参数 和 any 作为常规函数参数 ，如您的示例所示。

区别在于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
printAny(10, 20)             // ok, T inferred to int, 20 assignable to int
printAny(10, "k")            // not ok, 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)           // not ok, no way to infer T
printAny[any](nil, nil)      // ok, T explicitly instantiated to any, nil assignable to any

注意：正如 icza 的回答中所解释的，如果没有显式类型参数，则不能使用 nil 调用泛型版本，因为 nil 本身不携带类型信息，因此编译器不能推断 T。但是nil可以赋值给接口类型的变量。

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

Difference between any/interface{} as constraint vs. type of argument?

generics

go

any