类与对象(四)

const成员

先给大家看一个例子:

在这里插入图片描述

这是为什么呢?之前没有给d1加上const的时候,明明是可以用的,实在令人疑惑。这里其实是权限的一个转变问题,我们的d1现在是const权限,也就是可读不可写,但是我们的Print函数,其中传的this却是可读可写的权限,这样d1传过去的时候,权限就被放大了;权限可以缩小,但是绝对不可以放大,所以这里才导致了我们的错误。那么如果我们想使其正常输出有什么方法呢?我们可以这样子:

在这里插入图片描述

这里在Print函数后面加一个const的作用是什么呢?实际上,我们是把this指针由Date *转换为了const Date *,这样子,我们就不会有权限放大,只是一个权限的平移

而如果把d1的const去掉呢?我们会发现其并不会有问题,从Date *转换为const Date *不会有任何问题

由此我们发现,权限可以缩小,但是不可以放大
并且这里还有一个点,那就是我们可以通过这种方式修改隐含的this指针,但是我们需要根据访问权限来判断是否要在函数后面加入const,比如只需要读的地方就可以加const,但是涉及到需要修改对象中的成员的话,那加const就不好了

就比如我们的日期类中,我们的Print函数就可以加const,而+=运算符重载函数就不可以,另外还有一种特殊的,那就是我们的流插入和流提取函数,由于我们定义在全局,所以这两个函数里面并没有this指针,所以也无法在函数后加入const

请思考下面的几个问题:

  1. const对象可以调用非const成员函数吗?
  2. 非const对象可以调用const成员函数吗?
  3. const成员函数内可以调用其它的非const成员函数吗?
  4. 非const成员函数内可以调用其它的const成员函数吗?

答案如下:

const对象不可以调用非const成员;
非const对象可以调用const对象函数;
const成员函数内不可以调用非cosnt成员函数,因为会改变this的权限;
非const 成员函数内可以调用其他的非const成员函数

取地址及const取地址操作符重载

这两个默认成员函数一般不用重新定义 ,编译器默认会生成。

Date* operator&() {
	return this;
}

const Date* operator&() const{
	return this;
}

这两个运算符一般不需要重载,使用编译器生成的默认取地址的重载即可,只有特殊情况,才需要重载,比如想让别人获取到指定的内容!

再谈构造函数

构造函数体赋值

在创建对象时,编译器通过调用构造函数,给对象中各个成员变量一个合适的初始值。

class Date
{
public:
Date(int year, int month, int day) {
     _year = year;
     _month = month;
     _day = day;
}
private:
	int _year;
	int _month;
	int _day;
};

虽然上述构造函数调用之后,对象中已经有了一个初始值,但是不能将其称为对对象中成员变量的初始化,构造函数体中的语句只能将其称为赋初值,而不能称作初始化。因为初始化只能初始化一次,而构造函数体内可以多次赋值

初始化列表

初始化列表:以一个冒号开始,接着是一个以逗号分隔的数据成员列表,每个"成员变量"后面跟一个放在括号中的初始值或表达式。

Date(int year,int month,int day)
		:_year(year)
		,_month(month)
		,_day(day)
	{}

【注意】

  1. 每个成员变量在初始化列表中只能出现一次(初始化只能初始化一次)
  2. 类中包含以下成员,必须放在初始化列表位置进行初始化:
  • 引用成员变量
  • const成员变量
  • 自定义类型成员(且该类没有默认构造函数时)

初始化列表塞一个函数值也可以,不过这种情况下函数体需要检查,且返回值类型要相同,甚至指针也可以给其开一个空间初始化

  1. 尽量使用初始化列表初始化,因为不管你是否使用初始化列表,对于自定义类型成员变量,一定会先使用初始化列表初始化。

我们为什么要使用初始化列表,是因为我们在构造函数里赋值不够严谨;而且就算我们没有在初始化列表中加入成员函数,其也会走初始化列表,只是说因为我们没有给值,所以系统给它随机值

还记得缺省值吗,如下所示:

在这里插入图片描述

