指针和引用如何保存在内存中

Question

考虑这 2 个文件：

//main1.cpp

int main()
{
    int a = 0;
    int &b = a;
}

//main2.cpp

int main()
{
    int a = 0;
    int *b = &a;
}

当我使用 gcc -S 选项编译它并比较 2 个汇编器输出时，它们是完全相同的输出。那为什么有的书上说引用变量不占用额外内存呢？

Answer 1

未指定引用是否占用内存。如果编译器可以确定它引用了哪个对象，那么它可以简单地使用该引用作为该对象的替代 "name"，而不需要任何运行时间信息。如果不能，那么引用将需要保存其目标地址，就像指针一样。

指针是对象，因此像任何其他对象一样占用内存。但是，"as if" 规则下的优化意味着只有当程序的行为取决于它们时，对象才需要占用内存；例如，如果您打印它的地址。因此，如果编译器可以确定指针指向哪个对象，那么它可以将通过指针的间接访问替换为对该对象的直接访问，并可能完全删除指针。

相同的优化规则意味着，在您的两个示例中，所有变量都可以删除，因为它们没有效果。

How pointers and references are held in memory