当前位置： > > > > 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 仍然会出错！</em></li> </ul> </li> </ul> <p>我目前的思路是，在函数的类型签名需要error接口的情况下，将error接口注入到nil的特定实例中，这意味着它不再是一个无类型nil并成为 em>在该特定nil实例的生命周期中键入nil，但我完全不确定这是正确的，因为它本质上似乎是一个奇怪的设计选择，因为它不能明确概括。是什么促使这些设计选择？为什么
nil是非类型化的，而不是让它成为一个正确的 null 类型，除非它很方便，此时它成为实现error接口的类型化值（据我所知）？正确答案
这完全不是问题，因为在实践中，如果将 nil 值存储在接口变量中，从而使该变量非 nil，则可能会造成混乱。这是 ，每个人都被这个问题困扰过几次，直到你了解到包含 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”类型的幕后发生了什么？》的内容就介绍到这里了，是不是学起来一目了然！想要了解更多关于的内容请关注公众号！
- 还是很奇怪，用
