在抽象基类上使用 __declspec(novtable) 是否会以任何方式影响 RTTI？

Question

或者，使用 __declspec(novtable) 是否还有其他已知的负面影响？我似乎找不到任何问题的参考。

Answer 1

MSCV 使用每个对象一个 vptr，每个类一个 vtbl 来实现 OO 机制，例如 RTTI 和虚函数。
因此，当且仅当 vptr 设置正确时，RTTI 和虚拟函数才能正常工作。

struct __declspec(novtable) B {
    virtual void f() = 0;
};
struct D1 : B {
    D1() {
    }       // after the construction of D1, vptr will be set to vtbl of D1.
};
D1 d1;      // after d has been fully constructed, vptr is correct.
B& b = d1;  // so virtual functions and RTTI will work.
b.f();      // calls D1::f();
assert( dynamic_cast<D1*>(&b) );
assert( typeid(b) == typeid(D1) );

使用__declspec(novtable)时B应该是一个抽象类。
除了 D1 的构造函数之外，不会有 B 的实例。
并且 __declspec(novtable) 在大多数情况下没有负面影响。

但在构造派生类时__declspec(novtable)会使其与ISO C++语义不同。

struct D2 : B {


    D2() {  // when enter the constructor of D2 \  
            //     the vtpr must be set to vptr of B \
            //     if  B didn't use __declspec(novtable).
            // virtual functions and RTTI will also work.

            this->f(); // should calls B::f();
            assert( typeid(*this) == typeid(B) );
            assert( !dynamic_cast<D2*>(this) );
            assert( dynamic_cast<B*>(this) );

            // but __declspec(novtable) will stop the compiler \
            //    from generating code to initialize the vptr.
            // so the code above will crash because of uninitialized vptr.
    }
};

注意：virtual f() = 0;使 f 成为一个纯虚函数，并使 B 成为一个抽象类。
纯虚函数的定义可能（不是必须）丢失。
C++ 允许在构造函数中调用虚函数，但我们不推荐这样做。

更新：
D2 中的一个错误：派生构造函数中的 vptr。

struct D3 : B {  // ISO C++ semantic
    D3() {       // vptr must be set to vtbl of B before enter
    }            // vptr must be set to vtbl of D2 after leave
};

但vptr在构造过程中是不确定的，这也是不建议在构造函数中调用虚函数的原因之一。

如果D2::D2()中的vptr是B，并且缺少B::f()的定义， this->f(); 在 vtbl 中取消引用函数指针时会崩溃。
如果 D2::D2() 中的 vptr 是 B 并且 B 使用 novtable，则当取消引用未初始化的 vptr 时，this->f(); 将会崩溃。

事实上，D2:: 中的 vptr D2() 是 MSVC(msvc8) 中的 D2。编译器在执行 D2::D2() 中的其他代码之前将 vptr 设置为 D2。
因此 this->f(); 调用 D2::f() 并且这三个断言将被违反。

Answer 2

如果我理解正确的话：
ctor 或 dtor 内的任何虚拟 fn 调用都会转换为编译时链接。我们无法从 (c/d)tor 进行虚拟 fn 调用。原因是，在创建基类的对象时，它不知道派生类，因此无法调用派生类，并且适用相同的逻辑。