fork download

copy

#include <iostream>
using namespace std;
 
template<class T>
class A{T t;};
 
template<class T>
void f1(){
	std::cout << "i take one template argument" << std::endl;
}
template<template<class T>class Y>
void f2(){
	std::cout << "i take one template argument which is template" << std::endl;
}
 
int main() {
	// your code goes here
	f1<int>();	   //ok
	f1<A<int>>();  //ok
	f2<A>();	   //ok
	f2<A<int>>();//error
	f1<A>();	   //error
	return 0;
}

prog.cpp: In function ‘int main()’:
prog.cpp:22:13: error: no matching function for call to ‘f2()’
  f2<A<int>>();//error
             ^
prog.cpp:13:6: note: candidate: template<template<class T> class Y> void f2()
 void f2(){
      ^~
prog.cpp:13:6: note:   template argument deduction/substitution failed:
prog.cpp:23:8: error: no matching function for call to ‘f1()’
  f1<A>();    //error
        ^
prog.cpp:9:6: note: candidate: template<class T> void f1()
 void f1(){
      ^~
prog.cpp:9:6: note:   template argument deduction/substitution failed:

Standard output is empty