6

我有一个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_)？

4

2 回答 2

2

不幸的是，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，它可以简化代码的可维护性。遗憾的是，只有非 const 字段设置才能使用私有方法在不同的 ctor 之间进行因式分解，但 C++ 标准就是这样。

于 2017-08-01T09:39:54.797 回答
0

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

A(const A& op, int a_) : 
  prop_a(op.prop_a_), 
  prop_b(op.prop_b_), 
  // continue for all members ...
  a(a_)  // except a
{
}
于 2017-08-01T08:47:10.747 回答