关于CArchive类中三个友元函数的疑惑？！

[i_liangwei]

说明：以下所贴代码来自VC6自带的MFC版本（应该是4.2吧）；

大致在AFX.H文件的1789行位置左右，有如下所示代码：

public:
	// Object I/O is pointer based to avoid added construction overhead.
	// Use the Serialize member function directly for embedded objects.
	friend CArchive& AFXAPI operator<<(CArchive& ar, const CObject* pOb);

	friend CArchive& AFXAPI operator>>(CArchive& ar, CObject*& pOb);
	friend CArchive& AFXAPI operator>>(CArchive& ar, const CObject*& pOb);

	// insertion operations
	CArchive& operator<<(BYTE by);
	CArchive& operator<<(WORD w);

大致在AFX.INL文件的413行位置左右，有上述声明的具体实现：

_AFX_INLINE CArchive& AFXAPI operator<<(CArchive& ar, const CObject* pOb)
	{ ar.WriteObject(pOb); return ar; }
_AFX_INLINE CArchive& AFXAPI operator>>(CArchive& ar, CObject*& pOb)
	{ pOb = ar.ReadObject(NULL); return ar; }
_AFX_INLINE CArchive& AFXAPI operator>>(CArchive& ar, const CObject*& pOb)
	{ pOb = ar.ReadObject(NULL); return ar; }

我疑惑的地方是，上述三个操作符为什么需要设定友元，实现代码中好像没用到CArchive类的私有属性或方法，即使用到，直接把这三个操作符作为成员函数不行吗？（妄高手帮忙解惑下！）

[极简Qt]

没有研究过MFC的源码，向楼主学习！等待大牛讲解。
个人猜想，是微软有他的考虑吧，友元在实际项目中，我还没用到。。。

[hztj2005]

上述三个操作符为什么需要设定友元，直接把这三个操作符作为成员函数,应该也是可以的，你可以看看《C++编程思想》第12章。

实现代码中好像没用到CArchive类的私有属性或方法，WriteObject(pOb)可能是CArchive或其基类的方法了。

[写不动代码的人]

是不是涉及到变量的显示转换和隐式转换的问题

[i_liangwei]

[Quote=引用 2 楼 hztj2005 的回复:]
上述三个操作符为什么需要设定友元，直接把这三个操作符作为成员函数,应该也是可以的，你可以看看《C++编程思想》第12章。

实现代码中好像没用到CArchive类的私有属性或方法，WriteObject(pOb)可能是CArchive或其基类的方法了。
[/Quote]
首先非常感谢您的回答，但是我还不太明白您的意思，能不能稍微再详细点（PS：手头上暂时没有《C++编程思想》这一本书），谢谢！
就我现在的测试结果而言，貌似把上述MFC源码中所示的代码按照我的想法替换成如下代码（去掉friend，使之成为成员函数），编译运行之后，我的测试程序是没问题的（程序用到了对象序列化，并且debug发现的确运行了我改动的代码），具体改动如下！
第一段声明代码改动如下：

public:
	// Object I/O is pointer based to avoid added construction overhead.
	// Use the Serialize member function directly for embedded objects.
	CArchive& operator<<(const CObject* pOb);

	CArchive& operator>>(CObject*& pOb);
	CArchive& operator>>(const CObject*& pOb);

	// insertion operations
	CArchive& operator<<(BYTE by);
	CArchive& operator<<(WORD w);

第二段实现代码改动如下：

_AFX_INLINE CArchive& CArchive::operator<<(const CObject* pOb)
	{ WriteObject(pOb); return *this; }
_AFX_INLINE CArchive& CArchive::operator>>(CObject*& pOb)
	{ pOb = ReadObject(NULL); return *this; }
_AFX_INLINE CArchive& CArchive::operator>>(const CObject*& pOb)
	{ pOb = ReadObject(NULL); return *this; }

[hztj2005]

从编译的角度来看，运算符是一类名字特殊的函数，所以可以重载，既可以作为成员函数，也可以作为友元函数。
《C++编程思想》第12章用成员函数、友元函数两种方式给出了所有可重载的运算符的代码。

