void *p = &&abc; 中的 && 是什么意思

Question

我遇到了一段代码void *p = &&abc;。 && 这里有什么意义？ 我知道右值引用，但我认为在这种情况下使用的 && 是不同的。 && 在void *p = &&abc; 中表示什么？

Answer 1

如何找到它

这是标签的地址，它是 GCC 特有的功能。

int main(void) {
    void* startp;
s:
    startp = &&s;
    printf("the assignment above starts at address %p\n", startp);
    return 0;
}

您可以通过测试自己弄清楚：

int main(void) {
    void* startp;
    int a;
    startp = &&a;
    printf("startp=%p\n", startp);
    return 0;
}

在这种情况下，GCC 会说：

错误：标签“a”已使用但未定义

引擎盖下 - 组装

您需要了解汇编程序才能真正理解这一点，但我将尝试向您解释标签地址的含义。

在操作系统从磁盘加载 .exe 文件后，操作系统的一个组件称为“加载器”（windows 有“PE 加载器”，linux 有“ELF 加载器”或者甚至其他，如果它们是在内核中编译），它对该程序进行“虚拟化”，将其变成一个进程。

这个进程认为它是 RAM 中唯一的一个，它可以访问整个 RAM（即 32 位机器上的 0x00000000-0xFFFFFFFF）。

（以上只是对正在发生的事情的简要概述，您确实需要学习汇编才能完全理解它，所以请多多包涵）

现在，源代码中的标签基本上是一个地址。 “转到标签；”除了跳转到那个地址之外什么也没做（想想汇编中的instruction pointer）。此标签存储此 RAM 地址，这样您就可以找到该地址。

学习 ASM 后，您会发现该地址指向可执行文件的 .text 部分中的一条指令。 .text 部分是保存您要执行的程序（二进制）代码的部分。

您可以通过以下方式检查：

objdump -x a.out

一个实际的例子

如GCC 中所述，您可以使用它来初始化跳转表。一些scanner generators 像re2c（参见-g 参数）使用它来生成更紧凑的扫描仪。也许甚至有一个parser generator 采用了相同的技术。

Answer 2

&& is gcc's extension获取当前函数中定义的标签的地址。

void *p = &&abc 在标准 C99 和 C++ 中是非法的。

This 用 g++ 编译。