Ошибка компилятора с is_permutation и предикатом для структуры

Я не понимаю ошибку компилятора, которую я получаю в последней строке:

#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&)'

Кто-нибудь может объяснить / решить это некомпонентными словами? 🙂

1

Решение

Из пункта 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 ценности. Таким образом, вы нарушаете предварительные условия, изложенные в предыдущем абзаце.

3

Другие решения

Других решений пока нет …

По вопросам рекламы [email protected]