Я не понимаю ошибку компилятора, которую я получаю в последней строке:
#include <iostream>
#include <algorithm>struct X{
int number;
};
bool same_number_X(const int & a, const X & b)
{ return a == b.number; }bool same_number_int(const int & a, const int & b)
{ return a == b; }int main(){
std::vector<int> vec1{1,2,3};
std::vector<int> vec2{2,3,1};
std::vector<X> vec3{{2},{3},{1}};
std::cout << std::is_permutation(vec1.begin(), vec1.end(), vec2.begin(), same_number_int);
std::cout << std::is_permutation(vec1.begin(), vec1.end(), vec3.begin(), same_number_X);
}
Вы можете увидеть ошибку ВОТ
Это говорит
In instantiation of 'typename std::iterator_traits<_InputIterator>::difference_type std::count_if(_IIter, _IIter, _Predicate) [with _IIter = __gnu_cxx::__normal_iterator<X*, std::vector<X> >; _Predicate = std::_Bind<bool (*(std::_Placeholder<1>, int))(const int&, const X&)>; typename std::iterator_traits<_InputIterator>::difference_type = long int]':
c++/4.7/bits/stl_algo.h:4367:37: required from 'bool std::is_permutation(_FIter1, _FIter1, _FIter2, _BinaryPredicate) [with _FIter1 = __gnu_cxx::__normal_iterator<int*, std::vector<int> >; _FIter2 = __gnu_cxx::__normal_iterator<X*, std::vector<X> >; _BinaryPredicate = bool (*)(const int&, const X&)]'
source.cpp:23:90: required from here
c++/4.7/bits/stl_algo.h:4681:2: error: no match for call to '(std::_Bind<bool (*(std::_Placeholder<1>, int))(const int&, const X&)>) (X&)'
Кто-нибудь может объяснить / решить это некомпонентными словами? 🙂
Из пункта 25.2.12 / 1 стандарта C ++ 11:
template<class ForwardIterator1, class ForwardIterator2>
bool is_permutation(ForwardIterator1 first1, ForwardIterator1 last1,
ForwardIterator2 first2);
template<class ForwardIterator1, class ForwardIterator2, class BinaryPredicate>
bool is_permutation(ForwardIterator1 first1, ForwardIterator1 last1,
ForwardIterator2 first2, BinaryPredicate pred);
1 требует:
ForwardIterator1
а такжеForwardIterator2
должен иметь одинаковый тип значения. Сравнение
функция должна быть отношением эквивалентности.
В вашем последнем звонке is_permutation()
первый аргумент (от какого типа ForwardIterator1
выводится) является итератором int
значения, а третий аргумент (из какого типа ForwardIterator2
выводится) является итератором X
ценности. Таким образом, вы нарушаете предварительные условия, изложенные в предыдущем абзаце.
Других решений пока нет …