Question

我有这样的A类：

struct V {
    virtual void f() = 0;
};

struct A {
    int data;
};

struct B : public A , public V {
    void f() override {}
};

MSVC在64位构建而不是12（sizeof(A) == 4）上给我sizeof(B) == 16和sizeof(void*) + sizeof(A) - 所以有一个4字节填充。有没有办法得到填充？也许有一些特质？

我需要这样做的原因是做一个这样的断言：

static_assert(sizeof(B) == sizeof(A) + std::is_polymorphic<camera>::value * sizeof(void*));

这意味着我想确保所有数据都在基类中，但是B应该能够通过从某个接口继承而变成多态...不应该向B添加新成员但是应该允许它是多态的。如果我在A中有2个整数，则在B的末尾会有0个填充...

Answer 1

我找到了一个似乎可以在GCC和clang上运行的解决方案，至少对于您给出的示例来说如此。

namespace detail {

template <typename T, int N>
struct add_padding : add_padding<T, N - 1> {
    char pad;
};

template <typename T>
struct add_padding<T, 0> : T {
};

} // namespace detail

template <typename T, int N = 1, bool = (sizeof(T) == sizeof(detail::add_padding<T, N>))>
struct padding_size {
    static constexpr int value = padding_size<T, N + 1>::value;
};

template <typename T, int N>
struct padding_size<T, N, false> {
    static constexpr int value = N - 1;
};

它中断填充不是由从不同大小的类型继承引起的，并且完全不适用于MSVC。因此，恐怕这并不是您所提问题的真正答案，但也许可以帮助其他人。这是live example。

如何在课程结束时获得填充的大小

1 个答案: