指向自身的指针 C

Question

我正在编写一个在递归链末尾调用的函数。这个函数需要在它被调用的实例中找出它在内存中的位置。代码如下：

void recover ()
{
     int * x = (int *)&x;
}

问题是程序只是跳过了这个语句，就好像它从来没有写过一样。我已经在 GDP 中验证了这一点。你能想到为什么这条线被忽略了吗？

谢谢！

Answer 1

将变量声明为volatile。它应该防止编译器优化。

volatile int * x = (int *)&x;

Answer 2

如果您在打开优化的情况下进行编译，那么这段代码可能由于对程序没有影响而被优化掉了。使用-O0 选项。

Answer 3

您编写的代码可能是未定义的行为，因为您将指向int的指针转换为指向int的指针。

指针在概念上不能指向自身，因为您永远无法实现正确的间接级别。原因如下：

Declaration      |  Type     | Type after using the & operator
--------------------------------------------------------------
int   x;         |  int      | &x is an (int*)
int*  x;         |  int *    | &x is an (int**)
int** x;         |  int **   | &x is an (int***)

但是，void* 是我能想到的唯一一种可能被允许违反此规则的指针类型，但我不确定根据标准它是否合法。

我建议你写以下内容，而不是你所拥有的：

int* recover ()
{
    int local = 0;
    return &local;
}

并在没有像 @ysap 建议的优化的情况下编译它。

仍然从您的示例中，您似乎正在尝试找出堆栈顶部的位置，而这在汇编中很容易完成。您需要做的就是读取堆栈指针。但是，这在 C 中并没有那么清楚地公开。虽然 GCC 确实有一些 helper functions 用于类似任务，但我还没有找到堆栈指针。

我个人会求助于内联汇编，因为无论如何编写的任何内容都可能无法移植。

此外，如果我正确理解您的问题，它很可能与 this question 重复，因此阅读这些答案也是值得的。

编辑：应该相当于返回当前函数的frame的地址，可以使用GCC builtin function __builtin_frame_address (unsigned int level) linked earlier来完成。代码如下所示：

int* recover()
{
    return (int*)__builtin_frame_address(0);
}