Warum benötigt std :: allocator propay_on_container_move_assignment, um wahr zu sein?

Question

Nach heutigem Standard (20.7.9), std::allocator hat ein Mitglied propagate_on_container_move_assignment die an true_type eingestellt:

Template-Klasse Zuordner

{ public:
typedef size_t size_type;
typedef ptrdiff_t difference_type;
typedef T * -Zeiger;
typedef const T * const_pointer;
typedef T & Bezug;
typedef const T & const_reference;
typedef T value_type;
Vorlage Struktur Rebind {Typedef Allokator andere; };
typedef true_type propagate_on_container_move_assignment;
typedef true_type is_always_equal;
[...]

std::allocator hat keine Mitglieder Daten und immer im Vergleich als gleich mit einer anderen std::allocator. Gibt es einen Grund, diese Standardzuordner in die Zuweisungszuweisung zu verschieben?

Answer 1

ich relativ bin beantworten zu C++ 11, wie Sie im Tag angegeben:

Wenn das Merkmal nicht wahr wäre, dann Zuweisungsoperationen müßten eine Laufzeitprüfung, ob die Zuweiser auszuführen sind gleich. Ja, natürlich sind die Allokatoren immer gleich, aber der Code weiß das nicht und müsste trotzdem die Prüfung durchführen, und Sie können daher keine Garantieausnahme anbieten. Mit POCMA = true können Sie statisch erkennen, dass Sie Ressourcen stehlen und somit nicht werfen.

C++ 14 gemacht die std::allocator haben POCMA = wahr (in LWG2103). In C++ 11 war es falsch.

C++ 17 führte das neue Merkmal is_always_equal (in N4258) ein, um eine Ausnahme ohne Ausnahme für Operationen zu ermöglichen, selbst wenn POCMA falsch ist.

(ich glaube, es ist fair zu sagen, dass das Design von Verteilern hat nie ganz abgeschlossen ist, und bis heute ist niemand ganz sicher, wie sie eigentlich arbeiten.)