有趣的 Go 语言现象

下面代码为什么输出false,但是不注释fmt.Println(&s1, &s2),又输出true

package main

import "fmt"

func main() {
var s1, s2 struct{}
//fmt.Println(&s1, &s2)
fmt.Println(&s1 == &s2)
}

这是一个很有趣的 Go 语言现象,让我来解释一下原因。

这与 Go 的编译器优化和空结构体(struct{})的特殊处理有关:

  1. 空结构体在 Go 中的大小是 0 字节,不占用任何内存空间。

  2. 在不打印地址的情况下,编译器会进行优化。由于空结构体不占用空间,编译器认为没有必要为它们分配不同的内存地址,所以会将它们都指向同一个特殊的地址(通常是 zerobase 地址)。

  3. 但是当你打印地址时(fmt.Println(&s1, &s2)),编译器会被迫为这些变量分配真实的、不同的栈地址,因为你明确要查看它们的地址。

所以:

  • 不打印地址时:两个指针指向相同的 zerobase 地址,所以 &s1 == &s2 输出 true
  • 打印地址时:编译器会为 s1 和 s2 分配不同的栈地址,所以 &s1 == &s2 输出 false

这就是为什么看似相同的代码,仅仅因为是否打印地址就会产生不同的结果。这是编译器优化导致的行为,而不是语言规范所要求的行为。

posted @   仁义礼智信的  阅读(0)  评论(0编辑  收藏  举报
相关博文:
阅读排行:
· 在鹅厂做java开发是什么体验
· 百万级群聊的设计实践
· WPF到Web的无缝过渡:英雄联盟客户端的OpenSilver迁移实战
· 永远不要相信用户的输入:从 SQL 注入攻防看输入验证的重要性
· 浏览器原生「磁吸」效果!Anchor Positioning 锚点定位神器解析
历史上的今天:
2023-02-13 优雅重启php-fpm
2020-02-13 Mac 与 Linux 之间传输文件
2020-02-13 PHP storm 破解
2019-02-13 php中慎用==
点击右上角即可分享
微信分享提示