脚本之家 服务器常用软件
快捷导航
您的位置：首页 → 脚本专栏 → Golang → golang内存对齐

golang内存对齐详解

 更新时间：2023年10月16日 08:51:58   作者：写代码的lorre  
在golang中,每一种数据类型都有其对应的数据类型大小,也就是占用了多少内存空间,我们可以通过unsafe.Sizeof函数,来确定一个变量占用的内存字节数,本文将详细给大家介绍golang内存对齐,需要的朋友可以参考下

背景

在golang中，每一种数据类型都有其对应的数据类型大小，也就是占用了多少内存空间

我们可以通过unsafe.Sizeof函数，来确定一个变量占用的内存字节数

demo：

package main
import (
   "fmt"
   "testing"
   "unsafe"
)
func TestTypeSize(t *testing.T) {
   var a int8 = 4
   s1 := "hello world"
   s2 := "hahaha"
   fmt.Println(unsafe.Sizeof(a))  // 1字节
   fmt.Println(unsafe.Sizeof(s1)) // 16字节
   fmt.Println(unsafe.Sizeof(s2)) // 16字节
}

注意：

  • unsafe.Sizeof返回的是一个变量占用的内存字节数，而不是变量所表示内容占用的内存字节数。所以在上述demo中，尽管s1和s2的字符串内容不一样，但s1和s2的变量类型都是string，所以s1和s2占用的内存字节数相同

结构体大小

我们还可以通过unsafe.Sizeof来获取结构体占用的内存字节数

demo1：

package main
import (
   "fmt"
   "testing"
   "unsafe"
)
type demo1 struct {
   a int8
   b int16
}
func TestStructSize1(t *testing.T) {
   d1 := demo1{}
   fmt.Println(unsafe.Sizeof(d1.a)) // 1字节
   fmt.Println(unsafe.Sizeof(d1.b)) // 2字节
   fmt.Println(unsafe.Sizeof(d1))   // 4字节
}

问题1：

  • 结构体占用的内存字节数不等于结构体内各个字段占用的内存字节数之和。结构体内各个字段占用的内存字节数之和为：3字节 = 1字节(a占用字节数) + 2字节(b占用字节数)，结构体占用字节数为4字节

demo2：

package main
import (
   "fmt"
   "testing"
   "unsafe"
)
type demo2 struct {
   a int8
   b int16
   c int32
   d int64
}
type demo3 struct {
   a int8
   d int64
   b int16
   c int32
}
func TestStructSize2(t *testing.T) {
   d2 := demo2{}
   fmt.Println(unsafe.Sizeof(d2.a)) // 1字节
   fmt.Println(unsafe.Sizeof(d2.b)) // 2字节
   fmt.Println(unsafe.Sizeof(d2.c)) // 4字节
   fmt.Println(unsafe.Sizeof(d2.d)) // 8字节
   fmt.Println(unsafe.Sizeof(d2))   // 16字节
   d3 := demo3{}
   fmt.Println(unsafe.Sizeof(d3.a)) // 1字节
   fmt.Println(unsafe.Sizeof(d3.b)) // 2字节
   fmt.Println(unsafe.Sizeof(d3.c)) // 4字节
   fmt.Println(unsafe.Sizeof(d3.d)) // 8字节
   fmt.Println(unsafe.Sizeof(d3))   // 24字节
}

问题2：

  • 当两个结构体内的字段类型一样时，字段顺序不同时，结构体占用的字节数也可能不同

出现上面两个问题的根本原因，就是本文要讨论的内容：内存对齐

什么是内存对齐

现代计算机中内存空间都是按照byte划分的，从理论上讲似乎对任何类型的变量的访问可以从任何地址开始，但实际情况是在访问特定变量的时候经常在特定的内存地址访问，这就需要各类型数据按照一定的规则在空间上排列，而不是顺序的一个接一个的排放，这就是对齐

简单来说，内存对齐就是把各种数据类型按照一定的规则，在内存空间进行排列，而不是直接按照顺序进行排列

为什么需要内存对齐

那么为什么需要进行内存对齐呢，主要原因有以下几点：

  • 性能原因：CPU为了加速对内存的访问速度，并不是一个字节一个字节的去访问内存，而是一次访问多个字节，一般称之为字长。32位CUP的字长一般是4字节，64位CPU的字长一般是8字节。如果没有进行内存对齐，那么CPU在访问一个变量时，可能需要进行多次读取，然后进行拼接，才能得到最终的变量内容。进行内存对齐后，可以减少CPU访问内存次数，提升性能

  • 更好的保证访问的原子性

  • 平台原因(移植原因)：不是所有的硬件平台都能访问任意地址上的任意数据的；某些硬件平台只能在某些地址处取某些特定类型的数据，否则抛出硬件异常

如何进行内存对齐

常见数据类型的内存对齐

编译器按照每种数据类型的对齐边界来进行内存对齐

首先需要确认每种数据类型的对齐边界，对齐边界 = min(类型大小，平台字长)

常见数据类型在常见平台上的对齐边界：

类型类型大小64位平台字长64位平台对齐边界32位平台字长32位平台对齐边界
int81byte8byte1byte4byte1byte
int162byte8byte2byte4byte2byte
int324byte8byte4byte4byte4byte
int648byte8byte8byte4byte4byte
string16byte8byte8byte4byte4byte

