C语言「sizeof的谎言」:90%人天天用,却全用错了

简介: C语言中sizeof常被误认为函数,实为编译期运算符。本文揭示三大反常识真相:它不执行副作用、括号非必需(仅类型需)、数组传参即退化。助你避开99%的高频陷阱。(238字)

几乎每个C语言开发者天天都在用sizeof,但90%的人对它的认知都是错的——它不是函数,不参与运行时计算,甚至你写的很多括号都是多余的。本文用3个反常识真相,彻底讲透sizeof的底层规则,避开所有高频坑。


真相1:sizeof是纯编译期运算符,不是运行时函数

除了C99变长数组(VLA),所有sizeof的计算都在编译阶段完成,直接替换为常量值,不会生成任何运行时代码。

最经典的踩坑示例:

#include <stdio.h>
int main() {
   
    int a = 10;
    printf("sizeof结果:%zu\n", sizeof(a++));
    printf("a的值:%d\n", a); // 输出10,a++根本没执行
    return 0;
}

底层逻辑:编译期就确定了sizeof(a)是4,直接替换为常量,a++的副作用表达式被完全丢弃,不会进入运行时代码。

真相2:括号不是「函数调用符」,只是优先级控制

sizeof是单目运算符,和++--同级,根本不是函数。跟类型名必须加括号,跟变量名完全可以不加。

int a;
sizeof a;    // 完全合法,等价于sizeof(a)
// sizeof int; // 编译报错,类型名必须加括号,正确写法是sizeof(int)

高频优先级陷阱:

int *p;
// 你以为是sizeof(*p + 1),实际是(sizeof(p)) + 1
printf("%zu\n", sizeof p + 1); // 64位系统输出9,而非预期的4

底层逻辑:sizeof优先级高于加法,先算sizeof p(8字节),再加1,结果完全偏离预期。

真相3:数组名的sizeof,仅在定义的作用域内有效

数组名在函数传参时会强制退化为指针,函数内用sizeof永远只能拿到指针的大小,绝对拿不到数组总长度。

#include <stdio.h>
// 形参arr实际是int*,不是完整数组
void get_len(int arr[]) {
   
    printf("函数内sizeof:%zu\n", sizeof(arr)); // 64位系统固定输出8
}
int main() {
   
    int arr[5] = {
   1,2,3,4,5};
    printf("main内sizeof:%zu\n", sizeof(arr)); // 输出20(完整数组总大小)
    get_len(arr);
    return 0;
}

终极避坑总结

记住这3条,就能避开99%的sizeof相关坑:

  1. 非VLA场景,sizeof在编译期完成,不会执行表达式内的自增、函数调用等副作用;
  2. 它是运算符不是函数,注意优先级,复杂表达式必须加括号明确计算顺序;
  3. 函数内永远别用sizeof拿数组长度,必须手动传递数组长度参数。
相关文章
|
2月前
|
存储 网络协议 安全
C语言「内存对齐潜规则」:结构体里看不见的填充字节
内存对齐是CPU硬件要求的数据地址约束规则:变量须存于其字节大小的整数倍地址。编译器自动插入填充字节确保对齐,导致结构体体积“膨胀”、硬件寄存器读写错位或协议异常。合理排序成员(从大到小)、慎用`packed`、明确对齐控制,是嵌入式与底层开发的关键避坑要点。(239字)
|
2月前
|
Java API
Java MethodHandle:超越反射的轻量化方法调用底层引擎
Java 7引入的MethodHandle是JVM级动态调用机制,相比反射:仅一次权限校验、强类型绑定、零装箱开销、支持方法适配与invokedynamic。性能达反射3–10倍,是Lambda、动态代理及现代框架的底层引擎。(239字)
156 6
|
2月前
|
缓存 编译器 程序员
C语言深度解析:restrict关键字——编译器性能优化的终极钥匙
C99的`restrict`关键字是C语言性能优化的“终极钥匙”:它向编译器承诺指针独占访问内存,彻底解决同类型指针别名问题,解锁循环向量化、寄存器缓存等激进优化。滥用致未定义行为,善用则性能飙升数倍——这才是真正高阶C程序员的必修课。(239字)
|
2月前
|
存储 C语言 内存技术
C语言深度解析:大小端字节序——多字节数据的底层存储规则
大小端指CPU对多字节数据在内存中的存放顺序:大端高字节存低地址,小端反之。x86/ARM默认小端,网络字节序统一为大端。跨平台、网络通信、二进制协议开发中必须显式处理字节序转换,否则数据解析必错。
735 138
|
2月前
|
存储 安全 C语言
C语言深度解析:函数指针的底层本质与避坑指南
本文深入剖析C语言函数指针的本质——函数名即代码段入口地址,厘清其与数据指针的根本差异;系统梳理回调、跳转表、中断向量、动态库等核心应用场景;重点警示签名不匹配、`void*`强转、野指针调用三大致命陷阱,并给出`typedef`封装、空值校验、边界防护等最佳实践。(239字)
484 134
|
2月前
|
缓存 监控 Java
Java 四大引用体系:从GC回收规则到框架底层实现的完整真相
Java四大引用(强、软、弱、虚)是JDK1.2引入的核心内存管理机制,精准控制对象回收时机。强引用防回收,软引用保缓存(OOM前清理),弱引用防泄漏(GC即回收),虚引用唯一可靠跟踪回收——配合ReferenceQueue实现堆外内存释放等关键兜底。90%开发者仅知皮毛,实为解决OOM、内存泄漏及理解ThreadLocal/NIO底层的基石。(239字)
321 4
|
2月前
|
安全 Java 编译器
Java 泛型体系:从类型擦除到底层实现的完整真相
Java泛型远不止“类型擦除”四字可概括:它深度融合javac编译机制、JVM分派、反射与字节码,是保障类型安全与向后兼容的精密设计。本文深度剖析擦除本质、桥接方法、Signature属性及所有限制根源,破除90%开发者的认知误区,助你真正掌握这一进阶核心。
302 5
|
2月前
|
存储 安全 编译器
C语言深度解析:变长数组(VLA)的底层逻辑与避坑指南
变长数组(VLA)是C99引入的栈上动态数组,长度运行时确定,访问快但无安全检查。易致栈溢出、野指针、跨平台兼容问题,仅适用于小尺寸、短生命周期场景,大数组务必用malloc。
378 38
|
2月前
|
网络协议 编译器 C语言
C语言深度解析:内存对齐与结构体填充的底层逻辑
C语言中,内存对齐是CPU硬件强制要求的底层规则,直接影响结构体大小、访问性能与硬件兼容性。合理排列成员可减少填充、节省内存;滥用`#pragma pack`则易致崩溃或性能暴跌。嵌入式、网络协议与跨平台开发必备核心知识。(239字)
323 14
|
2月前
|
存储 安全 编译器
C语言指针深度全解析:从硬件本质到安全编码的终极指南
指针是C语言的灵魂,本质是CPU内存寻址的原生抽象。本文从硬件底层出发,系统解析指针的类型系统、语法细节、算术规则、多级与函数指针,并深入剖析野指针、空解引用、非法强转等致命陷阱,提供9条安全编码实践,助你彻底掌握指针核心逻辑。(239字)