C++入门 友元 & 编译器优化

目录

介绍

友元函数

概念及用法

说明

友元类 

概念及用法

特性

友元关系是单向的并且不具有交换性

友元关系不能传递

友元关系不能继承

内部类

概念及用法

特性

匿名对象

拷贝对象时的一些编译器优化

连续构造+拷贝构造->优化为一个构造

连续拷贝构造+拷贝构造->优化一个拷贝构造

 连续拷贝构造+赋值重载->无法优化

---

介绍

友元提供了一种突破封装的方式，有时提供了便利。但是友元会增加耦合度，破坏了封装，所以 友元不宜多用。 友元分为：友元函数和友元类。

友元函数

概念及用法

在上篇已经浅谈过友元函数，友元函数可以直接访问类的私有成员，它是定义在类外部的普通函数，不属于任何类，但需要在类的内部声明，声明时需要加friend关键字。

class Date
{
    //外部函数需要在类内部声明并加关键字friend
    //习惯性把友元函数放在类内容最前面
	friend ostream& operator<<(ostream& _cout, const Date& d);
	friend istream& operator>>(istream& _cin, Date& d);
public:
	Date(int year = 1900, int month = 1, int day = 1)
		: _year(year)
		, _month(month)
		, _day(day)
	{}
private:
	int _year;
	int _month;
	int _day;
};

ostream& operator<<(ostream& _cout, const Date& d)
{
	_cout << d._year << "-" << d._month << "-" << d._day;
	return _cout;
}

istream& operator>>(istream& _cin, Date& d)
{
	_cin >> d._year;
	_cin >> d._month;
	_cin >> d._day;
	return _cin;
}

int main()
{
	Date d;
	cin >> d;
	cout << d << endl;
	return 0;
}

说明

1. 友元函数可访问类的私有和保护成员，但不是类的成员函数
2. 友元函数不能用const修饰
3. 友元函数可以在类定义的任何地方声明，不受类访问限定符限制
4. 一个函数可以是多个类的友元函数
5. 友元函数的调用与普通函数的调用原理相同

友元类 

概念及用法

友元类的所有成员函数都可以是另一个类的友元函数，都可以访问另一个类中的非公有成员。

class Time
{
	// 声明 Date是Time的友元
	friend class Date;
public:
	Time(int hour = 0, int minute = 0, int second = 0)
		: _hour(hour)
		, _minute(minute)
		, _second(second)
	{}
private:
	int _hour;
	int _minute;
	int _second;
};

class Date
{
public:
	Date(int year = 1900, int month = 1, int day = 1)
		: _year(year)
		, _month(month)
		, _day(day)
	{
		_t._hour++;
	}
	void SetTimeOfDate(int hour, int minute, int second)
	{
		// 直接访问时间类私有的成员变量
		_t._hour = hour;
		_t._minute = minute;
		_t._second = second;
	}
private:
	int _year;
	int _month;
	int _day;

	Time _t;
};

Date中可以访问Time的私有，但是Time中不能访问Date的私有，即我是你的朋友，我可以去你家，但是你不能来我家。

特性

友元关系是单向的并且不具有交换性

上述Time类和Date类，在Time类中声明Date类为其友元类，那么可以在Date类中直接访问Time类的私有成员变量，但想在Time类中访问Date类中私有的成员变量则不行。

友元关系不能传递

如果C是B的友元， B是A的友元，则不能说明C时A的友元。即我是你的朋友，你是小明的朋友，不能说我是小明的朋友。

友元关系不能继承

后面篇章会有详细解释

内部类

概念及用法

如果一个类定义在另一个类的内部，这个内部类就叫做内部类。内部类是一个独立的类， 它不属于外部类，更不能通过外部类的对象去访问内部类的成员。外部类对内部类没有任何优越 的访问权限。

注意：内部类就是外部类的友元类，参见友元类的定义，内部类可以通过外部类的对象参数来访 问外部类中的所有成员。但是外部类不是内部类的友元。

class A
{
private:
	static int k;
	int h;	//只有h占4个字节

public:
	void func()
	{}

//private:    //如果取消注释，b1无法构造，原因：外部无法访问私人类域
	// 内部类
	// 独立的类，放到A里面仅仅受到类域限制
	class B // B天生就是A的友元
	{
	public:
		void foo(const A& a)
		{
			cout << k << endl;//OK
			cout << a.h << endl;//OK
		}

	private:
		int _b;
	};
};

int main()
{
	cout << sizeof(A) << endl;    //输出4

	A a1;    //A类型变量a1

	A::B b1;    //B类型变量b1

	return 0;
}

特性

1. 内部类可以定义在外部类的public、protected、private都是可以的。
2. 注意内部类可以直接访问外部类中的static成员，不需要外部类的对象/类名。
3. sizeof(外部类)=外部类，和内部类没有任何关系。

匿名对象

class A
{
public:
	A(int a = 0)
		:_a(a)
	{
		cout << "A(int a)" << endl;
	}
	~A()
	{
		cout << "~A()" << endl;
	}
private:
	int _a;
};

int main()
{
	A aa1;

	// 不能这么定义对象，因为编译器无法识别下面是一个函数声明，还是对象定义
	A aa1();

	// 匿名对象，生命周期只在当前这一行
	A();//自动调用析构函数
	return 0;
}

main函数里的A()就是匿名对象，什么时候使用匿名对象等以后再说。

拷贝对象时的一些编译器优化

class A
{
public:
	A(int a = 0)
		:_a(a)
	{
		cout << "A(int a)" << endl;
	}

	A(const A& aa)
		:_a(aa._a)
	{
		cout << "A(const A& aa)" << endl;
	}

	A& operator=(const A& aa)
	{
		cout << "A& operator=(const A& aa)" << endl;
		if (this != &aa)
		{
			_a = aa._a;
		}
		return *this;
	}

	~A()
	{
		cout << "~A()" << endl;
	}
private:
	int _a;
};

以下代码都以A类为变量。 

传值传参如下图所示

 构造aa1，把aa1拷贝构造给aa，f1走完，aa析构，main最后销毁aa1

连续构造+拷贝构造->优化为一个构造

此处我们在隐式类型转换处已经详细解释，不再过多赘述。

void f1(A aa)
{}

int main()
{
	// 隐式类型，连续构造+拷贝构造->优化为直接构造
	f1(1);

	// 一个表达式中，连续构造+拷贝构造->优化为一个构造
	f1(A(2));
	return 0;
}

连续拷贝构造+拷贝构造->优化一个拷贝构造

A f2()
{
	A aa;
	return aa;
}

int main()
{
     // 一个表达式中，连续拷贝构造+拷贝构造->优化一个拷贝构造
	A aa2 = f2();
	return 0;
}

 连续拷贝构造+拷贝构造->优化一个拷贝构造，具体系统操作如下图所示： 

 连续拷贝构造+赋值重载->无法优化

A f2()
{
	A aa;
	return aa;
}

int main()
{
	A ret;
	// 一个表达式中，连续拷贝构造+赋值重载->无法优化
	ret = f2();
	return 0;
}

连续拷贝构造+赋值重载->无法优化，具体系统操作如下图所示：

在类和对象阶段，大家一定要体会到，类是对某一类实体(对象)来进行描述的，描述该对象具有那 些属性，那些方法，描述完成后就形成了一种新的自定义类型，才用该自定义类型就可以实例化 具体的对象。