функции функции друга и копирования

Question

Код, показанный ниже, не компилируется, когда функция друга mag() определена внутри класса, но работает, если определено вне класса (прокомментировано). Я думаю, что разница вызвана конструктором копирования, используемым для изменения типа аргумента от А до Б. Может ли кто-нибудь объяснить, почему я должен определять внешнюю функцию друга?

Кроме того, если класс B является классом шаблонов (добавление template <class T> наверху), определение функции друга снаружи также не будет работать.

#include <iostream> 
using namespace std; 

class A { 
}; 

class B { 
public: 
    B(const A& p) { 
     std::cout << "Copy/Conversion constructor" << std::endl; 
    } 
    friend void mag(const B& p) { 
     std::cout << "Mag Inside`.\n"; 
    } 
}; 
//void mag(const B& p) { 
//  std::cout << "Mag Outside.\n"; 
//} 
int main() { 
    A a; 
    mag(a); 
    return 0; 
} 

Answer 1

Поскольку функция mag не объявлен в глобальном масштабе (вы же определены и объявлены его, когда вы сделали его другом в то же время, но заявление в своем собственном объеме все еще требуется).

Вы должны объявить:

class B { 
public: 
    B(const A& p) { 
     std::cout << "Copy constructor" << std::endl; 
    } 
    friend void mag(const B& p) { 
     std::cout << "Mag Inside`.\n"; 
    } 
}; 

void mag(const B& p); 

Если вы звоните mag с B объекта, Argument Dependant Lookup будет выглядеть в сферу B «s и найти определение.

Теперь, если B шаблон, вам необходимо объявить каждую версию mag с соответствующими параметрами (и если несколько существуют, вам нужно, чтобы помочь компилятору разрешить неоднозначность во время преобразования):

template<typename T> 
class B { 
public: 
    B(const A& p) { 
     std::cout << "Copy constructor" << std::endl; 
    } 

    friend void mag(const B<T>& p) { 
     std::cout << "Mag Inside`.\n"; 
    } 
}; 

void mag(const B<int>& p); // Version for B<int> declared. 

Answer 2

mag не объявлен в глобальном масштабе. Кроме того, ADL срабатывает во время функции разрешения перегрузки, но он строго основан на типах аргументов - не на типах implicity-convertible. Если вы хотите использовать ADL, звоните mag с B.

int main() { 
    A a; 
    mag(B(a)); 
    return 0; 
} 

Answer 3

Вы не можете определить функцию друга, как, что для класса, если этот класс был шаблон, потому что:

Предположим, у вас есть, например B<int> и B<float> будет неоднозначным для компилятора ли лечить в качестве B<int> или B<float>

поэтому вы должны объявить магнум в качестве шаблона, а так:

// Inside the class : 
friend void mag(const B<T>& p); 

// Outside the class : 
template <typename T> void mag(const B<T>& p) { 
    std::cout << "Mag Outside.\n"; 
} 

тогда это сработает!

Answer 4

1. Если класс B не является классом шаблона, вы должны определить функцию mag вне класса, потому что это функция друга, что означает, что это неклассовая функция-член.

class B{ 
    public: 
     B(const A& p){ 
      cout<<"copy constructor"<<endl; 
     }  
     friend void mag(const B& p); 
    private: 
     int k; 
}; 

void mag(const B& p){ 
    cout<<"mag"<<endl; 
} 

2. если класс B класс шаблон, вы должны добавить шаблон < ...> о как в объявлении функции и определения.

template<class T> 
class B{ 
    public: 
     B(const T& p){ 
      cout<<"copy constructor"<<endl; 
     } 
     template<class T2>  //declare mag as a template function 
     friend void mag(const T2& p); 
}; 

template<class T> //define mag function 
void mag(const T& p){ 
    cout<<"mag\n"; 
} 

Answer 5

Разделы ++ Проект стандарта N3337 C, которые имеют отношение к этому вопросу:

11.3 Friends

4 A function first declared in a friend declaration has external linkage (3.5). Otherwise, the function retains its previous linkage (7.1.1).

6 A function can be defined in a friend declaration of a class if and only if the class is a non-local class (9.8), the function name is unqualified, and the function has namespace scope. [ Example:

class M { 
    friend void f() { } // definition of global f, a friend of M, 
         // not the definition of a member function 
}; 

— end example ]

7 Such a function is implicitly inline . A friend function defined in a class is in the (lexical) scope of the class in which it is defined. A friend function defined outside the class is not (3.4.1).

В вашем примере, mag определяется в лексической области видимости класса B, т.е. имя mag не видно вне класса, даже если он имеет внешнюю связь. Чтобы сделать функцию видимой вне класса B, она должна быть объявлена ​​за пределами B.