fork(1) download
  1. #include <iostream>
  2. using namespace std;
  3.  
  4. template<int n,class T2> class B{};
  5. class D{};
  6. template<class T2> using B1 = B<1,T2>;
  7. template<template<class T2>class H>class E{
  8. //"H<T2>" is "B1<T2>" = "B<1,T2>"
  9. H<D> h; //Here, T2=D, so "H<D>" = "B<1,D>"
  10. };
  11. int main() {
  12. E<B1> e; //Can I call it E<B<1>> ?
  13. return 0;
  14. }
Success #stdin #stdout 0s 15240KB
stdin
Standard input is empty
stdout
Standard output is empty