const in std :: Funktion Template-Parameter

Question

Warum diese 5.3.1 in G ++ kompiliert wird fehlschlagen (mit --std = C++ 1J):

#include <iostream> 
#include <vector> 
#include <functional> 

using std::cout; 
using std::endl; 

template<typename InputIterator> 
void foo(InputIterator i, std::function<bool(typename const std::iterator_traits<InputIterator>::value_type&)> f) 
{ 
    cout << f(*i) << endl; 
} 

int main() { 
    std::vector<int> v { 1,2,3 }; 
    foo(v.begin(), [] (const int& a) -> bool { return false; }); 
} 

Dies schlägt mit der Nachricht:

g++ -std=c++1y -O0 -g3 -Wall -c -fmessage-length=0 -MMD -MP -MF"source.d" -MT"source.o" -o "source.o" "../source.cc" 
../source.cc:16:110: error: template argument 1 is invalid 
void foo(InputIterator i, std::function<bool(typename const std::iterator_traits<InputIterator>::value_type&)> f) 
                              ^
../source.cc:16:110: error: template argument 1 is invalid 
../source.cc:16:110: error: template argument 1 is invalid 
../source.cc:16:110: error: template argument 1 is invalid 
../source.cc:16:110: error: template argument 1 is invalid 
../source.cc:16:32: error: ‘std::function’ is not a type 
void foo(InputIterator i, std::function<bool(typename const std::iterator_traits<InputIterator>::value_type&)> f) 
           ^
../source.cc:16:40: error: expected ‘,’ or ‘...’ before ‘<’ token 
void foo(InputIterator i, std::function<bool(typename const std::iterator_traits<InputIterator>::value_type&)> f) 
             ^
../source.cc: In function ‘int main()’: 
../source.cc:23:61: error: no matching function for call to ‘foo(std::vector<int>::iterator, main()::<lambda(const int&)>)’ 
    foo(v.begin(), [] (const int& a) -> bool { return false; }); 
                  ^
../source.cc:16:6: note: candidate: template<class InputIterator> void foo(InputIterator, int) 
void foo(InputIterator i, std::function<bool(typename const std::iterator_traits<InputIterator>::value_type&)> f) 
    ^
../source.cc:16:6: note: template argument deduction/substitution failed: 
../source.cc:23:61: note: cannot convert ‘<lambda closure object>main()::<lambda(const int&)>{}’ (type ‘main()::<lambda(const int&)>’) to type ‘int’ 
    foo(v.begin(), [] (const int& a) -> bool { return false; }); 
                  ^

(Beachten Sie, dass Zeilennummern wegen einiger Header-Kommentare, die ich weggelassen habe, um 8 deaktiviert sind).

Aber wenn ich alle const Qualifier entfernen, dann kompiliert es gut.

Answer 1

Ich glaube, Sie wollen const typename ... statt typename const ... :)