fork(1) download

copy

#include <list>
#include <algorithm>
 
template<class Vertex, class Edge>
class Graph
{
public:
    typedef int VertexID;
};
 
template<template<typename> class List, typename T>
bool isInList(List<T> const& l, T x)
{
	return std::find(std::begin(l), std::end(l), x) != std::end(l);
}
 
template<class Vertex, class Edge>
void fuuuuu(Graph<Vertex, Edge> const& g)
{
	typedef Graph<Vertex, Edge> MyGraph;
	typedef typename MyGraph::VertexID Node;
	typedef std::list<Node> List;
 
	List l;
	Node id;
 
	if ( isInList(l, id) )
		return;
}
 
int main()
{
	Graph<double, float> g;
 
	fuuuuu(g);
 
	return 0;
}
 

prog.cpp: In instantiation of ‘void fuuuuu(const Graph<Vertex, Edge>&) [with Vertex = double; Edge = float]’:
prog.cpp:35:10:   required from here
prog.cpp:27:21: error: no matching function for call to ‘isInList(List&, Node&)’
  if ( isInList(l, id) )
                     ^
prog.cpp:27:21: note: candidate is:
prog.cpp:12:6: note: template<template<class> class List, class T> bool isInList(const List<T>&, T)
 bool isInList(List<T> const& l, T x)
      ^
prog.cpp:12:6: note:   template argument deduction/substitution failed:
prog.cpp:27:21: error: wrong number of template arguments (2, should be 1)
  if ( isInList(l, id) )
                     ^
prog.cpp:11:35: error: provided for ‘template<class> class List’
 template<template<typename> class List, typename T>
                                   ^

Standard output is empty