1. 谈谈C和C++的认识
- C++在C的基础上添加类,C是一种结构化语言,它的重点在于数据结构和算法。
- C语言的设计首要考虑的是如何通过一个过程,对输入进行运算处理得到输出,
- 而对C++,首先要考虑的是如何构造一个对象,通过封装一下行为和属性,通过一些操作将对象的状态信息输出
2. 对象
2.1 什么是面向对象
- 就是一种对现实世界的理解和抽象,将问题转换成对象进行解决需求处理的思想。
2.2 如何限制一个类对象只能在堆上分配空间
2.2.1 方法一: 使用delete禁掉默认析构函数 - #include <iostream>
- using namespace std;
-
-
- class HeapOnly
- {
- public:
- HeapOnly()
- {
- _str = new char[10];
- }
-
- ~HeapOnly() = delete;
-
- void Destroy()
- {
- delete[] _str;
-
- operator delete(this);
- }
-
- private:
- char* _str;
- //...
- };
-
- int main()
- {
- HeapOnly* ptr = new HeapOnly;
- ptr->Destroy();
- return 0;
- }
复制代码
- 只能在堆上申请空间,可以直接使用delete把析构函数禁掉就行了
- 自己再实现一个释放空间的函数(Destory)
2.2.2 方法二: 将析构函数私有化 - #include <iostream>
- #include <stdlib.h>
- using namespace std;
- class HeapOnly
- {
- public:
- /*static void Delete(HeapOnly* p)
- {
- delete p;
- }*/
- void Delete()
- {
- delete this;
- }
-
- private:
- // 析构函数私有
- ~HeapOnly()
- {
- cout << "~HeapOnly()" << endl;
- }
- private:
- int _a;
- };
-
- int main()
- {
- //HeapOnly hp1;// error
- //static HeapOnly hp2;// error
-
- HeapOnly* ptr = new HeapOnly;
- ptr->Delete();
- return 0;
- }
复制代码
- 只能在堆上申请空间,可以直接将析构函数私有化
- 自己再实现一个调用析构函数的函数(Delete)
2.2.3 方法三: 将构造函数私有化(禁掉拷贝) - #include <iostream>
- #include <stdlib.h>
- using namespace std;
- class HeapOnly
- {
- public:
- // 提供一个公有的,获取对象的方式,对象控制是new出来的
- static HeapOnly* CreateObj()
- {
- return new HeapOnly;
- }
-
- // 防拷贝
- HeapOnly(const HeapOnly& hp) = delete;
- HeapOnly& operator=(const HeapOnly& hp) = delete;
- private:
- // 构造函数私有
- HeapOnly()
- :_a(0)
- {}
- private:
- int _a;
- };
-
- int main()
- {
- /*HeapOnly hp1;
- static HeapOnly hp2;
- HeapOnly* hp3 = new HeapOnly;
- delete hp3;*/
-
- HeapOnly* hp3 = HeapOnly::CreateObj();
- //HeapOnly copy(*hp3);
-
- delete hp3;
-
- return 0;
- }
复制代码
- 只能在堆上申请空间,可以直接使用构造函数私有化
- 并禁止掉2个拷贝构造和赋值重载
- 自己再实现提供一个公有的,获取对象的方式*(CreatObj),返回值是static的
注意: 如果需要派生该类,就不能将构造函数设为私有或删除。如果需要限制派生类对象只能在堆上构造,可以在派生类中重载 new 和 delete 运算符,强制所有派生类对象都通过堆来创建和销毁
2.3 如何限制一个类对象只能在栈上分配空间
2.3.1 方法一: 构造函数私有化(禁掉new) - #include <iostream>
- #include <stdlib.h>
- using namespace std;
- class StackOnly
- {
- public:
- static StackOnly CreateObj()
- {
- StackOnly st;
- return st;
- }
-
- // 不能防拷贝
- //StackOnly(const StackOnly& st) = delete;
- //StackOnly& operator=(const StackOnly& st) = delete;
- void* operator new(size_t n) = delete;
- private:
- // 构造函数私有
- StackOnly()
- :_a(0)
- {}
- private:
- int _a;
- };
-
- int main()
- {
- /*StackOnly st1;
- static StackOnly st2;
- StackOnly* st3 = new StackOnly;*/
-
- StackOnly st1 = StackOnly::CreateObj();
-
- // 拷贝构造
- static StackOnly copy2(st1); // 不好处理,算是一个小缺陷
- //StackOnly* copy3 = new StackOnly(st1);
-
- return 0;
- }
复制代码
- 只能在堆上申请空间,可以直接使用构造函数私有化
- 并且使用delete禁止掉new
- 自己再实现提供一个公有的,获取对象的方式*(CreatObj),返回值是static的
2.4 private protected public
第一: private,public,protected的访问范围:
类中的函数 友元函数 子类函数 类的对象
-
private: 只能由该类中的函数、其友元函数访问,不能被任何其他访问,该类的对象也不能访问. -
protected: 可以被该类中的函数、子类的函数、以及其友元函数访问,但不能被该类的对象访问 -
public: 可以被该类中的函数、子类的函数、其友元函数访问,也可以由该类的对象访问
第二:类的继承后方法属性变化:
- 使用private继承,父类的所有方法在子类中变为private;
- 使用protected继承,父类的protected和public方法在子类中变为protected,private方法不变;
- 使用public继承,父类中的方法属性不发生改变;
2.5 拷贝构造函数参数中为什么有时候要加const - class test{
- public:
- test(const test& a)
- {
- cout<<"拷贝构造函数"<<endl;
- }
- };
- test get_test()
- {
- test a;
- return a;
- }
- int main()
- {
- test b=get_test();
- }
复制代码
3.多态
3.1 什么是多态
就是多种形态,具体点就是去完成某个行为,当不同的对象去完成时会
产生出不同的状态
- 派生类对象的地址可以赋值给基类指针。对于通过基类指针调用基类和派生类中都有的同名、同参数表的虚函数的语句,编译时并不确定要执行的是基类还是派生类的虚函数;
- 而当程序运行到该语句时,如果基类指针指向的是一个基类对象,则基类的虚函数被调用,
- 如果基类指针指向的是一个派生类对象,则派生类的虚函数被调用。这种机制就叫作“多态(polymorphism)
静态多态(编译阶段确定)
动态多态(运行阶段确定)
3.2 继承和多态区别与联系?
- 不同点: 继承是子类使用父类的方法,而多态则是父类使用子类的方法。
- 继承是为了重用代码,有效实现代码重用,减少代码冗余
- 多态是一种接口继承,增强接口的扩展性
3.3 什么是重载、重写(覆盖)、重定义(隐藏)?
- 重载 : a. 两个函数在同一作用域,b.函数名相同,参数不同(类型,顺序,个数)
- 重写(覆盖):
两个函数分别在基类和派生类的作用域 函数名/参数/返回值都必须相同(协变除外) -> 简称三同 特殊点1: 两个函数都必须是虚函数(其实子类可以不用加virtual) 特殊点2: 如果返回值不同,则必须是父类的指针或引用 - 重定义(隐藏)
两个函数分别在基类和派生类的作用域 函数名相同 两个基类和派生类的同名函数不构成重写,那么就是重定义(隐藏)
3.4 多态的实现原理?
- 每一个类中都有一个vfptr,它是一张虚函数的表,本质就是一个函数指针数组
- 多态调用:运行时去指向对象的虚表中找到函数地址,并进行调用(在符合多态的两个条件时,)
3.5 产生多态的2个条件
3.6 inline函数可以是虚函数吗?
- 不可以,但是inline只是一个建议,当一个函数是虚函数以后,多态调用中,inline会直接失效
3.7 静态成员可以是虚函数吗?
- 不可以 ,因为 静态成员函数没有this指针 ,使用类型::成员函数的调用方式无法访问虚函数表,所以静态成员函数无法放进虚函数表
3.8 构造函数可以是虚函数吗
- 不可以,virtual函数为了实现多态,运行时去虚表中找对应虚函数进行调用
- 而对象中虚表指针都是构造函数初始化列表阶段才初始化的
- 所以构造函数的虚函数是没有意义的
3.9 析构函数可以是虚函数吗
- 可以,建议基类的析构函数定义成虚函数
- 析构函数名都会被处理成destructor,所以这里析构函数完成了虚函数重写
- 当基类的指针指向派生类对象的时候,发生多态,然后基类和派生类就会统一析构
如果不将基类的析构函数定义为虚函数的话,那么派生类的析构函数就无法执行。
3.10 拷贝构造 和 operator=可以是虚函数?
- 拷贝构造不可以,拷贝构造也是构造函数,同上
- operator=可以但是没有什么实际价值
3.11 对象访问普通函数快还是虚函数更快?
- 不构成多态, 是一样快的。
- 构成多态,则调用的普通函数快,
- 因为构成多态,运行时调用虚函数需要到虚函数表中去查找
3.12 虚函数是在什么阶段生成的,存在哪的?
3.13 什么是抽象类?抽象类的作用?
- 在虚函数的后面写上 =0 ,则这个函数为纯虚函数。包含纯虚函数的类叫做抽象类
- 抽象类强制重写了虚函数,另外抽象类体现出了 接口继承关系 。
4. 内存管理
4.1 进程的虚拟内存分配模型
-
栈区:由编译器自动分配和释放,存放为运行函数分配的局部变量,函数参数,返回数据,返回地址等,其操作类似于数据结构中的栈。 -
堆区:一般由程序员自动分配,如果程序员没有释放,程序结束时可能有OS回收。其分配类似于链表。 -
全局区(静态区static):存放全局变量,静态变量,常量。结束后由系统释放。 -
常量区(字符串常量区):存放常量字符串,程序结束后有系统释放。 -
代码区:存放函数体(类成员函数和全局区)的二进制代码。
4.2 堆和栈的区别
5. 关键字
5.1 extern 和 static 的区别,什么情况用前者什么情况用后者
- extern外部变量: 叫做外部声明,被extern修饰的变量,会告诉编译器这个变量的定义需要再其他文件中查找
- static静态变量: 被static修饰的变量,将会被改变生命周期,直到程序运行结束的时候,系统才会释放,所以无需手动释放
5.2 声明和定义的区别
-
声明是告诉编译器名字的存在, -
而定义是为名字分配内存并实现其功能。 -
在使用变量或函数之前,必须先进行声明或定义。
5.4 strcpy和memcpy的区别
-
strcpy和memcpy都是在C语言和C++语言中用于复制内存块的函数,但它们在使用和效率上有所不同。 -
但他们两者在拷贝时,如果源地址不够时,都会出现内存越界和缓冲区溢出问题 - strcpy用于将一个以null结尾的字符串从源地址复制到目标地址。它会复制整个字符串,包括null终止符,直到遇到null为止
- memcpy用于将一段内存块从源地址复制到目标地址,可以复制任意长度的内存块,而不仅限于字符串,且不关心null
- 但是strcpy具有更简单的语法和更高的可读性,因此在处理字符串时,通常首选strcpy函数
5.5 关于类模板是否可以定义虚函数
- 类模板可以定义成虚函数,但是需要注意一些细节。
首先,需要明确的是,类模板本身是一个模板,不能直接定义为虚函数。类模板的实例化才能被定义为虚函数。
6. 运算操作符
6.1 x=x+1,x+=1,x++哪个效率高
- 在大多数情况下,这两者是差不多的,编译器都会转换成相同的机器码,这意味着它们在程序运行时具有相同的性能和速度。
- 但是由于x++需要创建一个临时变量来保存x的旧值,所以它就会比其他两者的效率稍微慢点,但是由于CPU处理数据的速度太快了,所以可以忽略不记
7.编译内存相关
7.1 C++程序编译过程
编译过程分为四个过程:编译(编译预处理、编译、优化),汇编,链接
- 预处理:头文件的展开,宏替换,去注释
- 编译:把C/C++语言变成汇编代码;
- 汇编:通过汇编变成以.o结尾的目标二进制文件(不可执行)
- 链接:多个目标文件和连接库进行链接的,从而生成可执行的程序 .exe 文件。
7.2 栈和堆的区别
7.3 全局变量定义在头文件中有什么问题
7.4 内存对齐
什么是内存对齐?内存对齐的原则?为什么要进行内存对齐,有什么优点?
内存对齐:编译器将程序中的每个“数据单元”安排在字的整数倍的地址指向的内存之中
内存对齐的原则:
- 结构体变量的首地址 = min(最宽基本类型大小,对齐基数)的整除
- 其他成员的地址偏移量 = min(成员大小,对齐基数)的整数倍 + 填充字节
- 总大小 = min(最宽基本类型大小,对齐基数) + 填充字节
进行内存对齐的原因:(主要是硬件设备方面的问题)
- 某些硬件设备只能存取对齐数据,存取非对齐的数据可能会引发异常;
- 某些硬件设备不能保证在存取非对齐数据的时候的操作是原子操作;
- 相比于存取对齐的数据,存取非对齐的数据需要花费更多的时间;
- 某些处理器虽然支持非对齐数据的访问,但会引发对齐陷阱(alignment trap);
- 某些硬件设备只支持简单数据指令非对齐存取,不支持复杂数据指令的非对齐存取。
7.5 类的大小
说明:类的大小是指类的实例化对象的大小,用 sizeof 对类型名操作时,结果是该类型的对象的大小。
计算原则:
- 遵循结构体的对齐原则。
- 与普通成员变量有关,与成员函数和静态成员无关。即普通成员函数,静态成员函数,静态数据成员,静态常量数据成员均对类的大小无影响。因为静态数据成员被类的对象共享,并不属于哪个具体的对象。
- 虚函数对类的大小有影响,是因为虚函数表指针的影响。
- 虚继承对类的大小有影响,是因为虚基表指针带来的影响。
- 空类的大小是一个特殊情况,空类的大小为 1,当用 new 来创建一个空类的对象时,为了保证不同对象的地址不同,空类也占用存储空间。
7.6 什么是内存泄漏
- 内存泄漏:由于疏忽或错误导致的程序未能释放已经不再使用的内存
7.7 智能指针有哪几种?智能指针的实现原理?
-
unique_ptr: 禁掉了拷贝构造和赋值重载 -
shared_ptr: 共同管理一段空间,引用计数 记录管理者 -
weak_ptr: 为了解决shared_ptr循环引用的问题,使它的next和prev不增加计数
8. 语言对比
8.1 C++11 引入了什么新增加的内容
8.1.0 智能指针
- auto_ptr 资源管理权转移,不负责任的拷贝,会导致被拷贝对象悬空
-
unique_ptr: 禁掉了拷贝构造和赋值重载 -
shared_ptr: 共同管理一段空间,引用计数 记录管理者 -
weak_ptr: 为了解决shared_ptr循环引用的问题,是它的next和prev不增加计数
8.1.1 auto类型推导
- auto 关键字:自动类型推导,编译器会在 编译期间 通过初始值推导出变量的类型,通过 auto 定义的变量必须有初始值。
8.1.2 lambda表达式
[捕捉列表](参数列表)mutable->返回值类型{函数体实现}
- mutable:默认情况下,lambda函数总是一个const函数,mutable可以取消其常量性。使用该修饰符时, 参数列表不可省略 (即使参数为空)。
8.1.3 右值引用
不能取地址的叫常量,只能用右值引用
- // 对右值的左值引用
- // double& r1 = 1.1 + 2.2;// error
- const double& r1 = 1.1 + 2.2;
-
- // 对左值的右值引用
- //int&& rr5 = b;// error
- int&& rr5 = move(b);
复制代码
出现的原因 :
- 左值引用: 中的引用返回,只能解决出了作用域还存在的
且无法解决string中的to_string的返回值,以及有些函数返回值是二维数组的问题
具体使用是:
- 右值引用+ 移动构造/移动赋值 (用swap, 交换将亡值)
8.2 C和C++的区别
-
语言自身: C 语言是面向过程的编程,它的主要特点是函数 C++ 是面向对象的编程, 它的主要特点是类 -
应用领域: C 语言主要用于嵌入式领域,驱动开发等与硬件直接打交道的领域, C++ 可以用于应用层开发,用户界面开发等与操作系统打交道的领域 -
C++ 对 C 的“增强”,表现在以下几个方面: 类型检查更为严格。增加了面向对象的机制、泛型编程的机制(Template)、异常处理、运算符重载、标准模板库(STL)、命名空间(避免全局命名冲突)
8.3 面向对象
面向对象:对象是指具体的某一个事物,这些事物的抽象就是类,类中包含成员变量和成员方法
9. 关键字库函数
9.1 sizeof 和 strlen 的区别
- strlen 是头文件 中的函数,sizeof 是 C++ 中的运算符。
- strlen 测量的是字符串的实际长度(其源代码如下),以 \0 结束。
而 sizeof 测量的是字符数组的分配大小。 - sizeof会计算\0
9.2 explicit 的作用 - #include <iostream>
- #include <cstring>
- using namespace std;
- class A
- {
- public:
- int var;
- explicit A(int tmp)
- {
- var = tmp;
- cout << var << endl;
- }
- };
- int main()
- {
- A ex(100);
- A ex1 = 10; // error: conversion from 'int' to non-scalar type 'A' requested
- return 0;
- }
复制代码
9.3 static 的作用
作用: 定义静态变量,静态函数
- 保持变量内容持久:改变了变量的生命周期
- 隐藏:static 作用于全局变量和函数,改变了全局变量和函数的作用域,使得被static修饰的变量和函数只能在当前文件中访问
- 类的静态成员函数中只能访问静态成员变量或者静态成员函数,不能将静态成员函数定义成虚函数
9.3.1 static在类中使用的注意事项(定义、初始化和使用 )
静态成员变量
静态成员函数
- 静态成员函数不能调用非静态成员变量或者非静态成员函数,因为静态成员函数没有 this 指针。
- 静态成员函数能做为类作用域的全局函数。
- 静态成员函数不能声明成虚函数(virtual)、const 函数和 volatile 函数。
9.4 static全局变量和普通全局变量的异同
相同点:
- 存储方式:普通全局变量和 static 全局变量都是静态存储方式。
不同点:
- 作用域: 普通全局变量的作用域是整个源程序,而static全局变量只在当前文件有效,且只能初始化一次
9.5 const 作用及用法
9.5.1 作用:
- const 修饰成员变量,定义成 const 常量,相较于宏常量,可进行类型检查,节省内存空间,提高了效率。
- const 修饰函数参数,使得传递过来的函数参数的值不能改变。
- const 修饰成员函数,使得成员函数不能修改任何类型的成员变量(mutable 修饰的变量除外),也不能调用非 const 成员函数,因为非 const 成员函数可能会修改成员变量。
9.5.2 在类中的用法:
const 成员变量:
- const 成员变量只能在类内声明、定义,在构造函数初始化列表中初始化。
const 成员函数:
- 不能修改成员变量的值,除非有 mutable 修饰;只能访问成员变量。
- 不能调用非常量成员函数,以防修改成员变量的值
9.6 define 和 const 的区别
区别
- 编译阶段:define 是在编译预处理阶段进行替换,const 是在编译阶段确定其值。
- 安全性:define 定义的宏常量没有数据类型,所以不会进行类型安全检查,而const 定义的常量是有类型的,所以会进行类型安全检查
- 内存占用:define 定义的宏常量,是进行替换的,所以内存中有多个备份会占用的是代码段的空间;const 定义的常量占用静态存储区的空间,因为整个程序运行过程中只有一份。
- 调试:define不支持调试,而const支持调试,因为define在预编译阶段就已经进行替换了
const 的优点:
- 有数据类型,在定义式可进行安全性检查。
- 可调式。
- 占用较少的空间。
9.7 define 和 typedef 的区别
- define不进行类型安全的检查,而typedef会进行类型安全的检查
- define没有作用域的限制,而typedef有作用域的限制
9.8 用宏实现比较大小,以及两个数中的最小值 - #include <iostream>
- #define MAX(X, Y) ((X)>(Y)?(X):(Y))
- #define MIN(X, Y) ((X)<(Y)?(X):(Y))
- using namespace std;
- int main ()
- {
- int var1 = 10, var2 = 100;
- cout << MAX(var1, var2) << endl;
- cout << MIN(var1, var2) << endl;
- return 0;
- }
- /*
- 程序运行结果:
- 100
- 10
- */
复制代码
9.9 inline 作用及使用方法
作用:
- inline是一个关键字,被inline修饰的函数叫做内联函数,内联函数不会进行函数跳转,而是直接展开(通过反汇编观察),但是具体展不展开还是要看编译器,
- 这样可以大大减少由函数调用带来的开销,从而提高程序的运行效率。
- 去除函数只能定义一次的限制(内联函数可以在头文件中被定义,并被多个 .cpp 文件 include,而不会有重定义错误)
使用方法:
- 类内定义成员函数默认是内联函数
- 而在类外定义就直接加 inline关键字就行了
9.10 宏定义(define)和内联函数(inline)的区别
- 二者都是在编译阶段处理的,但是lnline是直接内嵌到目标代码中的,而宏只是一个简单的文本替换
- 内联函数是真正的函数,而宏定义编写较为复杂,常需要增加一些括号来避免歧义。
- 宏定义只进行文本替换,不会做各种安全检查。而内联函数是真正的函数,会做各种检查
9.11 new 的作用?
new 是 C++ 中的关键字,用来动态分配内存空间,实现方式如下:
9.12 new 和 malloc 如何判断是否申请到内存?
- malloc :成功申请到内存,返回指向该内存的指针;分配失败,返回 NULL 指针。
- new :内存分配成功,返回该对象类型的指针;分配失败,抛出 bad_alloc 异常。
9.13 delete 实现原理?delete 和 delete[] 的区-别?
delete 的实现原理:
- 首先执行该对象所属类的析构函数;
- 进而通过调用 operator delete 的标准库函数来释放所占的内存空间。
delete 和 delete [] 的区别:
- delete 用来释放单个对象所占的空间,只会调用一次析构函数;
- delete [] 用来释放数组空间,会对数组中的每个成员都调用一次析构函数。
9.14 new 和 malloc 的区别,delete 和 free 的区别
-
相同点:都是从堆上申请空间,并且需要用户手动释放。 -
不同点: malloc和free是函数,new和delete是操作符 malloc申请的空间不会初始化,new申请的空间会初始化,即调用构造函数 malloc申请空间时,需要手动计算空间大小并传递,new只需在其后跟上空间的类型即可 malloc的返回值是void*,在使用时必须强转,new不需要,因为new后跟的是空间的类型 malloc申请失败时,返回的是NULL,因此使用时必须判空,而new不需要,但是new需要捕获异常
9.15 malloc 的原理?malloc 的底层实现?
malloc 的原理:
- 当开辟的空间小于 128K 时,调用 brk() 函数,通过移动 _enddata 来实现;
- 当开辟空间大于 128K 时,调用 mmap() 函数,通过在虚拟地址空间中开辟一块内存空间来实现
9.16 C 和 C++ struct 的区别?
- 一个是自定义数据类型,而另一个是抽象数据类型
- C语言中的struct不能包含成员函数,C++中的struct可以包含成员函数,区别在于访问控制
9.17 为什么有了 class 还保留 struct?
- C++ 是在 C 语言的基础上发展起来的,为了与 C 语言兼容,C++ 中保留了 struct。
9.18 struct 和 union 的区别 - // 大小 = 所有变量类型最大的那个 的 整数倍
- typedef union
- {
- char c[10];
- int i;
- double d; // double 8 字节,按该类型的倍数分配大小
- } u22;
- // 需要遵循内存对齐规则
- typedef struct s2
- {
- char c; // 1 字节
- char cc; // 1(char)+ 1(char)= 2 字节
- double d; // 2 + 6(内存对齐)+ 8(double)= 16 字节
- } s22;
复制代码
-
联合体和结构体都是由若干个数据类型不同的数据成员组成。 使用时,联合体只有一个有效的成员; 而结构体所有的成员都有效。 -
对联合体的不同成员赋值,将会对覆盖其他成员的值, 而对于结构体的对不同成员赋值时,相互不影响。 -
联合体的大小为其内部所有变量的最大值,按照最大类型的倍数进行分配大小; 结构体分配内存的大小遵循内存对齐原则。
9.19 truct 和 class 区别
9.20 volatile 的作用?是否具有原子性,对编译器有什么影响?
- volatile 的作用:
当对象的值可能在程序的控制或检测之外被改变时,应该将该对象声明为 violatile, 告知编译器不应对这样的对象进行优化 - volatile不具有原子性。
- volatile 对编译器的影响:
使用该关键字后,编译器不会对相应的对象进行优化,应该在真实的物理地址空间中拿数据 即不会将变量从内存缓存到寄存器中 防止多个线程有可能使用内存中的变量,也有可能使用寄存器中的变量,从而导致程序错误。
9.21 什么情况下一定要用 volatile, 能否和 const 一起使用?
使用 volatile 关键字的场景:
- 当多个线程都会用到某一变量,并且该变量的值有可能发生改变时,需要用 volatile 关键字对该变量进行修饰;
- 中断服务程序中访问的变量或并行设备的硬件寄存器的变量,最好用 volatile 关键字修饰。
volatile 关键字和 const 关键字可以同时使用,某种类型可以既是 volatile 又是 const ,同时具有二者的属性。
在C++多线程中,volatile不具有原子性;无法对代码重新排序实施限制。 能干什么:告诉编译器不要在此内存上做任何优化。如果对内存有只写未读的等非常规操作,如
编译器会优化为:
volatile 就是阻止编译器进行此类优化。
9.22 extern C 的作用?
当 C++ 程序 需要调用 C 语言编写的函数,
- // 可能出现在 C++ 头文件<cstring>中的链接指示
- extern "C"{
- int strcmp(const char*, const char*);
- }
复制代码
- C++ 和 C语言编译函数签名方式不一样,
- extern关键字可以让两者保持统一,这样才能找到对应的函数
9.23 sizeof(1==1) 在 C 和 C++ 中分别是什么结果?
- C语言没有布尔类型,因此按整数处理,有可能是4字节,也有可能是8字节
- 而C++有布尔类型,占1字节
10. 类相关
10.1 什么是虚函数?什么是纯虚函数?
10.2 虚函数和纯虚函数的区别?
- 使用方式不同:虚函数可以直接使用,纯虚函数必须在派生类中实现后才能使用;
- 定义形式不同:虚函数在定义时在普通函数的基础上加上 virtual 关键字,纯虚函数定义时除了加上virtual 关键字还需要加上 =0;
10.3 对虚函数表的理解
10.4 如何禁止构造函数的使用?
- 为类的构造函数增加 = delete 修饰符,可以达到虽然声明了构造函数但禁止使用的目的。
10.5 什么是类的默认构造函数?
- 编译器自动生成的,且未提供任何实参的构造函数 -> 默认构造函数
10.6 如何禁止一个类被实例化
- 在类中定义一个纯虚函数,使该类成为抽象类,因为不能创建抽象类的实例化对象
- 构造函数私有化
10.7 为什么用成员初始化列表会快一些?
- C++ 规定,对象的成员变量的初始化动作发生在进入构造函数本体之前
- 所以初始化列表在没有进入函数体之前,就将成员变量设为初始值了
- 总之就是一个进入了函数体,另一个没有进入函数体
10.8 实例化一个对象需要哪几个阶段
10.9 友元函数的作用
- 作用: 让普通的成员函数可以访问类中的私有成员和保护成员
10.10 深拷贝和浅拷贝的区别
- 深拷贝:该对象和原对象占用不同的内存空间
- 浅拷贝:该对象和原对象占用同一块内存空间
10.11 如何让类不能被继承? - #include <iostream>
- using namespace std;
- class Base final
- {
- };
- class Derive: public Base{ // error: cannot derive from 'final' base 'Base' in derived type 'Derive'
- };
- int main()
- {
- Derive ex;
- return 0;
- }
复制代码
10.12 override 关键字
- 在编译阶段检查这个虚函数是否被继承了,如果没有会报错
11. 语言特性
11.0 谈谈STL各个容器
11.1 左值和右值的区别?两者之前如何转换 - #include <iostream>
- #include <utility>
- using namespace std;
-
- int main()
- {
- // 左值: 能取地址
- int* p = new int(0);
- int b = 1;
- const int c = 2;
-
- // 对左值的左值引用
- int*& rp = p;
- int& rb = b;
- const int& rc = c;
- int& pvalue = *p;
-
- // 右值:不能取地址
- 10;
- 1.1 + 2.2;
-
- // 对右值的右值引用
- int&& rr1 = 10;
- double&& rr2 = 1.1 + 2.2;
-
- // 对右值的左值引用
- // double& r1 = 1.1 + 2.2;// error
- const double& r1 = 1.1 + 2.2;
-
- // 对左值的右值引用
- //int&& rr5 = b;// error
- int&& rr5 = move(b);
-
- return 0;
- }
复制代码
- 能取地址的叫左值,不能取地址的叫右值
- 如果对右值使用左值引用,需要加上const
- 如果对左值使用右值引用,需要是使用move函数
11.2 什么是野指针和悬空指针? - void *p = malloc(size);
- free(p);
- // 此时,p 指向的内存空间已释放, p 就是悬空指针。
复制代码
- 悬空指针: 这个指针指向的地址空间已经被释放了,但这个指针还是指向原来的那段地址空间
- 野指针: 不确定指向地址空间的指针,和未进行初始化的指针
11.3 C++ 11 nullptr 比 NULL 优势
11.4 指针和引用的区别
11.4.1 从使用场景来说
- 引用和指针使用场景基本一样,但是链表的链式结构是引用无法代替的,只能使用指针
11.4.2 从语法特性来说
- 引用在定义时必须初始化,指针没有要求。
- 引用在初始化时引用一个实体后,就不能再引用其他实体,
而指针可以在任何时候指向任何一个同类型实体。 - 没有NULL引用,但有NULL指针。
- 在sizeof中的含义不同:引用的结果为引用类型的大小,
但指针始终是4或者8字节 - 引用进行自增操作就相当于实体增加1,
而指针进行自增操作是指针向后偏移一个类型的大小。 - 有多级指针,但是没有多级引用。
- 访问实体的方式不同,引用是编译器自己处理,而指针需要显示解引用,
- 引用比指针使用起来相对更安全
11.5 说一说c++的强制类型转换
-
static_cast关键字 -> 隐式类型转换 -
reinterpret_cast关键字 -> 强制类型转换 -
const_cast关键字->取消变量的const属性 -
dynamic_cast关键字->父类指针 转换 子类指针(保证安全性)
11.6 什么是模板?如何实现?
- 模板:创建类或者函数的蓝图或者公式,分为函数模板和类模板。
- 实现方式:模板定义以关键字 template 开始,后跟一个模板参数列表。
模板参数列表不能为空;模板类型参数前必须使用关键字 class 或者 typename
11.7 函数模板和类模板的区别
11.8 什么是可变参数模板?
可变参数模板:接受可变数目参数的模板函数或模板类。将可变数目的参数被称为参数包,包括模板参数包和函数参数包。
- 模板参数包:表示零个或多个模板参数;
- 函数参数包:表示零个或多个函数参数。
11.9 什么是模板特化?为什么特化?
- 原因: 当我们需要针对某些特定类型或条件进行特殊处理时,
可以使用模板特化来定义专门的实现 - 概念: 模板参数在某种特定类型下的具体实现。分为函数模板特化和类模板特化
特化分为全特化和偏特化:
- 全特化:模板中的模板参数全部特例化。
- 偏特化:模板中的模板参数只确定了一部分,剩余部分需要在编译器编译时确定。
函数模板只能全特化;而类模板可以全特化,也可以偏特化
11.10 迭代器的作用
- 在无需知道容器底层原理的情况下,遍历容器中的元素。
11.11 泛型编程如何实现
12 多线程交替打印奇偶数 - #include<iostream>
- #include<thread>
- #include<mutex>
- #include<condition_variable>
- #include<vector>
- #include<atomic>
- using namespace std;
- int main()
- {
- int i = 0;
- int n = 100;
- mutex mtx;
- condition_variable cv;// 条件变量
- bool ready = true;
- // t1打印奇数
- thread t1([&]() {
- while (i < n)
- {
- {
- unique_lock<mutex> lock(mtx);
- cv.wait(lock, [&ready]() {return !ready; });// 等待线程
- cout << "t1--" << this_thread::get_id() << ":" << i << endl;
- i += 1;
- ready = true;
- cv.notify_one();// 解除线程等待
- }
- //this_thread::yield();
- this_thread::sleep_for(chrono::microseconds(100));
- }
- });
- // t2打印偶数
- thread t2([&]() {
- while (i < n)
- {
- {
- unique_lock<mutex> lock(mtx);
- cv.wait(lock, [&ready]() {return ready; });
- cout << "t2--" << this_thread::get_id() << ":" << i << endl;
- i += 1;
- ready = false;
- cv.notify_one();
- }
- }
- });
- this_thread::sleep_for(chrono::seconds(3));
- cout << "t1:" << t1.get_id() << endl;
- cout << "t2:" << t2.get_id() << endl;
- t1.join();
- t2.join();
- return 0;
- }
复制代码
- cv.wait(lock, [&ready]() {return !ready; });
当这个lambda表达式返回的是false时 阻塞当前线程,并自动调用lock.unlock(),允许其他锁定的线程继续执行 -
cv.notify_one(); 唤醒当前线程并自动调用lock.lock();就只允许自己一个线程执行
13. 单例模式(饿汉模式 && 懒汉模式)
那两种模式都是将构造函数私有化,自己实现一个构造生成一个静态对象
- 一个类只能创建一个对象,即单例模式,该模式可以保证系统中该类只有一个实例,并提供一个 访问它的全局访问点,该实例被所有程序模块共享
13.1 饿汉模式: 程序启动时就创建一个唯一的实例对象 - class Singleton
- {
- public:
- static Singleton* GetInstance()
- {
- return &m_instance;
- }
- private:
- // 构造函数私有
- Singleton() {};
-
- // C++11 : 防拷贝
- Singleton(Singleton const&) = delete;
- Singleton& operator=(Singleton const&) = delete;
-
- static Singleton m_instance;// 声明
- };
-
- Singleton Singleton::m_instance;// 定义
复制代码
13.2 饿汉模式->多线程下 - #include<iostream>
- #include<thread>
- #include<mutex>
- using namespace std;
- class Singleton
- {
- public:
- static Singleton* GetInstance()
- {
- // 保护第一次,后续不需要加锁
- // 双检查加锁
- if (_pInstance == nullptr)
- {
- unique_lock<mutex> lock(_mtx);
- if (_pInstance == nullptr)
- {
- _pInstance = new Singleton;
- }
- }
-
- return _pInstance;
- }
-
- private:
- // 构造函数私有
- Singleton(){};
-
- // C++11
- Singleton(Singleton const&) = delete;
- Singleton& operator=(Singleton const&) = delete;
-
- static Singleton* _pInstance;
- static mutex _mtx;
- };
-
- Singleton* Singleton::_pInstance = nullptr;
- mutex Singleton::_mtx;
-
- int main()
- {
- Singleton::GetInstance();
- Singleton::GetInstance();
-
- return 0;
- }
复制代码
13.3 懒汉模式 : 第一次使用对象再创建实例对象
- 如果单例对象构造十分耗时或者占用很多资源,比如加载插件啊, 初始化网络连接啊,读取 文件啊等等,而有可能该对象程序运行时不会用到,那么也要在程序一开始就进行初始化,
- 就会导致程序启动时非常的缓慢。 所以这种情况使用懒汉模式(延迟加载)更好。
- #include <iostream>
- #include <stdlib.h>
- using namespace std;
- class MemoryPool
- {
- public:
- static MemoryPool* GetInstance()
- {
- if (_pinst == nullptr) {
- _pinst = new MemoryPool;
- }
-
- return _pinst;
- }
-
- void* Alloc(size_t n)
- {
- void* ptr = nullptr;
- // ....
- return ptr;
- }
-
- void Dealloc(void* ptr)
- {
- // ...
- }
-
- // 实现一个内嵌垃圾回收类
- class CGarbo {
- public:
- ~CGarbo()
- {
- if (_pinst)
- delete _pinst;
- }
- };
-
- private:
- // 构造函数私有化
- MemoryPool()
- {
- // ....
- }
-
- char* _ptr = nullptr;
- // ...
-
- static MemoryPool* _pinst; // 声明
- };
-
- // 定义
- MemoryPool* MemoryPool::_pinst = nullptr;
-
- // 回收对象,main函数结束后,他会调用析构函数,就会释放单例对象
- static MemoryPool::CGarbo gc;
-
- int main()
- {
- void* ptr1 = MemoryPool::GetInstance()->Alloc(10);
- MemoryPool::GetInstance()->Dealloc(ptr1);
- }
复制代码
- 优点: 有控制顺序, 不影响启动速度
- 缺点: 相对复杂, 存在线程安全问题
13.4 单例对象释放问题:
- 一般情况下,单例对象不需要释放的。因为一般整个程序运行期间都可能会用它。单例对象在进程正常结束后,也会资源释放。
- 有些特殊场景需要释放,比如单例对象析构时,要进行一些持久化(往文件、数据库写)操作。
原文出处: 整理的C++面经(较全)-CSDN博客 |