fno-exceptions 和 POSITION 独立代码的交互

Question

我在构建动态库时遇到了一个相当奇怪的问题。 以下是一个小示例的详细信息：

一个名为static.h的简单文件，其内容为：

#pragma once

#include <string>

std::string static_speak();

static.cpp看起来像这样：

#include "static.h"

std::string static_speak() {
  return "I am static";
}

可以使用以下两个文件（使用 cmake）构建 static 库：

add_library(static
  static.cpp
)

现在，考虑另一个名为shared.cpp的文件，其内容是：

#include "static.h"

std::string dynamic_speak() {
  return static_speak() + " I am dynamic";
}

可以尝试构建一个动态库（再次使用 cmake）：

add_library(shared SHARED
  shared.cpp
)
target_link_libraries(shared PRIVATE
  static
)

当尝试构建上述内容时，将遇到以下错误：

[4/4] Linking CXX shared library libshared.so
FAILED: libshared.so
: && /opt/vatic/bin/clang++ -fPIC -g   -shared -Wl,-soname,libshared.so -o libshared.so CMakeFiles/shared.dir/shared.cpp.o  libstatic.a && :                                 
/usr/bin/ld: libstatic.a(static.cpp.o): relocation R_X86_64_32 against `.rodata.str1.1' can not be used when making a shared object; recompile with -fPIC                    
/usr/bin/ld: final link failed: Nonrepresentable section on output
clang-10: error: linker command failed with exit code 1 (use -v to see invocation)
ninja: build stopped: subcommand failed.

这是有道理的。 我们没有使用POSITION_INDEPENDENT_CODE编译static 。 这很容易通过以下方式修复：

add_library(static
  static.cpp
)
set_target_properties(static
  PROPERTIES
  POSITION_INDEPENDENT_CODE ON
)

当一个人编译shared库时，现在一切正常。

现在问题来了。 假设我没有启用POSITION_INDEPENDENT_CODE而是在我的代码中禁用了异常 (:)：

set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -fno-exceptions")

现在，当我尝试编译shared时，一切仍然有效？！ 异常和 fPIC 是如何相互关联的？

这是重现该问题的存储库： https://github.com/skgbanga/shared

Answer 1

异常和 fPIC 是如何相互关联的？

他们不是（大部分）。

发生的情况是使用-fno-exceptions进行编译会更改重定位（不再引用某些与异常相关的数据），因此，在链接时没有导致错误的重定位。

您可以通过使用和不使用-fno-exceptions进行构建，并比较来自objdump -dr CMakeFiles/static.dir/static.cpp.o的 output 来确认这一点。

PS我无法使用g++ (Debian 9.3.0-8)重现您的问题，因为它默认使用-fPIE ，并且两个链接都成功。

如果我添加-fno-pie ，那么两个链接都会以同样的方式失败。