C++学习笔记（7）friend关键字

用法

友元声明在class body中出现，并向函数或其他类grant对包含友元声明的类的私有及受保护成员的访问权

语法

描述

指明一个或多个函数作为此类的友元（不定义）

class Y
{
	int data;
	// 非成员运算符重载，运算符重载必须有定义！！
	friend std::ostream& operator<<(std::ostream& out, const Y& o);
	// 其他类的成员函数可以作为友元
	friend char* X::foo(int);
	// 其他类的构造函数和析构函数可以作为友元
	friend X::X(char), X::~X();
};

std::ostream& operator<<(std::ostream& out, const Y& y)
{
	return out<<y.data;
}

非成员函数的定义

在class内部定义的非成员函数

class X
{
	int a;
	friend void friend_set(X& p, int i)
	{
		p.a=i
	}
public:
	void member_set(int i)
	{
		a=i;
	}
};

指明一个类为友元类

class Y {};
class A
{
	int data;// 私有数据成员
	class B {};// 私有类
	enum {a=100};// 私有枚举器
	friend class X;// X为友元类
	friend Y;// Y为友元类
};
class X : A::B // X为友元类，因此可以访问私有类B，因此可以继承A::B
{
	A::B mx; 
	class Y// 友元没有传递性，这是X里面的Y和A里面的Y完全无关
	{
		A::B my;// A::B可以访问
	};
	int v[A::a];
};

模板友元

函数模板与类模板声明，都可带 friend 说明符出现于任何非局部类或类模板内（尽管只有函数模板能在授予友元关系的类或类模板内进行定义）。这种情况下，该模板的每个特化都成为友元，不管是被隐式实例化、部分特化或显式特化。

class A
{
	template<typename T>
	friend class B;
	template<typename T>
	friend void f(T) {}
};

注解

1. 友元关系不传递（你朋友的朋友不是你的朋友）。
2. 友元关系不继承（你朋友的孩子不是你的朋友，你的朋友不是你孩子的朋友）。
3. 访问说明符对于友元声明的含义没有影响（它们可以在 private: 或 public: 区间出现，且没有区别）。
4. 友元类声明不能定义新的类（friend class X {}; 是错的）。
5. 当局部类将一个无限定的函数或类声明为其友元时，只查找在其最内层非类作用域中的函数与类，而非全局函数