文章目录
类与对象(下篇)
1. 再谈构造函数
在类与对象(中篇):https://blog.csdn.net/csdn_myhome/article/details/129342443讲了,C++为了方便初始化创造了构造函数,方便初始化自定义类型成员变量,但实际上文中所讲用构造函数,对成员变量进行的是赋值操作,并不是初始化操作。
#include <iostream>
#include <errno.h>
using namespace std;
class Date
{
public:
Date(int year = 1, int month = 1, int day = 1)//构造函数
{
_year = year;
_month = month;
_day = day;
}
private:
int _year;
int _month;
int _day;
};
int main()
{
Date d1(2023, 3, 6);
return 0;
}
构造函数在这里实际上是在对成员变量赋值,而不是初始化。看下面的代码就可以看出来:
class Date
{
public:
Date(int year = 1, int month = 1, int day = 1,int a = 0)//构造函数
{
_year = year;
_month = month;
_day = day;
_a = a;
}
private:
int _year;
int _month;
int _day;
const int _a;
};
int main()
{
Date d1(2023, 3, 6, 10);
return 0;
}
可以看出,无法用构造函数中对一个const修饰的成员变量初始化,因为构造函数做的是赋值操作,而不是初始化操作。
既然上面代码中构造函数这样的行为是赋值,那么构造函数能否对成员变量初始化?当然是可以的,这就要用到下面提到的初始化列表。
1.1 初始化列表
初始化列表:以一个冒号开始,接着是一个以逗号分隔的数据成员列表,每个"成员变量"后面跟 一个放在括号中的初始值或表达式。
#include <iostream>
#include <errno.h>
using namespace std;
class Date
{
friend ostream& operator<<(ostream& out, const Date& d);
public:
Date(int year = 0 , int month = 0 , int day = 0 )//构造函数
:_year(1),
_month(1),
_day(1),
_a(1)
{
}
private:
int _year;
int _month;
int _day;
const int _a;
};
ostream& operator<<(ostream& out, const Date& d)
{
cout << d._year << "年" << d._month << "月" << d._day << "日" << endl;
cout << "_a=" << d._a << endl;
return out;
}
int main()
{
Date d1;
cout << d1;
return 0;
}
可以看出初始化列表做到了初始化的操作,将const修饰的成员变量成功初始化了,并且还能对其他成员变量进行初始化。从对const修饰的变量的初始化可以看出,初始化列表是在定义对象时对成员变量初始化,因此才能对const修饰的变量初始化。
有了初始化列表后,一个类对象的完整的定义过程是这样的:
对象进行整体定义->(用初始化列表)对对象中的成员变量进行定义->(如果没有给初始化列表)函数赋值/采用缺省值在初始化列表初始化->(没有初始化列表,没有函数赋值/缺省值)赋一个随机值,另外对自定义类型成员变量还会调用其默认构造函数。
1.2 初始化列表特性
- 哪个对象调用构造函数,初始化列表是其所有成员变量定义的位置
- 不管是否在初始化列表写,编译器都会在初始化列表对成员变量初始化。
注意:
-
每个成员变量在初始化列表中只能出现一次(初始化只能初始化一次)
-
类中包含以下成员,必须放在初始化列表位置进行初始化:
- 引用成员变量
- const成员变量
- 自定义类型成员(且该类没有默认构造函数时)
class A { public: A(int n)//不属于默认构造函数 { _a = n; } private: int _a; }; class B { public: B() /*:aa(4)*/ { } private: A aa; }; int main() { B bb; return 0; }
自定义类型没有默认构造函数时,需要使用初始化列表进行初始化(编译器对于自定义类型的初始化就是调用默认构造函数):
class A { public: A(int n)//不属于默认构造函数 { _a = n; } private: int _a; }; class B { public: B() :aa(4)//调用自定义类型成员变量的构造函数初始化 { } private: A aa; }; int main() { B bb; return 0; }
对于没有默认构造函数的成员变量还能使用以下方式初始化:
class A { public: A(int n)//不属于默认构造函数 { _a = n; } private: int _a; }; class B { public: B(int a)//传入值调用构造函数 :aa(a) { } private: A aa; }; int main() { B bb(4); return 0; }
-
尽量使用初始化列表初始化,因为不管你是否使用初始化列表,对于自定义类型成员变量, 一定会先使用初始化列表初始化。
-
成员变量在类中声明次序就是其在**初始化列表中的初始化顺序,**与其在初始化列表中的先后次序无关
class A
{
public:
A()
:_a(1),
_b(_a)
{
}
private:
int _b;
int _a;
};
int main()
{
A aa;
return 0;
}
由于初始化列表的初始化顺序是按照声明次序来的,因此 _ b 先进行初始化,而此时 _a未被初始化因此 _b被初始化成随机值。
初始化列表不是简单的赋值而是在定义时初始化并且一定会被调用,因此如果能在初始化列表初始化尽量在初始化列表初始化。
1.3 explicit关键字
在学习explicit关键字前,来看看下面的场景:
class A { public: A(int n = 1) { _a = n; } private: int _a; }; int main() { //A aa1(1);//构造函数构造对象 A aa2 = 1;//将1隐式类型转化成A类型然后拷贝构造给aa return 0; }
构造函数不仅可以构造与初始化对象,对于单个参数或者除第一个参数无默认值其余均有默认值的构造函数,还具有类型转换的作用。
将单个参数隐式类型转化的过程是先用该参数构造一个对象(实际上就是拿该数据当参数传入缺参数的位置构造出一个对象),然后再将其拷贝构造给其他的对象。
因此理论上上面的代码应该包含一个对象的构造和一个拷贝构造函数的调用。
通过结果来看,只有一次构造函数,实际上是编译器对这里进行了一个优化,因为与其让数据构造拷贝,不如直接构造。
但是有没有可能不是编译器优化而是没产生隐式类型转化呢?
隐式类型转化会产生临时变量,我们可以通过这一点来探究:
由于是临时变量因此A&不能引用,权限放大了。
改为const A&类型又能引用了,就是因为它产生了隐式类型转化。(左边是引用因此无法优化)
为了防止隐式类型转化,我们可以使用explicit关键字:
C++11中,多参数的函数也可以调用构造函数:
多参数想要利用构造函数就要将数据用大括号括起来了。
同样的加explicit关键字可以避免这种转换。
2. static成员
如果要统计一个类内(拷贝)构造函数的调用次数,可以选择采用静态变量去统计:
class A
{
public:
A(int a = 0)
{
count++;
_a = a;
}
A(const A& a)
{
count++;
}
static int count;//统计次数
int _a;
};
int main()
{
return 0;
}
这个静态变量如果写在全局域会与库内产生冲突,因此我们选择写在类内。
将静态成员写在类内,就会有有一些特殊的性质:
-
这个静态成员变量不属于某一个对象,而是属于所有的对象,属于整个类。
-
静态成员变量初始化,是不能通过给缺省值的方式实现的,因为缺省值是给初始化列表使用的。
- 类静态成员即可用 类名::静态成员 或者 对象.静态成员 来访问
- 静态成员也是类的成员,受public、protected、private 访问限定符的限制
有静态成员变量当然也有静态成员函数,有了静态成员函数和静态成员变量配合,可以对上面的代码进行优化,可以将静态成员变量用访问限定符保护起来。
- 静态成员函数只能访问类内静态成员变量(由于没有this指针)
- 静态成员函数也可以不创建对象调用。
关于静态成员可以通过下面的题来感受:
**题目链接:**https://www.nowcoder.com/practice/7a0da8fc483247ff8800059e12d7caf1?tpId=13&tqId=11200&tPage=3&rp=3&ru=/ta/coding-interviews&qru=/ta/coding-interviews/question-ranking
题目描述:
题目解析:
创建有n个类对象的数组就会调用类的构造函数n次,契合1+…+n的数字个数,静态成员变量又是属于该类的每一个对象,因此只需要创造有n个对象的数组调用n次构造函数,每次调用构造函数,设定一个静态变量记录当次所加数,另一个静态变量记录所加的和。
代码实现:
class Sum
{
public:
Sum()
{
_sum += _i;
_i++;
}
static int getsum()
{
return _sum;
}
private:
static int _i;
static int _sum;
};
int Sum::_i = 1;
int Sum::_sum = 0;
class Solution {
public:
int Sum_Solution(int n) {
Sum a[n];
return Sum::getsum();
}
};
3. 友元
友元提供了一种突破封装的方式,有时提供了便利。但是友元会增加耦合度,破坏了封装,所以 友元不宜多用。
友元分为:友元函数和友元类
3.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) {} // d1 << cout; -> d1.operator<<(&d1, cout); 不符合常规调用 // 因为成员函数第一个参数一定是隐藏的this,所以d1必须放在<<的左侧 ostream& operator<<(ostream& _cout) { _cout << _year << "-" << _month << "-" << _day << endl; return _cout; } private: int _year; int _month; int _day; };
友元函数可以直接访问类的私有成员,它是定义在类外部的普通函数,不属于任何类,但需要在类的内部声明,声明时需要加friend关键字。
class Date { friend ostream& operator<<(ostream& _cout, const Date& d);//变成友元函数可以访问类内私有和保护变量 friend istream& operator>>(istream& _cin, Date& d); public: Date(int year = 1900, 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; 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修饰
- 友元函数可以在类定义的任何地方声明,不受类访问限定符限制
- 一个函数可以是多个类的友元函数
- 友元函数的调用与普通函数的调用原理相同
3.2 友元类
友元类的所有成员函数都可以是另一个类的友元函数,都可以访问另一个类中的非公有成员。
- 友元关系是单向的,不具有交换性。 比如上述Time类和Date类,在Time类中声明Date类为其友元类,那么可以在Date类中直接 访问Time类的私有成员变量,但想在Time类中访问Date类中私有的成员变量则不行。
- 友元关系不能传递 如果C是B的友元, B是A的友元,则不能说明C时A的友元。
- 友元关系不能继承。
4. 内部类
概念:如果一个类定义在另一个类的内部,这个内部类就叫做内部类。内部类是一个独立的类, 它不属于外部类,更不能通过外部类的对象去访问内部类的成员。外部类对内部类没有任何优越 的访问权限。
注意:内部类就是外部类的友元类,参见友元类的定义,内部类可以通过外部类的对象参数来访 问外部类中的所有成员。但是外部类不是内部类的友元。
特性:
- 内部类可以定义在外部类的public、protected、private都是可以的。
- 注意内部类可以直接访问外部类中的static成员,不需要外部类的对象/类名。
- sizeof(外部类)=外部类,和内部类没有任何关系。
内部类受外部类的访问限定符保护:
内部类和外部类空间是独立的:
内部类是外部类的友元,内部类可以访问外部类,外部类不能访问内部类(友元没有传递性):
内部类和定义在全局域的区别就是受外部访问限定符保护和天生是外部类的友元。
5. 匿名对象
class A
{
public:
A(int a = 0)
:_a(a)
{
cout << "A(int a)" << endl;
}
~A()
{
cout << "~A()" << endl;
}
private:
int _a;
};
class Solution {
public:
int Sum_Solution(int n) {
//...
return n;
}
};
int main()
{
A aa1;
// 不能这么定义对象,因为编译器无法识别下面是一个函数声明,还是对象定义
//A aa1();
// 但是我们可以这么定义匿名对象,*******匿名对象的特点不用取名字*******,
// ********但是他的生命周期只有这一行,我们可以看到下一行他就会自动调用析构函数******
A();
A aa2(2);
// 匿名对象在这样场景下就很好用,不用创建对象使用类内函数,当然还有一些其他使用场景
Solution().Sum_Solution(10);
return 0;
}
6. 拷贝对象时的一些编译器优化
前面在讲解explicit关键字时提到了编译器会在拷贝对象时优化,因为先构造再拷贝构造,很多时候不如直接构造,除了上面讲的情况还有上面情况会进行优化吗?
上图中演示的是前面提到的对于单个参数或者除第一个参数无默认值其余均有默认值的构造函数,还具有类型转换的作用,编译器对这种情况进行了优化,将构造+拷贝构造直接优化为构造。
对于上图这种情况编译器不会做优化,因为编译器不会跨表达式优化,这太大胆了。
上图中的情况就会被优化,因为构造再拷贝的过程是可以省去的,直接优化成构造。
以上都是在函数中传值,需要拷贝,因此有优化的空间,如果改成传引用就没有优化的空间,不会被优化:
关于优化每个编译器的情况是不同,因为优化本身就取决于编译器的处理方式。
7.体会类和对象
在类和对象阶段,一定要体会到,**类是对某一类实体(对象)来进行描述的,描述该对象具有那 些属性,那些方法,描述完成后就形成了一种新的自定义类型,才用该自定义类型就可以实例化 具体的对象。**面向对象的语言更加关注的是对象与对象之间的关系。