Question

我创建了一个结构，使用union作为其字段。这是一个小代码示例：

#include <iostream>
#include <string>

enum Type
{
    STR, 
    INT
};

struct MyStruct
{
    Type type;
    union Value
    {
        std::string str;
        int i;
        Value(){}
        ~Value(){};

    } value;
    void setType(Type type)
    {
        this->type = type;
    }
    void setValue(const std::string& data)
    {
        this->value.str = data;
    }
    MyStruct(){}
    ~MyStruct(){}
};

int main()
{
    MyStruct my;
    my.setType(Type::STR);
    my.setValue("Hallo");

   std::cout << my.value.str << std::endl; 

   return 0;
}

设置值我收到错误（分段错误（核心转储））这样做的正确方法是什么？谢谢！

Answer 1

小心点。工会中的非POD类型正在寻找麻烦。这样说，这在C ++ 11中是受支持的，前提是您最多只能初始化一个成员。这意味着你必须改变工作方式。

琐碎的是，要立即修复你的程序，你只需使用新的位置：

void setValue(const std::string& data)
{
    new (&value.str) std::string(data);
}

但是现在，如果您想稍后设置不同的成员，则需要在字符串上使用placement delete。要实现这一点，您需要知道有一个字符串可以开始。因此，您无法轻松地将setValue与setType分开。

一个选项（不是特别好）是：

private:
  void setType( type ) {
      // Destruct existing type
      switch( this->type ) {
      case STR:
          value.str.~std::string();
          break;
      default:;
      }

      this->type = type;
  }

public:
  void setValue( const std::string& data )
  {
      setType( STR );
      new (&value.str) std::string(data);
  }

  void setValue( int data )
  {
      setType( INT );
      value.i = data;
  }

不要忘记在~MyStruct中正确破坏价值。

Answer 2

尽管C ++ 11确实允许你在一个union中使用类，但它通常被认为是不好的做法，因为它是一个未定义行为的雷区。

如果你的union的构造函数没有构造一个类实例的union的成员 - 就像你的示例代码一样 - 根据定义，类实例永远不会被构造。

然后，您的代码会尝试使用union的类成员。即其运营商=。由于尚未构造此类实例，因此这将成为未定义的行为，从而导致崩溃。

坚持POD你的工会。不那么悲伤。

分配联盟的字段

2 个答案: