继承构造函数和其他变量的解决方法

Workaround for inherited constructor and additional variables

本文关键字：解决 方法 变量 其他 构造函数 继承      更新时间：2023-10-16

我需要一个变通方法或一个很好的解决方案来初始化基类和子类中的一堆常量类变量

问题很简单，我得到了一个基类，它有两个构造函数，并且在子类中有相同的两个构造函数

class BASE {
int a;
int func(float x) { // just a dummy to show that this function
return (a = (int) x) + 2; // modifies a
}
public:
const int b;
BASE(const int b) : b(b) {} // doesn't use a
BASE(const float x) : a(0), b(func(x)) {}
};
struct SUB: public BASE {
const int c;
const int d;
SUB(const int b) : BASE(b), c(b), d(c + 3) {}
SUB(const float x) : BASE(x), c(b), d(c + 3) {}
};

子类需要从BASE调用构造函数来初始化BASE中的类变量，然后子类初始化剩余的变量

到目前为止还不错，但问题是SUB的两个构造函数做的完全相同，只是从BASE 调用了不同的构造函数

我想要那种

SUB() : c(b), d(c + 3) {} // BASE() needs to be defined
SUB(const int b) : BASE(b), SUB() {}
SUB(const float x) : BASE(x), SUB() {}

但这不起作用，因为"对委托构造函数的调用应该是唯一的成员初始值设定项"。。。

将所有内容移出初始值设定项列表是不起作用的，因为这些都是常量类变量

您可以为派生类创建一个"转发构造函数"：

struct SUB: public BASE {
const int c;
const int d;
template <class... T>
SUB(T&&... a) : BASE(std::forward<T>(a)...), c(b), d(c + 3) {}
};

这将接受任意参数，并将它们转发到BASE。当然，它只有在使用对BASE有效的参数调用时才会编译，但这适用于所有情况。

如果你想/需要超级正确，你可以在std::is_constructible<BASE, T&&...>之类的东西上使用SFINAE来调节构造函数，但我不介意。

不幸的是，这是语言的规则，如果您有一个委托构造函数，它必须是初始值设定项列表的唯一部分。

您需要绕过这个限制，例如通过复制默认的构造函数初始值设定项列表：

SUB(const int b) : BASE(b), c(b), d(c + 3) {}
相关文章：