当时我们用的时候,只想过其是可以直接用于成员变量初始化的,却没有想过它为什么可以,现在告诉大家,缺省值实际上就是传给初始化列表用的。

一般来说,都是先走上面的初始化列表,再走下面的缺省值,所以,一般情况下,我们还是建议使用初始化列表

  1. 成员变量在类中声明次序就是其在初始化列表中的初始化顺序,与其在初始化列表中的先后次序无关
class A
{
public:
    A(int a)
       :_a1(a)
       ,_a2(_a1)
   {}
    
    void Print() {
        cout<<_a1<<" "<<_a2<<endl;
   }
private:
    int _a2;
    int _a1;
};
int main() {
    A aa(1);
    aa.Print();
}
//A. 输出1  1
//B.程序崩溃
//C.编译不通过
//D.输出1  随机值

大家可以看一下这段代码,上面的初始化列表表面上是给a1先赋a的值,再给a2赋a1的值,但是实际上,由于a2是先声明的,所以a1值为1,但是a2在a1之前赋值,此时a1还是一个随机数,所以输出结果为1 随机值

这是一个很好向大家介绍成员变量初始化顺序的例子,虽然初看可能觉得绕,但是理解了之后还挺简单的

explicit关键字

构造函数不仅可以构造与初始化对象,对于单个参数或者除第一个参数无默认值其余均有默认值的构造函数,还具有类型转换的作用。

依然先给大家看一个例子:

class A {
private:
	int _val;

public:
	A(int val)
		:_val(val)
	{}

	void Print() {
		cout << _val << endl;
	}
};
int main()
{
	A a(1);
	A b = 2;
	a.Print();
	b.Print();

	return 0;
}

大家乍一看觉得疑惑,第一个能理解,第二个是什么?实际上,这两个都是构造,只不过方式不同;单参数构造函数支持隐式类型的转换,本质上b的行为是用2构造一个临时对象,再拷贝构造给b,相当于构造+拷贝构造

int i=1;
double b=i;

这个与上面的代码就有异曲同工之妙
不过在编译器中,其会对第二个对象的行为进行优化,同一个表达式连续构造的步骤,一般会被合二为一

大家再看一个例子:

	A a = 1;
	A& b = 1;

	int i = 1;
	int& d = i;

大家如果加载入自己的编译器,会发现上面的第二个式子是错误的,但是下面的却是正确的,这又是为什么呢?首先,我们需要知道的是,b和d引用的都不是1和i,而是其构成的临时对象,而临时对象拥有常性,所以上面的第二个式子就错在其引用应该是常引用,改为const A& b之后,就是正解啦!

不过在实际运用中,我们并不会经常这样子给初始化,这样很复杂,并没有必要。那么,隐式转换怎么样才会有意义呢?
在这里插入图片描述
假设我们创建了一个名为st的栈,其原本push一个值为3的栈需要先用3创建一个对象cc3,再push,但现在就可以直接把4写进去,而编译器就会将其直接转化为值为4的对象,这么一看,写起来是不是轻松多了,省去了创建对象的过程,避免了空间的浪费

explicit的运用

那么接下来就是重头戏,如果我们不想让隐式类型转换发生呢?这也很简单,这样子就可以了

explicit A(int val)
		:_val(val)
	{}

编译器则会显示这个错误:
在这里插入图片描述
刚才我们讲的是单参数,那如果我们把单参数换成多参数,就比如我们的Date类呢?

Date d1 = { 2024,11,2 };
d1.Print();

要在外面加上大括号,这样就可以啦

static成员

声明为static的类成员称为类的静态成员用static修饰的成员变量,称之为静态成员变量;用static修饰的成员函数,称之为静态成员函数。静态成员变量一定要在类外进行初始化
面试题:实现一个类,计算程序中创建出了多少个类对象。

我们最容易想到的方法就是看构造函数被调用了几次,给大家一个例子看看,看大家能不能算出来:

A func() {
	A aa;
	return aa;
}

int main()
{
	A aa1;
	A aa2;
	func();

	return 0;
}

