Выравнивание после элемента массива того же типа

Question

В общей ситуации структуры/класса может существовать выравнивание между членами. Но мне интересно, будет ли это с уверенностью предположить, что это особый случай:

template<typename T, size_t N> 
struct MyStruct { 
    T data[N]; 
    T term; 
    constexpr MyStruct(); 
}; 

будет надежно эквивалент этого:

template<typename T, size_t N> 
struct MyStruct { 
    T data[N+1]; 
    constexpr MyStruct(); 
}; 

Причина спрашиваю, что я на самом деле хочу, чтобы быть в состоянии явно инициализировать последний элемент массива в конструкторе constexpr (но мне все равно, что остальное). Например, с верхней MyStruct я могу это сделать:

template<typename T, size_t N> 
constexpr MyStruct<T,N>::MyStruct() : data{}, term{0} {} 

Но я хочу, чтобы результат такой же, как если бы срок был действительно последний элемент массива.

Безопасно ли это? Если нет, есть ли способ достичь того же, используя вторую форму MyStruct?

Answer 1

Это небезопасно для Предположим, никакого промежутка между вашими данными [N] и переменной вашего члена. Например, вы можете явно контролировать, как компилятор Microsoft выравнивает переменные с n-байтовыми границами (где n равно 1, 2, 4, 8 или 16), см. http://msdn.microsoft.com/en-us/library/xh3e3fd0(v=vs.80).aspx.