Nachdem ich die Behauptung mehrmals in Artikeln gelesen habe - ich möchte diese Frage zu Stackoverflow hinzufügen und die Community fragen - ist der folgende Code portabel?

template<template<typename T, typename Alloc> class C>
void f() {
  /* some code goes here ... */
}

int main() {
  f<std::vector>();
}

Ist die Implementierung, die liefertstd::vector Darf es wirklich zusätzliche, voreingestellte Vorlagenparameter geben, die über die beiden bekannten hinausgehen? Dies würde den obigen Code unsauber machen, da zwei Template-Parameter vorausgesetzt werden. Siehe den letzten AbsatzIn diesem Artikel für ein Beispiel für einen solchen Anspruch.