当前位置：首页 > 文章列表 > Golang > Go问答 > Go 的“nil”类型的幕后发生了什么？

Go 的“nil”类型的幕后发生了什么？

来源：stackoverflow 2024-04-25 21:45:35 0浏览收藏

各位小伙伴们，大家好呀！看看今天我又给各位带来了什么文章？本文标题是《Go 的“nil”类型的幕后发生了什么？》，很明显是关于Golang的文章哈哈哈，其中内容主要会涉及到等等，如果能帮到你，觉得很不错的话，欢迎各位多多点评和分享！

问题内容

我最近在一个流行的编程论坛上读到，go 支持一些“无类型”值 - 特别是 nil，go 的空值/底部类型。我对 go 的经验相当有限，这个论坛上的一个说法让我措手不及——也就是说，在 go 中编写 x := nil 是非法的。

果然，带有该行的玩具go程序无法编译，并且编译器错误清楚地指出论坛中的评论检查出：不允许将变量声明和分配给nil。这看起来有点奇怪，但事情变得更奇怪。

通过从函数返回元组来返回部分错误是 go 中的常见习惯用法。像这样的事情：

func might_error() (int, error) {
    return 1, nil
}

func main() int {
    x, err := might_error()
    if err != nil {
        panic("err was not nil!")
    }

    return x
}

据我所知，这至少有两个不一致之处：

首先，尽管 nil 在纸面上是无类型的，但它采用 error 类型（通过实现 error 接口并结合 go 的鸭子类型），以符合 might_error 的返回类型签名。 p>
其次，nil 似乎被用于 main 中以前非法的声明和赋值，并且在（至少在类似语言中）might_error 可以被视为 constexpr 的情况下。 p>
- 还是很奇怪，用 x, err := 1, nil 替换 x, err := might_error() 使用非类型化 nil 的 use 仍然会出错！


我目前的思路是，在函数的类型签名需要 error 接口的情况下，将 error 接口注入到 nil 的特定实例中，这意味着它不再是一个无类型 nil 并成为  em>在该特定 nil 实例的生命周期中键入 nil ，但我完全不确定这是正确的，因为它本质上似乎是一个奇怪的设计选择，因为它不能明确概括。
是什么促使这些设计选择？为什么 nil 是非类型化的，而不是让它成为一个正确的 null 类型，除非它很方便，此时它成为实现 error 接口的类型化值（据我所知）？

正确答案

这完全不是问题，因为在实践中，如果将 nil 值存储在接口变量中，从而使该变量非 nil，则可能会造成混乱。这是 https://golang.org/doc/faq#nil_error，每个人都被这个问题困扰过几次，直到你了解到包含 nil 变量的接口值本身不再是 nil。这有点像 var s = []*int{nil, nil, nil}，其中 s 仅包含 nils，但本身不为 nil。
从技术上来说（从语言设计的角度来看）你可以引入几个“nils”，例如nil 用于指针，null 用于接口，noop 用于函数，vac 用于通道。 （有点夸张）。有了这个你就可以：
type t whatever
func (t *t) error() string // make *t implement error
var err error              // interface variable of type error
print(err == null)         // true, null is zero-value of interface types
print(err == nil)          // compiler error, cannot compare interface to nil (which is for pointers only
var t *t = nil             // a nil pointer to t
err = t                    // store nil *t in err
print(err == null)         // false err is no longer null, contains t
您甚至可以删除编译器错误：
err = t                    // store nil *t in err
print(err == null)         // false, err contains t
print(err == nil)          // "deep" comparison yielding true
err = &t{}                 // store non-nil *t in err
print(err == null)         // still false
print(err == nil)          // false, value inside err is no longer nil
您还可以为 nil 定义默认类型，例如*[]chan*func()string 这样您就可以像 f := 3.141 一样编写 x := nil ，其中无类型常量 3.141 的默认类型是 float64。但是 nil 的这种默认类型是任意的，根本没有帮助（如我的示例所示；*[]chan*func()string 并不常见）。
如果我没记错的话，golang-nuts 邮件列表上有一个关于这个主题的更长的讨论，其中讨论了这个设计的原理。它可以归结为这样的内容：“nil 具有多种含义并且不是常量的实际问题很小（基本上只是包含 nil 的错误类型的变体而不是 nil）。这个小问题的‘解决方案’会使语言变得相当复杂（例如，通过为接口类型的零值引入 null 文字）。教导人们包含 nil 的接口值本身不再是 nil 可能比为接口类型引入类型化 nils 或 null 更简单。 
在 10 多年的 go 编程生涯中，我实际上从未考虑过 nil 文字是类型化的、非类型化的、常量还是其他什么。您可能提到的这篇文章正在构建纯粹的学术问题，但实际上在实践中没有问题，这是出于一个微小的设计决策，即只有一个 nil 文字来表示指针、切片、映射、通道和函数类型的所有零值。 p>
附录

这是对所发生情况的完全错误的描述。
如果你写
func f() (r int) { return 7 }
然后 7 被分配给 int 类型的 r 并且 f 返回。这是可行的，因为 7 可以分配给 int。
在
func might_error() (int, error) { return 1, nil }
同样的情况也会发生，类型 error（接口类型）的第二个返回变量被设置为 nil，因为 nil 可以分配给任何接口类型，就像你可以将 nil 分配给任何指针类型或任何函数类型一样。
这与“结合 go 的鸭子类型实现 error 接口”没有任何关系。绝对不。 nil 根本不实现错误接口。任何接口值都可以为 nil，就像任何函数值、切片值或通道值一样。将 chan 设置为 nil 基本上会“清除”通道变量，并不意味着 nil 以某种方式“实现通道接口”。您似乎将几种类型的零值以及如何通过分配 nil 与实现接口来设置它们混为一谈。所有这些基本上与是否输入 nil 无关。源代码操作系统中的 nil 文字已重载，通常可以被认为仅表示类型的零值。
今天关于《Go 的“nil”类型的幕后发生了什么？》的内容就介绍到这里了，是不是学起来一目了然！想要了解更多关于的内容请关注golang学习网公众号！