初始化列表的引入
class Stack
{
public:
Stack(int capacity)
{
_arr = (int*)malloc(sizeof(int) * capacity);
if (_arr == NULL)
{
perror("malloc->_newarr");
return;
}
_capacity = capacity;
}
private:
int _capacity;
int _size;
int* _arr; //默认构造函数:
//无参构造函数
}; //全缺省构造函数
//自己没有写编译器自动生生成的
//总之:就是不需要传参的就是默认构造函数
class MyQueue
{
public:
private:
Stack _pushst;
Stack _popst;
int _size;
};
代码解释:上面的程序是两个栈实现一个队列的部分代码,在MyQueue类中,自己没有写构造函数,通过前面的知识,我们知道,编译器生成的默认构造函数,对于自定义类型,会去调用他的默认构造函数,对内置类型,没有规定要不要处理
但是,通过上面的代码,Stack里面的构造函数,是需要传递参数的,不是默认构造函数,所以这个时候MyQueue类里面的构造函数,需要自己实现,这时候,就需要使用初始化列表
初始化列表
初始化列表:以一个冒号开始,接着是一个以逗号分隔的数据成员列表,每个"成员变量"后面跟
一个放在括号中的初始值或表达式。
上面是实现MyQueue类的构造函数,就可以写成下面的形式
class MyQueue
{
public:
MyQueue()
:_pushst(4) //传递参数为4
,_popst(4),
_size(0) //_size初始化为0
{
//_size=0; //这个这样写也可以
}
private:
Stack _pushst;
Stack _popst;
int _size;
};
注意事项
注意事项1
类中包含以下的成员,必须在初始化列表初始化
1.const修饰的成员变量
2.引用
3.自定义类型,其没有默认构造函数
4.初始化列表可以理解成为变量初始化的地方
注意事项2
尽量使用初始化列表初始化,因为不管你用不用初始化列表初始化,对于自定义类型,一般会先使用初始化列表初始化,也就是,先走初始化列表,在走函数体里面的
在实践中,我们一般都使用初始化列表初始化,如果不方便的话,我们再使用函数体初始化
比如下面的:
class A
{
public:
A()
:_st1(4)
,_st2(4)
,_ptr((int*)malloc(40))
{
memset(_ptr, 0, 40);
_size++;
}
private:
Stack _st1;
Stack _st2;
int* _ptr;
int _size = 1;
};
1.前面我们学到,类里面的成员变量可以再申明的时候给一个缺省值,其实这个值就是给初始化列表用的,这里的_size=2
2.初始化列表括号里面很自由,里面可以写函数,可以操作符号,比如 1+1之类的,以上面的malloc函数之类的,虽然这个不常用
3.上面类里面的构造函数花括号里面的是无法写再初始化列表里面的,这个时候只能写再“{}”里面
注意事项3
成员变量在类中的声明顺序就是在初始化列表中的初始化顺序,和在初始化列表中的初始话顺序无关
class A
{
public:
A(int a)
:_a1(a)
,_a2(_a1)
{
}
void Print()
{
cout << "_a1->" << _a1 << endl;
cout << "_a2->" << _a2 << endl;
}
private:
int _a2;
int _a1;
};
int main()
{
A a(1);
a.Print();
return 0;
}
这个程序的运行结果又以下几种:
A. 输出1 1
B.程序崩溃
C.编译不通过
D.输出1 随机值
正确的答案是选D
上面的程序,先声明的是_a2,再申明的是_a1,所以先执行的是:_a2(_a1),但是这个时候_a1还是一个随机值,所以,_a2自然也是一个随机值,然后再执行_a1(a)
所以,在类中,我们在初始化列表的时候,一定要严格按照变量申明的顺序来写
隐藏类型转换
单参数构造
下面有一个程序:
class A
{
public:
A(int a)
:_a(a)
{
cout << "A()" << endl;
}
A(const A& a)
{
_a = a._a;
}
private:
int _a;
};
int main()
{
A a(1);
//拷贝构造
A b = a;
//隐式类型转换
a = 2;
return 0;
}
上面的隐式类型装换处的,a是一个类,2是一个常量,其中,3构造出一个a类型的临时对象,这个临时对象在赋值拷贝给a对象
程序运行结果:
值得注意的是,编译器遇到连续构造,加上拷贝构造的话,会直接优化成为直接构造,比如下面的语句,所以上面的结果只显示直接构造的函数结果
重点
如果将上面添加一个引用,就要在前面添加一个const
int b=3;
const A&a=b;
因为3在这里构造出了一个A的临时对象,但是由于临时对象具有常性,所以要在前面的加上一个const,但是,下面的就不一样了
int a=1;
double b=a;
这里的a是int 类型的,b是double类型的,这中间也涉及到隐式类型转换,但是double前面为什么不加上const嘞?
因为引用涉及到权限的放大和缩小,你对别名进行操作是会改变原变量的,但是你对上面的double b进行操作是不会影响a变量的
多参数
如果A类对象自定义类型有两个及其两个以上,该怎么办?
class A
{
public:
A(int a,int b)
:_a1(a)
,_a2(b)
{
cout << "A(int a,int b)" << endl;
}
private:
int _a1;
int _a2;
};
int main()
{
A a = {1,2};
return 0;
}
直接用一个花括号括起来,但是,对于这种隐式类型转换,必须要有相应的构造函数,
这里构造函数,都不能 将_a1和_a2构造出来
隐式类型转化的实践
有人可能质疑,这个也太麻烦了,有什么用,下面是一个例子
class A
{
public:
A(int a)
:_a(a)
{
}
private:
int _a;
};
class Stack
{
public:
void push(const A& a)
{
}
};
int main()
{
Stack st;
//第一种
A a(1);
st.push(a);
//第二种
st.push(2);
return 0;
}
上面有两种push的方法,第一种是先构造出A类的对象,再传A类的对象过去,第二种是直接传递一个值,很明显,第二种更方便
对于多种参数的Push,用下面的、
st.push({1,2........});
explicit关键字
如果你不想要隐式类型转换的发生,你可以再构造函数的前面加上一个explicit关键字
static成员变量
声明为static的类成员称为类的静态成员,用static修饰的成员变量,称之为静态成员变量;用
static修饰的成员函数,称之为静态成员函数。静态成员变量一定要在类外进行初始化
比如下面的
class A
{
public:
A(int a=1)
{
_a = a;
}
private:
int _a;
static int _b;
};
//在类的外面定义
int A::_b = 1;
int main()
{
return 0;
}
class A
{
private:
int _a=1; //直接给缺省值
static int _b;
};
int A::_b=1;
int main()
{
return 0;
}
为什么这个变量只能在类的外面定义,而不能使用缺省值嘞?
因为该变量是静态成员变量,不是在类里面,而是在静态区的,缺省值是用于初始化列表的,
static成员函数
static成员函数就是在函数的前面加上一个static关键字,该成员函数没有this指针,只能访问静态成员
class A
{
static int Get_a()
{
return _a;
}
private:
static int _a;
};
int A::_a = 0;
一个程序
class A
{
public:
A()
{
_scount++;
}
A(const A& a)
{
_scount++;
}
~A()
{
_scount--;
}
static int count()
{
return _scount;
}
private:
static int _scount;
};
int A::_scount = 0;
int main()
{
A a1;
A a2;
A a3 = a1;
A a4(a3);
cout<<a1.count()<<endl;
return 0;
}
运行结果:
通过这个程序,可以知道创建了多少个对象
友元
友元函数
友元函数可以直接访问类的私有成员,它是定义在类外部的普通函数,不属于任何类,但需要在
类的内部声明,声明时需要加friend关键字。
比如我们之前学的日期类:
class Date
{
friend ostream&operator<<(ostream& _cout,const Date& d);
friend istream& operator>>(istream& _cin, Date& d);
public:
Date(int year = 1990, 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 << "日" << endl;
return _cout;
}
istream& operator>>(istream& _cin, Date& d)
{
_cin >> d._year >> d._month >> d._day;
return _cin;
}
int main()
{
Date d;
cout << d;
return 0;
}
输出结果:
在之前的博客里面,我们探讨了为什么不像下面一样写
void operator<<(ostream& out)
{
out << _year << "年" << _month << "月" << _day << "日" << endl;
}
因为调用的时候就是像下面一样调用
d<<(cout);
d.operator<<(cout);
这不符合我们的逻辑
友元类
友元类就是一个类是另一个类的朋友,但是应该满足以下几个性质
1.友元是单向的,就好比生活中,你把别人当成朋友,别人可不把你当成朋友
比如下面的,Date类是Time类的友元,那么就说明Date是Time的朋友,但是Time就不是Date的朋友,Date可以访问Time里面的私有成员,但是Time不可以访问Date里面的私有成员
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;
};
class 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;
};
2.友元关系不能传递
如果C是B的友元, B是A的友元,则不能说明C时A的友元
内部类
概念:如果一个类定义在另一个类的内部,这个内部类就叫做内部类。内部类是一个独立的类,
它不属于外部类,更不能通过外部类的对象去访问内部类的成员。外部类对内部类没有任何优越
的访问权限。
注意:内部类就是外部类的友元类,参见友元类的定义,内部类可以通过外部类的对象参数来访
问外部类中的所有成员。但是外部类不是内部类的友元。
特性:
1. 内部类可以定义在外部类的public、protected、private都是可以的。
2. 注意内部类可以直接访问外部类中的static成员,不需要外部类的对象/类名。
3. sizeof(外部类)=外部类,和内部类没有任何关系
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::B b;
b.foo(A());
return 0;
}
匿名对象
一般我们定义类的时候在使用的时候都会初始化,这种叫做有名对象,有的时候我们不会定义对象,这种叫做匿名对象
并且匿名对象的生命周期只在本行,比如下面的程序
在上面的程序中,定义了一个有名对象和匿名对象,通过程序运行的结果来看,匿名对象在创建的时候调用了构造函数立马就调用的析构函数,这就说明匿名对象的生命周期只有一行
匿名对象在下面的场景中很好用
class Solution {
public:
int Sum_Solution(int n) {
//...
return n;
}
};
int main()
{
Solution s1;
s1.Sum_Solution(10);
Solution().Sum_Solution(10);
return 0;
}
上面的函数调用有些人喜欢用有名对象来调用,但是有些人喜欢用匿名来调用,因为这样写只要写一行,更加方便
拷贝对象是的一些编译器的优化
传值传参
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()
{
cout << "~A()" << endl;
}
private:
int _a;
};
void f1(A aa)
{
}
void f2(A& aa)
{
}
int main()
{
A a1; //构造
f1(a1); //拷贝构造一个临时对象,函数结束的时候再销毁
cout << endl;
return 0;
}
运行结果
之前我们说过,传值传参的时候,实参会拷贝构造一个临时对象给形参, 函数调用的时候再销毁就会调用析构函数
引用传参
引用传参和传值传参就不一样,因为形参是实参的别名,所以是没有拷贝构造的
void f2(const A& aa)
{
}
int main()
{
A a1;
f2(a1);
cout << endl;
return 0;
}
运行结果
连续的构造+拷贝构造
连续的构造加拷贝构造时,编译器会直接优化成为直接构造
void f1(A aa)
{
}
nt main()
{
f1(2);
return 0;
}
运行结果:
以下的几个场景都是构造加上拷贝构造的场景
void f1(A aa)
{
}
int main()
{
A aa1;
f1(aa1);
A aa3 = 3;
return 0;
}
值得注意的是,编译器可能会优化,但是有的编译器可不会
连续的拷贝构造
连续的拷贝构造可能会优化成为一个拷贝构造,有的编译器可能会优化得更大
A f3()
{
A aa;
return aa;
}
int main()
{
A ret = f3();
return 0;
}
这里是构造+拷贝构造+拷贝构造
运行结果:
这里直接优化成为了直接构造