c - 那会错吗？如果是这样，为什么会这样？输出为2500

Question

以下代码的输出是 2500。它包含指针。有人可以对此做出适当的解释吗？为什么它打印为 2500？它是通过指针声明来的还是有其他原因？

#include <stdio.h>

/* Two functions include and they are operated by main function */

int *f(int x) {
    /* Creates an variable */
    int p;
    p = x;
    return &p;
}

/* Here the initialization of the function g */
int *g(int x) {
    /* Creates an variable */
    int y;
    y = x;
    return &y;
}

/* This creates two pointers called x and y */
int main() {
    int *x, *y;
    /* Here call the functions f and g */
    x = f(100);
    /* Here call the function g */
    y = g(2500);
    /* How does it print 2500? */
    /* print the value of x */
    printf("%d \n", *x);
    return 0;
}

Answer 1

你得到奇怪输出的原因是未定义的行为。您正在返回自动局部变量的地址，一旦函数结束，该变量将不再存在。

尽管如此，可以根据函数调用的堆栈帧给出对输出的解释。由于最后一次调用函数g，传递给它的参数是2500，函数g的参数x > 在堆栈上分配，2500 被压入堆栈。当此函数返回时，此值从堆栈中弹出(尽管 g 的堆栈帧在返回给调用者后无效)并且它可能会从其堆栈帧中返回此 2500 .