委托复制构造函数和常量数据初始化

Question

我有一个类A 有很多数据成员，其中一些是不变的。所有数据成员都有适当的复制构造函数，所以我想默认我的类的复制构造函数：

class A
{
public:
        A() : a(1) {}
        A(const A& op) = default;
private:
        // ... Lots of constant and non-constant member data ...
        const int a;
};

然后，我想编写一个构造函数，它接受对A 的引用和一个应该初始化常量数据成员之一的值：

A(const A& op, const int a_);

这里应该复制op，之后应该用a_ 初始化a，或者不要复制。我想通过委托给复制构造函数来避免手动初始化所​​有数据成员，但是在这种情况下如何覆盖我的 const 数据成员？ 例如：

// Illegal: constructor delegation can't be mixed with field initialization.
A(const A& op, const int a_) : A(op), a(a_) {}

// Illegal: attempt to assign constant member.
A(const A& op, const int a_) : A(op) { a = a_; } 

// Hack. May lead to UB in some cases.
A(const A& op, const int a_) : A(op)
{
    *(const_cast<int*>(&a)) = a_;
    // ... or same tricks with memcpy ...
}

显然，所有这些方法都是邪恶的，因为它们尝试初始化 a 两次。

另一种解决方案是将所有常量数据移至基类并编写所有需要的 ctor，但它看起来很冗长。

有没有更简洁的方法来实现A(const A&, int a_)？

Answer 1

不幸的是，C++ const 字段初始化是一个非常特殊的情况，具有特定的语法，构造函数委托也是如此，并且构造函数语法没有规定可以混合它们，所以这里没有干净整洁的解决方案（至少对于当前的 C++版本，也许以后......）。我能想象的最好的是：

class A
{
public:
        A() : a(1) {}
        A(const A& op):
             const_field1(op.const_field1),..., a(op.a) // all const fields here
           { init() };
        A(const A& op, int a_):
             const_field1(op.const_field1),..., a(a))   // dup line at editor level

private:
        void init(void) {
            // init non const fields here
        }
        // ... Lots of constant and non-constant member data ...
        const int a;
};

如果您只有一个复制 ctor 和一个额外的 ctor，这没有任何意义，但如果您有许多额外的 ctor，它可以简化代码的可维护性。遗憾的是，只有非常量的字段设置才能通过私有方法在不同的ctors之间进行因式分解，但C++标准就是这样。

Answer 2

带有完整初始化列表的复制构造函数呢？由于您的数据是常量，因此您只能使用初始化列表为其分配一个值。

A(const A& op, int a_) : 
  prop_a(op.prop_a_), 
  prop_b(op.prop_b_), 
  // continue for all members ...
  a(a_)  // except a
{
}