Wie kann der benutzerdefinierte Zuordner wissen, ob ein Zeiger auf ein Array zeigt?

Question

Ich könnte etwas über einige Konzepte auf Zuordner falsch verstanden haben. Aber ich weiß wirklich nicht, warum wir ein Argument von std::size_t benötigen, das an allocate übergeben wird, um die Anzahl der zuzuweisenden Objekte anzugeben. Wird das Argument verwendet, um Speicherbereiche wie Arrays oder Vektoren zuzuordnen?

Wenn sie sind, wie kann dann mein benutzerdefinierter Zuordner wissen, ob der zuvor zurückgegebene Zeiger auf eine Region oder nur auf ein Objekt zeigt? Ist mein Allokator dafür verantwortlich, diese Zeiger aufzuzeichnen?

Wenn sie nicht sind, warum brauchen wir dann dieses Argument?

Answer 1

allocator_traits<YourAllocator<T>>::allocate wird voraussichtlich Speicher für eine zusammenhängende Folge von N Objekten des Typs T zuweisen. Das N wird durch den Parameter size_t bereitgestellt.

Wenn ja, wie kann mein benutzerdefinierter Zuordner wissen, ob der zuvor zurückgegebene Zeiger auf eine Region oder nur auf ein Objekt zeigt?

Was "zuvor zurückgegebenen Zeiger"?

Ihr Zuweiser wird informiert, wann zu reservieren und zu Speicher freigeben. Wenn die Freigabe erfolgt, it will be told what N was for the allocation that is being deallocated. Ihr Zuordner muss keine Zeiger verfolgen.

Answer 2

Angenommen, Sie sprechen hier über std :: allocator. Die Dokumentation ist ziemlich klar:

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

Ordnet n * sizeof (T) Bytes nicht initialisierte Speicher [...]

So ist die Antwort auf Ihre Frage wäre: Ja, Mit dem Argument werden Speicherbereiche wie Arrays oder Vektoren zugewiesen.

Und für Ihre Follow-up-Frage: Nein, müssen Sie nicht den Überblick über die zurückgegebenen Zeiger zu halten, weil std::allocator::deallocate garantiert mit der gleichen n wie std::allocator::allocate war für jede der zurückgegebenen Zeiger aufgerufen werden.

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

den Speicher freigibt durch den Zeiger p verwiesen, die ein Zeiger durch einen früheren Aufruf erhalten werden muss, um() zuzuteilen. Das Argument n muss gleich dem ersten Argument des Aufrufs von allocate() sein, der ursprünglich p erzeugt hat; Andernfalls ist das Verhalten nicht definiert.