C++ 标准库和 Boehm 垃圾收集器

问题描述：

我想在 Linux/AMD64/Debian 上使用 GCC 4.6（可能是最新的 C++11 标准）开发一个多线程 C++ 应用程序（其中最终大多数 C++ 代码将由应用程序本身生成，可以看作是一种高级领域特定语言）。

我确实希望在所有堆分配中使用Boehm 的保守垃圾收集器，因为我想分配new(GC)，而不必担心delete。我假设 Boehm 的 GC 运行良好。

使用 C++（而不是 C）的主要动机是C++ 标准库提供的所有算法和集合std::map...。std::vector

Boehm 的 GC 提供了一个gc_allocator<T>模板（在其文件 gc/gc_allocator.h 中）。

我应该重新定义operator ::new为 Boehm 的吗？

或者我应该使用所有集合模板并将显式分配器模板参数设置为某些gc_allocator？我不明白第二个模板参数（分配器）对std::vector的作用是什么？它是用来分配向量内部数据，还是用来分配每个单独的元素？

那么std::string-s 呢？如何让它们的数据basic_string由 GC 分配？我应该使用带有 的模板来拥有自己的字符串吗gc_allocator？有没有办法让内部的 char 数组由 分配而GC_malloc_atomic不是GC_malloc？

或者您建议不要在由 g++ 编译的应用程序中使用 Boehm GC？

问候。

解决方案 1：

为了部分回答我自己的问题，以下代码

// file myvec.cc
#include <gc/gc.h>
#include <gc/gc_cpp.h>
#include <gc/gc_allocator.h>
#include <vector>

class Myvec {
  std::vector<int,gc_allocator<int> > _vec;
public:
  Myvec(size_t sz=0) : _vec(sz) {};
  Myvec(const Myvec& v) : _vec(v._vec) {};
  const Myvec& operator=(const Myvec &rhs) 
    { if (this != &rhs) _vec = rhs._vec; return *this; };
  void resize (size_t sz=0) { _vec.resize(sz); };
  int& operator [] (size_t ix) { return _vec[ix];};
  const int& operator [] (size_t ix) const { return _vec[ix]; };
  ~Myvec () {};
};

extern "C" Myvec* myvec_make(size_t sz=0) { return new(GC) Myvec(sz); }
extern "C" void myvec_resize(Myvec*vec, size_t sz) { vec->resize(sz); }
extern "C" int myvec_get(Myvec*vec, size_t ix) { return (*vec)[ix]; }
extern "C" void myvec_put(Myvec*vec, size_t ix, int v) { (*vec)[ix] = v; }

使用以下方式编译时g++ -O3 -Wall -c myvec.cc生成目标文件：

 % nm -C myvec.o
                 U GC_free
                 U GC_malloc
                 U GC_malloc_atomic
                 U _Unwind_Resume
0000000000000000 W std::vector<int, gc_allocator<int> >::_M_fill_insert(__gnu_cxx::__normal_iterator<int*, std::vector<int, gc_allocator<int> > >, unsigned long, int const&)
                 U std::__throw_length_error(char const*)
                 U __gxx_personality_v0
                 U memmove
00000000000000b0 T myvec_get
0000000000000000 T myvec_make
00000000000000c0 T myvec_put
00000000000000d0 T myvec_resize

::operator new因此，生成的代码中没有普通的 malloc 。

因此，通过使用gc_allocatorand，new(GC)我显然可以确保在我不知情的情况下不会使用普通的::opertor newor malloc，而且我不需要重新定义::operator new

附录（2017 年 1 月）

供将来参考（感谢 Sergey Zubkov 在Quora 的评论中提到它），另请参阅n2670和<memory>垃圾收集支持（如std::declare_reachable、std::declare_no_pointers、std::pointer_safety等...）。但是，至少在当前的 GCC 或 Clang 中尚未实现（除了以简单但可接受的方式使其成为无操作）。