C++如何静态断言指定函数/构造函数永不被调用

针对虚继承场景下需要保留默认构造的语法可见性、但禁止实际调用的需求，可以通过受保护的删除默认构造+中间派生类透传基类构造的方式实现编译期检查，完全不需要依赖运行时异常，具体实现如下：

核心实现逻辑 #

• 将Base的默认构造声明为protected权限下的=delete：该构造函数在语法层面真实存在、对所有派生类可见，满足C++虚继承规则对中间派生类的语法要求，但只要有代码尝试实际调用该构造，会直接触发编译错误。
• 在直接虚继承Base的中间类Left、Right中添加using Base::Base;声明，透传基类构造函数的可见性，保证中间类自身编译时不会因为找不到基类默认构造报错。
• 最派生类必须显式在初始化列表调用Base(int)构造，否则编译器会尝试调用被删除的默认构造，直接在编译阶段拦截错误，不会留到运行时。

修改后示例代码 #

class Base {
protected:
  Base() = delete; // 语法存在、派生类可见，但禁止实际调用
  Base(int); // 业务可用的合法构造函数
private:
  // 由Base(int)负责初始化的成员变量
};

class Left: virtual public Base {
protected:
  using Base::Base; // 透传基类构造，满足虚继承语法要求
  Left(int) {
    // Left自身成员的初始化逻辑，不需要实际调用Base()
  }
};

class Right: virtual public Base {
protected:
  using Base::Base; // 与Left逻辑一致
  Right(int) {
    // Right自身成员的初始化逻辑
  }
};

class Bottom: public Left, public Right {
public:
  // 正确写法：显式调用Base(int)，编译正常通过
  Bottom(int b, int l, int r): Base{b}, Left{l}, Right{r} {}

  // 错误写法：如果漏写初始化列表中的Base{b}，编译器会尝试调用被删除的Base()
  // 直接触发编译错误，不会生成可执行文件，彻底避免运行时异常
};

方案适配性说明 #

该方案完全符合约束条件：

• 默认构造没有被设置为private，对所有派生类可见
• 构造函数在语法层面真实存在，满足虚继承下中间派生类的编译要求
• 不存在运行时开销，所有误调用都会在编译阶段被拦截
• 不需要修改现有业务构造函数的调用逻辑，原有正确写法的代码不需要任何调整

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