Aufruf von allocator_traits :: Zuweisung auf einen Null-Zeiger

Question

Wenn Allocator entspricht der Standard-Bibliothek Allokator-Schnittstelle, ist es sicher, std::allocator_traits<Allocator>::deallocate mit einem Nullzeiger aufzurufen? Ich weiß, es ist, wenn Allocator ist std::allocator (weil es schließlich auf delete deferiert) aber was ist, wenn Allocator ist eine Client-Klasse zur Verfügung gestellt? Muss ich eine explizite Überprüfung durchführen? cppreference.com 's Artikel über die Allocator concept listet keine solche Garantien, so denke ich, die Antwort ist "Ja", aber ich wollte sicher sein.

Um ein wenig Motivation für die Frage zu geben, stelle ich mir einen Anwendungsfall vor, wo eine Variable einen Zeiger auf den Puffer halten soll (und anfangs auf nullptr gesetzt ist), aber aus irgendeinem Grund war der Puffer nie an erster Stelle zugewiesen, so bleibt ein Nullzeiger.

Answer 1

Zunächst einmal std::allocator<T>::deallocate(T* p, std::size_t) tut nicht Anruf delete p. Stattdessen ruft sie operator delete(p) gemäß 23.10.9.1 [allocator.members] Absatz 7 auf. Stattdessen besagt die Anforderung in Absatz 5 desselben Absatzes, dass von std::allocator<T>::allocate() erhalten werden muss. Diese Funktion kann keinen Nullzeiger zurückgeben, d. H. std::allocator<T>::deallocate() akzeptiert keine Nullpunkte. Es wäre überraschend, wenn das Allokator-Konzept erlaubt, Nullzeiger zu übergeben, da std::allocator<T> dieses Konzept nicht modellieren würde. Das Zuweiserkonzept in Tabelle 31 erfordert ebenfalls, dass das Argument a.deallocate(p) von a.allocate() erhalten wurde. Da die Spezifikation a.allocate(n) immer genügend Speicher für n Objekte zurückgibt (die einzige Fehleranzeige erfolgt über eine Ausnahme), folgt daraus, dass a.deallocate() nicht mit einem Nullzeiger zu rechnen ist.

Die Frage war etwa allocator_traits<...>::deallocate(). Gemäß 23.10.8.2 [allocator.traits.members] Absatz 3 delegiert diese Funktion lediglich an die Funktion deallocate() des Allokators. Das heißt, ein Nullzeiger ist auch dort kein gültiges Argument.