Почему lower_bound не видит operator, хотя он определен?

Question

[keddad]

У меня есть такой отрывок кода:

bool operator<(const char l, const string& h) {
    return l < h[0];
}

template <typename RandomIt>
pair<RandomIt, RandomIt> FindStartsWith(
    RandomIt range_begin, RandomIt range_end,
    char prefix)
{
    auto left = lower_bound(range_begin, range_end, prefix);
    auto right = upper_bound(range_begin, range_end, prefix);
    return {left, right};
}

Несмотря на то, что operator< для чара и строки явно определен, я все равно получаю ошибку при компиляции:

no match for ‘operator<’ (operand types are ‘const char’ and ‘const std::__cxx11::basic_string<char>’)

ЧЯДНТ?

Answer 1

[Антон Жилин]

operator< ищется через ADL. Нельзя определить оператор для чужих типов, и чтобы его подхватили алгоритмы. Предлагаю такое решение: вместо char искать свою структуру (её можно определить просто как struct с char), для которой определить сравнение так же, как ты это сделал с char.

Comments

[keddad]

Тогда просто определю компаратор как отдельную функцию и передам его в lower_bound и upper_bound, так будет проще. Спасибо!

[Евгений Шатунов]

Антон Жилин , меня терзают смутные сомнения...

Нельзя определить оператор для чужих типов, и чтобы его подхватили алгоритмы.

А это где-нибудь изложено в стандарте?

Я так думаю, keddad , просто сделал перегрузку в неправильном месте. Тривиальные типы определены в глобальном пространстве имен, там ADL и будет искать перегрузку.

[Антон Жилин]

Евгений Шатунов, предлагаешь в таких случаях лезть в чужой namespace или в stl? Детали я опустил намеренно, объяснив важное в данном случае свойство ADL простым языком. Предлагаемая техника с обёрткой определённо имеет право на существование.

[Евгений Шатунов]

Антон Жилин,

предлагаешь в таких случаях лезть в чужой namespace или в stl?

Да нет, я просто обращаю внимание на механизм ADL.

1) For arguments of fundamental type, the associated set of namespaces and classes is empty

Оператор перегрузить ты не сможешь только для тривиальных типов. А вот если один из операндов является объектом перечислимого или сложного типа, то уже можно.

Правилами хорошего тона принято операторы перегружать в пространстве первого операнда. Это означает, да, перегрузку в пространстве std для оператора потокового вывода. Прямых ссылок на твердость этого утверждения у меня нет, ведь все подобные практики до сих пор передаются лишь на словах.
Однако в этом есть удобство поиска перегрузки для вычитки и такой подход не заставляет ADL лопатить лишние пространства ради поиска нужного оператора.
Т.е. это еще и вопрос скорости компиляции.
В этом плане мой пример перегрузки является плохим с точки зрения скорости компиляции.

Еще есть вот такой полезный совет. Там есть и хорошее замечание по поводу перегрузки бинарных операторов с аргументами в разных пространствах.

[Евгений Шатунов]

keddad, попробуй написать в своей перегрузке оператора полную квалификацию типа строки: std::string, а не просто string.
Т.е. чтобы сигнатура выглядела так: bool operator<(const char l, const std::string& h)