局部变量堆栈

stack of local variables

本文关键字：堆栈 局部变量      更新时间：2023-10-16
void Test2()
{   
    int c=8;
    int b=7;
    int d=9;
    int *a; 
    a = &b;
    a+=sizeof(int); //I supposed that *a should points on variable d after this 
    cout << "bt" << &b << "t" << b << endl;
    cout << "at" << a  << "t" << *a << endl;
    cout << "ct" << &c  << "t" << c << endl;
    cout << "dt" << &d  << "t" << d << endl;
}

我认为 *a 应该指向变量 d，因为 b 和 d(正如我所想的(位于局部变量堆栈的附近。但是 *a 指向另一个地址，所以 *a！=d我的问题是为什么会这样？是Visual Studio 2010的功能还是其他功能？

不，这是C++的一个功能，称为未定义行为。您不能在您拥有的数组(或数组边界上的一个位置(之外执行指针算术。

你可以通过a += 1来工作，因为a已经是一个int*，所以+= 1会让它指向下一个整数。 a+=sizeof(int)会将其sizeof(int)整数向右移动。

 +------+------+------+------+------+
 |      |      |      |      |      |      
 +------+------+------+------+------+
    ^      ^                    ^
    |      |                    |
    a     a+1               a+sizeof(int) (assuming sizeof(int) == 4)

同样，从技术上讲，它是未定义的。

对于初学者来说，我不认为指针算术按照你认为的方式工作。你不需要做sizeof(int)，因为指针已经是指向int的指针，所以编译器知道a++需要前进4个字节。

其次，不，你不能指向局部变量，因为你不知道编译器将它们放在内存中的位置，它们的生存期，甚至它们是否在内存中。编译器会将许多局部变量优化到 CPU 寄存器中。

编辑：是的，根据有效的评论，我应该澄清一下，你可以将指针指向局部变量，编译器会做正确的事情，但你不能对它们使用指针算法，因为它们可能会被完全优化。

您不能假设所有变量都按照您想要的方式对齐，也不能以这种方式使用指针算术。安全使用它的唯一方法是在您的数组范围内使用它。此外，a+=sizeof(int)不会将其移动到指向下一个整数，而是将其移动sizeof(int)个整数。

您在这里依赖UB，因此您不能期望任何特定结果。实际上，您甚至可能会遇到段错误。

不，它不是Visual Studio 2010功能。指针的算术运算显示未定义的行为。

通常，仅在指向数组元素时使用递增/递减

相关文章：