您不能像这样引用符号，因为虽然它现在受到保护，不会入，但它仍然受到与从共享库导出的任何对象类型符号相同的行为的约束。要解决此问题，请像使用任何其他导出的对象类型符号一样浏览 GOT。

背景

ELF ABI 的设计者希望共享对象对主程序是透明的。ELF ABI 程序（但不是共享对象）完全不知道共享对象的存在，并且编写得好像程序使用的所有符号都静态链接到程序中。这包括允许直接访问的对象类型符号。例如，主程序可以做

movq    g(%rip), %rax

并获取共享库使用的同一变量的值。其工作方式是，对于主程序引用但由共享库提供的所有对象类型符号，链接器在链接时查找符号的大小，并在可执行文件的 BSS 段中分配该空间。符号（在本例中为）被解析为指向该空间。gg

在加载时，动态加载器会查找共享库，该库定义数据并将其从共享对象的数据段复制到主可执行文件的 BSS 段中保留的空间中，并将 的 GOT 条目解析为该地址。这称为副本重定位。因此，共享库在访问时将访问主程序可以访问的相同变量。（如果主程序不访问 ，则不会发生副本重定位，并在共享库的数据/BSS 段中解析为其定义）gggggg

但是，仅当共享库通过 GOT 访问符号时，此方案才有效，因为符号不会与共享库一起重新定位。因此，您必须通过 GOT 才能访问该符号。

即做

        movq g@GOTPCREL(%rip), %rax  # find the address of g
        movq (%rax), %rax            # load the value of g

在程序运行时，地址不会更改，因此在代码开头执行一次就足够了。开销应该很低。g

解决方法

解决方法包括：

• 请考虑隐藏符号，并仅通过访问器函数将其公开给主可执行文件，并返回其地址。您可以使用映射文件（版本脚本）在一个位置设置库中所有函数的可见性，这可能比在源文件中注释符号更容易。

• 如果主可执行文件和库是否看到相同的符号地址（例如，如果它是一个常量）并不重要，则可以为符号提供隐藏的别名，并将其用于内部引用

• 您可以使用使共享库始终使用其自己的符号副本，即使它需要重新定位副本。请注意，这实际上禁用了在共享库和主可执行文件之间共享变量的功能。您也无法正确比较函数指针的相等性。因此，不应在生产中使用此选项。-Bsymbolic

• 如果由于某种原因无法使用访问器函数，则可以通过指针绕行导出的符号，只允许在指针上进行复制重定位：

          .bss
          .globl local_g
          .hidden local_g
  local_g:
          .space 8
          .data
          .globl g
  g:      .quad local_g
  

  在主二进制文件中，声明为持有指向变量的指针，并取消引用它以访问变量。请考虑声明它，以便它不会被意外取消引用。请注意，此方法的性能比通过 GOT 从其他共享对象访问符号的性能更差。gconst

• 您可以在编译所有程序部件和链接（共享库和主可执行文件）期间使用，以避免复制重新定位（您可能还需要将所有部件与 .请注意，此类编译的共享库与未使用此选项编译的主程序不兼容，并且不得链接到它们。反之亦然。-mno-direct-extern-access-Wz,nocopyreloc

然而，最好的选择是像使用任何其他全局符号一样通过 GOT。