共有メモリは元々POD構造のみを許可します(基本的に、コンストラクタ/コピーなどがある場合があります...)。
Boost.Interprocess
共有メモリセグメントへのオフセットの上にポインタセマンティクスをエミュレートすることにより、バーを上げます。
ただし、仮想ポインターは純粋なデータへのポインターではなく、コードセクションへのポインターです。コードセクションは、あるプロセスから別のプロセスに同じアドレスにマップされるとは限らないため、複雑になります。同じバイナリ)。
つまり...いいえ、仮想ポインタ-ポリモーフィックオブジェクトを共有メモリに保存することはできません。
ただし、多くのC ++実装が仮想ポインタメカニズムの使用を選択したからといって、これがポリモーフィックな動作をする唯一の方法であるとは限りません。たとえば、LLVMとClangでは、閉じた階層に基づいて、仮想ポインター(およびRTTI)なしでポリモーフィズムを取得し、メモリ要件を削減します。これらのオブジェクトは、事実上、共有メモリに保存できます。
したがって、共有メモリと互換性のあるポリモーフィズムを取得する方法:テーブル/関数へのポインタを格納する必要はありませんが、インデックスを格納することはできます。
アイデアの例ですが、おそらく洗練されている可能性があります。
/// In header
#include <cassert>
#include <vector>
template <class, size_t> class BaseT;
class Base {
template <class, size_t> friend class BaseT;
public:
int get() const; // -> Implement: 'int getImpl() const' in Derived
void set(int i); // = 0 -> Implement: 'void setImpl(int i)' in Derived
private:
struct VTable {
typedef int (*Getter)(void const*);
typedef void (*Setter)(void*, int);
VTable(): _get(0), _set(0) {}
Getter _get;
Setter _set;
};
static std::vector<VTable>& VT(); // defined in .cpp
explicit Base(size_t v): _v(v) {}
size_t _v;
}; // class Base
template <class Derived, size_t Index>
class BaseT: public Base {
public:
BaseT(): Base(Index) {
static bool const _ = Register();
(void)_;
}
// Provide default implementation of getImpl
int getImpl() const { return 0; }
// No default implementation setImpl
private:
static int Get(void const* b) {
Derived const* d = static_cast<Derived const*>(b);
return d->getImpl();
}
static void Set(void* b, int i) {
Derived* d = static_cast<Derived*>(b);
d->setImpl(i);
}
static bool Register() {
typedef Base::VTable VTable;
std::vector<VTable>& vt = Base::VT();
if (vt.size() <= Index) {
vt.insert(vt.end(), Index - vt.size() + 1, VTable());
} else {
assert(vt[Index]._get == 0 && "Already registered VTable!");
}
vt[Index]._get = &Get;
vt[Index]._set = &Set;
}
}; // class BaseT
/// In source
std::vector<VTable>& Base::VT() {
static std::vector<VTable> V;
return V;
} // Base::VT
int Base::get() const {
return VT()[_v]._get(this);
} // Base::get
void Base::set(int i) {
return VT()[_v]._set(this, i);
} // Base::set
わかりました...コンパイラの魔法に感謝していると思います...
使用法に関しては、幸いなことにはるかに簡単です。
/// Another header
#include <Base.h>
// 4 must be unique within the hierarchy
class Derived: public BaseT<Derived, 4> {
template <class, size_t> friend class BaseT;
public:
Derived(): _i(0) {}
private:
int getImpl() const { return _i; }
void setImpl(int i) { _i = i; }
int _i;
}; // class Derived
ideoneで動作中。