Гарантии выравнивания статического массива char

Question

Я хочу знать гарантии выравнивания статически выделенного массива char. Рассматривая другие вопросы SO, я нашел некоторые относительно динамически распределенных массивов char.

Для статически выделенных массивов char они выровнены так, что я могу разместить в нем новый тип (при условии, что он достаточно велик)? Или это относится только к динамически распределенным?

char buff[sizeof(T)]; 
T * pT = (T*) buff; 
new(pT) T(); // well defined? 
... 
pT->~T(); 

Если нет, то как я могу решить эту проблему?

Answer 1

Если вы хотите гарантировать выравнивание статического массива символов, вы можете использовать трюк объединения.

union 
{ 
    char buff[sizeof(T)]; 
    uint64_t dummy; 
}; 

Здесь выравнивание будет гарантировано для самого большого элемента в союзе. И, конечно же, вы должны положить эту гадость в класс.

Edit: лучше ответ:

Конечно, вы бы еще лучше, используя boost::aligned_storage или alignas для C++ 11.

Answer 2

Нет. Статически выделенные массивы выровнены с sizeof(element_type) байтами - для char это 1 байт, что в принципе не гарантирует выравнивания.

Answer 3

В C++ 11, правильный способ сделать это заключается в следующем:

char alignas(T) buff[sizeof(T)]; //Notice 'alignas' as 
T * pT = (T*) buff; 
new(pT) T(); // well defined! 

Обратите внимание на использование alignas.

Если T является аргумент шаблона, то bettter использовать std::alignment_of шаблон класса как:

char alignas(std::alignment_of<T>::value) buff[sizeof(T)]; 

Также обратите внимание, что аргумент alignas может быть положительное целое значение Или типа. Таким образом, оба они эквивалентны:

char alignas(T)   buff[sizeof(T)]; 
char alignas(alignof(T)) buff[sizeof(T)]; //same as above 

Второй использует alignof, который возвращает целочисленное значение типа std::size_t.