Выровненный доступ к элементам массива

Question

По какой-то причине (данные хранятся в виртуальной памяти boost/interprocess/file_mapping.hpp) Я пишу свое собственное распределение памяти. Для обеспечения межплатформенной переносимости я отношусь к выравниванию памяти общего типа T. (Примечание T сильно POD или простой C++ скалярная как char или int) Из примера в http://en.cppreference.com/w/cpp/types/aligned_storage мы можем увидеть следующий код:

... 
typename std::aligned_storage<sizeof(T), alignof(T)>::type data[N]; 
std::size_t m_size = 0; 

public: 
    // Create an object in aligned storage 
    template<typename ...Args> void emplace_back(Args&&... args) 
    { 
     if(m_size >= N) // possible error handling 
      throw std::bad_alloc{}; 
     new(data+m_size) T(std::forward<Args>(args)...); 
..... 

Таким образом, вместо регулярного доступа data[i] Я всегда оценивать соответствие адрес.

Так что мой вопрос:

1) Является ли это не накладные расходы? И я могу просто выделить и получить доступ к памяти для (sizeof(data[N]))

2) Если это накладные расходы по причине использования выровненного доступа, показанного в примере?

Answer 1

Не так ли?

Возможно. Возможно, нет. Для большинства типов я ожидаю, что размер aligned_storage::type будет равен размеру указанного типа. И я ожидаю, что компилятор будет оптимизировать доступ не хуже, чем доступ к необработанному массиву.

Я могу только выделить и доступ к памяти для (sizeof(data[N]))
Если накладные расходы, что причина использовать выровнен доступа, показанный в примере?

Да, вы можете выделить сырые памяти (с помощью char массива, например), но вы должны убедиться, что он правильно выровнен для типа вы используете. Это непросто, если вы хотите сохранить некоторый uninitializated массив по значению или выделить некоторую память в стеке. Или если вы используете специализированный распределитель памяти, который не использует new/malloc и не имеет своих свойств адаптации.

aligned_storage Структура - это помощник для автоматизации материалов, которые вы напишете в противном случае.