fork download

copy

#include <iostream>
#include <vector>
#include <tuple>
 
using namespace std;
 
template<typename... Ts>
struct Typelist
{
  static constexpr std::size_t size { sizeof...(Ts) };   
};
 
template<class, class> class World;
 
template<template<typename... Arg1> class T1, template<typename... Arg2> class T2>
class World<Typelist, Typelist>
{
 
private:
  std::tuple<std::vector<T1>...> m1;
  std::tuple<std::vector<T2>...> m2;
};
 
 
int main() {
	// your code goes here
	using TL1 = Typelist<int, char, double>;
	using TL2 = Typelist<float, unsigned int, bool>;
 
	World<TL1, TL2> w2;
	return 0;
}

prog.cpp:16:31: error: type/value mismatch at argument 1 in template parameter list for ‘template<class, class> class World’
 class World<Typelist, Typelist>
                               ^
prog.cpp:16:31: note:   expected a type, got ‘Typelist’
prog.cpp:16:31: error: type/value mismatch at argument 2 in template parameter list for ‘template<class, class> class World’
prog.cpp:16:31: note:   expected a type, got ‘Typelist’
prog.cpp: In function ‘int main()’:
prog.cpp:30:18: error: aggregate ‘World<Typelist<int, char, double>, Typelist<float, unsigned int, bool> > w2’ has incomplete type and cannot be defined
  World<TL1, TL2> w2;
                  ^~

Standard output is empty