GNU GCC 会跟踪以前使用箭头运算符取消引用的对象吗？

Question

使用以下结构，

struct A
{
    A(int d1, int d2)
    {
        data1 = d1;
        data2 = d2;
    }

    int data1, data2;
};

下面函数的最后一行是否会再次解除对指针的引用，或者编译器会知道使用先前解除引用的对象？

int main()
{
    A* a = new A(1, 2);

    //dereference a
    cout << a->data1 << endl;

    //dereference a again?
    cout << a->data2 << endl;
}

如果没有，是否有任何编译器可以执行此操作？

我知道我可以做一个实验来测试我的问题，但是我不太了解汇编语言。

Answer 1

是的，在这种情况下，生成的代码可能不会真正执行另一个取消引用。当编译器可以确定 a 不会在两个语句之间改变时，就会发生这种情况。

这是一种常见的优化类别，当人们违反严格的别名规则时，这是许多错误的原因（因为这可能会破坏编译器检测a 没有改变）。

Will GNU GCC keep track of objects which have previously been dereferenced using the arrow operator?