应该很简单把,首先aa1和aa2各构造一次,然后func函数里的aa构造一次,返回aa由于返回的是值,所以需要再拷贝构造一次。

那么后面,我们就要和大家一起,编写题目中所需要的代码了!

class A {
//private:
public:
	int _val;
	static int n;//静态成员变量

public:
	/*A(int val)
		:_val(val)
	{}*/

	A() {
		n++;
	}

	void Print() {
		cout << _val << endl;
	}
};

int A::n = 0;//初始化

A func() {
	A aa;
	return aa;
}

int main()
{
	A aa1;
	A aa2;
	func();
	cout << aa1.n << endl;
	cout << aa2.n << endl;
	cout << A::n << endl;

	return 0;
}

这里,输出的结果是3,3,3,本应是4,是编译器优化后的结果,但是,我们想给大家展示的东西已经很清楚了:

特性

  1. 静态成员为所有类对象所共享,不属于某个具体的对象,存放在静态区
  2. 静态成员变量必须在类外定义,定义时不添加static关键字,类中只是声明
  3. 类静态成员即可用 类名::静态成员 或者 对象.静态成员 来访问
  4. 静态成员函数没有隐藏的this指针,不能访问任何非静态成员
  5. 静态成员也是类的成员,受public、protected、private 访问限定符的限制

再给大家出两个问题,1. 静态成员函数可以调用非静态成员函数吗?2. 非静态成员函数可以调用类的静态成员函数吗

从特性上看,很明显,第一个是错的,静态成员函数没有隐藏的this指针,无法访问任何非静态成员;而第二个则是对的,静态成员函数可以直接通过类名来调用,也可以通过类的非静态成员函数来调用。

不过在上面的代码中,我们为了能够在main函数中输出n,将n置为了public,改变了其权限,这点本身来说是不好的,更建议提供一个公有的成员函数来输出它,而不是改变成员变量本身的权限

A * ptr=nullptr,用它输出ptr->n也不会有问题,虽然这里用了指针,但是n不在这个指针指向的对象里面,而是静态区,只是突破类域,知道去哪里找n

疑难题目

在这里插入图片描述

class Sum {
  private:
    static int _i;
    static int _ret;

  public:
    Sum() {
        _ret += _i;
        _i++;
    }

    static int GetRet(){
        return _ret;
    }
};

int Sum::_i = 1;
int Sum::_ret = 0;

class Solution {
  public:
    int Sum_Solution(int n) {
        Sum a[n];
        return Sum::GetRet();
    }
};

可以通过这个来了解一下静态成员变量以及静态成员函数的使用,跟我们刚才统计一共创建了几个对象有异曲同工之妙

友元

友元提供了一种突破封装的方式,有时提供了便利。但是友元会增加耦合度,破坏了封装,所以友元不宜多用。
友元分为:友元函数和友元类

友元函数

问题:现在尝试去重载operator<<,然后发现没办法将operator<<重载成成员函数。因为cout的输出流对象和隐含的this指针在抢占第一个参数的位置。this指针默认是第一个参数也就是左操作数了。但是实际使用中cout需要是第一个形参对象,才能正常使用。所以要将operator<<重载成全局函数。但又会导致类外没办法访问成员,此时就需要友元来解决。operator>>同理。看完这里,你应该会知道为什么我们之前的日期类中用到了从未提过的friend,而它将在这里进行讲解

友元函数可以直接访问类的私有成员,它是定义在类外部的普通函数,不属于任何类,但需要在类的内部声明,声明时需要加friend关键字

说明:

友元函数可访问类的私有和保护成员,但不是类的成员函数
友元函数不能用const修饰
友元函数可以在类定义的任何地方声明,不受类访问限定符限制
一个函数可以是多个类的友元函数
友元函数的调用与普通函数的调用原理相同

友元类

