Kann eine Standardbibliotheksimplementierung Standardtypen spezialisieren?

Nehmen wir zum Beispiel für das Argument an, dass eine effizientere Implementierung (Speichern, Operationen darauf) für einen Vektor ganzzahliger Typen gefunden wird (im Vergleich zur generischen Vektorimplementierung). Kann eine standardkonforme Bibliothek Folgendes tun:

%Vor%

Ich denke, das wäre wegen des zusätzlichen Vorlagenparameters illegal.

Aber was ist mit einer kleinen Compiler-Magie: (abgesehen von der zusätzlichen Implementierungsarbeit) wäre so etwas erlaubt:

• vector<integral_type, A> wird intern zugeordnet bis class vector_integral<T, A> while
• vector<anything_else, A> wird intern zugeordnet in class vector<T, A> .

_{- Es handelt sich offensichtlich nicht um Spezialisierungen, die explizit im Standard erwähnt werden, wie std::vector<bool>}

_{- Die Spezialisierung hätte offensichtlich die gleiche Schnittstelle und beobachtbares Verhalten.}

_{- Lassen Sie uns concepts ignorieren, da sie noch nicht Standard sind. Es sei denn, du hast ein paar Fakten.}

_{- Dies ist eine reine akademische Frage ( lesen persönliche Neugier).}