为什么 for 循环中的 printf 语句似乎依赖于该循环之外的不相关的先前 printf ？

Question

我正在用 C 语言实现“埃拉托斯特尼筛法”来寻找素数。我想出了以下代码：

#include <stdio.h>
#include <stdlib.h>

void strike_multiples(int n, int *storage); // Function prototype
int ceiling = 500;  // Maximum integer up to which primes are found

int main(void) {
    int *ptr = malloc(sizeof(int) * ceiling);  // Create buffer in memory
    int no_of_primes_found = 0;
    printf("Print anything\n");
    for (int i = 0; i < ceiling; i++) {  // Initialise all elements in buffer to zero
        *(ptr + i * sizeof(int)) = 0;
    }

    for (int j = 2; j < (ceiling / 2) + 1; j++) {
        if (*(ptr + j * sizeof(int)) == 0) {
            strike_multiples(j, ptr);
        }
    }

    for (int k = 2; k < ceiling; k++) {
        if (*(ptr + sizeof(int) * k) == 0) {
            no_of_primes_found++;
            printf("%i\n", k);
        }
    }

    printf("%i primes found\n", no_of_primes_found);

    free(ptr);
    return 0;
}


void strike_multiples(int n, int *storage) {  // This function strikes all multiples of a given integer within the range
    for (int i = 2; i < (ceiling / n) + 1; i++) {   // (striking means setting the value of the corresponding index in the allocated memory to one)
        *(storage + sizeof(int) * n * i) = 1;
    }
}

这编译得很好，并且确实会给我最大 500 的素数（最后一个是 499）。但最奇怪的地方是 printf("Print everything\n"); 行。它似乎没有做任何与功能相关的事情。但如果我删除这一行或将其注释掉，我就不会得到任何输出。看起来第三个 for 循环内的 printf("%i\n", k); 行依赖于之前发生的其他一些打印。

这是怎么回事？为什么在 for 循环之前执行一些 - any - 打印会对循环中已识别素数的完全不相关的打印产生影响？

Answer 1

这样的程序中的循环中的这种表达式

*(ptr + i * sizeof(int)) = 0;

不正确，并导致不确定的行为。

相反，您需要编写

*(ptr + i) = 0;

此表达式等效

ptr[i] = 0;

于C标准（6.5.2.1阵列订阅）

2一个后缀表达式，然后在方括号中表达式[]
是数组对象元素的订阅名称。
下标运算符的定义是E1 [e2]与
（*（（E1）+（e2）））。，因为适用于
二进制 +运算符，如果E1是一个数组对象（等效地，指针
对于数组对象的初始元素）和E2是整数，
e1 [e2]指定E1的E2元素（从零计数）。