朋友函数和复制构造函数

Question

当在类内部定义好友函数mag（）时，下面显示的代码不会编译，但如果在类的外部定义（注释），则该函数有效。我认为区别是由用于将参数类型从A更改为B的复制构造函数引起的。有人可以解释为什么我应该在外面定义好友函数吗？此外，如果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的范围，并找到定义。

现在，如果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中B<int>或B<float>

因此必须声明MAG为模板，以及这样的：

// 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类是一个模板类，你都应该在函数声明和定义添加模板< ...>语句。对于这个问题是相关的C++标准草案N3337的

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

节：

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之外声明。