是否保证包含数组的类的大小？

Question

鉴于:

template <int N>
struct val2size
{
    char placeholder[N];
};

有保证sizeof(val2size<N>) == N吗？

Answer 1

唯一的保证是

sizeof(val2size<N>) >= N

有可能是在该结构的端无名填充.我不认为有可能会有未命名的填充,但它是可能的.