基类为何需要默认构造函数？C++代码报错求解

示例代码 #

#include <string>

struct Float {
    float f;
    Float(float f) : f(f) {}
};

struct FloatOrString : Float {
    using Float::Float;
    std::string s;
    FloatOrString(std::string s) : s(s) {}
};


int main() {
    FloatOrString f1(1.2);
    FloatOrString f2("hello");
}

编译错误信息 #

error: constructor for 'FloatOrString' must explicitly initialize the base class 'Float' which does not have a default constructor

为什么基类需要默认构造函数？ #

问题出在FloatOrString的FloatOrString(std::string s)构造函数上：
当派生类构造函数没有显式指定基类的初始化方式时，编译器会自动尝试调用基类的**默认构造函数（无参构造）**来初始化基类部分。但你定义的Float只提供了带float参数的构造函数，根据C++规则，一旦用户自定义了构造函数，编译器就不会自动生成默认构造函数。此时编译器找不到Float的默认构造函数，就会抛出这个错误。

如何规避必须为基类提供默认构造函数的要求？ #

有两种直接的解决方式：

• 显式初始化基类：在派生类的string构造函数中，明确调用基类的带参构造函数，传入一个合理的默认值，比如：

  FloatOrString(std::string s) : Float(0.0f), s(s) {}
  

  这样编译器就不会再尝试调用基类的默认构造函数，而是用你指定的方式初始化基类部分。
• 改用组合替代继承：如果你的场景不需要FloatOrString作为Float的子类，而是只需要包含Float和string的成员，可以把继承改成组合：

  struct FloatOrString {
      Float f;
      std::string s;
      FloatOrString(float val) : f(val) {}
      FloatOrString(std::string str) : f(0.0f), s(str) {}
  };
  

  这种方式更灵活，也避免了继承带来的基类初始化问题。

内容的提问来源于stack exchange，提问作者Pibben