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)
// ,_year(year) // 仅能初始化一次
{
_year = year;
_month = month;
_day = day;
_year = 200; // 仍然可以赋值
_month = 100;
_day = 1;
}
private:
int _year;
int _month;
int _day;
};
3. 几点注意
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
};
成员变量在private中,不是其定义的地方,如果说这里是成员变量定义的地方,类不占空间,只有类实例化出的对象才占空间,这些成员在对象内才占空间,所以说这些成员应该在实例化对象中定义。所以在private内的成员变量只是声明的地方,而不是定义的地方。定义的时候分配空间,变量定义的时候需要调用构造函数,成员变量定义的位置在构造函数,再具体的话是在构造函数的初始化列表中定义。
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;
Time _t;
};
int main() {
Date d(1);
}
4)成员变量在类中声明次序就是其在初始化列表中的初始化顺序,与其在初始化列表中的先后次序无关。
class B {
public:
B(int a)
:_a(a)
, _da(_a * 2)
{}
int _da;
int _a;
};
int main() {
B b(4);
cout << b._da <<endl<< b._a << endl;
system("pause");
return 0;
}
看到这个结果,是不是有点怀疑人生23333...
成员变量在类中声明次序就是其在初始化列表中的初始化顺序,与其在初始化列表中的先后次序无关。
调整一下private中_da与_a前后顺序即可:
class B {
public:
B(int a)
:_a(a)
, _da(_a * 2)
{}
int _a;
int _da;
};
int main() {
B b(4);
cout << b._da <<endl<< b._a << endl;
system("pause");
return 0;
}
4. explicit关键字
构造函数不仅可以构造与初始化对象,对于单个参数的构造函数,还具有类型转换的作用。阻止隐式类型转换,现在相当于阻止类和参数之间的隐式类型转换
class Date {
public:
Date(int year = 1900)
:_year(year)
{
cout << "Date(int year)" << endl;
}
Date(const Date& d) {
_year = d._year;
cout << "Date(cosnt Date& d)" << endl;
}
private:
int _year;
};
int main() {
// 类型不一致,内部进行隐式类型转换,完成对象的创建
Date d3 = 2020; // 构造+拷贝构造-->编译器优化-->构造
//2020作为构造函数的参数传入,构造一个命名对象,将该命名对象拷贝构造为新的对象
system("pause");
return 0;
}
但是在此我们无法显式查看此过程,编译器已经做了优化。构造出新的命名对象并没有实际用途,编译器即做了优化,无法正确打印其调用拷贝构造的过程。在此可以通过创建好一个新的对象,对''=''进行运算符重载,在以2020对已创建好的对象进行赋值。因为该对象已经存在,则不会通过构造函数直接构造出一个对象,但如果调用构造函数,那么肯定就是生成了一个新的命名对象,把该命名对象赋给它。
class Date {
public:
Date(int year = 1900)
:_year(year)
{
cout << "Date(int year)" << endl;
}
Date(const Date& d) {
_year = d._year;
cout << "Date(cosnt Date& d)" << endl;
}
Date& operator=(const Date& d) {
if (this != &d) {
_year = d._year;
}
cout << "operator=(const Date& d)" << endl;
return *this;
}
private:
int _year;
};
int main() {
Date d2(2019);
// 对象已经存在,查看是否调用构造函数
d2 = 2020; // 构造+运算符重载
system("pause");
return 0;
}
this指针明显不为d2对象,那么可定是调用了构造函数构造出了一个新的命名对象,再将命名对象赋给d2。
这便是类与对象之间的隐式类型转换,其触发条件勿忘记:仅对于单个参数的构造函数,具有类型转换的作用。
若希望显示避免隐式类型转换时,需要添加关键字explicit(adj. 明确的;清楚的;直率的;详述的),阻止单参构造函数的隐式类型转换。
class Date {
public:
explicit Date(int year = 1900) // 阻止单参构造函数隐式类型转换
:_year(year)
{
cout << "Date(int year)" << endl;
}