sizeof 关键字实现原理

2024-09-04 12:04
文章标签 实现 原理 关键字 sizeof

本文主要是介绍sizeof 关键字实现原理,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

sizeof 是 C 语言中的一个关键字,它用于计算某个类型或变量所占用的内存大小。sizeof 关键字在编译时由编译器处理,它的实现与具体的编译器和平台有关。

1.sizeof工作原理

在高级层面上,sizeof工作原理如下:

  1. 编译时计算sizeof 是在编译时计算的,而不是在运行时执行。编译器通过分析变量或类型来确定其在目标平台上所占用的内存大小。由于 sizeof 是在编译时计算的,因此它通常不会引入任何运行时开销。

  2. 类型信息:编译器根据变量的类型信息来确定其大小。对于基本类型(如 intfloatchar 等),编译器直接查阅这些类型在目标平台上的固定大小。对于复杂类型(如结构体、联合体等),编译器会根据类型中各个成员的大小和内存对齐要求来计算总的大小。

  3. 内存对齐:对于结构体或联合体,sizeof 会考虑内存对齐的要求,这可能导致 sizeof 计算出的大小比所有成员大小之和更大,因为编译器可能在某些成员之间插入填充字节以满足对齐要求。

示例:

#include <stdio.h>struct Example {char a;int b;double c;
};int main() {printf("Size of int: %zu\n", sizeof(int));printf("Size of struct Example: %zu\n", sizeof(struct Example));return 0;
}

运行结果:

Size of int: 4
Size of struct Example: 16

这个结果反映了 C 语言中的内存对齐(Memory Alignment)原则。让我们来分析一下为什么 struct Example 的大小是 16 字节,而不是成员大小的直接和(即 1 + 4 + 8 = 13 字节)。

当你看到输出结果显示结构体 Example 的大小为 16 字节时,这涉及到了两个关键因素:

成员的大小内存对齐

  1. 成员大小:

    • char a; 占用 1 字节
    • int b; 通常占用 4 字节
    • double c; 通常占用 8 字节
  2. 内存对齐:

    • 对齐通常取决于结构体中最大的成员的对齐要求。在这个结构体中,double 类型最大,其对齐要求通常是 8 字节。这意味着结构体的开始地址和所有成员的开始地址都应当是其最大成员(double)大小的倍数

考虑到内存对齐,结构体 Example 的内存布局如下:

  • char a; 占用 1 字节,后面跟着 3 个填充字节(padding1),以确保 int b; 的对齐。
  • int b; 从偏移量 4 开始,占用 4 字节。
  • double c; 从偏移量 8 开始,占用 8 字节,对齐于 8 字节。

内存布局如下:

| a (1 byte) | padding1 (3 bytes) | b (4 bytes) | c (8 bytes) |

这样总的字节数为:1 (a) + 3 (padding1) + 4 (b) + 8 (c) = 16 字节。

因此,整个结构体的大小是 16 字节,这主要是为了满足 double 类型的对齐要求。这种对齐可以确保 CPU 访问内存时的效率最高。如果没有正确的对齐,某些平台可能会面临性能下降甚至运行错误。

2.sizeof实现方式

使用偏移相减计算大小

考虑一个结构体:

struct Example {char a;int b;double c;
};

在这个结构体中,各个成员在内存中的位置是有顺序的,且这些位置是由编译器决定的。为了计算结构体中各个成员的大小,可以使用两个成员之间的地址差(即偏移量)。这种方法利用了指针运算来计算大小。

假设我们要计算成员 ab 之间的内存大小,可以通过指针相减的方式:

#include <stdio.h>struct Example {char a;int b;double c;
};int main() {struct Example ex;size_t size_a_b = (char*)(&ex.b) - (char*)(&ex.a);  // 计算 b 相对于 a 的偏移量printf("Size between a and b: %zu\n", size_a_b);size_t size_b_c = (char*)(&ex.c) - (char*)(&ex.b);  // 计算 c 相对于 b 的偏移量printf("Size between b and c: %zu\n", size_b_c);return 0;
}

运行结果:

Size between a and b: 4
Size between b and c: 4
  1. Size between a and b: 4:

    • b 的地址是 &ex.b,相对于结构体起始地址的偏移量为 4。
    • a 的地址是 &ex.a,起始地址为 0。
    • 因此,&ex.b - &ex.a = 4,这就是 ab 之间的大小,结果是 4 字节。
  2. Size between b and c: 4:

    • c 的地址是 &ex.c,相对于结构体起始地址的偏移量为 8。
    • b 的地址是 &ex.b,偏移量为 4。
    • 因此,&ex.c - &ex.b = 8 - 4 = 4,这就是 bc 之间的大小,结果也是 4 字节。

3.总结

