title: Derive from template constructor of template base class
body: <p>Just curious, is it ever possible to inherit from a template class and in constructor of the derived class, call constructor of the base class which is also templated and has no arguments to deduce its types from?</p>
  
  <pre><code>template&lt;typename T&gt;
  struct Base {
      template&lt;typename D&gt;
      Base() {                // no argument of type D to infer from
          static_assert(std::is_same&lt;T,D&gt;::value, "");
      }
  };
  
  struct Derived : Base&lt;int&gt; {
      Derived()  : Base&lt;int&gt;::Base&lt;int&gt;() {} // is there a way to write it correctly?
  };
  </code></pre>
  
  <p>I can replace template constructor by a template method in my particular case, but still it is an interesting question about the language flexibility.</p>