如何确定指针转换将被偏移的编译时间

Question

有几种方法可以在运行时检测到这一点，但我找不到一种方法来确定在编译时是否会偏移指向类的指针。

class MyA
{
public:
    int m_memberI;
};

class MyB
{
public:
    double m_memberD;
};

class MyC : public MyA, public MyB
{
};

void main()
{
    MyC myC;
    void* pVoidB = dynamic_cast< MyB* >( &myC );

    if( pVoidB != &myC )
    {
        std::cout << "Offset needed!" << std::endl;
    }
}

// **********************************************************************************
// Ideally, I would prefer something like this
//
// static_assert( std::cast_needs_offset< MyB*, MyC* >::value, "Offset detected!!!" );
// **********************************************************************************

编译器显然有这些信息，但我找不到可以帮助我的type_trait。

你的袖子上有什么技巧？

Answer 1

我发现了几个关于同一问题的问题。这不是我想要的，我不能使用这些解决方案，但经过大量的研究，我认为我不可能完成我想做的事情，因为每个类的第一个成员在模板库中是未知的水平。

请参阅：

How to do a static assert that a pointer cast is trivial?

和

C++, statically detect base classes with differing addresses?

static_assert(offsetof(MyC, m_memberI) == offsetof(MyA, m_memberI));
static_assert(offsetof(MyC, m_memberD) != offsetof(MyB, m_memberD));

不幸的是，这对我的特殊问题毫无用处。