1. 构造函数
1.1 初始化列表
之前我们讲构造函数的时候都是在函数体内赋值,虽然对象的成员变量都有了初始值,但是这不能称之为初始化,这是对成员赋初值。因为初始化只能在定义的时候进行一次,而赋值可以进行很多次。这就说明了成员变量不是在构造函数里定义的,只是在这里进行赋值的。这就引出了一个问题,对于const修饰的变量和引用,我们知道对于这两个我们需要在定义的时候赋值,我们不能在构造函数的函数体内进行赋值。
class Date
{
public:
Date(int year, int month, int day)
{
_year = year;
_month = month;
_day = day;
ref = year;
a = 1;
}
private:
int _year;
int _month;
int _day;
//只能在定义的时候赋值
int& ref;
const int a;
};
那我们如何解决这个问题?肯定要找到成员变量定义的地方,那就是初始化列表。
初始化列表:以一个冒号开始,接着是一个以逗号分隔的数据成员列表,每个"成员变量"后面跟一个放在括号中的初始值或表达式
class Date
{
public:
Date(int year, int month, int day)
:_year(year)
,_month(month)
,_day(day)
,ref(year)
,a(1)
{
}
private:
int _year;
int _month;
int _day;
//只能在定义的时候赋值
int& ref;
const int a;
};
因为初始化列表是成员定义的地方,所以这样就解决了上面的问题,但是还有一个问题没有解决,就是如果成员里有个类,而且这个类没有默认构造,或者你不想调用它的默认构造。我们之前学过实例化对象的时候,对于内置类型不做处理,但是对于自定义类型会调用它的默认构造函数。
class A
{
public:
A(int a)
{
_a = a;
}
private:
int _a;
};
class Date
{
public:
Date(int year, int month, int day)
:_year(year)
,_month(month)
,_day(day)
{
}
private:
int _year;
int _month;
int _day;
//没有默认构造的类成员
A a;
};
我们也能使用初始化列表解决这个问题。
class A
{
public:
A(int a)
{
_a = a;
}
private:
int _a;
};
class Date
{
public:
Date(int year, int month, int day)
:_year(year)
,_month(month)
,_day(day)
,a(1)
{
}
private:
int _year;
int _month;
int _day;
//没有默认构造的类成员
A a ;
};
总结:
- 初始化列表可以解决成员必须在定义的地方显示初始化的问题
- 初始化化列表可以解决有些自定义成员想要显示初始化
- 初始化列表可以和函数体内赋值一起用
class Date
{
public:
Date(int year, int month, int day)
:_year(year)
,_month(month)
,_day(day)
{
//按照执行顺序,这几个成员的值会被函数体的赋值覆盖掉
_year = 1;
_month = 1;
_day = 1;
}
private:
int _year;
int _month;
int _day;
};
- 尽量使用初始化列表,但是对于特定情况要和函数体混合使用,比如做一些判断
class Date
{
public:
Date(int year, int month, int day)
:_year(year)
,_month(month)
,_day(day)
,arr((int*)malloc(sizeof(int)*4))
{
if (arr == nullptr)
{
perror("malloc fail");
exit(-1);
}
_year = 1;
_month = 1;
_day = 1;
}
private:
int _year;
int _month;
int _day;
int* arr;
};
- 初始化列表的执行顺序和你成员变量声明的顺序一样,与你初始化列表的顺序无关,所以最好按照顺序写。
class A
{
public:
A(int a)
//这里原本的意思给a赋值给_a2,然后用_a2赋值给_a1,最终它们的值都为a
//但执行的顺序是,先用_a2赋值给_a1,再a赋值给_a2,造成了_a1的值为随机值
:_a2(a)
,_a1(_a2)
{
}
void Print()
{
cout << _a1 << endl << _a2 << endl;
}
private:
int _a1;
int _a2;
};
int main()
{
A a(1);
a.Print();
return 0;
}
1.2 explicit关键字使用
我们先来看一段代码
class Date
{
public:
Date(int year, int month = 11, int day = 2)
:_year(year)
, _month(month)
, _day(day)
{
}
private:
int _year;
int _month;
int _day;
};
int main()
{
Date d = 2023;
return 0;
}
这样的写法对吗?答案是对的,但是有前提条件,内置类型可以隐式的转化成自定义类型,前提条件是有单参数构造函数(传一个参数多参数带缺省也可以)。但C++后面也支持传多个参数,形式类似于结构初始化。
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 d = { 2023,11,3 };
return 0;
}
但如果你不想让这种隐式转换发生,只需要在构造函数前面增加explicit关键字就可以了
class Date
{
public:
explicit Date(int year, int month, int day)
:_year(year)
, _month(month)
, _day(day)
{
}
private:
int _year;
int _month;
int _day;
};
int main()
{
Date d = { 2023,11,3 };
return 0;
}
2. static成员
2.1 概念
在声明时用static修饰的成员变量就是静态变量,修饰成员函数,就是静态函数。
2.2 特性
- 静态成员不在类里,它存放在静态区,不属于某个具体的对象,为所有类对象共享
class A
{
private:
int a;
static int _a;
};
int A::_a = 1;
int main()
{
cout << sizeof(A) << endl;
return 0;
}
- 静态变量在类内声明,必须在类外初始化(要指定类域)
class A
{
private:
static int _a;
};
int A::_a = 1;
- 因为静态变量不属于某个对象,所以可以用类名+::来访问,当然也可以用对象.来访问(注意访问限定符)
class A
{
public:
static int _a;
};
int A::_a = 1;
int main()
{
A a;
cout << A::_a << endl << a._a << endl;
return 0;
}
- 静态成员函数和普通的成员函数的区别就是没有了对象的this指针,这也是在静态成员函数里面不能访问非静态成员变量的原因。
class A
{
public:
static void Print()
{
cout << a << endl;
}
private:
int a;
static int _a;
};
int A::_a = 1;
int main()
{
A a;
a.Print();
return 0;
}
- 静态成员可以理解成就是全局变量和全局函数,只不过被类域和访问权限给限制住了。
我们可以用这个特性解决下面这道题目
OJ链接