CODEWITHSUNDEEP
c++templates
steffen
steffen

Reputation: 8958

How to pass an iterator of a container of a template class to a function?

This is a follow up to James' answer to this question: Flattening iterator

I try to change James' solution, so that it can handle template classes. Turns out I get stuck at the call to the function (there "flatten", here "foo"). It workd when I specialise for each template parameter, which would be possible, because there is only three (1,2,3) that will ever occur. The general case does not compile. See the code and the gcc's error message below.

#include <iterator>
#include <vector>

template <int I> 
class A{};

template <int I>
void foo( typename std::vector< A <I> >::iterator first ,
          typename std::vector< A <I> >::iterator last) {}

//void foo( typename std::vector< A <1> >::iterator first , 
//          typename std::vector< A <1> >::iterator last) {} // this works

int main()
{
  std::vector< A<1> > v;
  foo(v.begin(),v.end());
  return 0;
}

error message after compiling with gcc 4.6.3:

test_templ_func.cc: In function ‘int main()’:
test_templ_func.cc:15:24: error: no matching function for call to ‘foo(std::vector<A<1> >::iterator, std::vector<A<1> >::iterator)’
test_templ_func.cc:15:24: note: candidate is:
test_templ_func.cc:8:6: note: template<int I> void foo(typename std::vector<A<I> >::iterator, typename std::vector<A<I> >::iterator)

Upvotes: 4

Views: 851

Answers (2)

Nate Kohl
Nate Kohl

Reputation: 35914

Template argument deduction works for a number of cases, but there are limits to what it can do. You've hit one of the limits.

Stephan Lavavej (who currently works on the STL for Microsoft) just did a nice little video about template argument deduction. While he doesn't talk about your example explicitly, he does cover a few similar situations and provides a nice overview of what template argument deduction can do.

Upvotes: 1

Anycorn
Anycorn

Reputation: 51465

Those are dependent type parameters and compiler can't resolve them, eg: Template function with dependent type parameters within template class

You can have workaround by using http://en.cppreference.com/w/cpp/types/enable_if and using some type trait template.

Template decudection guidelines

Upvotes: 2

Related Questions