Проблема с std :: reference_wrapper
Проблема ясна с помощью следующего кода:
#include <functional>
#include <iostream>
#include <vector>
int main() {
//std::vector<int> a, b;
int a = 0, b = 0;
auto refa = std::ref(a);
auto refb = std::ref(b);
std::cout << (refa < refb) << '\n';
return 0;
}
Если я использую прокомментированный std::vector<int> a, b; вместо int a = 0, b = 0;то код не компилируется ни на одном из GCC 5.1, clang 3.6 или MSVC’13. По моему мнению, std::reference_wrapper<std::vector<int>> неявно конвертируется в std::vector<int>& который является LessThanComparable, и, следовательно, он должен быть LessThanComparable сам. Может ли кто-нибудь объяснить это мне?
Решение
Проблема в том, что не член operator< за std::vector это шаблон функции:
template< class T, class Alloc >
bool operator<( const vector<T,Alloc>& lhs,
const vector<T,Alloc>& rhs );
Неявные преобразования не учитывается при выполнении вывода типа шаблона здесь, [temp.arg.explicit] акцент на если:
Неявное преобразование (пункт 4) будет выполнено для аргумента функции, чтобы преобразовать его в тип
соответствующий параметр функции если тип параметра не содержит Шаблон-параметры которые участвуют
в шаблоне аргумент вычета.
Но в этом случае тип параметра действительно участвует в удержании. Вот почему это не может быть найдено. Если бы мы написали наши собственные не-шаблон operator<:
bool operator<(const std::vector<int>& lhs, const std::vector<int>& rhs)
{
return true;
}
Ваш код будет работать как положено. Чтобы использовать общий, вы должны явно извлечь ссылку:
std::cout << (refa.get() < refb.get()) << '\n';
Другие решения
Вы уверены, что
std::vector<int> a, b;
Делает то, что должен? Возьми это к примеру
#include <functional>
#include <iostream>
#include <vector>
int main() {
std::vector<int> a, b;
//int a = 0, b = 0;
a.push_back(42);
a.push_back(6);
a.push_back(15);
for (int ii=0; ii<43; ii++) {
b.push_back(ii);
}
auto refa = std::ref(a);
auto refb = std::ref(b);
std::cout<<&refa<<std::endl;
std::cout<<&refb<<std::endl;
std::cout<<"Contents of vector A"<<std::endl;
for(auto n : a)
{
std::cout<<' '<<n;
}
std::cout<<std::endl<<"Contents of vector b: ";
for (auto n : b){
std::cout<<' '<<n;
}
//std::cout << (refa < refb) << '\n';
return 0;
}
Что приводит к
0x7fff5fbff0c0
0x7fff5fbff0b8
Contents of vector A
42 6 15
Contents of vector b: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42
в конечном счете
std::vector<int> a, b;
Создает два отдельных вектора целых чисел, названных a и b, оба из которых не имеют содержимого; это не то, как можно было бы объявить один вектор с членами a и b.
int a=0, b=0;
Объявляет два отдельных целых числа с именами a и b, каждое из которых имеет значение 0. Эти два фрагмента кода объявляют совершенно разные переменные и не должны использоваться взаимозаменяемо.