抽象类的单参数构造函数添加explicit关键字是否会产生行为差异？

明确结论：抽象类的单参数构造函数加不加explicit，确实会产生不同的行为，核心差异体现在派生类构造继承、模板推导等场景中，具体如下：

1. 派生类继承构造函数时的隐式转换权限 #

当派生类通过using声明继承抽象基类的构造函数时，基类构造函数的explicit属性会被直接继承：

• 如果抽象基类构造函数未加explicit，派生类会继承一个非explicit的单参构造函数，此时允许将Bar对象隐式转换为派生类对象：

  class Derived : public Foo {
  public:
      using Foo::Foo;
      void run() override {}
  };
  
  void func(const Derived& d) {}
  
  int main() {
      Bar b;
      func(b); // 编译通过：Bar隐式转换为Derived
  }
  

• 如果抽象基类构造函数加了explicit，派生类继承的构造函数也会是explicit的，此时隐式转换被禁止，必须显式构造派生类对象：

  // 同上Derived定义
  int main() {
      Bar b;
      func(b); // 编译失败：无法将Bar隐式转换为Derived
      func(Derived(b)); // 编译通过：显式构造
  }
  

2. 模板推导中的行为差异 #

在模板参数推导场景中，explicit会阻止编译器将Bar对象尝试隐式转换为抽象基类Foo：

• 如果构造函数未加explicit，编译器在推导模板参数时会尝试将Bar转换为Foo，但由于Foo是抽象类无法实例化，最终导致编译错误：

  template<typename T>
  void func(T&& t) {}
  
  int main() {
      Bar b;
      func(b); // 编译失败：尝试将Bar转为Foo，但Foo是抽象类无法实例化
  }
  

• 如果构造函数加了explicit，编译器不会考虑从Bar到Foo的隐式转换，会直接推导T为Bar&，函数调用正常编译：

  template<typename T>
  void func(T&& t) {}
  
  int main() {
      Bar b;
      func(b); // 编译通过：T推导为Bar&，直接接受Bar对象
  }
  

3. 直接尝试隐式转换的错误提示差异 #

虽然抽象类无法直接实例化，但explicit会影响编译器的错误提示逻辑：

• 未加explicit时，编译器会先尝试执行隐式转换，再抛出“无法实例化抽象类”的错误；
• 加了explicit时，编译器直接抛出“无法将Bar转换为Foo”的错误，错误信息更直接指向转换被禁止的核心原因。

总结来说，即使是抽象类，explicit关键字依然会影响代码的编译行为，尤其是在派生类继承构造函数和模板推导的场景中，因此是否添加explicit仍需根据是否允许隐式转换的设计需求来决定。

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