在进程间内存中使用boost :: optional是否安全？

Question

请考虑以下结构:

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文档中明确提到了进程间案例,只是暗示了.

Answer 1

你是对的。boost::Optional 包装值，而不是使用指针间接。这意味着普通的旧数据对象（例如整数）可以存在于共享内存区域中。一般来说，利用堆的对象不能以这种方式使用。

来自 boost::可选文档：

必须牢记可选和指针之间的区别，特别是因为关系运算符的语义不同：因为可选是值包装器......

boost::Optional 包装值，而不是使用指针和间接。您的 boost::Optional 内存布局的基本模型或多或少是正确的。实际实现使用联合包装通用对齐字节缓冲区来避免必须初始化 T 对象。该库使用 &（地址）运算符来获取进程地址空间中字节缓冲区的本地映射地址。然后将该本地内存地址转换为 T 类型的指针或引用。

源代码可以在<boost/可选/可选.hpp>找到