Question

我正在尝试创建一个包含一种或另一种类型的地图的类，所以我决定使用匿名联合。但是当我尝试访问地图时，我的代码会出现分段错误（在这种情况下，我在构造函数和析构函数中都得到了段错误）：

#include <map>
#include <string>
#include <iostream>

class Foo
{
    private:
        union
        {
            std::map<std::string, int> ints;
            std::map<std::string, std::string> strings;
        };

        bool fooContainsInts;

    public:

        Foo(bool containsInts) : fooContainsInts(containsInts) 
        {
            if (containsInts) {ints = std::map<std::string, int>();}
            else {strings = std::map<std::string, std::string>();}
        }

        ~Foo()
        {
            if (fooContainsInts) {ints.clear();}
            else {strings.clear();}
        }
};  

int main() 
{
    std::cout << "No segfault here!" << std::endl;
    Foo foo(true);
    std::cout << "This line doesn't get printed" << std::endl;
    return 0;
}

Answer 1

我建议模仿类型而不是联合，但这可能对你有帮助。

http://en.cppreference.com/w/cpp/language/union

第二个例子向您展示了如何处理非POD联盟成员。

看起来应该是这样的

    Foo(bool containsInts) : fooContainsInts(containsInts) 
    {
        if (containsInts) { new (&ints) std::map<std::string, int>;}
        else { new (&strings) std::map<std::string, std::string>;}
    }

    ~Foo()
    {
        if (fooContainsInts) { ints.~map<std::string, int>(); }
        else { strings.~map<std::string, std::string>(); }
    }

我现在无法在MSCV上测试它。

您需要显式构造和销毁非POD联合类型

Answer 2

包含std::map类型的大多数STL容器不能在联合中，因为它具有非平凡的＃34;成员职能。有关工会内可以和不可以的内容的详细信息，请参阅wiki。

union用于在多种数据类型之间共享内存。请注意，std::map容器将堆分配存储每个节点的实际数据所需的内存。那些堆分配不在联合中。

访问类内部联合内部的映射会给出分段错误

2 个答案: