printf 在不提供变量名的情况下打印 %d 时的行为

我刚刚遇到一个奇怪的问题，我试图 printf 一个整数变量，但我忘记指定变量名称，即

printf("%d");

代替

printf("%d", integerName);

令人惊讶的是，程序编译后，有输出，而且不是随机的。事实上，它恰好是我一开始想要打印的整数，恰好是 m-1。

错误的printf只要程序继续运行，语句就会始终输出 m-1...换句话说，它的行为就像语句读取一样

printf("%d", m-1);

有人知道这种行为背后的原因吗？我正在使用 g++，没有任何命令行选项。

#include <iostream>
#define maxN 100
#define ON 1
#define OFF 0

using namespace std;

void clearArray(int* array, int n);
int fillArray(int* array, int m, int n);

int main()
{
    int n = -1, i, m;
    int array[maxN];
    int found;

    scanf("%d", &n);

    while(n!=0)
    {
        found=0;
        m = 1;
        while(found!=1)
        {
            if(m != 2 && m != 3 && m != 4 && m != 6 && m != 12)
            {
                clearArray(array, n);
                if(fillArray(array, m, n) == 0)
                {
                    found = 1;
                }
            }
            m++;
        }

        printf("%d\n");

        scanf("%d", &n);
    }

    return 0;
}

void clearArray(int* array, int n)
{
    for(int i = 1; i <= n; i++)
        array[i] = ON;
}

int fillArray(int* array, int m, int n)
{
    int i = 1, j, offCounter = 0, incrementCounter;

    while(offCounter != n)
    {
        if(*(array+i)==ON) 
        {
            *(array+i) = OFF;
            offCounter++;       
        }
        else 
        {
            j = 0;
            while((*array+i+j)==OFF)
            {
                j++;
            }
            *(array+i+j) = OFF;
            offCounter++;           
        }
        if(*(array+13) == OFF && offCounter != n) return 1;
        if(offCounter ==n) break;

        incrementCounter = 0;       
        while(incrementCounter != m)
        {
            i++;
            if(i > n) i = 1;
            if(*(array+i) == ON) incrementCounter++; 
        }       
    }

    return 0;
}

你说“令人惊讶的是程序编译了”。事实上，这并不奇怪。 C 和 C++ 允许函数具有可变参数列表。 printf 的定义是这样的：

int printf(char*, ...);

“...”表示该函数有零个或多个可选参数。事实上，C 具有可选参数的主要原因之一是支持 printf 和 scanf 系列函数。

C 对 printf 函数没有特殊的了解。在你的例子中：

printf("%d");

编译器不会分析格式字符串并确定缺少整数参数。这是完全合法的 C 代码。缺少参数这一事实是一个仅在运行时出现的语义问题。 printf 函数将假定您已提供参数并在堆栈中查找它。它会拾取那里发生的任何事情。只是碰巧在您的特殊情况下它打印了正确的内容，但这是一个例外。一般来说，你会得到垃圾数据。这种行为会因编译器的不同而有所不同，并且还会根据您使用的编译选项而变化；如果您打开编译器优化，您可能会得到不同的结果。

正如我的答案的评论之一所指出的，一些编译器具有类似“lint”的功能，实际上可以检测到错误的 printf/scanf 调用。这涉及编译器解析格式字符串并确定所需的额外参数的数量。这是非常特殊的编译器行为，在一般情况下不会检测到错误。即，如果您编写自己的“printf_better”函数，该函数与 printf 具有相同的签名，则编译器将不会检测是否缺少任何参数。