在编译时计算基类的偏移量

时间:2017-05-15 07:01:24

标签: c++ multiple-inheritance

我想知道在编译时是否可以计算基类偏移量。当然,在运行时这很容易,因为static_cast的功能可以被利用,而偏移只是指向派生类的指针的基指针之间的差异。

我在编译时首次尝试获取此内容如下所示:

struct InterfaceRoot {};

struct IInterface1 : InterfaceRoot {
    virtual void MethodI1() = 0;
};

struct IInterface2 : InterfaceRoot {
    virtual void MethodI2() = 0;
};

class CClass : public IInterface1, public IInterface2 {
    virtual void MethodI1() override { /* do something */ }
    virtual void MethodI2() override { /* do something */ }     
};

int main() {

    CClass instance;

    constexpr int offsetI1 = 0; //first base class has no offset
    constexpr int offsetI2 = sizeof(IInterface1);

    //check pointer values against static_cast
    IInterface1* pI1 = reinterpret_cast<IInterface1*>(reinterpret_cast<char*>(&instance) + offsetI1);
    IInterface2* pI2 = reinterpret_cast<IInterface2*>(reinterpret_cast<char*>(&instance) + offsetI2);

    IInterface1* pI1_static_cast = static_cast<IInterface1*>(&instance);
    IInterface2* pI2_static_cast = static_cast<IInterface2*>(&instance);

    return 0;
}

此处,pI1pI1_static_cast与预期相同。 Howerver,pI2pI2_static_cast不相等!?

我可以通过向InterfaceRoot添加虚拟功能或将其全部删除来解决此问题。这是什么原因?

如果我像这样设置继承树,它可以使用上述方法:

struct InterfaceRoot {
    virtual ~InterfaceRoot() {}
};

struct IInterface1 : InterfaceRoot {
    virtual void MethodI1() = 0;
};

struct IInterface2 : InterfaceRoot {
    virtual void MethodI2() = 0;
};

class CClass : public IInterface1, public IInterface2 {
    virtual void MethodI1() override { /* do something */ }
    virtual void MethodI2() override { /* do something */ }
};

有人知道这是为什么吗?顺便说一句,我正在使用Visual Studio 2017。有没有其他方法可以在编译时实现我的目标,或者我最好在运行时计算ofsets并且运行时开销很小?

编辑:

工作运行时实现可能如下所示:

template<typename Derived, typename Base>
inline int CalcBaseOffset() {
    const static int s_off = (reinterpret_cast<char*>(static_cast<Base*>(reinterpret_cast<Derived*>(0x10000000))) - reinterpret_cast<char*>(0x10000000));
    return s_off;
};

int main() {
    //...

    int offsetI1_RT = CalcBaseOffset<CClass, IInterface1>();
    int offsetI2_RT = CalcBaseOffset<CClass, IInterface2>();

    // add offsets to pointer like in the code sample above

}

这种方法可以得到准确的结果,但这会以较小的运行时开销为代价(如果无法在编译时计算偏移量以消除此开销,则可以接受运行时开销。)

1 个答案:

答案 0 :(得分:0)

编译器可能会在基类CClasIInterface1之间的IInterface2中引入填充。

基本上: sizeof(CClas)&gt; = sizeof(IInterface1)+ sizeof(IInterface2)

以下陈述可能会产生错误的地址:

  

IInterface2 * pI2 =   reinterpret_cast(reinterpret_cast(&amp; instance)+   offsetI2