Как пользовательский распределитель знает, указывает ли указатель на массив?

Question

Я мог бы неправильно понять некоторые понятия о распределителе. Но я действительно не знаю, зачем нужен аргумент std::size_t, который будет передан в allocate, чтобы указать количество объектов, которые будут выделены. Используется ли аргумент для распределения областей памяти, таких как массивы или векторы?

Если они, то может ли мой пользовательский распределитель узнать, указывает ли ранее возвращаемый указатель на область или только объект? Является ли мой распределитель ответственным за запись этих указателей?

Если они не, то зачем нам этот аргумент?

Answer 1

allocator_traits<YourAllocator<T>>::allocate ожидается выделение памяти для непрерывной последовательности из N объектов типа T. N задается параметром size_t.

Если это так, то как мой пользовательский распределитель знает, указывает ли ранее возвращаемый указатель на область или только объект?

Что такое «ранее возвращенный указатель»?

Ваш распределитель будет выслан, когда нужно выделить и когда освободить памяти. Когда происходит освобождение, it will be told what N was for the allocation that is being deallocated. Ваш распределитель не должен отслеживать какие-либо указатели.

Answer 2

Предполагая, что вы говорите о std :: allocator здесь. Документация довольно ясно:

T* std::allocator::allocate(std::size_t n);

Выделяет п * SizeOf (T) байты неинициализированного хранения [...]

Таким образом, ответ на ваш вопрос будет: Да, аргумент используется для выделения областей памяти, таких как массивы или векторы.

И для прослеживания вопроса: Нет, вам не нужно следить за возврат указателей, поскольку std::allocator::deallocate гарантированно будет вызываться с таким же, как nstd::allocator::allocate был для любого из возвращаемых указателей.

void std::allocator::deallocate(T* p, std::size_t n);

освобождает память, на который ссылается указатель р, который должен быть указатель, полученный предыдущим вызовом выделить(). Аргумент n должен быть равен первому аргументу вызова allocate(), изначально созданного p; в противном случае поведение не определено.