Прочитав заявление несколько раз в статьях - я хочу добавить этот вопрос в Stackoverflow и спросить сообщество - переносим ли следующий код?

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

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

Является ли реализация, которая поставляетstd::vector действительно разрешено иметь дополнительные параметры шаблона по умолчанию помимо двух хорошо известных? Это сделало бы приведенный выше код некорректным, так как он принимает два параметра шаблона. Смотрите последний абзацв этой статье для примера такой претензии.