您可以为具有 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成员的逻辑来执行此操作。

问题：

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

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

Answer 1

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

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

但是，如果由于圆顶原因您不能使用std::variant则可以使用std::construct_at函数编写复制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