请考虑以下结构:
struct ThingThatWillGoInSharedMemory {
boost::optional<int> opt_value;
};
我正在使用boost :: interprocess来创建共享内存区域。我对boost :: optional的理解是它是一个有区别的联合而不是一个可空的指针。 作为反例,使用堆的std :: map和std :: vector之类的东西需要一个显式的分配器来在进程间内存中使用它们,但是boost :: optional,我相当肯定不使用堆并且相当于写作:
struct ThingThatWillGoInSharedMemory {
bool value_initialised;
int value;
}
所以它可以开箱即用。如果有人确认这一点,我会很高兴 - 我没有看到在进程中案例是在boost :: optional docs中明确提到的,只是暗示了。
答案 0 :(得分:2)
你是对的。 boost :: optional包装值,而不是使用指针间接。这意味着普通的旧数据对象(如int)可以存在于共享内存区域中。一般来说,使用堆的对象不能以这种方式使用。
来自boost :: optional文档:
必须牢记可选项和指针之间的区别,特别是因为关系运算符的语义不同:因为optional是一个值包装器......
boost :: optional包装值,而不是使用指针和间接。 boost :: optional的内存布局的基本模型或多或少是正确的。实际实现使用包装通用对齐字节缓冲区的联合来避免必须初始化T对象。图书馆使用&amp; (address-of)运算符,用于获取进程地址空间中字节缓冲区的本地映射地址。然后将此本地内存地址强制转换为类型为T的指针或引用。
找到源代码