title: Is it required to explicitly list default parameters when using template template parameter?
body: <p>I'd like to ask whether the following code sample should compile:</p>
  
  <pre><code>#include &lt;iostream&gt;
  #include &lt;vector&gt;
  #include &lt;typeinfo&gt;
  
  using namespace std;
  
  template &lt;template &lt;class...&gt; class C&gt;
  struct convert_container
  {
      using type = C&lt;double&gt;; 
  
      // Visual Studio requires this to be:
      // using type = C&lt;double, std::allocator&lt;doble&gt;&gt;
  };
  
  int main()
  {
      std::cout &lt;&lt; typeid(convert_container&lt;std::vector&gt;::type).name();
  }
  </code></pre>
  
  <p>The code compiles fine with GCC 4.8.1 and Clang 3.4 but not with Visual Studio 2013. The error I get:</p>
  
  <pre><code>error C2976: 'std::vector' : too few template arguments
      c:\program files (x86)\microsoft visual studio 12.0\vc\include\vector(650) : see declaration of 'std::vector'
      c:\users\michał\documents\visual studio 2013\projects\transform\transform.cpp(14) : see reference to class template instantiation 'convert_container&lt;std::vector&gt;' being compiled
  </code></pre>
  
  <p>What does the standard say about this? Am I required to explicitly state all the parameters (including defaulted ones) when using the template template parameter <code>C</code> or is this just a bug in VC++?</p>
  
  <p>Context: The issue araised from Constructor's answer to my previous question: <a href="https://stackoverflow.com/a/23874768/2617356">https://stackoverflow.com/a/23874768/2617356</a></p>
  
  <p>When searching the archives I've found this question: <a href="https://stackoverflow.com/questions/5301706/default-values-in-templates-with-template-arguments-c">Default values in templates with template arguments ( C++ )</a>   It's basically about the same problem, the question author states that default parameters for template template parameter "had to be" explicitly stated. However, the asker accepted solution that's not quite applicable in my case. The question was not about what is the standard-conforming behaviour, so I believe this is not a duplicate.</p>