Просмотр кода страницы cpp/types/aligned storage

У вас нет прав на выполнение действия «редактирование этой страницы» по следующей причине:

З��прошенное действие могут выполнять участники одной из следующих групп: Участники, Администраторы.

Вы можете просмотреть и скопировать исходный код этой страницы.

{{cpp/title|aligned_storage}}
{{cpp/meta/navbar}}
{{dcl begin}}
{{dcl header|type_traits}}
{{dcl|since=c++11|deprecated=c++23|1=
template<
    std::size_t Len,
    std::size_t Align = /*выравнивание по умолчанию*/
>
struct aligned_storage;
}}
{{dcl end}}

Предоставляет вложенный тип ''{{tt|type}}'', который представляет собой [[cpp/named req/TrivialType|тривиальный]] тип со [[cpp/named req/StandardLayoutType|стандартной компоновкой]], подходящий для использования в качестве неинициализированного хранилища для любого объекта, размер которого не превышает {{tt|Len}} и чьё [[cpp/language/object#Выравнивание|требование выравнивания]] является делителем {{tt|Align}}.

Значение по умолчанию {{tt|Align}} является самым строгим (самым большим) требованием выравнивания для любого объекта, размер которого не превышает {{tt|Len}}. Если значение по умолчанию не используется, {{tt|Align}} должно быть значением {{c|alignof(T)}} для некоторого типа {{tt|T}}, иначе поведение не определено.

Поведение не определено, если {{c|1=Len == 0}}.

Определяется реализацией, поддерживается ли какое-либо [[cpp/language/object#Выравнивание|расширенное выравнивание]].

{{cpp/types/nospec}}

===Типы-элементы===
{{dsc begin}}
{{dsc hitem | Имя | Определение}}
{{dsc | {{tt|type}} | [[cpp/named req/TrivialType|тривиальный]] тип со [[cpp/named req/StandardLayoutType|стандартным выравниванием]] размером не менее {{tt|Len}} с требованием выравнивания {{tt|Align}} }}
{{dsc end}}

===Вспомогательный тип===
{{dcl begin}}
{{dcl|since=c++14|deprecated=c++23|1=
template< std::size_t Len, std::size_t Align = /*выравнивание по умолчанию*/ >
using aligned_storage_t = typename aligned_storage<Len, Align>::type;
}}
{{dcl end}}

===Примечание===
Тип, определённый с помощью {{tt|std::aligned_storage<>::type}}, может использоваться для выделения неинициализированных блоков памяти, подходящих для хранения объектов данного типа, опционально выровненных более строго, чем их естественное требование выравнивания, например, на границе кеша или страницы.

Как и в случае с любой другой неинициализированной памятью, объекты создаются с помощью  [[cpp/language/new|размещающего new]] и уничтожаются явными вызовами деструктора.

===Возможная реализация===
За иск��ючением аргумента по умолчанию, aligned_storage выражается в терминах выравнивания:
{{eq fun
|1=
template<std::size_t Len, std::size_t Align = /*выравнивание по умолчанию не реализовано*/>
struct aligned_storage
{
    struct type
    {
        alignas(Align) unsigned char data[Len];
    };
};
}}

===Пример===
{{example
|Примитивный статический векторный класс, демонстрирующий создание, доступ и уничтожение объектов в выровненной памяти.
|code=
#include <iostream>
#include <new>
#include <string>
#include <type_traits>

template<class T, std::size_t N>
class static_vector
{
    // правильно выровненная неинициализированная память для N переменных типа T
    std::aligned_storage_t<sizeof(T), alignof(T)> data[N];
    std::size_t m_size = 0;

public:
    // Создаёт объект в выровненной памяти
    template<typename ...Args> void emplace_back(Args&&... args)
    {
        if( m_size >= N ) // возможная обработка ошибок
            throw std::bad_alloc{};

        // создание значения в памяти выровненного
        // хранилища, используя размещающий оператор new
        ::new(&data[m_size]) T(std::forward<Args>(args)...);
        ++m_size;
    }

    // Доступ к объекту в выровненной памяти
    const T& operator[](std::size_t pos) const
    {
        // Примечание: std::launder необходим после изменения объектной модели в P0137R1
        return *std::launder(reinterpret_cast<const T*>(&data[pos]));
    }

    // Уничтожение объектов из выровненной памяти
    ~static_vector()
    {
        for(std::size_t pos = 0; pos < m_size; ++pos)
        // Примечание: std::launder необходим после изменения объектной модели в P0137R1
            std::destroy_at(std::launder(reinterpret_cast<T*>(&data[pos])));
    }
};

int main()
{
    static_vector<std::string, 10> v1;
    v1.emplace_back(5, '*');
    v1.emplace_back(10, '*');
    std::cout << v1[0] << '\n' << v1[1] << '\n';
}
|output=
*****
**********
}}

===Смотрите также===
{{dsc begin}}
{{dsc inc|cpp/language/dsc alignas}}
{{dsc inc|cpp/types/dsc alignment_of}}
{{dsc inc|cpp/memory/c/dsc aligned_alloc}}
{{dsc inc|cpp/types/dsc aligned_union}}
{{dsc inc|cpp/types/dsc max_align_t}}
{{dsc inc|cpp/utility/dsc launder}}
{{dsc end}}

{{langlinks|de|en|es|fr|it|ja|pt|zh}}

Шаблоны, используемые на этой странице:

Возврат к странице cpp/types/aligned storage.

cppreference.com

Поиск

Пространства имён

Варианты

Просмотры

Действия

Просмотр кода страницы cpp/types/aligned storage

Навигация

Инструменты