【C语言笔记】【陷阱系列】 sizeof的使用

陷阱系列内容。用于记录各式各样有陷阱的C语言情况☺。

陷阱代码

首先我们看下如下这个函数代码：

void test(int start) {
    char buf[] = {0,1,2};
    for(int i = 0; i < (sizeof(buf) - start); i++) {
        printf("%d\n", buf[start + i]);
    }
}

这个函数会打印buf的数值，start表示从第几个数开始打印。

比如函数传入的start值为0，会打印:

0
1
2

传入的start值为1时，会打印：

1
2

传入的start值为3时，没有打印。

而传入的start值为4会怎么样呢？

会发现这个函数会不断地打印各种乱七八糟的数据，这是为什么呢？

说明

sizeof操作符的结果类型是size_t，是一个无符号的整数，而 sizeof(buf) 与 start 相减会有算术转换，得到的结果也是一个无符号的整数，所以当 sizeof(buf) 的值小于 start 的值时，sizeof(buf) 与 start 相减就会得到一个很大的无符号整数，导致 for 循环中 i 不断增加，printf 不断打印，进而导致数组越界。

因此在这种与 sizeof 操作符的结果相减的情况下要注意结果不会为负数，像这种 for 循环里的变量 i 为 int 类型，判断条件希望其可能为负数的情况下，要避免使用 sizeof 操作符的结果直接做比较。可以采用先用 int 等有符号类型先进行赋值，再进行相减操作。避免直接使用sizeof操作符的结果来做判断。

例如上面的示例可以改成：

void test(int start) {
    char buf[] = {0,1,2};
    int len = sizeof(buf);
    for(int i = 0; i < (len - start); i++) {
        printf("%d\n", buf[start + i]);
    }
}

或者

void test(int start) {
    char buf[] = {0,1,2};
    int len = sizeof(buf) - start;
    for(int i = 0; i < len; i++) {
        printf("%d\n", buf[start + i]);
    }
}

这样就不会有问题了。

[参考资料]

C和指针

本文链接：https://blog.csdn.net/u012028275/article/details/127236247