fork(2) download

copy

#include <iostream>
#include <vector>
 
 
template <template <class> class T, typename U>
void foo(const T<U>& t)
{
	std::cout << t.size() << std::endl;
}
 
 
int main()
{
	std::vector<int> v = { 1, 2, 3 };
	foo(v);
 
	return 0;
}

prog.cpp: In function ‘int main()’:
prog.cpp:15:7: error: no matching function for call to ‘foo(std::vector<int>&)’
  foo(v);
       ^
prog.cpp:6:6: note: candidate: template<template<class> class T, class U> void foo(const T<U>&)
 void foo(const T<U>& t)
      ^~~
prog.cpp:6:6: note:   template argument deduction/substitution failed:
prog.cpp:15:7: error: wrong number of template arguments (2, should be 1)
  foo(v);
       ^
prog.cpp:5:34: note: provided for ‘template<class> class T’
 template <template <class> class T, typename U>
                                  ^

Standard output is empty