C ++编译器实际上如何在引用参数中传递文字常量？

Question

据我了解（请参阅本文 ），C ++引用实现是基于指针的。 但是，我不知道当没有传递实际变量而是传递文字常量时该机制如何工作。 让我用一个例子来说明我的意思：

#include <iostream>

void f(const int& n)
{
  std::cout << n << std::endl;
}

int main()
{
  f(42);
}

我传递给f()函数的是字面量42 。 调用方未使用任何实际变量。

在这种情况下，也许使用了“影子”动态变量和关联的指针？ 任何人都可以确认（或者如果我错了，请解释实际机制）？

作为参考，在答案取决于编译器的情况下，我们通常使用gcc 4.4（在CentOS 6.x中）和gcc 4.9（在Debian 8中）。

注意 ：我已经知道通过引用传递一个常量整数不是一个好主意。 我的意思是，上面f()函数的一个更好的方法是使用void f(int n)传递值。 但是，我认为这是一个很好的例子来说明我的疑问。

Answer 1

每个编译器都可以决定如何实现文字（以及与此相关的引用）。 我对gcc的实现方式并不十分熟悉，但是我可以推测出可能的实现方式：

文字值存储在可执行二进制文件的只读部分中，该文件在执行开始时会加载到内存中。 由于对象位于内存中，因此它具有地址。 可以将该地址分配给指针/引用。

我想知道没有传递实际变量时该机制如何工作

对象可以不带变量而存在。 考虑例如动态分配。 可以指向/引用这些对象。 是否存在变量对引用的工作方式影响很小。

Answer 2

文字在内存中分配，它是静态内存，但仍然是内存。 假设42是4个字节的整数，它将在内存中表示为

->| 00000000 | 00000000 | 00000000 | 00101010 |

C ++正在使用的内存引用（const int＆n）指向该内存地址（您可以将内存想象为带有单元格的表）。

由于您使用的是Little Endian系统，因此实际的内存表示应为：

->| 00101010 | 00000000 | 00000000 | 00000000 |