Проблемы с разрешением типов в перегрузке оператора сравнения

Здравствуйте. Очень нужна помощь, перерыл все форумы, ничего не нашел для решения своей проблемы:

Вот проблема:

Есть класс
Определяю функцию перегрузки оператора сравнения
Объявляю переменную
Ровно до этого места все собирается нормально. Но как только добавляю строчку в код:

Уже на уровне сборки выдает:
Причем, если я объявляю перегрузку оператора как метод класса, а не дружественную функцию, все работает. И так же все работает, если я дружественную функцию определяю в теле класса. Возможно, это не связано, но на всякий случай пишу

Я уж измучался весь в поисках. Помогите, пожалуйста.

0

Понял спасибо. Т.е. в моем случае это будет примерно так?:

0

Попов А,
"примерно так" это ерунда какая-то... перевожу
если определено TDSA_V_01
иначе если определено TDSA_V_01
У вас вторая ветка (elif) никогда не выполнится

0

Сообщение от Azathtot Попов А, "примерно так" это ерунда какая-то... перевожу если определено TDSA_V_01 иначе если определено TDSA_V_01 У вас вторая ветка (elif) никогда не выполнится

Спасибо за разъяснения. Ох, учиться мне еще и учиться. Я имел в виду это:

0

Сообщение от Алексей1153 Попов А, изначально у тебя было вот так C++ 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 namespace TDSA {     class Angle     {         public:         friend bool operator ==(Angle&, Angle&);     }; }   //namespace TDSA //{     bool operator ==(TDSA::Angle&, TDSA::Angle&)     {         return false;     } //}   int main() {     TDSA::Angle a,b;     a==b; } было объявлено два оператора == - один внутри TDSA, другой в глобальной области. Вот компилятор и не мог между ними выбрать

Все правильно, но не так просто. Если расписывать происходящее более детально, то:

1. Friend-объявление в классе в строке 6 объявляет функцию operator ==, принадлежащую охватывающему пространству имен TDSA. Однако при этом в пространстве имен TDSA не создается видимого объявления operator ==. Обыкновенный поиск имен не может найти этот operator ==. Его может найти только ADL, который будет специально перебирать друзей класса Angle.

2. Объявление в строке 12 объявляет функцию operator ==, принадлежащую глобальному пространству имен. Это обычное объявление, видимое обыкновенному поиску имен.

3. При разборе выражения a == b выполняются все виды поиска имен: и обыкновенный, и ADL. Обыкновенный поиск имен находит ::operator == и больше ничего. ADL просматривает друзей и находит TDSA::operator ==. Найдено два кандидата, ни один из которых не лучше другого. Получилась неоднозначность, на которую и жалуется компилятор.

4. Если бы вместо операторного синтаксиса a == b вы использовали в выражении обычный функциональный синтаксис operator ==(a, b), то вы наткнулись бы на ту же самую неоднозначность.

5. Однако если бы в функциональном синтаксисе вы взяли имя функции в скобки - (operator ==)(a, b) - это подавило бы ADL и неоднозначность бы сразу пропала. Обыкновенный поиск по-прежнему находил бы только ::operator ==, который бы и вызывался.

Добавлено через 11 минут
---

P.S. Именно по той причине, что friend-объявление в классе подразумевает TDSA::operator ==, но не создает для него объявления в TDSA, вы не можете напрямую ссылаться на эту функцию через квалифицированное имя TDSA::operator ==. В частности, вы не можете потом определить этот оператор просто как

Компилятор скажет вам "да, я понимаю, что вы хотите определить, но без предварительного видимого объявления в TDSA я не могу позволить вам использовать имя TDSA::operator ==". Поэтому для определения оператора вам придется переоткрыть пространство имен TDSA.

P.P.S. Что интересно, в Clang и MSVC++ этот номер с определением через квалифицированное имя прекрасно проходит. Ругается только GCC. Мне кажется, GCC прав... Или нет?

2

Сообщение от TheCalligrapher Однако при этом в пространстве имен TDSA не создается видимого объявления operator ==.

да, вот именно это меня и смутило ) Теперь более понятно

Добавлено через 1 минуту

Сообщение от TheCalligrapher имя функции в скобки - (operator ==)(a, b) - это подавило бы ADL

а почему взятие в скобки подавляет ADL?

0

Сообщение от Алексей1153 а почему взятие в скобки подавляет ADL?

Никакого другого ответа, кроме "так сказано в стандарте" у меня нет. Стандарт говорит, что ADL выполянется только тогда, когда имя функции в вызове является чистым unqualified-id. Взятие в скобки нарушает это требование. Первый же пункт спецификации ADL содержит пример именно на эту тему: https://timsong-cpp.github.io/... p.argdep#1

Вполне может быть, что эта возможность специально заложена в язык именно для того, чтобы дать вам возможность "выключать" ADL, если вы вдруг не хотите, чтобы он выполнялся. (Прослеживается отдаленная аналогия с подавлением рассмотрения функциональных макросов путем взятия имени в скобки.)

2