目录
一、构造函数中的初始化列表
class Date
{
public:
Date(int year, int month, int day)
{
_year = year;
_month = month;
_day = day;
}
private:
int _year;
int _month;
int _day;
};
实例化对象时调用上述的构造函数调用之后,对象中已经有了一个初始值,但是不能将其称为对对象中成员变量的初始化,构造函数体中的语句只能将其称为赋初值,而不能称作初始化。因为初始化只能初始化一次,而构造函数体内可以多次赋值。
因此引出了初始化列表,在函数体外,跟在函数声明后,以一个冒号开始,接着是一个以逗号分隔的数据成员列表,每个"成员变量"后面跟一个放在括号中的初始值或表达式。例如:
class Date
{
public:
Date(int year, int month, int day)
:_year(year)
, _month(month)
, _day(day)
{}
Date(int year, int month, int day)
:_year(year), _month(month), _day(day)
{}
private:
int _year;
int _month;
int _day;
};
上面的初始化列表的两种写法:
- 将每个变量按列表的形式摆放,便于程序员识别
- 将变量都写在一行,节省代码空间
这两种写法意思都是一样的,就看程序员习惯哪一种而已。
初始化列表需要注意:
- 每个成员变量只能在初始化列表中出现一次
- 类中包含定义时必须初始化的成员时,必须使用初始化列表,例如:const成员变量,引用成员变量,无默认构造函数的自定义类型成员变量。
- 尽量使用初始化列表初始化,因为不管你是否使用初始化列表,对于自定义类型成员变量,一定会先使用初始化列表初始化。
- 成员变量在类中声明次序就是其在初始化列表中的初始化顺序,与其在初始化列表中的先后次序无关
二、explicit关键字
explicit关键字是为了解决隐式类型转换的问题。在C语言中,相近类型,意义相似的类型可以发生隐式类型转换。例如int和double两个类型都是表示大小的,所以可以发生。那么,在自定义类型中是否可以发生这中转换吗?
class Date
{
public:
Date(int year, int month, int day)
:_year(year)
, _month(month)
, _day(day)
{}
private:
int _year;
int _month;
int _day;
};
int main()
{
Date d1 = {2025, 4, 12};
return 0;
}
上述代码中,Date d1 = { 2025, 4, 12 }; 为什么能运行成功,有些人会疑惑这也不是赋值运算符函数,右边不是类类型的对象啊。
解释:
这里其实是编译器先用{2025, 4, 12}构造一个匿名对象,然后把这个对象给d1赋值,因为两次构造是连续的,所以两个动作会被编译器优化为一个构造,两次都是直接构造,但是意义还是不同的。如果我们不想这种隐式类型转换发生,一般在构造函数前面加一个explicit的关键字。
explicit Date(int year, int month, int day)
:_year(year)
,_month(month)
,_day(day)
{}
三、static成员
声明为static的类成员称为类的静态成员。用static修饰的成员变量,称之为静态成员变量;用static修饰的成员函数,称之为静态成员函数。静态成员变量一定要在类外进行初始化。
静态成员特点:
- 静态成员为所有类对象所共享,不属于某个具体的对象,存放在静态区
- 静态成员变量必须在类外定义,定义时不添加static关键字,类中只是声明
- 类静态成员即可用类名::静态成员或者对象.静态成员来访问
- 静态成员函数没有隐藏的this指针,不能访问任何非静态成员
- 静态成员也是类的成员,受public、protected、private访问限定符的限制
可以利用静态成员变量实现计算该程序创建了多少个对象:
class Date
{
public:
Date(int year = 1, int month = 1, int day = 1)
:_year(year)
, _month(month)
, _day(day)
{
_sCount++;
}
static int GetCount()
{
return _sCount;
}
void Print()
{
cout << _year << "-" << _month << "-" << _day << endl;
}
private:
int _year;
int _month;
int _day;
static int _sCount;
};
int Date::_sCount = 0;
上述代码中,每创建一个对象,就会调用构造函数,从而导致_sCount++,这样就实现了计算创建对象的数量。
四、C++11中新的初始化方式
class Date
{
public:
void Print()
{
cout << _year << "-" << _month << "-" << _day << endl;
}
private:
int _year = 1;
int _month = 1;
int _day = 1;
static int _sCount;
};
int Date::_sCount = 0;
直接在成员变量声明的地方给值,但要注意的是静态成员变量仍需要在类外初始化定义。
五、友元
友元提供了一种突破封装的方式,有时提供了便利。但是友元会增加耦合度,破坏了封装,所以
友元不宜多用。友元分为:友元函数和友元类。
5.1 友元函数
在前面我们提到过运算符重载,思考一下operator<<这个怎么重载,怎么实现?
我们会发现不能将operator<<重载成成员函数,因为一般使用时是cout << xx的形式,cout需要在左边,而成员函数的第一个参数默认是this指针,抢占了cout的位置,最后会变成xx << cout的形式,因此我们需要将operator<<重载成全局函数,但是这样又会导致不能访问类内的成员。这个时候友元就是来解决这样的问题。
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修饰
- 友元函数可以在类定义的任何地方声明,不受类访问限定符限制
- 一个函数可以是多个类的友元函数
- 友元函数的调用与普通函数的调用原理相同
5.2 友元类
友元类的所有成员函数都可以是另一个类的友元函数,都可以访问另一个类中的非公有成员。
class Date
{
public:
Date(int year = 1, 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;
};
class Time
{
friend class Date;
public:
Time(int hour, int minute, int second)
:_hour(hour)
, _minute(minute)
, _second(second)
{}
private:
int _hour;
int _minute;
int _second;
};
需要注意:
- 友元关系是单向的,不具有交换性
比如上述Time类和Date类,在Time类中声明Date类为其友元类,那么可以在Date类中直接访问Time类的私有成员变量,但想在Time类中访问Date类中私有的成员变量则不行。
- 友元关系不能传递
如果C是B的友元, B是A的友元,则不能说明C时A的友元。
- 友元关系不能继承
六、内部类
如果一个类定义在另一个类的内部,这个内部类就叫做内部类。内部类是一个独立的类,它不属于外部类,更不能通过外部类的对象去访问内部类的成员。外部类对内部类没有任何优越的访问权限。
class A
{
private:
static int k;
int h;
public:
class B // B天生就是A的友元
{
public:
void foo(const A& a)
{
cout << k << endl;//OK
cout << a.h << endl;//OK
}
};
};
int A::k = 1;
int main()
{
A a;
A::B b;
b.foo(a);
return 0;
}
内部类就是外部类的友元类,参见友元类的定义,内部类可以通过外部类的对象参数来访问外部类中的所有成员。但是外部类不是内部类的友元。
注意:
- 内部类可以定义在外部类的public、protected、private都是可以的。
- 注意内部类可以直接访问外部类中的static成员,不需要外部类的对象/类名。
- sizeof(外部类)=外部类,和内部类没有任何关系。
七、匿名对象
匿名对象就是在实例化对象时不用给对象取名字,它的生命周期只有一行,一般用来传递参数或者调用类内成员函数,例如我们在做OJ题时,总会有Solution这个类,那在调用里面的函数时,我们只需要创建一个匿名对象,在这一行调用类内的成员函数,而不需要在程序的整个生命周期中存在。
例如:LeetCode上的第一题:两数之和
class Solution
{
public:
vector<int> twoSum(vector<int> &nums, int target)
{
...
}
};
int main()
{
......
Solution().twoSum(nums, target); // 直接创建匿名对象调用函数
// 只需要这一行的生命周期
......
}
八、拷贝对象时的一些编译器优化
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;
};
void f1(A aa)
{}
A f2()
{
A aa;
return aa;
}
上述代码中我们实现了一个A的类,并且完成了构造函数、拷贝构造函数、赋值运算符重载这三函数。
A aa1 = 1;
f1(aa1);
f1是传值传参,会发生A aa的初始化,就会调用拷贝构造函数,将aa1的值赋给aa。
f2();
f2函数内部定义了一个A aa的对象,调用了构造函数。
f1(1);
这里出现了隐式类型转换,先会调用构造函数生成一个A tmp(1)的对象,然后将tmp对象拷贝给A aa对象,这里编译器就会发生优化,变成直接构造。
f1(A(2));
这里我们先构造了一个A类型的匿名对象,然后将匿名对象拷贝构造给A aa,连续的构造最后编译器会优化为一个构造。
A aa2 = f2();
这里f2函数返回时会创建临时变量A tmp,函数内部的aa变量拷贝给tmp,然后将tmp赋给aa2,由于aa2是初始化,因此会变成拷贝构造,连续的拷贝构造最后编译器会优化成为一个拷贝构造。
aa1 = f2();
这里的与上面的形式很像,但区别在于这个不是初始化,因此会将tmp赋值给aa1,整个过程就变为了连续拷贝+赋值,这里编译器不会优化。
总的来说,这里的优化就是编译器在构造函数、拷贝构造函数、赋值函数三者之间为了减少拷贝,而合成一个。
结语
到此C++类和对象的知识就介绍完了,类和对象是C++的基础,需要详细了解,面试中也是常考的点。下一篇将会介绍C++中的内存管理,有兴趣的朋友可以关注一下。