如何获取 class 末尾的填充大小

how to get the size of the padding at the end of a class

我有一个 class 像这样的:

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

struct A {
    int data;
};

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

MSVC 在 64 位版本上给了我 sizeof(A) == 4sizeof(B) == 16 而不是 12 (sizeof(void*) + sizeof(A)) - 所以有一个 4 字节的填充。有没有办法获得填充?也许有一些特点?

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

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

意思是我想确保所有数据都在基础class中,但是B应该能够通过从某个接口继承来实现多态...不应向B添加新成员但是它应该允许多态。如果我在 A 中有 2 个整数,那么在 B 的末尾会有 0 个填充...

我找到了一个似乎适用于 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.