C ++ std :: atomic联合

Question

如何使用std :: atomic将并集设置为atomic？ 还是我必须声明工会的成员是原子的？

typedef union {
    int integer;
    float flt;
    double dbl;
    int *intArray;
    float *floatArray;
    unsigned char *byteArray;
} ValueUnion;

class FooClass {
public:
    std::atomic<ValueUnion> value;

}; 

访问联合会出现错误：

foo->value.floatArray = NULL;

error: no member named 'floatArray' in 'std::__1::atomic<ValueUnion>'
                    foo->value.floatArray = NULL;

我需要做类似的事情吗？

typedef union {
    std::atomic<int> integer;
    std::atomic<float> flt;
    std::atomic<double> dbl;
    std::atomic<int*> *intArray;
    std::atomic<float*> *floatArray;
    std::atomic<unsigned char*> *byteArray;
} ValueUnion;

并声明成员变量值如下？

class FooClass {
public:
    ValueUnion value;

}; 

Answer 1

我想您必须使用原子内存访问并编写：

typedef union {
    int integer;
    float flt;
    double dbl;
    int *intArray;
    float *floatArray;
    unsigned char *byteArray;
} ValueUnion;

class FooClass {
public:
    std::atomic<ValueUnion> value;

}; 
int main()
{
    FooClass obj;
    ValueUnion temp = obj.value.load();
    temp.floatArray = NULL;
    obj.value.store(temp); 
}

注意，这不能保证load/modify/store序列是原子的。 您必须自己处理这些说明的安全性（例如互斥体 ）

Answer 2

这取决于您要如何处理。 例如，要将值存储到原子联合中：

foo->value = []{ ValueUnion u; u.floatArray = NULL; return u; }();

要么

foo->value.store([]{ ValueUnion u; u.floatArray = NULL; return u; }());

如果您希望能够对所包含的值执行无锁原子算术（例如原子增量），那么您将需要进行第二个设计（原子的并集）。