在 C 语言中,sizeof 是一个编译时关键字,用于计算变量或类型的内存大小。编译器通过分析类型信息和内存对齐规则来确定内存占用大小。在结构体中,不同成员之间的地址偏移可以通过指针运算计算,但由于内存对齐的影响,这些偏移量可能包括填充字节。

偏移相减是一种通过指针相减来计算结构体成员间距的方法,例如计算成员 a 和 b 之间的大小。在代码中,结果显示 a 和 b 之间、b 和 c 之间的大小都是 4 字节。这是因为编译器为了满足 4 字节对齐要求,在 a 后面插入了 3 个字节的填充,同时 b 占用 4 字节后,c 从下一个 4 字节对齐的位置开始。

最终,编译器通过内存对齐和填充优化了结构体的布局,提高了内存访问的效率。这种指针运算虽然可以帮助理解内存布局,但在实际编程中,使用 sizeof 更为直接和准确。

这篇关于sizeof 关键字实现原理的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1135966

相关文章

python实现svg图片转换为png和gif

《python实现svg图片转换为png和gif》这篇文章主要为大家详细介绍了python如何实现将svg图片格式转换为png和gif,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 目录python实现svg图片转换为png和gifpython实现图片格式之间的相互转换延展:基于Py

Python利用ElementTree实现快速解析XML文件

《Python利用ElementTree实现快速解析XML文件》ElementTree是Python标准库的一部分,而且是Python标准库中用于解析和操作XML数据的模块,下面小编就来和大家详细讲讲... 目录一、XML文件解析到底有多重要二、ElementTree快速入门1. 加载XML的两种方式2.

Java的栈与队列实现代码解析

《Java的栈与队列实现代码解析》栈是常见的线性数据结构,栈的特点是以先进后出的形式,后进先出,先进后出,分为栈底和栈顶,栈应用于内存的分配,表达式求值,存储临时的数据和方法的调用等,本文给大家介绍J... 目录栈的概念(Stack)栈的实现代码队列(Queue)模拟实现队列(双链表实现)循环队列(循环数组

C++如何通过Qt反射机制实现数据类序列化

《C++如何通过Qt反射机制实现数据类序列化》在C++工程中经常需要使用数据类,并对数据类进行存储、打印、调试等操作,所以本文就来聊聊C++如何通过Qt反射机制实现数据类序列化吧... 目录设计预期设计思路代码实现使用方法在 C++ 工程中经常需要使用数据类,并对数据类进行存储、打印、调试等操作。由于数据类

Python实现图片分割的多种方法总结

《Python实现图片分割的多种方法总结》图片分割是图像处理中的一个重要任务,它的目标是将图像划分为多个区域或者对象,本文为大家整理了一些常用的分割方法,大家可以根据需求自行选择... 目录1. 基于传统图像处理的分割方法(1) 使用固定阈值分割图片(2) 自适应阈值分割(3) 使用图像边缘检测分割(4)

Android实现在线预览office文档的示例详解

《Android实现在线预览office文档的示例详解》在移动端展示在线Office文档(如Word、Excel、PPT)是一项常见需求,这篇文章为大家重点介绍了两种方案的实现方法,希望对大家有一定的... 目录一、项目概述二、相关技术知识三、实现思路3.1 方案一:WebView + Office Onl

C# foreach 循环中获取索引的实现方式

《C#foreach循环中获取索引的实现方式》:本文主要介绍C#foreach循环中获取索引的实现方式,本文给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考下吧... 目录一、手动维护索引变量二、LINQ Select + 元组解构三、扩展方法封装索引四、使用 for 循环替代

Spring Security+JWT如何实现前后端分离权限控制

《SpringSecurity+JWT如何实现前后端分离权限控制》本篇将手把手教你用SpringSecurity+JWT搭建一套完整的登录认证与权限控制体系,具有很好的参考价值,希望对大家... 目录Spring Security+JWT实现前后端分离权限控制实战一、为什么要用 JWT?二、JWT 基本结构

Java实现优雅日期处理的方案详解

《Java实现优雅日期处理的方案详解》在我们的日常工作中,需要经常处理各种格式,各种类似的的日期或者时间,下面我们就来看看如何使用java处理这样的日期问题吧,感兴趣的小伙伴可以跟随小编一起学习一下... 目录前言一、日期的坑1.1 日期格式化陷阱1.2 时区转换二、优雅方案的进阶之路2.1 线程安全重构2

Android实现两台手机屏幕共享和远程控制功能

《Android实现两台手机屏幕共享和远程控制功能》在远程协助、在线教学、技术支持等多种场景下,实时获得另一部移动设备的屏幕画面,并对其进行操作,具有极高的应用价值,本项目旨在实现两台Android手... 目录一、项目概述二、相关知识2.1 MediaProjection API2.2 Socket 网络