fork download
copy 
  1.     template <typename Derived, typename X, typename Y>
  2.     struct SomeBase {};
  3.  
  4.     template <template <typename...> class M, typename... Args>
  5.     struct Factory {
  6.       template <typename Derived>
  7.       struct apply { typedef M<Derived, Args...> type; };
  8.     };
  9.  
  10.     // Generic application
  11.     template <typename Fac, typename Derived>
  12.     struct apply {
  13.       typedef typename Fac::template apply<Derived>::type type;
  14.     };
  15.  
  16.     template <typename... Args>
  17.     struct Foo: apply<Args, Foo<Args...>>::type... {
  18.     };
  19.  
  20.     typedef Foo< Factory<SomeBase, int, float> > SuperFoo;
  21.  
  22.     int main() {}
Success #stdin #stdout 0s 2824KB
comments (?)
stdin
copy 
Standard input is empty
stdout
copy 
Standard output is empty
https://ideone.com/dndKO
language:
C++14 (gcc 8.3)
created:
13 years ago
visibility:
public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!