曲阳网站建设推广,网站备案多个域名,上海做网站比较好的,响应式网站开发报价文章目录 前言一.构造函数中的初始化列表 拷贝对象时的一些编译器优化二.static成员三.友元四.内部类总结前言
前两期我们将类和对象的重点讲的差不多了#xff0c;这一篇文章主要进行收尾工作将类和对象其他的知识点拉出来梳理一遍#xff0c;并且补充前两篇没有讲过的… 文章目录 前言一.构造函数中的初始化列表 拷贝对象时的一些编译器优化二.static成员三.友元四.内部类总结前言
前两期我们将类和对象的重点讲的差不多了这一篇文章主要进行收尾工作将类和对象其他的知识点拉出来梳理一遍并且补充前两篇没有讲过的小细节。 一、构造函数中的初始化列表
在创建对象时编译器通过调用构造函数给对象中各个成员变量一个合适的初始值。 为什么加入了一个const变量就无法引用默认的构造函数了呢
我们都知道const成员在定义的时候必须初始化前面我们介绍过可以加缺省值但是缺省值也不是初始化那么到底在哪初始化呢这就要介绍到构造函数的初始化列表了初始化列表以一个冒号开始接着是一个以逗号分隔的数据成员列表每个成员变量后面跟一个放在括号中的初始值或表达式。
class A
{
public://1.哪个对象调用初始化函数初始化列表是它所有成员变量初始化的地方//2.不管是否显示在初始化列表写编译器会让每个变量都在初始化列表定义初始化A():_x(1),_a2(1){_a1;_a2--;}
private:int _a1 1; //声明 使用缺省值并不是初始化int _a2 2;const int _x ;
};
int main()
{A aa; //对象整体的定义每个成员什么时候定义呢return 0;
} 那么大家可以猜一猜a1和a2的值分别是多少呢当我们给初始化的时候就不用缺省值了所以在初始化列表中a2被初始化为1而a1没有初始化所以用了缺省值1a1后变成了2a2--后变成了0所以答案是2和0. 初始化列表中const修饰的变量引用类型和自定义类型没有默认构造的自定义类型都必须在初始化列表初始化不然编译器会报错并且自定义类型初始化回去调用其自定义类型的构造函数。
class B
{
public:B():_b(1){cout B() endl;}
private:int _b;
};
class A
{
public://1.哪个对象调用初始化函数初始化列表是它所有成员变量初始化的地方//2.不管是否显示在初始化列表写编译器会让每个变量都在初始化列表定义初始化A():_x(1),_a2(1),ret(_a1),_bb(){_a1;_a2--;}
private:int _a1 1; //声明 使用缺省值并不是初始化int _a2 2;//有三类变量必须在初始化列表初始化const int _x ;int ret;B _bb;
}; 那么如果自定义类型是带参的构造函数我们该如何初始化呢 这种带参的我们只需要在括号内传个值即可编译器会去调用它的构造函数初始化。
注意初始化列表中每个成员只能出现一次因为初始化只能一次不能初始化两次。
建议尽量使用初始化列表初始化因为不管你是否使用初始化列表对于自定义类型成员变量一定会先使用初始化列表初始化。
下面我们看一道题
class A
{
public:A(int a):_a1(a),_a2(_a1){}void Print() {cout_a1 _a2endl;}
private:int _a2;int _a1;
};
int main() {A aa(1);aa.Print();
}
上面这道题答案应该是什么呢首先我们定义了对象A并且调用构造函数传了1过去这时候大多数人会认为a1先被初始化为1然后s2被a1初始化也是1但其实结果并不是这样。有这样一条规则成员变量在类中声明次序就是其在初始化列表中的初始化顺序与其在初始化列表中的先后顺序无关。也就是说初始化的顺序是看谁先声明的谁先声明谁就先初始化所以在上面那道题中a2先声明所以a2先用a1初始化而这个时候的a1是随机数所以a2被初始化为随机数然后a1进行初始化a1用a初始化所以a1是1那么答案就是1和随机值。 拷贝对象时的一些编译器优化
下面我们讲一下编译器的优化
构造函数不仅可以构造与初始化对象对于单个参数或者除第一个参数无默认值其余均有默认值 的构造函数还具有类型转换的作用。class A
{
public:A(int a):_a1(a){}
private:int _a2;int _a1;
};
int main() {A aa(1);A aa2 1;
} 为什么我们能直接用1去初始化aa2呢要知道1是整形而aa2是自定义类型其实这里包含了编译器优化首先我们要知道这里是隐式类型转换就像下图 在这里是直接把i给d吗其实不是这里会先开一个double的临时变量并且临时变量具有常性先将i给这个double类型的临时变量然后再将这个临时变量给d。
而自定义类型也一样其实是先将1给A类型的临时变量这个临时变量会调用构造函数用1初始化然后用拷贝构造函数将临时变量给aa2。这样说来我们应该是调用了构造拷贝构造我们验证一下
如何确定确实有一个临时变量呢 我们通过传引用发现会报错初始值必须为不可修改的左值然后我们加个const试一下 我们之前说过临时变量具有常性必须加const在这里我们普通变量会报错而加了const就能正常这就说明了在类型转换期间一定是有临时变量的。
class A
{
public:A(int a):_a1(a){cout A(int a) endl;}A(const A d){cout A(const A d) endl;_a2 d._a2;_a1 d._a1;}private:int _a2;int _a1;
};
int main() {//A aa(1);A aa2 1;} 这里为什么只调用了一个构造函数呢其实这里就是编译器的优化了 编译器直接优化为用1去构造aa2。也就是说实际过程变成了构造拷贝构造编译器优化--构造。那如果我们不想让编译器优化有什么办法呢这里c引入了explicit关键字将关键字加到构造函数前面编译器就不能进行类型转换了。如下图 上面是单参数的构造函数那如果是多参数的构造函数呢 如上图所示 多参数的构造函数也支持只不过需要加大括号在这里要说明一下单参数的隐式类型转换是c98就支持的而多参数的隐式类型转换是c11支持的。同样我们在前面加一个explicit就不支持了。
同样编译器还会对函数传参进行优化
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 operator(const A aa){cout A operator(const A aa) endl;if (this ! aa){_a aa._a;}return *this;}~A(){cout ~A() endl;}
private:int _a;
};
void func1(A aa)
{}int main()
{A aa1;func1(aa1); //func1(2); //构造 拷贝构造 优化 - 构造func1(A(3)); //构造 拷贝构造 优化 -构造return 0;
}
通过调试我们发现func1(2)本来应该是构造拷贝构造结果被优化成了构造。func(A(3))也一样A3是一个匿名对象然后将A3拷贝给aa然后优化为构造。 那么如果函数参数变成传引用还会优化吗 首先Func2的参数前面必须const否则连编译都不会通过因为Func2(2)中2是一个常量。其次我们可以看到当传引用的时候编译器是不会优化的因为传引用本身就是将自身传过去没有什么再减少空间开辟的优化了。再看下一个 这里func3的顺序大家应该都清楚进入函数后aa先构造然后值返回会调用拷贝构造函数要结束时aa调用析构那么A aa1 func3()的过程是什么样呢这个过程按照我们所学的知识来理解应该是构造拷贝构造然后再拷贝构造赋值给aa1所以应该是1个构造2个拷贝构造。那么我们验证一下 我们发现只有1个构造1个拷贝构造其实这里是被编译器优化了。 当我们直接返回匿名对象的时候发现本来应该构造拷贝构造直接变成了构造。再看下图 这个我们发现更神奇了本来应该是构造拷贝构造拷贝构造直接被优化为1个构造编译器直接用匿名对象初始化aa1了。所以我们得出一个结论能用匿名对象直接返回的就用匿名对象这样会加速编译器的优化。
编译器优化总结
1.对象返回
接收返回值对象尽量拷贝构造方式接收不要赋值接收。
函数中返回对象时尽量返回匿名对象。
2.函数传参总结
尽量使用const 传参
二、static成员
声明为static的类成员称为类的静态成员用static修饰的成员变量称之为静态成员变量用static修饰的成员函数称之为静态成员函数。静态成员变量一定要在类外进行初始化。
我们先用以前的知识实现一个类这个类可以计算出创建了多少个对象。
int count 0;
class Test
{
public:Test(){count;}
};
int main()
{Test t1;cout count endl;return 0;
} 按照我们以前的写法我们发现是无法正常编译的我们看一下报错信息 这是因为我们定义的全局变量的名称与库中的某个函数名冲突了如果是以前我们直接修改变量名称即可但我们既然学了c就用c的方式解决我们知道c的类中定义的变量名称是不会与库中的名称冲突的那我们如何既能将变量写到类中又能让这个变量不属于这个单独的类属于所有的类对象呢这里就用到了static修饰的变量。如下图
class Test
{
public:Test(){count;}static int count;
};
int Test::count 0;
int main()
{Test t1;cout t1.count endl;return 0;
}
static修饰的变量或函数不属于某个对象属于所有对象属于整个类。静态成员变量必须在类外进行初始化类中仅仅是声明。 我们再多加几个变量 这样还不算成功的计算出所有创建对象的数量看下图 当我们调用拷贝构造创建一个新的对象的时候发现数量不对了我们应该要加上拷贝出来的对象的数量所以我们改进一下 这样即使我们利用拷贝构造创建新对象也会成功加上数量。
那如果定义的count是私有的该怎么办呢 私有的很明显是不能直接访问的所以我们利用函数去返回。 但是如果我们没有创建对象呢我们不能因为调用一个函数再去创建一个类对象吧这时候就该静态函数出场了。
class Test
{
public:Test(){count;}Test(const Test d){count;}static int GetCount(){return count;}
private:static int count;
};
int Test::count 0;
int main()
{cout Test::GetCount() endl;return 0;
} 静态函数可以直接用类名访问并且静态函数内不可以访问普通成员变量。如下图 静态成员特性
1.静态成员为所有类对象所共享不属于某个具体的对象存放在静态区。
2.静态成员变量必须在类外定义定义时不添加static关键字类中只是声明。
3.类静态成员即可用类名静态成员或者对象.静态成员来访问。
4.静态成员函数没有隐藏的this指针不能访问任何非静态成员.
5.静态成员也是类的成员受publicprotected, private访问限定符的限制。 匿名对象到下一行直接就调用析构函数了所以声明周期只在这一行。
那么匿名对象有什么作用呢 比如我们需要一个值用来初始化一个对象然后利用函数返回一个初始化的匿名对象即可。
三丶友元
友元其实我们之前已经接触过了在运算符重载的时候我们需要重载符号用到了友元友元提供了一种突破封装的方式有时提供了便利。但是友元增加了耦合度会破坏封装所以友元不宜多用。
友元分为友元函数和友元类。
这是我们之前的例子
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;
}
说明
1.友元函数可访问类的私有和保护成员但不是类的成员函数。
2.友元函数不能用const修饰。
3.友元函数可以在类定义的任何地方声明不受类访问限定符的限制。
4.一个函数可以是多个类的友元函数。
5.友元函数的调用和普通函数的调用原理相同
友元类
友元类的所有成员函数都可以是另一个类的友元函数都可以访问另一个类中的非公有成员。class Time
{friend class Date; // 声明日期类为时间类的友元类则在日期类中就直接访问Time类
中的私有成员变量
public:Time(int hour 0, int minute 0, int second 0): _hour(hour), _minute(minute), _second(second){}
private:int _hour;int _minute;int _second;
};
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;
}; 如上图所示当我们创建了一个Date类的时候然后Date类中有私有自定义变量的时候我们需要对这个自定义变量访问这个时候就可以在time类中将Date类设为友元Date类中就可以访问time类中的私有成员。但是友元关系是不可逆的也就是说Time是不可以使用Date的变量的。 注意 1.友元关系是单向的不具有交换性。 2.友元关系不能传递如果C是B的友元B是A的友元不能说明C是A的友元。 3.友元关系不能继承 四丶内部类
概念如果一个类定义在另一个类的内部这个内部类就叫做内部类。内部类是一个独立的类它不属于外部类更不能通过外部类的对象去访问内部类的成员外部类对内部类没有任何优越的访问权限。
注意内部类就是外部类的友元类内部类可以通过外部类的对象参数来访问外部类中的所有成员但是外部类不是内部类的友元。
特性
内部类可以定义在外部类的publicprotectedprivate都是可以的。
注意内部类可以直接访问外部类中的static成员不需要外部类的对象/类名
sizeof外部类内部类和内部类没有任何关系 通过上图我们可以发现A类的大小是4字节也就是int h的大小如果包含类B的大小应该是8字节才对所以sizeof外部类与内部类无关。
受类域限制是什么意思呢看下图 B对象是无法直接定义的需要加上域作用限定符。 当然这是类B公有的情况如果类B是私有呢 我们发现当类B是私有的时候是无法直接用类B创建对象的这就证明内部类受外部类的类域限制。
class A
{
private:int h;int k;
public:class B{public:void Print(A a){cout a.h endl;a.k 10;}private:int b;};
};
int main()
{A aa;A::B bb;return 0;
} 从上图可以发现内部类是外部类的友元类我们在内部类B中直接访问了A类中的h和k变量。 总结
现实生活中的实体计算机并不认识计算机只认识二进制格式的数据。如果想要让计算机认识现实生活中的实体用户必须通过某种面向对象的语言对实体进行描述然后通过编写程序创建对象后计算机才可以认识。比如想要让计算机认识洗衣机就需要1. 用户先要对现实中洗衣机实体进行抽象---即在人为思想层面对洗衣机进行认识洗衣机有什么属性有那些功能即对洗衣机进行抽象认知的一个过程2. 经过1之后在人的头脑中已经对洗衣机有了一个清醒的认识只不过此时计算机还不清楚想要让计算机识别人想象中的洗衣机就需要人通过某种面相对象的语言(比如C、Java、Python等)将洗衣机用类来进行描述并输入到计算机中3. 经过2之后在计算机中就有了一个洗衣机类但是洗衣机类只是站在计算机的角度对洗衣机对象进行描述的通过洗衣机类可以实例化出一个个具体的洗衣机对象此时计算机才能洗衣机是什么东西。4. 用户就可以借助计算机中洗衣机对象来模拟现实中的洗衣机实体了。在类和对象阶段大家一定要体会到类是对某一类实体(对象)来进行描述的描述该对象具有那 些属性那些方法描述完成后就形成了一种新的自定义类型才用该自定义类型就可以实例化 具体的对象。
