构造函数调用虚方法触发Clang-Tidy警告：含义与UB判定

问题代码 #

class IInterface {
  public:
    virtual ~IInterface() {}
    virtual void doSomething() = 0;
};

class Concrete : public IInterface {
  public:
    Concrete() : data{0} {doSomething();}
    void doSomething() override {std::cout << "I am doing something concrete" << std::endl;}
  private:
    int data;
};

Clang-Tidy警告内容 #

Call to virtual method doSomething during construction bypasses virtual dispatch

疑问解答 #

1. 警告的含义 #

这个警告提示你当前调用的虚方法不会走动态（虚）分发，而是采用静态绑定，并非提示存在未定义行为。

在Concrete构造函数中直接写doSomething()时，编译器会静态解析为调用Concrete::doSomething()，不会通过虚表做动态查找——C++标准明确规定：对象构造/析构期间调用虚函数，只会调用当前正在构造/析构的类的版本，不会考虑派生类的重写逻辑。

当你显式写出Concrete::doSomething()时，相当于明确告知编译器你的调用意图，不存在“意外绕过虚分发”的歧义，因此警告会消失。

2. 是否属于未定义行为？ #

这种情况完全合法，不属于未定义行为。只要调用的虚函数不是未实现的纯虚函数（这里Concrete已经完整实现了doSomething），就符合标准要求。只有在基类构造函数中调用纯虚函数时，才会触发未定义行为。

实际构造执行流程纠正 #

你对执行流程的理解存在几处偏差，实际完整流程如下：

1. 为Concrete对象c分配内存（包含基类子对象和派生类成员的全部空间）。
2. 执行基类IInterface的构造函数：
   • 基类构造期间，对象的动态类型为IInterface，虚表指针（__vptr）指向基类虚表（其中doSomething指向纯虚函数入口）。
   • 基类构造完成后，虚表指针暂未更新，仍指向基类虚表。
3. 进入派生类Concrete的构造流程：
   • 首先执行成员初始化列表，将data初始化为0。
   • 在进入构造函数体之前，虚表指针会被更新为指向Concrete类的虚表。
   • 执行构造函数体中的doSomething()：此时编译器会强制采用静态绑定，直接调用Concrete::doSomething()，不会触发虚表的动态查找（哪怕此时虚表已经是派生类的）。

核心要点：无论虚表指针当前状态如何，C++标准强制要求构造/析构阶段调用虚函数时采用静态绑定，不会走动态分发逻辑。

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