c++ - 针对 GNU++98/libstdc++ 编译的应用程序能否链接到针对 C++11/libc++ 构建的 dylib？

Question

我有一个使用 Xcode 7.2.1 构建的 C++ 应用程序，使用 GNU++98 方言编译并链接到 libstdc++。我需要调用一个用 C++11 编译并链接到 libc++ 的 dylib。

在 dylib 的类成员中使用默认属性可见性:

extern __attribute__((visibility("default"))) void foo(std::string const&, int);

...表明不存在 ABI 兼容性(至少对于字符串而言)——任何具有 std::string 参数的 dylib 函数都无法链接到应用程序。

创建仅将在 dylib 端构建的 char* 参数传递给 std::string 的重载 C++ 成员函数是否是一个合适的解决方案，或者是否存在其他问题需要为 dylib 创建纯 C API？

注意:现在阅读 This excellent explanation在 ABI 兼容性问题上，除了为 std::string 参数构建一个基于字符的 API 之外，似乎没有什么希望......

Answer 1

使用标准布局类编写您的 API。

标准布局类可能非常花哨。

这是一个未编译的 array_view离开我的头顶:

template<class Container>
using data_ptr_type = decltype( std::declval<Container>().data() );

template<bool b>
using bool_kt = std::integral_constant<bool, b>;

template<class T>
struct array_view {
  T* b = nullptr;
  T* e = nullptr;
  T* begin() const { return b; }
  T* end() const { return b; }
  template<class U>
  using ptr_is_compatible = bool_kt<
    std::is_same< U, T* >{} || std::is_same< U, std::remove_const_t<T>* >{} ||
    std::is_same< U, std::remove_volatile_t<T>* >{} || std::is_same< U, std::remove_cv_t<T>* >{}
  >;

  // convert from .data() and .size() containers:
  template<class In,
    std::enable_if_t<
      ptr_is_compatible< data_ptr_type< In& > >{}, int
    > = 0
  >
  array_view( In&& in ):array_view(in.data(), in.size()) {}

  // special ones:
  array_view()=default;
  array_view(array_view const&)=default;
  array_view& operator=(array_view const&)=default;

  // manual ones:
  array_view( T* ptr, std::size_t N ):array_view(ptr, ptr+N) {}
  array_view( T* s, T* f ):b(s), e(f) {}

  // from C-style array:
  template<class U, std::size_t N,
    std::enable_if_t<
      ptr_is_compatible< U* >{}
    ,int> = 0
  >
  array_view( U(&arr)[N] ):array_view(arr, N) {}

  template<class Container>
  Container copy_to() const {
    return {begin(), end()};
  }
};

虽然花哨，但它是标准布局。因此，只有最疯狂的 ABI 更改才会破坏它。

现在你的头文件是这样的:

extern __attribute__((visibility("default"))) void foo(array_view<const char>, int);

调用者可以用foo( "hello", 7 )调用它或 foo( std::string("hello"), 42 )或 foo( std::vector<char>{'a', 'b', 'c'}, 18 )管他呢。你不在乎。

指向缓冲区起始端的指针是在调用方完成的，因此您不知道传递的内容的布局。

在内部，您可以使用 arg.to<std::string>() 编码回容器如果你需要的话。