不对虚拟基类使用默认构造函数
Not to use default constructor for virtual base class
我研究了理解虚拟基类和构造函数调用,我了解到最派生的类将直接调用顶级基类默认构造函数。但是有没有一种方法可以不调用top-base默认构造函数呢?
我的问题的一个例子,
#include <iostream>
#include <cstdint>
////// BEGIN LIBRARY CODE
class A
{
public:
A()
{
std::cout << __PRETTY_FUNCTION__ << 'n';
}
A(int)
{
std::cout << __PRETTY_FUNCTION__ << 'n';
}
};
class B : virtual public A
{
public:
B()
{
std::cout << __PRETTY_FUNCTION__ << 'n';
}
};
class C: virtual public A
{
public:
C()
{
std::cout << __PRETTY_FUNCTION__ << 'n';
}
};
class D: public B, public C
{
public:
D(int x) : A(x), B(), C() // ok. works as expected
{
std::cout << __PRETTY_FUNCTION__ << 'n';
}
};
////// END LIBRARY CODE
////// USER CODE BEGINS
class E: public D
{
public:
E() : D(42) // problem, invokes A(), not A(int)
{
std::cout << __PRETTY_FUNCTION__ << 'n';
}
E(int x) : D(x) // same problem
{
std::cout << __PRETTY_FUNCTION__ << 'n';
}
};
////// USER CODE ENDS
int main()
{
D d(1);
E e1,e2(42);
}
输出
A::A(int)
B::B()
C::C()
D::D(int)
A::A()
B::B()
C::C()
D::D(int)
E::E()
A::A()
B::B()
C::C()
D::D(int)
E::E(int)
问题:
我希望E
只关心D
的构造。但从一开始的解释来看,如果我不在下面添加A::A(int)
,无论我如何更新D类,我都将始终使用默认构造函数
E() : A(42), D(42) // works, but undesirable
{
std::cout << __PRETTY_FUNCTION__ << 'n';
}
E(int x) : A(x), D(x) // this works, but undesirable
{
std::cout << __PRETTY_FUNCTION__ << 'n';
}
简而言之,我不希望用户代码class E
扩展库代码class D
必须指定class A
的构造参数,因此…
- 有没有什么方法可以由继承链中的"中间"类(如我上面的例子中的
D
类)来完成,以减轻派生类最多的情况
顶级类的构造函数调用所有虚拟基的构造函数。但这与为直接的非虚拟基调用构造函数没有什么不同:如果你放入显式构造函数调用,编译器就会使用它;如果不这样做,它将使用默认构造函数。所以答案是否定的,如果默认构造函数不合适,你就无法避免从E.调用A的构造函数
相关文章:
- 为什么在没有显式默认构造函数的情况下,将另一个结构封装在联合中作为成员的结构不能编译
- 初始化具有非默认构造函数的std::数组项的更好方法
- 具有默认模板类型的默认构造函数的类型推导
- 如何使用非默认构造函数实例化模板化类
- 有没有一种代码密度较低的方法来使用非默认构造函数初始化数组?
- 声明没有默认构造函数的字段
- 没有默认构造函数作为模板参数的自定义比较器
- C++17 没有默认构造函数的地图放置(私有默认构造函数)
- 使用移动调用对等构造函数unique_ptr默认构造函数
- C++复制构造函数和默认构造函数
- 将向量从 N1 缩小到 N2 项,而不触发默认构造函数并仅使用 move 语义
- 为什么即使我调用参数化构造函数也会调用默认构造函数?
- 具有非默认构造函数的单例类
- 在 C++ 中声明 const 对象需要用户定义的默认构造函数.如果我有一个可变成员变量,为什么不呢?
- 如何处理没有默认构造函数但在另一个构造函数中构造的对象?
- 在C++中使用默认构造函数初始化对象的不同方法
- 在没有默认构造函数的情况下创建的派生对象
- 强制使用默认构造函数对成员进行未初始化的声明
- 使用默认构造函数初始化对象的不同方法
- 创建类类型的动态分配数组,其中类不得具有默认构造函数