为什么对齐边界需要取类型大小和平台字长的最小值呢？

答案是为了节省内存，避免内存浪费，提升读取的性能

  • 当类型大小 < 平台字长时，int8类型在64位平台进行内存对齐两种情况如图：

  • 当类型大小 > 平台字长时，int64类型在32位平台进行内存对齐两种情况如图：

结构体的内存对齐

结构体的对齐边界为：结构体内成员类型最大的对齐边界

结构体进行内存对齐的两个要求：

  • 起始地址是结构体对齐边界的倍数
  • 结构体整体占用字节数必须是结构体对齐边界的倍数。为了保证结构体数组的内存对齐

下面我们具体分析下结构体的内存对齐

type demo4 struct {
   a int8
   b int64
   c int32
   d int16
}

首先确定结构体demo4的对齐边界为：成员类型最大的对齐边界 = 8byte

结构体内存对齐如图：

结构体内存对齐的特殊情况

如果结构体的字段包含空结构体类型时

  • 空结构体类型字段不是最后一个字段时，不会占用内存
  • 空结构体类型字段是最后一个字段时，需要进行内存对齐，占用的内存大小和前一个字段的大小一致

demo：

package main
import (
   "fmt"
   "testing"
   "unsafe"
)
type demo5 struct {
   s struct{}
   a int8
}
type demo6 struct {
   a int8
   s struct{}
}
func TestStructSize3(t *testing.T) {
   d5 := demo5{}
   fmt.Println(unsafe.Sizeof(d5.a)) // 1字节
   fmt.Println(unsafe.Sizeof(d5.s)) // 0字节
   fmt.Println(unsafe.Sizeof(d5))   // 1字节
   d6 := demo6{}
   fmt.Println(unsafe.Sizeof(d6.a)) // 1字节
   fmt.Println(unsafe.Sizeof(d6.s)) // 0字节
   fmt.Println(unsafe.Sizeof(d6))   // 2字节
}

空结构体类型字段是最后一个字段时，需要占用内存，主要还是为了解决内存泄漏问题

内存泄漏问题分析：

以上就是golang内存对齐详解的详细内容，更多关于golang内存对齐的资料请关注脚本之家其它相关文章！

您可能感兴趣的文章:

相关文章

  • 一个简单的Golang实现的HTTP Proxy方法

    一个简单的Golang实现的HTTP Proxy方法

    今天小编就为大家分享一篇一个简单的Golang实现的HTTP Proxy方法，具有很好的参考价值，希望对大家有所帮助。一起跟随小编过来看看吧
    2019-08-08
  • 通过Golang实现linux命令ls命令(命令行工具构建)

    通过Golang实现linux命令ls命令(命令行工具构建)

    这篇文章主要为大家详细介绍了如何通过Golang实现一个linux命令ls命令(命令行工具构建)，文中的示例代码讲解详细，具有一定的学习价值，感兴趣的可以了解一下
    2023-01-01
  • Go语言流程控制详情

    Go语言流程控制详情

    这篇文章主要介绍了Go语言流程控制详情，流程控制包含分三大类：条件判断，循环控制和无条件跳转。下面关于更多相关内容需要的小伙伴可以参考一下
    2022-03-03
  • 浅析golang如何处理json中的null

    浅析golang如何处理json中的null

    json 是一种常用的数据格式,在 go 使用 json 序列化和反序列化时比较方便的,但在使用过程中,会遇到一些问题,比如 null,所以下面我们就来看看golang如何处理json中的null吧
    2023-09-09
  • 一文详解Golang中的切片数据类型

    一文详解Golang中的切片数据类型

    这篇文章主要介绍了一文详解Golang中的切片数据类型，切片是一个种特殊的数组。是对数组的一个连续片段的引用，所以切片是一个引用类型
    2022-09-09
  • Go语言构建流数据pipeline的示例详解

    Go语言构建流数据pipeline的示例详解

    Go的并发原语可以轻松构建流数据管道,从而高效利用 I/O 和多个 CPU, 本文展示了此类pipelines的示例,强调了操作失败时出现的细微之处,并介绍了干净地处理失败的技术,希望对大家有所帮助
    2024-02-02
  • golang gin 框架 异步同步 goroutine 并发操作

    golang gin 框架 异步同步 goroutine 并发操作

    这篇文章主要介绍了golang gin 框架 异步同步 goroutine 并发操作，具有很好的参考价值，希望对大家有所帮助。一起跟随小编过来看看吧
    2020-12-12
  • 使用goland调试远程代码的操作步骤

    使用goland调试远程代码的操作步骤

    大家都知道如何在goland调试远程代码吗？今天小编给大家分享一篇教程帮助大家学习goland调试远程代码的操作步骤，感兴趣的朋友跟随小编一起看看吧
    2021-06-06
  • 解决Golang中ResponseWriter的一个坑

    解决Golang中ResponseWriter的一个坑

    这篇文章主要介绍了解决Golang中ResponseWriter的一个坑，具有很好的参考价值，希望对大家有所帮助。一起跟随小编过来看看吧
    2021-04-04
  • 一文了解Go语言中编码规范的使用

    一文了解Go语言中编码规范的使用

    这篇文章主要介绍了一文了解Go语言中编码规范的使用，文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧
    2020-05-05

最新评论