C++类和对象（下）

1.再谈构造函数

1.1 构造函数体赋值

在创建对象时，编译器通过调用构造函数，给对象中各个成员变量一个合适的初始值。

class Date
{
public:
 Date(int year, int month, int day)
 {
 _year = year;
 _month = month;
 _day = day;
 }
 
private:
 int _year;
 int _month;
 int _day;
};

虽然上述构造函数调用之后，对象中已经有了一个初始值，但是不能将其称作为类对象成员的初始化，构造 函数体中的语句只能将其称作为赋初值，而不能称作初始化。因为初始化只能初始化一次，而构造函数体内可以多次赋值。

1.2 初始化列表

初始化列表：以一个冒号开始，接着是一个以逗号分隔的数据成员列表，每个"成员变量"后面跟一个放在括 号中的初始值或表达式。

class Date
{
public:
 Date(int year, int month, int day)
 : _year(year)
 , _month(month)
 , _day(day)
 {}
 
private:
 int _year;
 int _month;
 int _day;
};

正常情况下这种初始化列表的格式与默认构造函数其实几乎相同

1. 每个成员变量在初始化列表中只能出现一次(初始化只能初始化一次)

2. 类中包含以下成员，必须放在初始化列表位置进行初始化：

引用成员变量

const成员变量

自定义类型成员(该类没有默认构造函数)

 

class Time
{
public:
	Time(int hour)
	{
		_hour = hour;
	}
	
private:
	int _hour;
};

class Date
{
public:
	//要初始化_t对象，只能通过初始化列表
	Date(int year, int hour)
		:_t(hour)
	{
		_year = year;
		//Time t(hour);
		//_t = t;
	}

private:
	int _year;
	Time _t;
};
int main()
{
	Date d(2022,1);
	return 0;
}

提供了默认构造函数就不需要初始化列表了，但是还是需要建立对象进行调用拷贝构造函数，只不过这里走的是time默认构造，不如初始化列表。

总结：首先针对自定义的成员，如过没有给默认构造函数，必须要初始化列表，哪怕像上面一样在函数体内写也不行，如果有默认成员，在函数体内写，那他也会先走初始化列表调用默认构造，之后再去构造局部变量再去赋值，消耗太大了，直接调用带参的初始化列表更好。

初始化列表可以认为是成员变量定义的地方

 如果定义了const变量，没有用初始化列表就会报错，因为const必须在定义的地方初始化，只有一次机会赋值。正好证明了初始化列表是用来定义成员变量的，在main函数中建立对象的是用来定义整个对象的。引用也是必须用初始化列表，引用也是必须在定义的地方初始化

 

 

 

 总之：内置类型也推荐使用初始化列表，当然内置类型在函数体内初始化也没有什么明显的问题，但是自定义类型不行

成员变量在类中声明次序就是其在初始化列表中的初始化顺序，与其在初始化列表中的先后次序无关

这里的编译结果是输出1 随机值，因为先声明谁初始化列表就先初始化谁，先声明的_a2把这时的随机值a1赋值给了a2，之后才去初始化a1，用1赋值给了a1。 

explicit关键字

2. static成员

概念

 声明为static的类成员称为类的静态成员，用static修饰的成员变量，称之为静态成员变量；用static修饰的 成员函数，称之为静态成员函数。静态的成员变量一定要在类外进行初始化

 特性

1. 静态成员为所有类对象所共享，属于整个类，也属于这个类的所有对象，不属于某个具体的实例

2. 静态成员变量必须在类外定义，定义时不添加static关键字

3. 类静态成员即可用类名::静态成员或者对象.静态成员来访问

4. 静态成员函数没有隐藏的this指针，不能访问任何非静态成员

5. 静态成员和类的普通成员一样，也有public、protected、private3种访问级别，也可以具有返回值

1. 静态成员函数可以调用非静态成员函数吗？

静态是不能调用非静态，静态没有this

2. 非静态成员函数可以调用类的静态成员函数吗？

非静态可以调用静态的，静态的属于整个类

4. 友元

友元分为：友元函数和友元类

友元提供了一种突破封装的方式，有时提供了便利。但是友元会增加耦合度，破坏了封装，所以友元不宜多用。封装的某种意义上的理解就是：自己用自己的函数成员，不给别的类用。

4.1 友元函数

问题：现在我们尝试去重载operator<<，然后发现我们没办法将operator<<重载成成员函数。因为cout的输出流对象和隐含的this指针在抢占第一个参数的位置。this指针默认是第一个参数也就是左操作数了。但是 实际使用中cout需要是第一个形参对象，才能正常使用。所以我们要将operator<<重载成全局函数。但是这样的话，又会导致类外没办法访问成员，那么这里就需要友元来解决。operator>>同理。

class Date
{
public:
	Date(int year, int month, int day)
		: _year(year)
		, _month(month)
		, _day(day)
	{}

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

private:
	int _year;
	int _month;
	int _day
};
int main()
{
	Date d(2017, 12, 24);
	d << cout;
	return 0;
}

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

