std :: find не работает на std :: vectorс ошибкой «нет совпадения для оператора ==», когда T находится в пространстве имен - PullRequest
Новая
       68

std :: find не работает на std :: vectorс ошибкой «нет совпадения для оператора ==», когда T находится в пространстве имен

2 голосов
/ 01 октября 2019

В настоящее время я работаю над большим проектом кода и хотел воспользоваться возможностью, чтобы узнать о пространствах имен и использовать их. Все классы, которые я определил, находятся в одном пространстве имен, Test.

Один из моих классов, называемый здесь Thing, имеет уникальный идентификатор. Мне нужно иметь возможность хранить std :: vector ссылок на некоторые вещи, и поэтому я использую std :: reference_wrappers. В некоторых точках программы мне нужно удалить определенные std :: reference_wrappers из вектора, поэтому я использую std :: find: 

#include <algorithm>
#include <functional>
#include <vector>

namespace Test {

class Thing {
private:
    const int id;

public:
    Thing(int id);
    const int ID() const;
};

}

Test::Thing::Thing(int id) : id(id) { }

const int Test::Thing::ID() const {
    return id;
}

inline bool operator==(const Test::Thing& lhs, const Test::Thing& rhs) {
    return lhs.ID() == rhs.ID();
}
inline bool operator!=(const Test::Thing& lhs, const Test::Thing& rhs) {
    return !(lhs == rhs);
}

int main() {
    Test::Thing t1(5);
    Test::Thing t2(7);

    auto ref1 = std::ref(t1);
    auto ref2 = std::ref(t2);

    std::vector<std::reference_wrapper<Test::Thing>> v;
    v.push_back(ref1);
    v.push_back(ref2);

    auto pos = std::find(v.begin(), v.end(), ref2);
}

Когда я пытаюсь скомпилировать это, я получаю ошибку: 

error: no match for ‘operator==’ (operand types are ‘std::reference_wrapper<Test::Thing>’ and ‘const std::reference_wrapper<Test::Thing>’)

Однако, если я удалю пространство имен, код скомпилируется правильно: 

#include <functional>
#include <vector>
#include <algorithm>

class Thing {
private:
    const int id;

public:
    Thing(int id);
    const int ID() const;
};

Thing::Thing(int id) : id(id) { }

const int Thing::ID() const {
    return id;
}

inline bool operator==(const Thing& lhs, const Thing& rhs) {
    return lhs.ID() == rhs.ID();
}
inline bool operator!=(const Thing& lhs, const Thing& rhs) {
    return !(lhs == rhs);
}

int main() {
    Thing t1(5);
    Thing t2(7);

    auto ref1 = std::ref(t1);
    auto ref2 = std::ref(t2);

    std::vector<std::reference_wrapper<Thing>> v;
    v.push_back(ref1);
    v.push_back(ref2);

    auto pos = std::find(v.begin(), v.end(), ref2);
}

1 Ответ

6 голосов
/ 01 октября 2019

Правильное решение - переместить операторы в пространство имен, где Аргумент-зависимый поиск (ADL) может найти их: 

namespace Test {

class Thing {
private:
    const int id;

public:
    Thing(int id);
    const int ID() const;
};


inline bool operator==(const Thing& lhs, const Thing& rhs) {
    return lhs.ID() == rhs.ID();
}
inline bool operator!=(const Thing& lhs, const Thing& rhs) {
    return !(lhs == rhs);
}

}

Test::Thing::Thing(int id) : id(id) { }

const int Test::Thing::ID() const {
    return id;
}

[Пример в реальном времени]

То же самое уже сделано стандартной библиотекой с такими операторами, как << для вставки потока.

...