如何检测当前构造函数是否为对象实际类型的最终构造函数？

在类层次结构（如Base -> A -> B）的构造函数中，直接通过typeid或虚函数判断当前构造函数是否属于最终对象的类型是不可行的——根据C++标准，构造函数执行期间，对象的动态类型会被限定为当前正在构造的类（而非最派生类），此时虚表和typeid都无法返回最终对象的类型信息。

更关键的是，构造函数的执行顺序是基类构造完全完成后，才会执行派生类的构造函数体。比如构造B对象时，A的构造函数体执行完毕后，才会进入B的构造函数体。因此在A的构造函数体执行时，程序还未进入派生类的构造流程，无法提前预知后续是否会有更派生的构造函数被调用。

如果你的核心需求是仅当当前类是最终构造的对象类型时，执行特定逻辑，可以通过构造完成后的时机实现。

我们可以利用线程局部变量保存待执行的逻辑，结合基类的析构函数触发逻辑——只有当当前类是最派生类时，对应的逻辑才会被执行。

1. 修改基类Base #

#include <functional>

class Base {
protected:
    // 线程局部变量，保存待执行的"最终构造"逻辑
    inline static thread_local std::function<void()> pending_final_logic;

    Base() = default;

    ~Base() {
        // 构造完成后，执行保存的逻辑（如果存在）
        if (pending_final_logic) {
            pending_final_logic();
            pending_final_logic = nullptr;
        }
    }
};

2. 定义REGISTER宏 #

宏会生成构造函数，并为当前类注册"最终构造"的逻辑：

#define REGISTER(T) \
    T() { \
        // 覆盖之前的逻辑，只有最派生类的逻辑会被保留到基类析构时执行
        Base::pending_final_logic = [this]() { \
            static_cast<T*>(this)->OnFinalConstructor(); \
        }; \
    } \
    void OnFinalConstructor();

3. 用户派生类的使用方式 #

用户只需在类中添加REGISTER宏，并实现OnFinalConstructor方法：

class A : public Base {
    REGISTER(A);

public:
    void OnFinalConstructor() {
        // 仅当A是最终构造的对象类型时，此方法才会被调用
        // 在这里编写你的逻辑
    }
};

class B : public A {
    REGISTER(B);

public:
    void OnFinalConstructor() {
        // 仅当B是最终构造的对象类型时，此方法才会被调用
    }
};

方案说明 #

• 构造A对象时：Base构造→A构造函数体注册A的逻辑→A构造完成→Base析构时执行A::OnFinalConstructor。
• 构造B对象时：Base构造→A构造函数体注册A的逻辑→A构造完成→B构造函数体注册B的逻辑（覆盖A的）→B构造完成→Base析构时执行B::OnFinalConstructor。
• 线程局部变量保证了多线程构造对象时不会互相干扰，符合C++构造函数串行执行的特性。
• 无需知道基类名称，支持多基类、虚基类场景。

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