C语言sizeof运算符陷阱：指针传递与结构体内存对齐详解

落日邮差

发布时间：2026-10-16| 5人浏览过

原创

在C/C++开发中，sizeof 常被误用。本文将揭示两个关键陷阱：一是数组作为函数参数传递时会退化为指针，导致 sizeof 错误地返回指针尺寸（如64位系统的8字节）而非数组实际长度；二是结构体存在内存对齐机制，其总占用空间往往大于成员变量大小之和。理解这两点可有效避免内存越界或未初始化风险。

sizeof 基础与结构体内存对齐陷阱

sizeof 是C/C++的关键字运算符，用于获取对象或类型在内存中的字节数。对于基本数据类型，结果通常符合预期，但在处理结构体和函数参数时容易出错。

第1步：理解结构体的内存填充现象

当定义包含不同类型成员的结构体时，编译器会根据最大成员的对齐要求插入填充字节。例如，一个含 char 和 int 的结构体：

#include <stdio.h>
 
struct D{
    char a;   // 1字节
    int b;    // 4字节
};
 
int main()
{
    struct D d;
    printf("sizeof(d)=%ld\n", sizeof(d)); // 输出通常为8而非5
    printf("sizeof(struct D)=%ld\n", sizeof(struct D));
    return 0;
}

输出结果：

sizeof(d)=8
sizeof(struct D)=8

原理解析： char a 占1字节后，为满足 int b 的对齐要求（通常是4字节边界），编译器会填充3个字节，使得整个结构体大小为 1 + 3(填充) + 4 = 8 字节。

第2步：利用sizeof进行安全初始化

结合 memset 使用 sizeof 可以高效清零结构体，避免因手动计算偏移量而遗漏填充区域：

#include <stdio.h>
#include <string.h>
 
struct D{
    char a;
    int b;
};
 
int main()
{
    struct D d;
    // 未初始化前，值随机
    printf("before init: a=%d, b=%d\n", d.a, d.b);
    
    // 使用sizeof确保覆盖所有字节，包括填充位
    memset(&d, 0, sizeof(d));
    
    printf("after init: a=%d, b=%d\n", d.a, d.b);
    return 0;
}

输出结果：

before init: a=16, b=0
after init: a=0, b=0

指针与数组：sizeof在函数传参中的陷阱

这是C语言中最具迷惑性的陷阱之一：sizeof 对数组名求值是数组总大小，但对指针求值仅是指针本身的地址宽度。

第3步：区分栈上数组与指针的尺寸

在主函数作用域内，直接作用于数组名的 sizeof 能正确反映元素总数：

#include <stdio.h>
 
int main()
{
    char str[10] = {0};
    char* pStr = str;
    
    printf("sizeof(str)=%ld\n", sizeof(str)); // 输出: 10 (10 * 1 byte)
    printf("sizeof(pStr)=%ld\n", sizeof(pStr)); // 输出: 8 (64位系统指针大小)
    return 0;
}

输出结果：

sizeof(str)=10
sizeof(pStr)=8

第4步：验证函数传参导致的“退化”效应

当数组传递给函数时，它会自动退化为指向首元素的指针。此时在函数内部使用 sizeof 将无法获得原始数组长度。

#include <stdio.h>
#include <string.h>
 
void f(char *pStr)
{
    // 陷阱：此处sizeof(pStr)恒为8(64位)，而非10
    // 这会导致只写入前8个字节，剩余部分未被正确修改
    memset(pStr, 'a', sizeof(pStr));
    printf("pStr:%s sizeof(pStr)=%ld\n", pStr, sizeof(pStr));
}
 
int main()
{
    char str[10] = "123456789";
    printf("str:%s sizeof(str)=%ld\n", str, sizeof(str)); // 外部正常输出10
    f(str); // 进入函数后发生退化
    return 0;
}

输出结果：