c – 在库的公共API中转换远离std :: string,std :: ostream等

使用良好的字符串视图.

不要使用std :: String const&虚拟过载;没有理由.无论如何,你正打破ABI.一旦他们重新编译,他们将看到新的基于字符串视图的重载,除非他们正在获取并存储指向虚函数的指针.

要在不使用中间字符串的情况下进行流式传输,请使

void CPS_to_String( Bar const& bar,MyFunctionView< void( MyStringView ) > cps );

其中cps被重复调用部分缓冲区,直到对象被序列化出来.写<<最重要的是(在标题中内联).函数指针间接有一些不可避免的开销. 现在只使用虚拟接口,永远不会重载虚方法,并始终在vtable的末尾添加新方法.因此,不要暴露复杂的heirarchies.扩展vtable是ABI安全的;加到中间不是. FunctionView是一个简单的手动非拥有std函数克隆,其状态为void *和R(*)(void *,args&& …),它们应该是ABI稳定的以跨越库边界.

template<class Sig>
struct FunctionView;

template<class R,class...Args>
struct FunctionView<R(Args...)> {
  FunctionView()=default;
  FunctionView(FunctionView const&)=default;
  FunctionView& operator=(FunctionView const&)=default;

  template<class F,std::enable_if_t<!std::is_same< std::decay_t<F>,FunctionView >{},bool> = true,std::enable_if_t<std::is_convertible< std::result_of_t<F&(Args&&...)>,R>,bool> = true
  >
  FunctionView( F&& f ):
    ptr( std::addressof(f) ),f( [](void* ptr,Args&&...args)->R {
      return (*static_cast< std::remove_reference_t<F>* >(ptr))(std::forWARD<Args>(args)...);
    } )
  {}
private:
  void* ptr = 0;
  R(*f)(void*,Args&&...args) = 0;
};
template<class...Args>
struct FunctionView<void(Args...)> {
  FunctionView()=default;
  FunctionView(FunctionView const&)=default;
  FunctionView& operator=(FunctionView const&)=default;

  template<class F,Args&&...args)->void {
      (*static_cast< std::remove_reference_t<F>* >(ptr))(std::forWARD<Args>(args)...);
    } )
  {}
private:
  void* ptr = 0;
  void(*f)(void*,Args&&...args) = 0;
};

这使您可以通过API障碍传递通用回调.

// f can be called more than once,be prepared:
void ToString_CPS( Bar const& bar,FunctionView< void(MyStringView) > f );
inline std::ostream& operator<<( std::ostream& os,const Bar& bar )
{
  ToString_CPS( bar,[&](MyStringView str) {
    return os << str;
  });
  return os;
}

并实施ostream& << MyStringView const&在标题中.

2级

将每个操作从头文件中的C API转发到extern“C”pure-C函数(即将StringView作为一对char const * ptrs传递).仅导出extern“C”符号集.现在,符号改变不再破坏ypur ABI.

C ABI比C更稳定,并且通过强制您将库调用分解为“C”调用,可以使ABI明显改变.使用C头胶使物品清洁,C使ABI坚固.

如果您愿意冒险,可以保留纯虚拟接口;使用与上面相同的规则(简单的heirarchies,没有重载,只添加到最后),你将获得体面的ABI稳定性.