c++ - 您可以为具有 const 成员的联合编写一个复制构造函数吗？

Question

假设我有一个包含const成员联合的结构，如下所示：

struct S
{
  // Members

  const enum { NUM, STR } type;

  union
  {
    const int a;
    const std::string s;
  };

  // Constructors

  S(int t_a) : type(NUM), a(t_a);

  S(const std::string & t_s) : type(STR), s(t_s);

};

到目前为止，一切都很好。但是现在说我想为这种类型编写一个复制构造函数。

看起来这并不涉及做任何邪恶的事情，但是由于我需要在成员初始化器中初始化 const 成员，所以我不知道如何根据依赖于type成员的逻辑来执行此操作。

问题：

• 是否可以编写此构造函数？

• 如果不是，这本质上是语法疏忽，还是语言不能支持这样的事情有一些根本原因？

标签： c++unions

Answer 1

是的，可以在这里编写复制构造函数。实际上它已经在实现内部完成std::variant，它应该支持const-types 等等。所以你的班级S可以替换为

using S = std::variant<const int, const std::string>;

但是，如果由于圆顶原因您不能使用，则可以使用如下函数std::variant编写复制构造函数：std::construct_at

#include <string>

struct S {
  const enum { NUM, STR } type;

  union {
    const int a;
    const std::string s;
  };

  S(int t_a) : type(NUM), a(t_a) {}
  S(const std::string & t_s) : type(STR), s(t_s) {}
  S(const S & rhs) : type(rhs.type) {
      if ( type == NUM ) std::construct_at( &a, rhs.a );
      if ( type == STR ) std::construct_at( &s, rhs.s );
  }
  ~S() {
      if ( type == STR ) s.~basic_string();
  }
};

int main() {
    S s(1);
    S u = s;

    S v("abc");
    S w = v;
}

演示：https ://gcc.godbolt.org/z/TPe8onhWs