class Date
{
	friend ostream& operator<<(ostream& _cout, const Date& d);
	friend istream& operator>>(istream& _cin, Date& d);
public:
	Date(int year, int month, int day)
		: _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;
}

说明:

友元函数可访问类的私有和保护成员，但不是类的成员函数

友元函数不能用const修饰

友元函数可以在类定义的任何地方声明，不受类访问限定符限制

一个函数可以是多个类的友元函数

友元函数的调用与普通函数的调用和原理相同

4.2 友元类

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

       友元关系是单向的，不具有交换性。

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

       友元关系不能传递 如果B是A的友元，C是B的友元，则不能说明C时A的友元。

class Date; // 前置声明
class Time
{
	friend class Date; // 声明日期类为时间类的友元类，则在日期类中就直接访问Time类中的私有成
	//员变量
public:
	Time(int hour, int minute, int second)
		: _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)
	{}

	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;
};

5.内部类

5.1概念及特性

概念：如果一个类定义在另一个类的内部，这个内部类就叫做内部类。注意此时这个内部类是一个独立的 类，它不属于外部类，更不能通过外部类的对象去调用内部类。外部类对内部类没有任何优越的访问权限。

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

特性：

1. 内部类可以定义在外部类的public、protected、private都是可以的。

2. 注意内部类可以直接访问外部类中的static、枚举成员，不需要外部类的对象/类名。

3. sizeof(外部类)=外部类，和内部类没有任何关系。

class A
{
private:
	int h;
public:
	//B定义在A的里面
	//1.受A的类域限制，访问限定符
	//2.B天生是A的友元，不是互相友元（A是不能访问B的）
	class B
	{
	public:
		void foo(const A& a)
		{
			cout << a.h << endl;//-友元才能访问的到A里面的h
		}
	private:
		int _b;
	};
};
int main()
{
	A::B b;
	cout << sizeof(A) << endl;//4--因为A里面没有B，他只是受这个类域的限制而已，并列关系受限制于A
	return 0;
}

  

class W
{
public:
	W()
	{
		cout << "W()" << endl;
	}
	W(int x)
	{
		cout << "W()" << endl;
	}
	W(const W& w)
	{
		cout << "W(const W& w)" << endl;
	}
	W& operator =(const W& w)
	{
		cout << "W& operator =(const W& w)" << endl;
		return *this;
	}
	~W()
	{
		cout << "~~W()" << endl;
	}
};
//单参数的构造函数会进行隐式类型转换
void f1(W w)
{

}
void f2(const W& w)
{

}
W f3()
{
	W ret;//一次构造
	return ret;//传值返回,中间会生成一个拷贝，第一个是构造外加一个拷贝构造，传值返回
}
int main()
{
	//W w1;
	//f1(w1);//传值传参会产生拷贝,这里应该是一次构造加一次拷贝构造
	//f2(w1);//这里就没有拷贝构造了，因为w1是上面参数w的别名不会调用
	//f1(W());//这里传匿名对象，按照之前的理解是这里构造，f1再拷贝构造，但是编译出来没有拷贝构造
	//这里编译器优化了，只有构造，本来是构造+拷贝构造，最后引发了编译器的优化，优化成直接构造
	//vs和g++都优化了
	//f3();//这里应该是发生一次构造，传值返回发生一个拷贝构造传给一个tmp，tmp被return。
	W w1 = f3();//上面f3是发生一个构造函数，之后ret返回一个拷贝值再给w1，又是一次拷贝构造
	//综合来说是两次拷贝构造一次构造；但是实际编译出来的结果是一次构造一次拷贝。（优化了）
	//把ret->tmp给优化了，但是要思考一个问题，ret出了f3作用域就会被销毁，tmp没有了，它是怎么被
	//拷贝的？（优化的前提是在不影响程序的正常运行下进行的）
    //下面就根据栈帧返回值的理解来解释这个问题：
	//这里有main函数的栈帧还有f3函数的栈帧，如果不优化f3有一个ret对象，外面有一个tmp对象，
	//这里把ret作为返回值传给w1，因为f3的程序结束了，ret的栈帧就会被销毁，这时候再去用w1去访问
	//ret属于非法访问这个ret对象在哪？（如果它比较小 4—8byte就在寄存器，大的话就在上一层栈帧）
	//建立栈帧的时候有个叫做压返回值，压返回值的意思是调用f3这个函数，就会压参数，会在上一个函
	//数的结尾中间的位置压一个返回值
	return 0;
}

一次构造，四次拷贝构造，发生了一次优化。 

 release下更为激进，拷贝构造变成了五次。（linux g++的环境下默认是release的，需要调试变成debug）编译器觉得f里面的w没有起到价值，用w做返回值还不如用u直接去做返回值

如果写成 W w2；

               w2=f3（）；//一次构造，一次拷贝，一次赋值

这样的话（分开写）就不会触发编译器的优化

        `