std:: allocator

std::allocator クラステンプレートは、ユーザー指定のアロケータが提供されない場合にすべての標準ライブラリコンテナが使用するデフォルトの Allocator です。デフォルトアロケータはステートレスであり、つまり、与えられたアロケータのすべてのインスタンスは互換性があり、等価比較が可能で、同じアロケータ型の他のインスタンスによって割り当てられたメモリを解放できます。

メンバー型

メンバー関数

非メンバー関数

注記

メンバーテンプレートクラス rebind は、異なる型に対するアロケータを取得する方法を提供します。例えば、 std:: list < T, A > は内部型 Node<T> のノードを、アロケータ A::rebind<Node<T>>::other (C++11まで) std:: allocator_traits < A > :: rebind_alloc < Node < T >> を使用して割り当てます。これは A::rebind<Node<T>>::other に基づいて実装されており、Aが std::allocator の場合に適用されます (C++11以降) 。

メンバ型 is_always_equal は LWG issue 3170 により非推奨となりました。これは、デフォルトで std::allocator から派生したカスタムアロケータを常に等価として扱うためです。 std:: allocator_traits < std :: allocator < T >> :: is_always_equal は非推奨ではなく、そのメンバ定数 value は任意の T に対して true です。

例

#include <iostream>
#include <memory>
#include <string>
int main()
{
    // int型のデフォルトアロケータ
    std::allocator<int> alloc1;
    // 直接使用可能なメンバーの実演
    static_assert(std::is_same_v<int, decltype(alloc1)::value_type>);
    int* p1 = alloc1.allocate(1); // int1つ分の領域
    alloc1.deallocate(p1, 1);     // そして解放
    // これらもtraitsを通して使用可能なので、直接使用する必要はない
    using traits_t1 = std::allocator_traits<decltype(alloc1)>; // 対応するtrait
    p1 = traits_t1::allocate(alloc1, 1);
    traits_t1::construct(alloc1, p1, 7);  // intを構築
    std::cout << *p1 << '\n';
    traits_t1::deallocate(alloc1, p1, 1); // int1つ分の領域を解放
    // string型のデフォルトアロケータ
    std::allocator<std::string> alloc2;
    // 対応するtraits
    using traits_t2 = std::allocator_traits<decltype(alloc2)>;
    // traitを使用してstring用にアロケータをリバインドすると同じ型が得られる
    traits_t2::rebind_alloc<std::string> alloc_ = alloc2;
    std::string* p2 = traits_t2::allocate(alloc2, 2); // 2つのstring用の領域
    traits_t2::construct(alloc2, p2, "foo");
    traits_t2::construct(alloc2, p2 + 1, "bar");
    std::cout << p2[0] << ' ' << p2[1] << '\n';
    traits_t2::destroy(alloc2, p2 + 1);
    traits_t2::destroy(alloc2, p2);
    traits_t2::deallocate(alloc2, p2, 2);
}

7
foo bar

欠陥報告

以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。

関連項目