友元类的所有成员函数都可以是另一个类的友元函数,都可以访问另一个类中的非公有成员。

  • 友元关系是单向的,不具有交换性。
  • 比如Time类和Date类,在Time类中声明Date类为其友元类,那么可以在Date类中直接访问Time类的私有成员变量,但想在Time类中访问Date类中私有的成员变量则不行。(相当于我认为你是我的朋友,但是你不认为我是你的朋友)
  • 友元关系不能传递。如果C是B的友元, B是A的友元,则不能说明C时A的友元。
  • 友元关系不能继承,在继承位置再给大家详细介绍

内部类

概念:如果一个类定义在另一个类的内部,这个内部类就叫做内部类。内部类是一个独立的类,它不属于外部类,更不能通过外部类的对象去访问内部类的成员。外部类对内部类没有任何优越的访问权限。

注意:内部类就是外部类的友元类,参见友元类的定义,内部类可以通过外部类的对象参数来访问外部类中的所有成员。但是外部类不是内部类的友元

特性:

  1. 内部类可以定义在外部类的public、protected、private都是可以的。
  2. 注意内部类可以直接访问外部类中的static成员,不需要外部类的对象/类名。
  3. sizeof(外部类)=外部类,和内部类没有任何关系。(类只是一个声明,不占任何空间)
    4.内部类可以提高封装性,充分利用友元规则
    5.内部类使用较少,所以了解即可

这个可以举个例子:
在这里插入图片描述

在这里插入图片描述
可以发现,我们在Print函数中进行的这些程序都是可以的,因为Time是Date天生的友元

匿名对象

我们先给大家看一段代码,大家了解一下:
在这里插入图片描述

可以看到,我们一般写的时候,都是会先创建一个有名字的对象,就像上面的d1,但是我们也可以直接Date()初始化,这就叫匿名对象,而匿名对象的生命周期只有一行,下一行它就会自己调用析构函数,大家可以调试看看

匿名对象一般用来需要返回值或者输出什么,在一些地方会比创建对象之后再用好一点,毕竟生命周期短,可以省下程序开辟的内存

拷贝对象时的一些编译器优化

在传参和传返回值的过程中,一般编译器会做一些优化,减少对象的拷贝,这个在一些场景下还是非常有用的。

先写一个类,然后后面用不同的方式调用

class A {
public:
	A() {
		cout << "A()" << endl;
	}

	~A() {
		cout << "~A()" << endl;
	}

	A(const A& a) {
		cout << "const A& a" << endl;
	}
};

A f3() {
	A aa;
	return aa;
}

在这里插入图片描述
在这里插入图片描述
这个如果编译器等级较高,可能会优化过头,所以如果想要验证可能无法得到答案,这个大家了解即可

再次理解类与对象

现实生活中的实体计算机并不认识,计算机只认识二进制格式的数据。如果想要让计算机认识现实生活中的实体,用户必须通过某种面向对象的语言,对实体进行描述,然后通过编写程序,创建对象后计算机才可以认识。比如想要让计算机认识洗衣机,就需要:

  1. 用户先要对现实中洗衣机实体进行抽象—即在人为思想层面对洗衣机进行认识,洗衣机有什么属性,有那些功能,即对洗衣机进行抽象认知的一个过程
  2. 经过1之后,在人的头脑中已经对洗衣机有了一个清醒的认识,只不过此时计算机还不清楚,想要让计算机识别人想象中的洗衣机,就需要人通过某种面相对象的语言(比如:C++、Java、Python等)将洗衣机用类来进行描述,并输入到计算机中
  3. 经过2之后,在计算机中就有了一个洗衣机类,但是洗衣机类只是站在计算机的角度对洗衣机对象进行描述的,通过洗衣机类,可以实例化出一个个具体的洗衣机对象,此时计算机才能知道洗衣机是什么东西。
  4. 用户就可以借助计算机中洗衣机对象,来模拟现实中的洗衣机实体了。
    在类和对象阶段,大家一定要体会到,类是对某一类实体(对象)来进行描述的,描述该对象具有那些属性,那些方法,描述完成后就形成了一种新的自定义类型,才用该自定义类型就可以实例化具体的对象。

类与对象结束了!下篇文章将开始内存管理!

  • 28
    点赞
  • 24
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值