[已解决]（C++）为什么这里的类模板友元函数会报错显示：无法解析的外部符号

SKY朱长

代码如下：

1.                 #include<iostream>
   
2. using namespace std;
   
3. template <class Value>
   
4. class Complex
   
5. {
   
6. private:
   
7.         Value real;
   
8.         Value image;
   
9. public:
   
10.         Complex(Value xx = 0, Value yy = 0);
    
11.         template<class T>
    
12.         friend Complex operator + (const Complex<T> &a, const Complex<T> &b);
    
13.         template<class T>
    
14.         friend Complex operator - (const Complex<T> &a, const Complex<T> &b);
    
15.         void Print();
    
16. };
    
17. 
    
18. int main()
    
19. {
    
20.         double a, b, c, d;
    
21.         cout << "请输入第一个复数的实部虚部:" << endl;
    
22.         cout << "虚部:";
    
23.         cin >> a;
    
24.         cout << "实部:";
    
25.         cin >> b;
    
26.         cout << "请输入第二个复数的实部虚部:" << endl;
    
27.         cout << "虚部:";
    
28.         cin >> c;
    
29.         cout << "实部:";
    
30.         cin >> d;
    
31.         Complex<double> aa(a, b), bb(c, d),cc;
    
32.         aa + bb;
    
33.         cout << "两复数相加的值为:";
    
34.         cc.Print();
    
35.         cout << "两复数相减的值为:";
    
36.         aa - bb;
    
37.         cc.Print();
    
38.         system("Pause");
    
39.         return 0;
    
40. }
    
41. 
    
42. template <class Value>
    
43. Complex<Value>::Complex(Value cc, Value dd)
    
44. {
    
45.         real = cc;
    
46.         image = dd;
    
47. }
    
48. 
    
49. template<class Value>
    
50. void Complex<Value>::Print()
    
51. {
    
52.         cout << real;
    
53.         if (image != 0)
    
54.         {
    
55.                 if (image > 0)
    
56.                         cout << " + ";
    
57.                 cout << image << "i ";
    
58.         }
    
59.         cout << endl;
    
60. }
    
61. 
    
62. template<class T>
    
63. Complex<T> operator + (Complex<T> &a, Complex<T> &b)
    
64. {
    
65.         Complex<T> copy;
    
66.         copy.real = a.real + b.real;
    
67.         copy.image = a.image + b.image;
    
68.         return copy;
    
69. }
    
70. 
    
71. template<class T>
    
72. Complex<T> operator - (Complex<T> &a, Complex<T> &b)
    
73. {
    
74.         Complex<T> copy;
    
75.         copy.real = a.real - b.real;
    
76.         copy.image = a.image - b.image;
    
77.         return copy;
    
78. }

复制代码

最佳答案

月排行榜 / 总排行榜

Croper

2019-5-16 17:57:29

首先，加不加const是两个函数，你的友元声明里有const，后面的定义里却没有const，这是第一个问题

第二，友元声明里你的返回值没有模板参数，按照定义，会自动套用原来的模板参数，于是，你的友元声明其实是这样的：

1. template <typename Value>
   
2. template <typename T>
   
3. Complex<Value> operator+(const Complex<T>&,const Complex<T>&);

复制代码

然而，C++并不允许重载仅仅只有返回值类型不同的函数。因此，你这个友元声明是错误的。

改正以上两点已经正确可以运行了

这里提一下，你这样重载的话其实建立的并不是一一对应的友元关系，而是把所有类型的operator+都声明为了友元，换句话说，operator+<int>也可以访问Complex<double>的私有数据成员。
所以如果追求一一对应的话，那么需要把函数声明，友元声明和函数定义分开写。


一对多的友元声明我就不给代码了，你把前两点改了就行，
这是一一对应的友元声明的代码：

1. #include<iostream>
   
2. using namespace std;
   
3. 
   
4. template <typename T> class Complex;  //首先声明类
   
5. 
   
6. template <typename T> Complex<T> operator+(const Complex<T>&, const Complex<T>&);  //函数声明
   
7. template <typename T> Complex<T> operator-(const Complex<T>&, const Complex<T>&);
   
8. 
   
9. 
   
10. template <class T>
    
11. class Complex
    
12. {
    
13.         friend Complex operator+<T>(const Complex&, const Complex&);  //友元声明
    
14.         friend Complex operator-<T>(const Complex&, const Complex&);
    
15.        
    
16.         ...
    
17. };
    
18. ...
    
19. 
    
20. template<class T>
    
21. Complex<T> operator + (const Complex<T> &a, const  Complex<T> &b)  //函数定义
    
22. {
    
23.         Complex<T> copy;
    
24.         copy.real = a.real + b.real;
    
25.         copy.image = a.image + b.image;
    
26.         return copy;
    
27. }
    
28. 
    
29. template<class T>
    
30. Complex<T> operator - (const Complex<T> &a, const  Complex<T> &b)
    
31. {
    
32.         Complex<T> copy;
    
33.         copy.real = a.real - b.real;
    
34.         copy.image = a.image - b.image;
    
35.         return copy;
    
36. }
    

复制代码

跳转到最佳答案楼层

Croper

首先，加不加const是两个函数，你的友元声明里有const，后面的定义里却没有const，这是第一个问题

第二，友元声明里你的返回值没有模板参数，按照定义，会自动套用原来的模板参数，于是，你的友元声明其实是这样的：

1. template <typename Value>
   
2. template <typename T>
   
3. Complex<Value> operator+(const Complex<T>&,const Complex<T>&);

复制代码

然而，C++并不允许重载仅仅只有返回值类型不同的函数。因此，你这个友元声明是错误的。

改正以上两点已经正确可以运行了

这里提一下，你这样重载的话其实建立的并不是一一对应的友元关系，而是把所有类型的operator+都声明为了友元，换句话说，operator+<int>也可以访问Complex<double>的私有数据成员。
所以如果追求一一对应的话，那么需要把函数声明，友元声明和函数定义分开写。


一对多的友元声明我就不给代码了，你把前两点改了就行，
这是一一对应的友元声明的代码：

1. #include<iostream>
   
2. using namespace std;
   
3. 
   
4. template <typename T> class Complex;  //首先声明类
   
5. 
   
6. template <typename T> Complex<T> operator+(const Complex<T>&, const Complex<T>&);  //函数声明
   
7. template <typename T> Complex<T> operator-(const Complex<T>&, const Complex<T>&);
   
8. 
   
9. 
   
10. template <class T>
    
11. class Complex
    
12. {
    
13.         friend Complex operator+<T>(const Complex&, const Complex&);  //友元声明
    
14.         friend Complex operator-<T>(const Complex&, const Complex&);
    
15.        
    
16.         ...
    
17. };
    
18. ...
    
19. 
    
20. template<class T>
    
21. Complex<T> operator + (const Complex<T> &a, const  Complex<T> &b)  //函数定义
    
22. {
    
23.         Complex<T> copy;
    
24.         copy.real = a.real + b.real;
    
25.         copy.image = a.image + b.image;
    
26.         return copy;
    
27. }
    
28. 
    
29. template<class T>
    
30. Complex<T> operator - (const Complex<T> &a, const  Complex<T> &b)
    
31. {
    
32.         Complex<T> copy;
    
33.         copy.real = a.real - b.real;
    
34.         copy.image = a.image - b.image;
    
35.         return copy;
    
36. }
    

复制代码

SKY朱长

Croper 发表于 2019-5-16 17:57
首先，加不加const是两个函数，你的友元声明里有const，后面的定义里却没有const，这是第一个问题

第二 ...

懂了，谢谢。