c++ - 编译时测试 void* 两个类之间的铸造安全性

Question

#include <cassert>

struct a
{
    virtual ~a() {}
    char a_[10];
};

struct b
{
    virtual ~b() {}
    char b_[20];
};

struct c : public a
{
    virtual ~c() {}
    char c_[15];
};

struct d : public b, a
{
    virtual ~d() {}
    char d_[5];
};

int main()
{
    a a_;
    c c_;
    d d_;

    a* a__ = &a_;
    a* c__ = &c_;
    a* d__ = &d_;

    assert((void*)&a_ == (void*)a__);
    assert((void*)&c_ == (void*)c__);
    assert((void*)&d_ == (void*)d__); // error on most compiler
}

我正在寻找一种方法来测试类继承图中的 void* 强制转换安全性，它可以在编译时检测到第三个断言。

template<typename Base, typename Derived>
struct test
{
    enum {
        is_safe = (static_cast<Derived*>(static_cast<Base*>(nullptr)) == nullptr)
    };
};

我的意图在上面的代码中有所描述，但它不会被编译，因为强制转换不是常量表达式。是否可以以独立于平台/编译器的方式检查它？

Answer 1

根据标准，转换 from Xtovoid*和 then from void*to仅当与 相同Y时才明确定义。其他一切都是未定义的行为。因此，唯一可能的可移植、符合标准的定义是：XYtest

template<typename Base, typename Derived>
struct test
{
    enum {
        is_safe = false;
    };
};

template <typename X>
struct test<X, X>
{
    enum {
        is_safe = true;
    };
};