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如果我尝试使用-version进行打印，我不会收到此错误interface{}。

那么它的用例是什么any？与简单地使用相比，它何时会带来哪些好处interface{}？

我要求提供一个具体的示例，其中一种实现客观上比另一种实现更合适和/或存在可以评估的特定好处。

Answer 1

除了any作为类型别名 \xe2\x80\x94 因此，在使用 \xe2\x80\x94 时等效，作为类型参数和作为常规函数参数interface{}之间存在实际差异anyany，如您的示例中所示。

\n

不同之处在于，printAny[T any](foo T)的类型foo不是any/ interface{}，而是 's T。实例化后T是一个具体类型，它本身可能是也可能不是接口。然后您只能将参数传递给实例化的printAny可以分配给该具体类型的实例化对象。

\n

这对您的代码的影响在多个参数中最为明显。如果我们稍微改变一下函数签名：

\n

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

\n

实例化后：

\n

\n
• 该函数printAny接受任意两个相同类型的参数参数\xe2\x80\x94 ，以用于实例化的参数为准T
\n
• printInterface，这相当于printInterface(foo, bar interface{})仍然可以接受两个不同类型的参数，因为两者都可以单独分配给any/ interface{}。
\n

\n

printInterface(12.5, 0.1)    // ok\nprintInterface(12.5, "blah") // ok, int and string individually assignable to any\n\nprintAny(10, 20)             // ok, T inferred to int, 20 assignable to int\nprintAny(10, "k")            // compiler error, T inferred to int, "k" not assignable to int\nprintAny[any](10, "k")       // ok, T explicitly instantiated to any, int and string assignable to any\n\nprintAny(nil, nil)           // compiler error, no way to infer T\nprintAny[any](nil, nil)      // ok, T explicitly instantiated to any, nil assignable to any\n

\n

游乐场：https://go.dev/play/p/pDjP986cj96

\n

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

\n

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可以与 互换，因此如果交换两个出现的位置，您将获得相同的代码（在Go Playgroundinterface{}上尝试这个）：

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

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

Answer 3

any您的问题与/ \xe2\x80\x94的使用无关interface{}，其区别纯粹是化妆品 \xe2\x80\x94 ，但它是类型推断。正如您从这个游乐场所看到的，如果您使用显式类型实例化您的函数，就像printAny[any](nil)它会起作用一样。

\n

如果您有一个具有泛型类型的函数，则需要指定类型。然而，go 编译器非常智能，可以为你推断一些类型。但nil仅凭这一点是无法推断的。

\n