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

Question

考虑：

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

是否有任何保证sizeof(val2size<N>) == N？

Answer 1

唯一保证是

sizeof(val2size<N>) >= N 

有可以是无名填充在该结构的端部。我不认为可能会有未命名的填充，但这是可能的。

Answer 2

不，James covers that。但是你可以得到你想要什么：

sizeof(value_to_size<N>::type)保证是N。 （这个技巧可以用来制作一个compile-time size-of array utility。）

Answer 3

它实际上取决于N的大小以及N char的大小是否可以适合世界对齐方式。如果字符数组的内存是世界对齐的（4字节对齐为32位，8字节对齐为64位），那么你将得到sizeof == N或者如果不是，那么它将添加填充以使分配的内存被世界对齐并且在那种情况下，它将是> = N。

Answer 4

默认情况下，由于可能的填充不能保证。然而，许多编译器（至少VC++和gcc）让你使用编译指示，像这样设置结构的取向：

#pragma pack(push, 1) 
template <int N> 
struct val2size 
{ 
    char placeholder[N]; 
}; 
#pragma pack(pop) 

设置对准到1基本上防止了任何额外的填充在该结构的端部。