Разница между друзьями, определенными в классе и снаружи: ошибка или функция?

Question

Рассмотрим:

struct Y { 
    Y(float f) : f(f) {} 
    float f; 
}; 

struct X { 
    X(Y y) : i(y.f) {} 
    int i; 
    friend bool operator==(X x1, X x2) { 
    return x1.i == x2.i; 
    } 
}; 

int main() 
{ 
    return Y(1) == Y(2); // ERROR 
} 

Это вызывает следующую ошибку на MSVC и похожий один на Clang:

'==': candidate function(s) not accessible 
could be the friend function at '..\main.cpp(11)' : '==' [may be found via argument-dependent lookup] 

Если я двигаю определение функции друг из класса:

struct X { 
    X(Y y) : i(y.f) {} 
    int i; 
    friend bool operator==(X x1, X x2); 
}; 

inline bool operator==(X x1, X x2) 
{ 
    return x1.i == x2.i; 
} 

Выражение в main() выше компилируется отлично.

Является ли это обязательным стандартом или ошибкой? Если это предусмотрено: почему?

Answer 1

Это странность C++.

[C++14: 11.3/7]:[..] Функция друг определен в классе находится в (лексической) области видимости класса, в котором она определена. Функция друга, определенная вне класса, не является (3.4.1).

Это означает, что вызов оператора будет работать, если вы сделали это изнутри функции-члена, but not otherwise. Хотя это не член.

Аргумент-зависимый поиск - это единственный способ его вызова, но это бесполезно для вас здесь, потому что оба аргумента: X s, а не Y s.

Ваше обходное решение - лучший способ сделать это и позволяет избежать этого беспорядка (как вы видели).

Answer 2

Я уверен, что это утвержденный стандарт. Здесь, в университете, я посещаю всякий раз, когда мы использовали функции друзей, он всегда был вне класса. Я не уверен на 100%, почему я сам, но я знаю, что он работает, не вызывая проблем.