c++ - 如何在类(class)结束时获得填充的大小

Question

我有一个这样的 A 类:

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

struct A {
    int data;
};

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

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

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

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

意味着我想确保所有数据都在基类中，但是 B 应该能够通过从某个接口(interface)继承来实现多态...不应向 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 .