一. 构造函数补充
1. 构造函数整体赋值
在创建对象时,编译器通过调用构造函数,给对象中各个成员变量一个合适的初始值。
class Date
{
public:
Date(int year, int month, int day)
{
_year = year;
_month = month;
_day = day;
}
private:
int _year;
int _month;
int _day;
}
虽然上述构造函数调用之后,对象中已经有了一个初始值,但是不能将其称作为类对象成员的初始化,构造函数体中的语句只能将其称作为赋初值,而不能称作初始化。因为初始化只能初始化一次,而构造函数体内可以多次赋值。
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 A
{
public:
A(int a)
:_a(a)
{}
private:
int _a;
};
class B
{
public:
B(int a, int ref)
:_aobj(a)
,_ref(ref)
,_n(10)
{}
private:
A _aobj; // 没有默认构造函数
int& _ref; // 引用
const int _n; // const
};
3. 尽量使用初始化列表初始化,因为不管你是否使用初始化列表,对于自定义类型成员变量,一定会先使用初始化列表初始化。
class Time
{
public:
Time(int hour = 0)
:_hour(hour)
{
cout << "Time()" << endl;
}
private:
int _hour;
};
class Date
{
public:
Date(int day)
{}
private:
int _day = 10;
Time _t;
};
int main()
{
Date d(1);
}
即使这里_day给了缺省值,也会优先使用初始化列表的值,缺省值只是在没有传参时起作用,而初始化列表给了值,缺省值就失去意义了。
4. 成员变量在类中声明次序就是其在初始化列表中的初始化顺序,与其在初始化列表中的先后次序无关
class A
{
public:
A(int a)
:_a1(a)
,_a2(_a1)
{}
void Print() {
cout<<_a1<<" "<<_a2<<endl;
}
private:
int _a2;
int _a1;
}
int main() {
A aa(1);
aa.Print();
}
这里的输出的是1和随机值,先初始化a2,再初始化a1,a1一开始是随机值初始化a2,导致a2是随机值,再用a(a这里是1)初始化a1,a1就是1。
3. explicit关键字
构造函数不仅可以构造与初始化对象,对于单个参数的构造函数,还具有类型转换的作用。
class Date
{
public:
Date(int year)
:_year(year)
{}
explicit Date(int year)
:_year(year)
{}
Date(const Date& d)
{
}
private:
int _year;
int _month:
int _day;
};
void TestDate()
{
Date d1(2022);
// 用一个整形变量给日期类型对象赋值
// 实际编译器背后会用2021构造一个匿名对象,最后用匿名对象给d2对象进行拷贝构造
Date d2 = 2021;//本质是隐式类型的转换
}
上述代码可读性不是很好,用explicit修饰构造函数,将会禁止单参构造函数的隐式转换。
这里其实编译器会进行优化,本来应该是会先创建一个匿名对象并且使用2021去构造这个匿名对象然后再将这个匿名对象拷贝构造给d2这个对象,但是编译器将拷贝构造这个步骤去了,只进行了构造并将2021构造到d2上,加上explicit这个关键字后就不会进行优化了,并报错。
事实证明g++优化了,如下:
没加explicit之前编译运行通过了并且确实是直接构造了并没有拷贝构造
加了explicit以后就报错了:
二. static成员
1. 概念
声明为static的类成员称为类的静态成员,用static修饰的成员变量,称之为静态成员变量;用static修饰的成员函数,称之为静态成员函数。静态的成员变量一定要在类外进行初始化
class A
{
public:
A() {++_scount;}
A(const A& t) {++_scount;}
static int GetACount() { return _scount;}
private:
static int _scount;
};
int A::_count = 0;
void TestA()
{
cout<<A::GetACount()<<endl;
A a1, a2;
A a3(a1);
cout<<A::GetACount()<<endl;
}
2. 特性
- 静态成员为所有类对象所共享,不属于某个具体的实例
- 静态成员变量必须在类外定义,定义时不添加static关键字
- 类静态成员即可用类名::静态成员或者对象.静态成员来访问
所以我们应该如下访问和定义:
- 静态成员函数没有隐藏的this指针,不能访问任何非静态成员
上面那种访问方式是有缺陷的,因为成员变量需要被改为公有的才行,私有的成员变量这样访问是会报错的,这里可以用以下面这种方式访问可以避免在没创建对象的时候想得到count的值:
既可以使用对象去调用也可以使用类名调用,让编译器去指定的类里找,由于static修饰的函数没有了this指针,使static修饰的函数突破类域
注:静态函数成员不能访问非静态函数成员,静态函数成员没有this指针无法访问
- 静态成员和类的普通成员一样,也有public、protected、private3种访问级别,也可以具有返回值
1. 静态成员函数可以调用非静态成员函数吗?
很明显不能,因为没有this指针,无法确定调用哪个对象的函数,如下报错:
2. 非静态成员函数可以调用类的静态成员函数吗?
肯定可以,静态成员函数还是成员函数,只是没有了this,非静态成员函数有this,可以访问到静态成员函数,正常运行,如下图:
三. C++11成员的新“初始化”
C++11支持非静态成员变量在声明时进行初始化赋值,但是要注意这里不是初始化,这里是给声明的成员变量缺省值。
class B
{
public:
B(int b = 0)
:_b(b)
{}
int _b;
};
class A
{
public:
void Print()
{
cout << a << endl;
cout << b._b<< endl;
cout << p << endl;
}
private:
// 非静态成员变量,可以在成员声明时给缺省值。
int a = 10;
B b = 20;
int* p = (int*)malloc(4);
static int n;
};
int A::n = 10;
int main()
{
A a;
a.Print();
return 0;
}
非静态成员变量,可以在成员声明时给缺省值。
四. 友元
友元分为:友元函数和友元类
友元提供了一种突破封装的方式,有时提供了便利。但是友元会增加耦合度,破坏了封装,所以友元不宜多用。
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;
}
prvate:
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;
}
如果这里是声明定义分离,这里还会出现一个问题,那就是全局函数不能在头文件里定义(类里的成员函数由于是内联函数按道理会展开而没有函数地址符号表不会有函数地址)不然就是在两个.cpp文件都包含了这个头文件就会出现两个.cpp文件都有它的定义,两个符号表里都有它的地址,从而导致多重的链接时错误。所以上面代码是建立在定义声明没有分离的情况下。
注意:
- 友元函数可访问类的私有和保护成员,但不是类的成员函数
- 友元函数不能用const修饰(友元函数没有this指针),友元函数可以在类定义的任何地方声明,不受类访问限定符限制
- 一个函数可以是多个类的友元函数
- 友元函数的调用与普通函数的调用和原理相同
2. 友元类
友元类的所有成员函数都可以是另一个类的友元函数,都可以访问另一个类中的非公有成员。
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;
};
- 友元关系是单向的,不具有交换性。
比如上述Time类和Date类,在Time类中声明Date类为其友元类,那么可以在Date类中直接访问Time类的私有成员变量,但想在Time类中访问Date类中私有的成员变量则不行。
- 友元关系不能传递
如果B是A的友元,C是B的友元,则不能说明C时A的友元。
五. 内部类
1. 概念
概念:如果一个类定义在另一个类的内部,这个内部类就叫做内部类。注意此时这个内部类是一个独立的类,它不属于外部类,更不能通过外部类的对象去调用内部类。外部类对内部类没有任何优越的访问权限。
注意:
内部类就是外部类的友元类。
注意友元类的定义,根据友元类的定义内部类可以通过外部类的对象参数来访问外部类中的所有成员。
外部类不是内部类的友元。外部类不能通过内部类的对象参数来访问内部类中的所有成员
2. 特性
- 内部类可以定义在外部类的public、protected、private都是可以的。
- 注意内部类可以直接访问外部类中的static、枚举成员,不需要外部类的对象/类名。
- sizeof(外部类)=外部类,和内部类没有任何关系。
(1)为什么sizeof(外部类)=外部类?
如下代码,因为在A类中并没有定义B对象,这里的static成员变量大小也不计入A类的任何一个类的大小,因为static定义的成员变量位于静态区,没有存在任何一个对象里,使用A类创建的所有对象都能访问static成员变量,如A类的大小就是四个字节。
class A
{
private:
static int k;
int h;
public:
class B
{
public:
void foo(const A& a)
{
cout << k << endl;//OK
cout << a.h << endl;//OK
}
};
};
int A::k = 1;
int main()
{
A::B b;
b.foo(A());
return 0;
}