Po wielokrotnym przeczytaniu roszczenia w artykułach - chcę dodać to pytanie do Stackoverflow i zapytać społeczność - czy następujący kod jest przenośny?

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

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

Czy realizacja jest dostawąstd::vector naprawdę pozwolono mieć dodatkowe, domyślne parametry szablonu poza dwoma dobrze znanymi? Spowodowałoby to, że powyższy kod byłby źle sformatowany, ponieważ przyjmuje dwa parametry szablonu. Zobacz ostatni akapitw tym artykule na przykład takiego roszczenia.