Alocadores
Alocadores são usados pela Biblioteca Padrão do C++ para tratar da alocação e da desalocação de elementos armazenados em contêineres. Todos os contêineres da Biblioteca C++ Standard, exceto o std::array
, têm um parâmetro de modelo do tipo allocator<Type>
, em que Type
representa o tipo do elemento de contêiner. Por exemplo, a classe vector
é declarada da seguinte maneira:
template <
class Type,
class Allocator = allocator<Type>
>
class vector
A Biblioteca Padrão do C++ fornece uma implementação padrão de um alocador. No C++ 11 e posterior, o alocador padrão é atualizado para exibir uma interface menor, o novo alocador é chamado de alocador mínimo. Especificamente, o membro construct()
do alocador mínimo dá suporte à semântica de movimentação, o que pode melhorar bastante o desempenho. Na maioria dos casos, esse alocador padrão é suficiente. No C++ 11, todos os tipos e funções da Biblioteca Padrão que usam um parâmetro do tipo alocador dão suporte à interface de alocador mínimo, incluindo std::function
, shared_ptr, allocate_shared()
e basic_string
. Para obter mais informações sobre o alocador padrão, confira Classe allocator
.
Criando seu próprio alocador (C++11)
O alocador padrão usa new
e delete
para alocar e desalocar a memória. Se quiser usar um método de alocação de memória diferente, como usar memória compartilhada, você deverá criar seu próprio alocador. Se você estiver usando o C++11 e precisar criar um novo alocador personalizado, crie-o como um alocador mínimo, se possível. Mesmo se você já implementou um alocador do estilo antigo, considere modificá-lo para transformá-lo em um alocador mínimo e aproveitar o método construct()
mais eficiente que será fornecido automaticamente.
Um alocador mínimo requer muito menos clichê e permite que você se concentre nas funções de membro allocate
e deallocate
que fazem todo o trabalho. Ao criar um alocador mínimo, não implemente nenhum membro, exceto os que são mostrados no exemplo a seguir:
um construtor de cópia de conversão (veja o exemplo)
operator==
operator!=
allocate
deallocate
O membro padrão do C++11 construct()
, que será fornecido para você, faz avanços perfeitos e habilita a semântica de movimentação, é muito mais eficiente em muitos casos do que a versão mais antiga.
Aviso
No tempo de compilação, a Biblioteca C++ Standard usa a classe allocator_traits
para detectar quais membros você forneceu explicitamente e fornece uma implementação padrão para todos os membros que não estão presentes. Não interfira nesse mecanismo fornecendo uma especialização de allocator_traits
para o alocador!
O exemplo a seguir mostra uma implementação mínima de um alocador que usa malloc
e free
. Observe o uso do novo tipo de exceção std::bad_array_new_length
que será gerado se o tamanho da matriz for menor que zero ou maior que o tamanho máximo permitido.
#pragma once
#include <stdlib.h> //size_t, malloc, free
#include <new> // bad_alloc, bad_array_new_length
#include <memory>
template <class T>
struct Mallocator
{
typedef T value_type;
Mallocator() noexcept {} //default ctor not required by C++ Standard Library
// A converting copy constructor:
template<class U> Mallocator(const Mallocator<U>&) noexcept {}
template<class U> bool operator==(const Mallocator<U>&) const noexcept
{
return true;
}
template<class U> bool operator!=(const Mallocator<U>&) const noexcept
{
return false;
}
T* allocate(const size_t n) const;
void deallocate(T* const p, size_t) const noexcept;
};
template <class T>
T* Mallocator<T>::allocate(const size_t n) const
{
if (n == 0)
{
return nullptr;
}
if (n > static_cast<size_t>(-1) / sizeof(T))
{
throw std::bad_array_new_length();
}
void* const pv = malloc(n * sizeof(T));
if (!pv) { throw std::bad_alloc(); }
return static_cast<T*>(pv);
}
template<class T>
void Mallocator<T>::deallocate(T * const p, size_t) const noexcept
{
free(p);
}
Criando seu próprio alocador (C++03)
No C++03, qualquer alocador usado com contêineres da Biblioteca Padrão do C++ deve implementar as seguintes definições de tipo:
const_pointer
const_reference
difference_type
pointer
rebind
reference
size_type
value_type
Além disso, qualquer alocador usado com contêineres da Biblioteca Padrão do C++ deve implementar os seguintes métodos:
Construtor
Construtor de cópia
Destruidor
address
allocate
construct
deallocate
destroy
max_size
operator!=
operator==
Para obter mais informações sobre esses métodos e definições de tipo, confira Classe allocator
.