1

在我正在处理的项目中摆弄了一堆 CMake 设置之后，我遇到了一个我以前没有遇到过的链接问题。

简而言之，我有一个静态库（.a文件），其中包含以下符号（已解构）：

00000000000018e0 g     F .text  0000000000000690 std::experimental::fundamentals_v1::optional<int> monetdb::gdk::buffer_pool::find_column<(monetdb::column_name_kind)2>(monetdb::column_name<(monetdb::column_name_kind)2> const&) const

但是当我尝试使用该方法将可执行文件与该文件和编译源链接时，我得到：

main.cpp:(.text+0x6950): undefined reference to `std::experimental::optional<int> monetdb::gdk::buffer_pool::find_column<(monetdb::column_name_kind)2>(monetdb::column_name<(monetdb::column_name_kind)2> const&) const'

这是唯一且唯一的链接错误，即使我实例化 abuffer_pool并使用了许多其他方法。另一方面，这也是该类拥有的唯一模板化方法。

考虑到库中存在符号，这种错误的潜在原因是什么？

到目前为止，我唯一的“线索”是，可选类的名称不同：std::experimental::optionalvs std::experimental::fundamentals_v1::optional。这可能是原因吗？

笔记：

  • 我问的是潜在原因，而不是实际原因（如果没有独立的示例，您将无法确定）。
  • 为了安全起见，我显式地实例化了这个模板化方法。
  • 编译使用 g++ 8.3.0，并且/usr/bin/ld是 2.32.51 。
  • 我在 Devuan 3 Beowulf（~= Debian 10 Buster 没有 systemd）。

  • 结果g++- v：

    Using built-in specs.
COLLECT_GCC=g++-8
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/8/lto-wrapper
OFFLOAD_TARGET_NAMES=nvptx-none
OFFLOAD_TARGET_DEFAULT=1
Target: x86_64-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Debian 8.3.0-22' --with-bugurl=file:///usr/share/doc/gcc-8/README.Bugs --enable-languages=c,ada,c++,go,brig,d,fortran,objc,obj-c++ --prefix=/usr --with-gcc-major-version-only --program-suffix=-8 --program-prefix=x86_64-linux-gnu- --enable-shared --enable-linker-build-id --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --libdir=/usr/lib --enable-nls --enable-bootstrap --enable-clocale=gnu --enable-libstdcxx-debug --enable-libstdcxx-time=yes --with-default-libstdcxx-abi=new --enable-gnu-unique-object --disable-vtable-verify --enable-libmpx --enable-plugin --enable-default-pie --with-system-zlib --with-target-system-zlib=auto --enable-objc-gc=auto --enable-multiarch --disable-werror --with-arch-32=i686 --with-abi=m64 --with-multilib-list=m32,m64,mx32 --enable-multilib --with-tune=generic --enable-offload-targets=nvptx-none --without-cuda-driver --enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu --with-build-config=bootstrap-lto --enable-link-mutex
Thread model: posix
gcc version 8.3.0 (Debian 8.3.0-22)
4

1 回答 1

1

tl;dr：这可能是由于optional在库外的代码中使用自定义实现引起的。

我的预感是正确的，但@1201ProgramAlarm 的评论让我找到了解决方案：

项目中使用静态库的定义std::experimental::optional并非来自标准 C++ 库。相反，这被Andrzej Krzemieński 的可选实现所掩盖。现在，我没有什么不好说的——它真的很好；std::experimental但是，它确实将该定义放入std::experimental::optional.

#if __cplusplus > something在我的情况下，以一种方式定义它，以另一种方式定义它等的链#else if __cplusplus > something else是错误的 - 即使使用 C++14 编译，也使用了自定义可选实现。

另一方面，链接器不会混淆不同的optional实现。事实上，libstdc++std::experimental::optional只是 ; 的别名std::experimental::fundamentals_v1::optional<int>。所以返回 an 的函数的名称optional<int>不同。因此，即使在 C++ 中，您不能在返回类型上重载函数，即除了不同的返回类型外，没有两个函数可以具有相同的签名 - 没有什么可以阻止两个重整的函数名称以这种方式出现（IIANM），这就是确实发生在我的情况下。

我现在不完全确定的是我如何首先避免链接问题......

于 2020-02-03T23:02:12.307 回答