作为友元函数重载可能使用时更灵活一些，但大型程序或者商业上多方编程时有产生函数名重复的可能，所以就发展出成员函数来。

[arong1234]

个人觉得这里应该直接用成员函数（我不觉得友元更灵活，不知道所谓的灵活性来源于哪里）不要以为微软的就一定有非常充足的原因，这里也许只是程序员临时犯傻

[i_liangwei]

非常感谢你的回答，我个人其实也是这么想的，不过不敢确定，“害怕”微软在此有后招，O(∩_∩)O~！

[Quote=引用 6 楼 arong1234 的回复:]
个人觉得这里应该直接用成员函数（我不觉得友元更灵活，不知道所谓的灵活性来源于哪里）不要以为微软的就一定有非常充足的原因，这里也许只是程序员临时犯傻
[/Quote]

[tomhe666]

[Quote=引用 6 楼 arong1234 的回复:]
个人觉得这里应该直接用成员函数（我不觉得友元更灵活，不知道所谓的灵活性来源于哪里）不要以为微软的就一定有非常充足的原因，这里也许只是程序员临时犯傻
[/Quote]

//==============================================
用友元的好处我还说不清,我遇到一个情况, == 操作符不是友元函数时通不过编译, 具体如下代码
#include "stdafx.h"
#include "win32.h"

#include<string>
#include<vector>
#include<iostream>
//#include"boost/regex.hpp"

#ifdef _DEBUG
#define new DEBUG_NEW
#endif


using namespace std;
//using namespace boost;

class A
{

public:
A(){aa = 1; bb =2; pp = NULL;}
//int operator == (const A& obj1){return true;}
friend bool operator == (const A& obj1, const A& obj2);

public:
int aa;
int bb;
int* pp;
};


bool operator == (const A& obj1, const A& obj2)
{
return true;
}

vector<A> a;
vector<A> b;

vector<CString> q;
vector<CString> s;



int _tmain(int argc, _TCHAR* argv[])
{

a.push_back(5);
a.push_back(6);
b = a;
if(b == a) //注意这句,如果==不是友元函数, 这句会编译失败, 我还没想通是为什么
{
//...此处省略N字(非黄色段子)
}

return 0;

}

[tomhe666]

上面那个段码有点问题,
a.push_back(5);
a.push_back(6);
改为
a.push_back(A());
a.push_back(A());
就可以了, 这个不是重点, 因为代码是从我的一段程序中拷出来的,未经测试, 只是为了说明问题
原本想在贴子上直接改的, 发现我没这个权限,有点晕

[hztj2005]

在百度百科中：
http://baike.baidu.com/view/534170.htm

如果想重载operator>>和operator<<来读写string对象，你会很快发现它们不能是成员函数。如果是成员函数的话，调用它们时就必须把string对象放在它们的左边：
// 一个不正确地将operator>>和
// operator<<作为成员函数的类
class string {
public:
string(const char *value);
...
istream& operator>>(istream& input);
ostream& operator<<(ostream& output);
private:
char *data;
};
string s;
s >> cin; // 合法, 但有违常规
s << cout; // 同上
这会把别人弄糊涂。所以这些函数不能是成员函数。注意这种情况和前面的不同。这里的目标是自然的调用语法，前面关心的是隐式类型转换。
正确用法
istream& operator>>(istream& input, string& string)
{
delete [] string.data;
read from input into some memory, and make string.data
point to it
return input;
}
ostream& operator<<(ostream& output,
const string& string)
{
return output << string.data;
}
注意上面两个函数都要访问string类的data成员，而这个成员是私有（private）的。但我们已经知道，这个函数一定要是非成员函数。这样，就别无选择了：需要访问非公有成员的非成员函数只能是类的友元函数。

[i_liangwei]

没人知道为什么吗？坐等高手...

[Quote=引用 9 楼 tomhe666 的回复:]

上面那个段码有点问题,
a.push_back(5);
a.push_back(6);
改为
a.push_back(A());
a.push_back(A());
就可以了, 这个不是重点, 因为代码是从我的一段程序中拷出来的,未经测试, 只是为了说明问题
原本想在贴子上直接改的, 发现我没这个权限,有点晕
[/Quote]