目录

  • C++篇
    • 1. C 和 C++
      • 1.1 struct 和 class 区别
    • 2. 对象
      • 2.1 什么是面向对象?
      • 2.2 构造函数和析构函数可不可以为虚函数,为什么?
      • 2.3 拷贝构造函数如果用值传递会有什么影响?
      • 2.4 如何限制一个类对象只能在堆(栈)上分配空间
      • 2.5 public protected private
      • 2.6 类都有哪几种构造方式?
      • 2.7 拷贝构造函数参数中为什么有时候要加const
      • 2.8 常量左值引用
    • 3. 多态
      • 3.1 什么是多态?
      • 3.2 继承和多态区别与联系?
      • 3.3 虚函数可以内联吗?
    • 4. 内存管理
      • 4.1 new 和malloc 的区别
      • 4.2 C++的内存分配
      • 4.3 简述c、C++程序编译的内存分配情况
    • 5. 关键字
      • 5.1 extern 和 static 的区别,什么情况用前者什么情况用后者
      • 5.2 声明和定义的区别
      • 5.3 引用会占用内存空间吗?
      • 5.4 strcpy和memcpy的区别
      • 5.5 关于类模板是否可以定义虚函数
    • 6. 运算操作符
      • 6.1 x=x+1,x+=1,x++哪个效率高
  • C++
    • 1.编译内存相关
      • 1.1 C++程序编译过程
      • 1.2 内存管理
      • 1.3 栈和堆的区别
      • 1.4 变量的区别
      • 1.5 全局变量定义在头文件中有什么问题?
      • 1.6 对象创建限制在堆或栈
      • 1.7 内存对齐
      • 1.8 类的大小
      • 1.9 什么是内存泄漏
      • 1.10 智能指针有哪几种?智能指针的实现原理?
      • 1.11 一个 unique_ptr 怎么赋值给另一个 unique_ptr 对象?
      • 1.12 使用智能指针会出现什么问题?怎么解决?
    • 2. 语言对比
      • 2.1 C++ 11 新特性
      • 2.2 C和C++的区别
    • 3. 面向对象
      • 3.1 什么是面向对象
      • 3.2 重载、重写、隐藏的区别
      • 3.3 什么是多态?多态如何实现?
    • 4. 关键字库函数
      • 4.1 sizeof 和 strlen 的区别
      • 4.2 lambda 表达式(匿名函数)的具体应用和使用场景
      • 4.3 explicit 的作用(如何避免编译器进行隐式类型转换)
      • 4.4 static 的作用
      • 4.5 static在类中使用的注意事项(定义、初始化和使用)***
      • 4.6 static 全局变量和普通全局变量的异同
      • 4.7 const 作用及用法
      • 4.8 define 和 const 的区别
      • 4.9 define 和 typedef 的区别
      • 4.10 用宏实现比较大小,以及两个数中的最小值
      • 4.11 inline 作用及使用方法
      • 4.12 inline 函数工作原理
      • 4.13 宏定义(define)和内联函数(inline)的区别
      • 4.14 new 的作用?
      • 4.15 new 和 malloc 如何判断是否申请到内存?
      • 4.16 delete 实现原理?delete 和 delete[] 的区别?
      • 4.17 new 和 malloc 的区别,delete 和 free 的区别
      • 4.18 malloc 的原理?malloc 的底层实现?
      • 4.19 C 和 C++ struct 的区别?
      • 4.20 为什么有了 class 还保留 struct?
      • 4.21 struct 和 union 的区别
      • 4.22 class 和 struct 的异同
      • 4.23 volatile 的作用?是否具有原子性,对编译器有什么影响?
      • 4.24 什么情况下一定要用 volatile, 能否和 const 一起使用?
      • 4.25 extern C 的作用?
      • 4.26 sizeof(1==1) 在 C 和 C++ 中分别是什么结果?
      • 4.27 memcpy 函数的底层原理?
      • 4.28 strcpy 函数有什么缺陷?
      • 4.29 auto 类型推导的原理
    • 5. 类相关
      • 5.1 什么是虚函数?什么是纯虚函数?
      • 5.1 虚函数和纯虚函数的区别?
      • 5.2 虚函数的实现机制
      • 5.3 单继承和多继承的虚函数表结构
      • 5.4 如何禁止构造函数的使用?
      • 5.5 什么是类的默认构造函数?
      • 5.6 构造函数、析构函数是否需要定义成虚函数?为什么?
      • 5.7 如何避免拷贝?
      • 5.8 如何减少构造函数开销?
      • 5.9 多重继承时会出现什么状况?如何解决?
      • 5.10 空类占多少字节?C++ 编译器会给一个空类自动生成哪些函数?
      • 5.11 为什么拷贝构造函数必须为引用?
      • 5.12 C++ 类对象的初始化顺序
      • 5.13 如何禁止一个类被实例化?
      • 5.14 为什么用成员初始化列表会快一些?
      • 5.15 实例化一个对象需要哪几个阶段
      • 5.16 友元函数的作用及使用场景
      • 5.17 静态绑定和动态绑定是怎么实现的?
      • 5.18 深拷贝和浅拷贝的区别 ***
      • 5.19 编译时多态和运行时多态的区别
      • 5.20 实现一个类成员函数,要求不允许修改类的成员变量?
      • 5.21 如何让类不能被继承?
    • 6. 语言特性相关
      • 6.1 左值和右值的区别?左值引用和右值引用的区别,如何将左值转换成右值?
      • 6.2 std::move() 函数的实现原理
      • 6.3 什么是指针?指针的大小及用法?
      • 6.4 什么是野指针和悬空指针?
      • 6.5 C++ 11 nullptr 比 NULL 优势
      • 6.6 指针和引用的区别?
      • 6.7 常量指针和指针常量的区别
      • 6.8 函数指针和指针函数的区别
      • 6.9 强制类型转换***
      • 6.10 如何判断结构体是否相等?能否用 memcmp 函数判断结构体相等?
      • 6.11 参数传递时,值传递、引用传递、指针传递的区别?
      • 6.12 什么是模板?如何实现?
      • 6.13 函数模板和类模板的区别?
      • 6.14 什么是可变参数模板?
      • 6.15 什么是模板特化?为什么特化?
      • 6.16 include " " 和 <> 的区别
      • 6.17 迭代器的作用?
      • 6.18 泛型编程如何实现?
  • 多线程交替打印奇偶数***
  • 单例模式例程***

C++篇

提醒:打三个※的部分都是一定要会的

1. C 和 C++

C++在C的基础上添加类,C是一种结构化语言,它的重点在于数据结构和算法。C语言的设计首要考虑的是如何通过一个过程,对输入进行运算处理得到输出,而对C++,首先要考虑的是如何构造一个对象,通过封装一下行为和属性,通过一些操作将对象的状态信息输出。

1.1 struct 和 class 区别

1)struct的成员默认是公有的,而类的成员默认是私有的;
2)C中的struct不能包含成员函数,C++中的class可以包含成员函数。

补充:
在C语言中,struct不能包含成员函数。C语言中的struct只能包含成员变量(也称为字段或属性)。要在C语言中实现类似于成员函数的功能,可以使用函数指针。可以在结构体中声明函数指针,并将其指向一个函数。然后,可以通过结构体变量调用该函数指针,从而实现类似于成员函数的行为。

但是,在C++语言中,struct可以包含成员函数。在C++中,struct和class的区别在于默认的访问控制(默认情况下,struct的成员是公共的,而class的成员是私有的)。C++中的struct和class都可以包含成员函数和成员变量,并且可以使用类成员运算符(“.”或“->”)来访问它们。
实例:

#include <stdio.h>
typedef struct {int (*get_length)(const char *str); } String;int get_length(const char *str) {int length = 0;while (*str++) {length++;}return length; }int main() {String s;s.get_length = &get_length;printf("Length of 'hello': %d\n", s.get_length("hello"));return 0; }

2. 对象

2.1 什么是面向对象?

就是一种对现实世界的理解和抽象,将问题转换成对象进行解决需求处理的思想。

2.2 构造函数和析构函数可不可以为虚函数,为什么?

1)构造函数不可以是虚函数,如果构造函数是虚函数,那么就需要通过vtable 来调用,但此时面对一块 raw memeory,到哪里去找 vtable 呢?毕竟,vtable 是在构造函数中才初始化的啊,而不是在其之前。因此构造函数不能为虚函数。

在 C++ 中,虚函数的调用是通过虚函数表来实现的。但是在对象创建的过程中,由于对象还没有完全构造完成,因此在构造函数和析构函数中不能使用虚函数。这是因为在对象构造期间,虚函数表尚未构建,而且对象还没有完成其完整的初始化。

此外,构造函数的调用顺序是从基类到派生类,因为基类部分先于派生类部分构造。如果基类构造函数是虚函数,那么它将无法正常地被调用,因为在调用虚函数之前必须先构造对象。同样的,派生类构造函数也不能是虚函数,因为派生类的构造函数必须调用其基类的构造函数,如果基类的构造函数是虚函数,将无法保证正确的顺序。

因此,类的构造函数不能是虚函数。如果需要在对象的生命周期内支持多态性,可以使用虚析构函数来实现。

2)析构函数可以为虚函数,因为当基类的指针指向派生类对象的时候,发生多态,如果不将基类的析构函数定义为虚函数的话,那么派生类的析构函数就无法执行。

补充:
在 C++ 中,虚函数通过使用 virtual 关键字来声明。如果一个函数被声明为虚函数,那么当通过指向对象的指针或引用调用该函数时,程序将会根据对象的实际类型来调用相应的函数,而不是根据指针或引用的类型来调用函数。

为了实现这一机制,C++ 编译器会在对象的内存布局中添加一个虚函数表(virtual table,也称为vtable)。虚函数表是一个指向虚函数的指针数组,每个虚函数在数组中对应一个条目。当调用虚函数时,程序会通过对象的虚函数表找到对应的虚函数并调用它。

值得注意的是,只有通过指向对象的指针或引用调用虚函数才会触发动态绑定(dynamicbinding)机制,也就是根据对象的实际类型来调用函数。如果直接使用对象来调用虚函数,则会按照对象的静态类型来调用函数。

2.3 拷贝构造函数如果用值传递会有什么影响?

如果把拷贝构造函数的参数设置为值传递,那么参数肯定就是本类的一个object,采用值传递,在形参和实参相结合的时候,是要调用本类的拷贝构造函数,是不是就是一个死循环了?为了避免拷贝构造函数无限制的递归下去。

2.4 如何限制一个类对象只能在堆(栈)上分配空间

1)在堆上进行构建类对象的时候,是使用new的方法在堆区进行开辟空间。编译器管理了对象的整个生命周期,如果编译器无法调用类的析构函数会怎么样呢?这个类对象就一直占用着空间,得不到释放。比如,将类的析构函数设为私有的,那么编译器就无法调用类的析构函数来释放内存。所以编译器在为类对象分配栈空间的时候,会首先检查类的析构函数的访问性,不光是析构函数,只要是非静态的函数,编译器都会检查。如果类的析构函数是私有的,则编译器就不会在栈上为类对象分配内存了。

要限制一个类对象只能在堆上构造,可以使用以下方法:

  1. 将类的构造函数设为私有(private)。这样,该类的对象不能在类外部直接构造,必须在类内部创建一个静态函数,该函数返回类的指针,并在函数内部创建对象并返回指针。这样,对象只能通过调用该静态函数来创建。
class MyClass {private:MyClass() {} // 将构造函数设为私有public:static MyClass* createObject() { // 静态函数,用于创建对象return new MyClass(); // 在函数内部创建对象并返回指针}// 其他成员函数和变量
};
  1. 使用 C++11 中的删除函数(delete function)。将类的构造函数设为删除函数,这样在类外部不能直接构造对象。但可以在类内部通过静态函数创建对象。
class MyClass {public:MyClass() = delete; // 将构造函数设为删除函数static MyClass* createObject() { // 静态函数,用于创建对象return new MyClass(); // 在函数内部创建对象并返回指针}// 其他成员函数和变量
};

需要注意的是,以上方法只能限制该类对象在堆上构造,而不能限制其在栈或全局区域构造。如果需要完全禁止在栈或全局区域构造该类对象,可以使用第一种方法,并在静态函数中判断是否在堆上创建对象。

这里有一个知识点:那就是为什么要使用静态函数?

  1. 使用静态函数的主要原因是,静态函数可以在不创建对象的情况下调用。对于只能在堆上构造的类,如果使用普通函数来创建对象,则需要先创建一个对象,然后再调用成员函数来创建另一个对象,这样会导致额外的内存开销和不必要的复杂性。

  2. 使用静态函数的另一个好处是,它可以更明确地表明该函数的作用,即创建一个类对象。如果使用普通函数,可能会与其他函数混淆,并且不易于理解。

  3. 另外,使用静态函数还可以通过限制函数的访问权限来保护类的封装性。由于静态函数是类的成员函数,因此可以在类的定义中将其声明为私有(private)或受保护(protected),从而限制外部代码对其的访问。

总之,使用静态函数可以更清晰地表达代码的意图,并提供更好的封装和安全性。

2)将构造函数设为私有(private)或删除(delete)函数确实会阻止子类继承该类。因为在派生类中创建对象时,需要调用其基类的构造函数来初始化基类部分的成员变量和函数,如果基类的构造函数被设为私有或删除,子类就无法调用基类的构造函数,也就无法创建对象。

因此,如果需要派生该类,就不能将构造函数设为私有或删除。如果需要限制派生类对象只能在堆上构造,可以在派生类中重载 new 和 delete 运算符,强制所有派生类对象都通过堆来创建和销毁。示例代码如下:

class MyBaseClass {protected:MyBaseClass() {} // 将构造函数设为 protected,可以被派生类访问public:virtual ~MyBaseClass() {} // 基类必须有虚析构函数,否则派生类可能无法正确销毁void someFunction() {} // 其他成员函数和变量
};class MyDerivedClass : public MyBaseClass {public:static MyDerivedClass* createObject() {return new MyDerivedClass();}void someOtherFunction() {}// 重载 new 和 delete 运算符void* operator new(size_t size) {return ::operator new(size); // 或者使用其他内存分配函数,如 malloc}void operator delete(void* p) {::operator delete(p); // 或者使用其他内存释放函数,如 free}private:MyDerivedClass() {} // 将构造函数设为私有
};int main() {MyDerivedClass* obj = MyDerivedClass::createObject(); // 只能通过 createObject 函数创建对象obj->someFunction();obj->someOtherFunction();delete obj;return 0;
}

在派生类中重载 new 和 delete 运算符,可以强制派生类对象在堆上创建和销毁,从而实现限制派生类对象只能在堆上构造的效果。此时,基类的构造函数需要设置为 protected,以便被派生类访问。同时,基类必须有虚析构函数,以确保在销毁派生类对象时可以正确地调用基类和派生类的析构函数。

3)只能建立在栈上

只有使用new运算符,对象才会建立在堆上,因此,只要禁用new运算符就可以实现类对象只能建立在栈上。将operator new()设为私有即可。代码如下:

class A
{
private:void* operator new(size_t t){}     // 注意函数的第一个参数和返回值都是固定的void operator delete(void* ptr){} // 重载了new就需要重载delete
public:A(){}~A(){}
};

2.5 public protected private

第一: private,public,protected的访问范围:

private: 只能由该类中的函数、其友元函数访问,不能被任何其他访问,该类的对象也不能访问.
protected: 可以被该类中的函数、子类的函数、以及其友元函数访问,但不能被该类的对象访问
public: 可以被该类中的函数、子类的函数、其友元函数访问,也可以由该类的对象访问
注:友元函数包括两种:设为友元的全局函数,设为友元类中的成员函数

第二:类的继承后方法属性变化:

使用private继承,父类的所有方法在子类中变为private;
使用protected继承,父类的protected和public方法在子类中变为protected,private方法不变;
使用public继承,父类中的方法属性不发生改变;

2.6 类都有哪几种构造方式?

  1. 默认构造函数 Student();//没有参数
  2. 有参构造函数 Student(int num,int age);//有参数
  3. 拷贝构造函数 Student(Student&);//形参是本类对象的引用
  4. 转换构造函数 Student(int r) ;//形参时其他类型变量,且只有一个形参

2.7 拷贝构造函数参数中为什么有时候要加const

这是因为当参数为一个临时对象的时候,临时对象是一个右值。而拷贝构造函数的参数中,如果不加const,那么就是一个非常量左值引用(非常量左值是不能引用右值的),加了const之后就是一个常量左值引用,可以引用右值。

class test{public:test(const test& a){cout<<"拷贝构造函数"<<endl;}
};test get_test()
{test a;return a;
}
int main()
{    test  b=get_test();
}

2.8 常量左值引用

常量左值引用是一个“万能”的引用类型,可以接受左值,右值,常量左值、常量右值。需要注意的是普通的左值引用是不能接受右值的。

3. 多态

3.1 什么是多态?

1)派生类对象的地址可以赋值给基类指针。对于通过基类指针调用基类和派生类中都有的同名、同参数表的虚函数的语句,编译时并不确定要执行的是基类还是派生类的虚函数;而当程序运行到该语句时,如果基类指针指向的是一个基类对象,则基类的虚函数被调用,如果基类指针指向的是一个派生类对象,则派生类的虚函数被调用。这种机制就叫作“多态(polymorphism)”。

2)静态多态(编译阶段,地址早绑定)

  1. 函数重载:包括普通函数的重载和成员函数的重载
  2. 函数模板的使用:通过将类型作为参数,传递给模板,可使编译器生成该类型的函数。

3)动态多态(运行阶段,地址晚绑定)在程序执行期间(非编译期)判断所引用对象的实际类型,根据其实际类型调用相应的方法。

  1. 派生类

  2. 虚函数

3.2 继承和多态区别与联系?

区别:继承是子类使用父类的方法,而多态则是父类使用子类的方法。

1) 什么是继承,继承的特点?
子类继承父类的特征和行为,使得子类具有父类的各种属性和方法。

2) 什么是多态?
相同的事物,调用其相同的方法,参数也相同时,但表现的行为却不同。

3)继承是为了重用代码,有效实现代码重用,减少重复代码的出现。

4)多态是为了接口重用,增强接口的扩展性。

3.3 虚函数可以内联吗?

当呈现非多态的时候,虚函数可以内联。因为内敛函数是在编译的时候确定函数的执行位置的, 当函数呈现多态的时候,在编译的时候不知道是将基类的函数地址,还是派生类的地址写入虚函数表中,所以当非多态的时候就会将基类的虚函数地址直接写入虚函数表中,然后通过内联将代码地址写入。

4. 内存管理

4.1 new 和malloc 的区别

1)都可用来申请动态内存和释放内存,都是在堆(heap)上进行动态的内存操作。

2)malloc和free是c语言的标准库函数,new/delete是C++的运算符。

3)new会自动调用对象的构造函数,delete 会调用对象的析构函数, 而malloc返回的都是void指针。

4)对于非内部数据类型的对象而言,光用malloc和free无法满足动态对象的要求。

5)因此C++语言需要一个能完成动态内存分配和初始化工作的运算符new,以一个能完成清理与释放内存工作的运算符delete。注意new/delete不是库函数。

4.2 C++的内存分配

在C++中,内存分为5个区,他们分别是:

  • 堆区:一般由程序员自动分配,如果程序员没有释放,程序结束时可能有OS回收。其分配类似于链表。
  • 栈区:由编译器自动分配和释放,存放为运行函数分配的局部变量,函数参数,返回数据,返回地址等,其操作类似于数据结构总的栈。
  • 全局区(静态区static):存放全局变量,静态变量,常量。结束后由系统释放。
  • 常量区(文字常量区):存放常量字符串,程序结束后有系统释放。
  • 代码区:存放函数体(类成员函数和全局区)的二进制代码。

4.3 简述c、C++程序编译的内存分配情况

  • 从静态存储区域分配
    内存在程序 编译 时 就已 经 分配 好,这块内 存在 程序 的整 个运行 期间 都存在 。速 度快、不容易出错 , 因 为 有系 统 会善 后。例 如全 局变 量, sta tic 变量, 常量 字符 串等。
  • 在栈上分配
    在执行函数时, 函数内局部变量的存储单元都在栈上创建,函数执行结束时这些存储单元自动被释放。 栈内存分配运算内置于处理器的指令集中, 效率很高, 但是 分配的内存容量有限 。大小为2M。
  • 从堆上分配
    即动态内存分配。程序在运行的时候用 malloc 或 new 申请任意大小的内存,程序员自己负责在何时用 free 或delete 释放内存。动态内存的生存期由程序员决定,使用非常灵活。如果在堆上分配了空间,就有责任回收它,否则运行的程序会出现内存泄漏 ,另外频繁地分配和释放不同大小的堆空间将会产生堆内碎块 。

5. 关键字

5.1 extern 和 static 的区别,什么情况用前者什么情况用后者

1)extern外部变量:它属于变量声明,extern int a和int a的区别就是,前者告诉编译器,有一个int类型的变量a定义在其他地方,如果有调用请去其他文件中查找定义。

2)static静态变量:简单说就是在函数等调用结束后,该变量也不会被释放,保存的值还保留。即它的生存期是永久的,直到程序运行结束,系统才会释放,但也无需手动释放。

5.2 声明和定义的区别

  1. 声明指的是在程序中声明一个变量、函数或类,以便在程序中使用它。声明只是告诉编译器,这个名字存在,但并没有分配内存或定义实现。在C和C++中,可以使用关键字 extern 来显式声明变量或函数,而在Java和Python等语言中,变量和函数在使用前需要先进行定义。

  2. 定义指的是实际分配内存并实现变量、函数或类。定义包含了声明,但声明并不包含定义。在定义一个变量或函数时,必须给出其类型、名称和初始值(对于变量)。对于类,定义包括成员变量和成员函数的实现。

  3. 总的来说,声明是告诉编译器名字的存在,而定义是为名字分配内存并实现其功能。在使用变量或函数之前,必须先进行声明或定义。

5.3 引用会占用内存空间吗?

在大多数编程语言中,引用不会占用内存空间,因为引用只是指向现有的内存空间的别名。在C++中,引用是指向变量的别名,与指针不同的是,引用不能为null或指向其他变量。在Java中,引用是对象的句柄,可以在程序中传递和使用,但实际上它只是一个32位或64位的指针,指向分配在堆上的对象实例。在Python中,所有变量都是引用,因此不需要显式地使用引用操作符。

当程序使用引用时,它们只是将变量名与内存地址关联起来,因此不会产生额外的内存分配。但是,如果在函数中返回一个引用,则返回值实际上是指向函数内部变量的引用。这样做可能会导致问题,因为当函数返回时,其内部变量将被销毁,而返回的引用可能会指向已经不存在的内存位置,这被称为悬垂引用(dangling reference)问题。因此,必须非常小心地使用返回引用的函数。

5.4 strcpy和memcpy的区别

  1. strcpy和memcpy都是在C语言和C++语言中用于复制内存块的函数,但它们在使用和效率上有所不同。

  2. strcpy用于将一个以null结尾的字符串从源地址复制到目标地址。它会复制整个字符串,包括null终止符,直到遇到null为止。如果源字符串长度超过目标地址所分配的内存空间,则会导致内存越界和缓冲区溢出问题。

  3. memcpy用于将一段内存块从源地址复制到目标地址,可以复制任意长度的内存块,而不仅限于字符串。memcpy不会关心内存块中是否有null终止符,而只是按照给定的长度复制内存块。因此,使用memcpy时需要确保目标地址有足够的内存空间,否则也会导致缓冲区溢出问题。

在效率方面,memcpy通常比strcpy更快,因为它不需要扫描整个字符串来查找null终止符。另外,memcpy也可以进行一些优化,例如使用字长操作来提高复制速度。但是,由于strcpy具有更简单的语法和更高的可读性,因此在处理字符串时,通常首选strcpy函数。

5.5 关于类模板是否可以定义虚函数

类模板可以定义成虚函数,但是需要注意一些细节。
首先,需要明确的是,类模板本身是一个模板,不能直接定义为虚函数。类模板的实例化才能被定义为虚函数。
其次,当类模板的实例化被定义为虚函数时,只有在实例化后的类的对象才能调用虚函数。因为在编译时,虚函数表是根据类的实例化类型来生成的,而不是根据类模板本身。例如,考虑下面的类模板和其实例化:

template<typename T>
class Base {public:virtual void foo() {}
};class Derived : public Base<int> {public:void foo() override {}
};

在这个例子中,Base 是一个类模板,而 Derived 是一个实例化后的类,它继承自 Base,并重写了 foo 函数。因为 foo 函数在 Base 中被声明为虚函数,所以 Derived 中的 foo 函数也是虚函数。只有使用 Derived 的对象才能调用 foo 函数。

需要注意的是,如果类模板中的某个函数不是虚函数,但是在实例化后的类中被定义为虚函数,那么这个函数仍然不是虚函数。因为虚函数表是根据类模板中声明为虚函数的函数来生成的。例如:

template<typename T>
class Base {public:void foo() {}
};class Derived : public Base<int> {public:virtual void foo() {}
};

在这个例子中,Base 中的 foo 函数不是虚函数,因此 Derived 中的 foo 函数也不是虚函数。
提问:那么类成员可以定义成模板虚函数吗?
是的,类成员函数可以定义成模板虚函数,这种函数被称为模板虚函数。

模板虚函数可以让派生类在需要不同的参数类型时,通过模板实例化来重新定义该函数,而不需要在派生类中重载该函数。

template<typename T>
class Base {public:virtual void foo(T arg) {std::cout << "Base::foo(" << arg << ")" << std::endl;}
};template<typename T>
class Derived : public Base<T> {public:void foo(T arg) override {std::cout << "Derived::foo(" << arg << ")" << std::endl;}template<typename U>void foo(U arg) {std::cout << "Derived::foo<" << typeid(U).name() << ">(" << arg << ")" << std::endl;}
};int main() {Base<int>* b = new Derived<int>();b->foo(123); // Output: Derived::foo(123)b->foo("abc"); // Output: Base::foo(abc)Derived<int>* d = new Derived<int>();d->foo(123); // Output: Derived::foo(123)d->foo("abc"); // Output: Derived::foo<const char*>(abc)delete b;delete d;return 0;
}

在这个例子中,Base 类中定义了一个虚函数 foo,它接受一个类型为 T 的参数。Derived 类从 Base 类继承了 foo 函数,并且重写了该函数以便接受类型为 T 的参数。

另外,Derived 类中还定义了一个模板函数 foo,它接受类型为 U 的参数。因为 Derived 类中的 foo 函数是一个虚函数,所以派生类可以使用模板实例化来重新定义该函数,以便接受类型为 U 的参数。

在 main 函数中,我们创建了一个指向 Derived 对象的 Base* 指针 b。当我们调用 b->foo(123) 时,由于 foo 函数是虚函数且被 Derived 重写了,因此调用的是 Derived 类中的 foo 函数。但是当我们调用 b->foo(“abc”) 时,由于传递的参数类型是 const char*,而 Derived 类中并没有模板实例化可以接受该类型的参数,因此调用的是 Base 类中的 foo 函数。

另外,当我们创建了一个 Derived 对象 d,并分别调用 d->foo(123) 和 d->foo(“abc”) 时,由于 Derived 类中定义了能够接受类型为 const char* 的参数的模板实例化,因此调用的都是 Derived 类中的 foo 函数,且分别输出了不同的信息。

6. 运算操作符

6.1 x=x+1,x+=1,x++哪个效率高

  1. 在大多数情况下,这三种方式的效率是相同的,因为编译器会将它们转化为相同的机器码。这意味着它们在程序运行时具有相同的性能和速度。

  2. 然而,如果你想要微调效率,那么x++可能会稍微慢一些。这是因为x++需要创建一个临时变量来保存x的旧值,并在递增之前返回这个旧值。而x=x+1和x+=1则不需要这样做,它们会直接将结果存储在x中。

  3. 不过需要注意的是,这种微调可能只会对某些特定的编译器或者特定的硬件有影响。在大多数情况下,这些差别非常小。

C++

1.编译内存相关

1.1 C++程序编译过程

编译过程分为四个过程:编译(编译预处理、编译、优化),汇编,链接。

  • 编译预处理:处理以 # 开头的指令;

  • 编译、优化:将源码 .cpp 文件翻译成 .s 汇编代码;

  • 汇编:将汇编代码 .s 翻译成机器指令 .o 文件;

  • 链接:汇编程序生成的目标文件,即 .o 文件,并不会立即执行,因为可能会出现:.cpp 文件中的函数引用了另一个 .cpp 文件中定义的符号或者调用了某个库文件中的函数。那链接的目的就是将这些文件对应的目标文件连接成一个整体,从而生成可执行的程序 .exe 文件。

链接分为两种:

  • 静态链接:代码从其所在的静态链接库中拷贝到最终的可执行程序中,在该程序被执行时,这些代码会被装入到该进程的虚拟地址空间中。
  • 动态链接:代码被放到动态链接库或共享对象的某个目标文件中,链接程序只是在最终的可执行程序中记录了共享对象的名字等一些信息。在程序执行时,动态链接库的全部内容会被映射到运行时相应进行的虚拟地址的空间。

补充:

  1. 静态链接和动态链接都是将程序的不同部分组合成最终可执行文件的方式。

  2. 静态链接是指将程序中所有需要的代码和库函数都打包成一个完整的可执行文件,这个可执行文件独立运行,不需要依赖其他的库文件。当程序执行时,操作系统会将整个可执行文件加载到内存中并执行,因此静态链接的程序在执行时比较快,但可执行文件会比较大。

  3. 动态链接是指将程序中需要的库函数等文件打包成一个动态链接库文件(DLL、so等),程序在运行时通过动态链接库中的函数进行调用。因为多个程序可以共享同一个动态链接库,因此可以节省内存和磁盘空间。但由于需要在程序运行时进行动态链接,因此相比于静态链接,动态链接的程序在启动时会稍微慢一些。

  4. 另外,动态链接还可以实现库文件的动态更新和升级,因为不需要重新编译整个程序,只需要替换动态链接库即可。

二者的优缺点:

  • 静态链接:浪费空间,每个可执行程序都会有目标文件的一个副本,这样如果目标文件进行了更新操作,就需要重新进行编译链接生成可执行程序(更新困难);优点就是执行的时候运行速度快,因为可执行程序具备了程序运行的所有内容。

  • 动态链接:节省内存、更新方便,但是动态链接是在程序运行时,每次执行都需要链接,相比静态链接会有一定的性能损失。

1.2 内存管理

C++ 内存分区:栈、堆、全局/静态存储区、常量存储区、代码区。

  • 栈:存放函数的局部变量、函数参数、返回地址等,由编译器自动分配和释放。

  • 堆:动态申请的内存空间,就是由 malloc 分配的内存块,由程序员控制它的分配和释放,如果程序执行结束还没有释放,操作系统会自动回收。

  • 全局区/静态存储区(.bss 段和 .data 段):存放全局变量和静态变量,程序运行结束操作系统自动释放,在 C 语言中,未初始化的放在 .bss 段中,初始化的放在 .data 段中,C++ 中不再区分了。

  • 常量存储区(.data 段):存放的是常量,不允许修改,程序运行结束自动释放。

  • 代码区(.text 段):存放代码,不允许修改,但可以执行。编译后的二进制文件存放在这里。

说明:

  • 从操作系统的本身来讲,以上存储区在内存中的分布是如下形式(从低地址到高地址):.text 段 --> .data 段 --> .bss 段 --> 堆 --> unused --> 栈 --> env
#include <iostream>
using namespace std;/*
说明:C++ 中不再区分初始化和未初始化的全局变量、静态变量的存储区,如果非要区分下述程序标注在了括号中
*/int g_var = 0; // g_var 在全局区(.data 段)
char *gp_var;  // gp_var 在全局区(.bss 段)int main()
{int var;                    // var 在栈区char *p_var;                // p_var 在栈区char arr[] = "abc";         // arr 为数组变量,存储在栈区;"abc"为字符串常量,存储在常量区char *p_var1 = "123456";    // p_var1 在栈区;"123456"为字符串常量,存储在常量区static int s_var = 0;       // s_var 为静态变量,存在静态存储区(.data 段)p_var = (char *)malloc(10); // 分配得来的 10 个字节的区域在堆区free(p_var);return 0;
}

1.3 栈和堆的区别

  • 申请方式:栈是系统自动分配,堆是程序员主动申请。

  • 申请后系统响应:分配栈空间,如果剩余空间大于申请空间则分配成功,否则分配失败栈溢出;申请堆空间,堆在内存中呈现的方式类似于链表(记录空闲地址空间的链表),在链表上寻找第一个大于申请空间的节点分配给程序,将该节点从链表中删除,大多数系统中该块空间的首地址存放的是本次分配空间的大小,便于释放,将该块空间上的剩余空间再次连接在空闲链表上。

  • 栈在内存中是连续的一块空间(向低地址扩展)最大容量是系统预定好的,堆在内存中的空间(向高地址扩展)是不连续的。

  • 申请效率:栈是有系统自动分配,申请效率高,但程序员无法控制;堆是由程序员主动申请,效率低,使用起来方便但是容易产生碎片。

  • 存放的内容:栈中存放的是局部变量,函数的参数;堆中存放的内容由程序员控制。

1.4 变量的区别

全局变量、局部变量、静态全局变量、静态局部变量的区别
C++ 变量根据定义的位置的不同的生命周期,具有不同的作用域,作用域可分为 6 种:全局作用域,局部作用域,语句作用域,类作用域,命名空间作用域和文件作用域。

从作用域看:

  • 全局变量:具有全局作用域。全局变量只需在一个源文件中定义,就可以作用于所有的源文件。当然,其他不包含全局变量定义的源文件需要用 extern 关键字再次声明这个全局变量。

  • 静态全局变量:具有文件作用域。它与全局变量的区别在于如果程序包含多个文件的话,它作用于定义它的文件里,不能作用到其它文件里,即被 static 关键字修饰过的变量具有文件作用域。这样即使两个不同的源文件都定义了相同名字的静态全局变量,它们也是不同的变量。

  • 局部变量:具有局部作用域。它是自动对象(auto),在程序运行期间不是一直存在,而是只在函数执行期间存在,函数的一次调用执行结束后,变量被撤销,其所占用的内存也被收回。

  • 静态局部变量:具有局部作用域。它只被初始化一次,自从第一次被初始化直到程序运行结束都一直存在,它和全局变量的区别在于全局变量对所有的函数都是可见的,而静态局部变量只对定义自己的函数体始终可见。

从分配内存空间看:

  • 静态存储区:全局变量,静态局部变量,静态全局变量。
  • 栈:局部变量。

说明:

  • 静态变量和栈变量(存储在栈中的变量)、堆变量(存储在堆中的变量)的区别:静态变量会被放在程序的静态数据存储区(.data 段)中(静态变量会自动初始化),这样可以在下一次调用的时候还可以保持原来的赋值。而栈变量或堆变量不能保证在下一次调用的时候依然保持原来的值。

  • 静态变量和全局变量的区别:静态变量用 static 告知编译器,自己仅仅在变量的作用范围内可见。

1.5 全局变量定义在头文件中有什么问题?

如果在头文件中定义全局变量,当该头文件被多个文件 include 时,该头文件中的全局变量就会被定义多次,导致重复定义,因此不能再头文件中定义全局变量。

1.6 对象创建限制在堆或栈

如何限制类的对象只能在堆上创建?如何限制对象只能在栈上创建?

说明:C++ 中的类的对象的建立分为两种:静态建立、动态建立。

  • 静态建立:由编译器为对象在栈空间上分配内存,直接调用类的构造函数创建对象。例如:A a;

  • 动态建立:使用 new 关键字在堆空间上创建对象,底层首先调用 operator new() 函数,在堆空间上寻找合适的内存并分配;然后,调用类的构造函数创建对象。例如:A *p = new A();

限制对象只能建立在堆上:

  • 最直观的思想:避免直接调用类的构造函数,因为对象静态建立时,会调用类的构造函数创建对象。但是直接将类的构造函数设为私有并不可行,因为当构造函数设置为私有后,不能在类的外部调用构造函数来构造对象,只能用 new 来建立对象。但是由于 new 创建对象时,底层也会调用类的构造函数,将构造函数设置为私有后,那就无法在类的外部使用 new 创建对象了。因此,这种方法不可行。

  • 解决方法 1:

将析构函数设置为私有。原因:静态对象建立在栈上,是由编译器分配和释放内存空间,编译器为对象分配内存空间时,会对类的非静态函数进行检查,即编译器会检查析构函数的访问性。当析构函数设为私有时,编译器创建的对象就无法通过访问析构函数来释放对象的内存空间,因此,编译器不会在栈上为对象分配内存。

class A
{
public:A() {}void destory(){delete this;}private:~A(){}
};

该方法存在的问题:

  1. 用 new 创建的对象,通常会使用 delete 释放该对象的内存空间,但此时类的外部无法调用析构函数,因此类内必须定义一个 destory() 函数,用来释放 new 创建的对象。
  2. 无法解决继承问题,因为如果这个类作为基类,析构函数要设置成 virtual,然后在派生类中重写该函数,来实现多态。但此时,析构函数是私有的,派生类中无法访问。
  • 解决方法2:

构造函数设置为 protected,并提供一个 public 的静态函数来完成构造,而不是在类的外部使用 new 构造;将析构函数设置为 protected。原因:类似于单例模式,也保证了在派生类中能够访问析构函数。通过调用 create() 函数在堆上创建对象。

class A
{
protected:A() {}~A() {}public:static A *create(){return new A();}void destory(){delete this;}
};

限制对象只能建立在栈上:

  • 解决方法:将 operator new() 设置为私有。原因:当对象建立在堆上时,是采用 new 的方式进行建立,其底层会调用 operator new() 函数,因此只要对该函数加以限制,就能够防止对象建立在堆上。
class A
{
private:void *operator new(size_t t) {}    // 注意函数的第一个参数和返回值都是固定的void operator delete(void *ptr) {} // 重载了 new 就需要重载 delete
public:A() {}~A() {}
};

1.7 内存对齐

什么是内存对齐?内存对齐的原则?为什么要进行内存对齐,有什么优点?

内存对齐:编译器将程序中的每个“数据单元”安排在字的整数倍的地址指向的内存之中
内存对齐的原则:

  1. 结构体变量的首地址能够被其最宽基本类型成员大小与对齐基数中的较小者所整除;

  2. 结构体每个成员相对于结构体首地址的偏移量 (offset) 都是该成员大小与对齐基数中的较小者的整数倍,如有需要编译器会在成员之间加上填充字节 (internal padding);

  3. 结构体的总大小为结构体最宽基本类型成员大小与对齐基数中的较小者的整数倍,如有需要编译器会在最末一个成员之后加上填充字节 (trailing padding)。

/*
说明:程序是在 64 位编译器下测试的
*/
#include <iostream>using namespace std;struct A
{short var; // 2 字节int var1;  // 8 字节 (内存对齐原则:填充 2 个字节) 2 (short) + 2 (填充) + 4 (int)= 8long var2; // 12 字节 8 + 4 (long) = 12char var3; // 16 字节 (内存对齐原则:填充 3 个字节)12 + 1 (char) + 3 (填充) = 16string s;  // 48 字节 16 + 32 (string) = 48
};int main()
{short var;int var1;long var2;char var3;string s;A ex1;cout << sizeof(var) << endl;  // 2 shortcout << sizeof(var1) << endl; // 4 intcout << sizeof(var2) << endl; // 4 longcout << sizeof(var3) << endl; // 1 charcout << sizeof(s) << endl;    // 32 stringcout << sizeof(ex1) << endl;  // 48 structreturn 0;
}

进行内存对齐的原因:(主要是硬件设备方面的问题)

  1. 某些硬件设备只能存取对齐数据,存取非对齐的数据可能会引发异常;

  2. 某些硬件设备不能保证在存取非对齐数据的时候的操作是原子操作;

  3. 相比于存取对齐的数据,存取非对齐的数据需要花费更多的时间;

  4. 某些处理器虽然支持非对齐数据的访问,但会引发对齐陷阱(alignment trap);

  5. 某些硬件设备只支持简单数据指令非对齐存取,不支持复杂数据指令的非对齐存取。

内存对齐的优点:

  1. 便于在不同的平台之间进行移植,因为有些硬件平台不能够支持任意地址的数据访问,只能在某些地址处取某些特定的数据,否则会抛出异常;
  2. 提高内存的访问效率,因为 CPU 在读取内存时,是一块一块的读取。

1.8 类的大小

说明:类的大小是指类的实例化对象的大小,用 sizeof 对类型名操作时,结果是该类型的对象的大小。
计算原则:

  • 遵循结构体的对齐原则。

  • 与普通成员变量有关,与成员函数和静态成员无关。即普通成员函数,静态成员函数,静态数据成员,静态常量数据成员均对类的大小无影响。因为静态数据成员被类的对象共享,并不属于哪个具体的对象。

  • 虚函数对类的大小有影响,是因为虚函数表指针的影响。

  • 虚继承对类的大小有影响,是因为虚基表指针带来的影响。

  • 空类的大小是一个特殊情况,空类的大小为 1,当用 new 来创建一个空类的对象时,为了保证不同对象的地址不同,空类也占用存储空间。

/*
说明:程序是在 64 位编译器下测试的
*/
#include <iostream>using namespace std;class A
{
private:static int s_var; // 不影响类的大小const int c_var;  // 4 字节int var;          // 8 字节 4 + 4 (int) = 8char var1;        // 12 字节 8 + 1 (char) + 3 (填充) = 12
public:A(int temp) : c_var(temp) {} // 不影响类的大小~A() {}                    // 不影响类的大小
};class B
{
};
int main()
{A ex1(4);B ex2;cout << sizeof(ex1) << endl; // 12 字节cout << sizeof(ex2) << endl; // 1 字节return 0;
}

带有虚函数的情况:(注意:虚函数的个数并不影响所占内存的大小,因为类对象的内存中只保存了指向虚函数表的指针。)

/*
说明:程序是在 64 位编译器下测试的
*/
#include <iostream>using namespace std;class A
{
private:static int s_var; // 不影响类的大小const int c_var;  // 4 字节int var;          // 8 字节 4 + 4 (int) = 8char var1;        // 12 字节 8 + 1 (char) + 3 (填充) = 12
public:A(int temp) : c_var(temp) {} // 不影响类的大小~A() {}                      // 不影响类的大小virtual void f() { cout << "A::f" << endl; }virtual void g() { cout << "A::g" << endl; }virtual void h() { cout << "A::h" << endl; } // 24 字节 12 + 4 (填充) + 8 (指向虚函数的指针) = 24
};int main()
{A ex1(4);A *p;cout << sizeof(p) << endl;   // 8 字节 注意:指针所占的空间和指针指向的数据类型无关cout << sizeof(ex1) << endl; // 24 字节return 0;
}

1.9 什么是内存泄漏

内存泄漏:由于疏忽或错误导致的程序未能释放已经不再使用的内存。

进一步解释:

  • 并非指内存从物理上消失,而是指程序在运行过程中,由于疏忽或错误而失去了对该内存的控制,从而造成了内存的浪费。

  • 常指堆内存泄漏,因为堆是动态分配的,而且是用户来控制的,如果使用不当,会产生内存泄漏。

  • 使用 malloc、calloc、realloc、new 等分配内存时,使用完后要调用相应的 free 或 delete 释放内存,否则这块内存就会造成内存泄漏。

  • 指针重新赋值

char *p = (char *)malloc(10);
char *p1 = (char *)malloc(10);
p = np;

开始时,指针 pp1 分别指向一块内存空间,但指针 p 被重新赋值,导致 p 初始时指向的那块内存空间无法找到,从而发生了内存泄漏。

大概分为这么3类内存泄漏,也是别人总结过,我这里再自己记录一遍。

堆内存泄漏:new/mallc分配内存,未使用对应的delete/free回收
系统资源泄漏, Bitmap, handle,socket等资源未释放
没有将基类析构函数定义称为虚函数,(使用基类指针或者引用指向派生类对象时)派生类对象释放时将不能正确释放派生对象部分。

1.10 智能指针有哪几种?智能指针的实现原理?

智能指针是为了解决动态内存分配时带来的内存泄漏以及多次释放同一块内存空间而提出的。C++11 中封装在了 <memory> 头文件中。

C++11 中智能指针包括以下三种:

  • 共享指针(shared_ptr):资源可以被多个指针共享,使用计数机制表明资源被几个指针共享。通过 use_count() 查看资源的所有者的个数,可以通过 unique_ptr、weak_ptr 来构造,调用 release() 释放资源的所有权,计数减一,当计数减为 0 时,会自动释放内存空间,从而避免了内存泄漏。
  • 独占指针(unique_ptr):独享所有权的智能指针,资源只能被一个指针占有,该指针不能拷贝构造和赋值。但可以进行移动构造和移动赋值构造(调用 move() 函数),即一个 unique_ptr 对象赋值给另一个 unique_ptr 对象,可以通过该方法进行赋值。
  • 弱指针(weak_ptr):指向 share_ptr 指向的对象,能够解决由shared_ptr带来的循环引用问题。

抛出来的问题?计数机制是怎么实现的?

1.11 一个 unique_ptr 怎么赋值给另一个 unique_ptr 对象?

借助 std::move() 可以实现将一个 unique_ptr 对象赋值给另一个 unique_ptr 对象,其目的是实现所有权的转移。

// A 作为一个类
std::unique_ptr<A> ptr1(new A());
std::unique_ptr<A> ptr2 = std::move(ptr1);

1.12 使用智能指针会出现什么问题?怎么解决?

智能指针可能出现的问题:循环引用
在如下例子中定义了两个类 Parent、Child,在两个类中分别定义另一个类的对象的共享指针,由于在程序结束后,两个指针相互指向对方的内存空间,导致内存无法释放。

#include <iostream>
#include <memory>using namespace std;class Child;
class Parent;class Parent {
private:shared_ptr<Child> ChildPtr;
public:void setChild(shared_ptr<Child> child) {this->ChildPtr = child;}void doSomething() {if (this->ChildPtr.use_count()) {}}~Parent() {}
};class Child {
private:shared_ptr<Parent> ParentPtr;
public:void setPartent(shared_ptr<Parent> parent) {this->ParentPtr = parent;}void doSomething() {if (this->ParentPtr.use_count()) {}}~Child() {}
};int main() {weak_ptr<Parent> wpp;weak_ptr<Child> wpc;{shared_ptr<Parent> p(new Parent);shared_ptr<Child> c(new Child);p->setChild(c);c->setPartent(p);wpp = p;wpc = c;cout << p.use_count() << endl; // 2cout << c.use_count() << endl; // 2}cout << wpp.use_count() << endl;  // 1cout << wpc.use_count() << endl;  // 1return 0;
}

循环引用的解决方法: weak_ptr

循环引用:该被调用的析构函数没有被调用,从而出现了内存泄漏。

  • weak_ptr 对被 shared_ptr 管理的对象存在 非拥有性(弱)引用,在访问所引用的对象前必须先转化为 shared_ptr

  • weak_ptr 用来打断 shared_ptr 所管理对象的循环引用问题,若这种环被孤立(没有指向环中的外部共享指针),shared_ptr 引用计数无法抵达 0,内存被泄露;令环中的指针之一为弱指针可以避免该情况;

  • weak_ptr 用来表达临时所有权的概念,当某个对象只有存在时才需要被访问,而且随时可能被他人删除,可以用 weak_ptr 跟踪该对象;需要获得所有权时将其转化为 shared_ptr,此时如果原来的 shared_ptr 被销毁,则该对象的生命期被延长至这个临时的 shared_ptr 同样被销毁。

#include <iostream>
#include <memory>using namespace std;class Child;
class Parent;class Parent {
private://shared_ptr<Child> ChildPtr;weak_ptr<Child> ChildPtr;
public:void setChild(shared_ptr<Child> child) {this->ChildPtr = child;}void doSomething() {//new shared_ptrif (this->ChildPtr.lock()) {}}~Parent() {}
};class Child {
private:shared_ptr<Parent> ParentPtr;
public:void setPartent(shared_ptr<Parent> parent) {this->ParentPtr = parent;}void doSomething() {if (this->ParentPtr.use_count()) {}}~Child() {}
};int main() {weak_ptr<Parent> wpp;weak_ptr<Child> wpc;{shared_ptr<Parent> p(new Parent);shared_ptr<Child> c(new Child);p->setChild(c);c->setPartent(p);wpp = p;wpc = c;cout << p.use_count() << endl; // 2cout << c.use_count() << endl; // 1}cout << wpp.use_count() << endl;  // 0cout << wpc.use_count() << endl;  // 0return 0;
}

2. 语言对比

2.1 C++ 11 新特性

  1. auto 类型推导

auto 关键字:自动类型推导,编译器会在 编译期间 通过初始值推导出变量的类型,通过 auto 定义的变量必须有初始值。

auto 关键字基本的使用语法如下:

auto var = val1 + val2; // 根据 val1 和 val2 相加的结果推断出 var 的类型,

注意:编译器推导出来的类型和初始值的类型并不完全一样,编译器会适当地改变结果类型使其更符合初始化规则。

  1. lambda 表达式

lambda 表达式,又被称为 lambda 函数或者 lambda 匿名函数。

lambda匿名函数的定义:

[capture list] (parameter list) -> return type
{function body;
};

其中:

  • capture list:捕获列表,指 lambda 所在函数中定义的局部变量的列表,通常为空。
  • return type、parameter list、function body:分别表示返回值类型、参数列表、函数体,和普通函数一样。

举例:

#include <iostream>
#include <algorithm>
using namespace std;int main()
{int arr[4] = {4, 2, 3, 1};//对 a 数组中的元素进行升序排序sort(arr, arr+4, [=](int x, int y) -> bool{ return x < y; } );for(int n : arr){cout << n << " ";}return 0;
}
  1. 右值引用***

右值引用的出现是为了解决两个问题的,第一个问题是临时对象非必要的昂贵的拷贝操作,第二个问题是在模板函数中如何按照参数的实际类型进行转发。通过右值引用,很好的解决两个问题。

右值引用考察的纪律还是挺高的,也挺重要的,看了很多关于右值引用的介绍,这篇文章是我看过右值引用最好的文章,必看:从四行代码看右值引用.

引用,就是为了避免复制而存在,而左值引用和右值引用是为了不同的对象存在:

  • 左值引用的对象是变量
  • 右值引用的对象是常量
#include <iostream>
#include <vector>
using namespace std;
int main()
{int var = 42;int &l_var = var;int &&r_var = var; // error: cannot bind rvalue reference of type 'int&&' to lvalue of type 'int' 错误:不能将右值引用绑定到左值上int &&r_var2 = var + 40; // 正确:将 r_var2 绑定到求和结果上return 0;
}
  1. 智能指针
    相关知识已在第一章中进行了详细的说明,这里不再重复。

2.2 C和C++的区别

首先说一下面向对象和面向过程:

面向过程的思路:分析解决问题所需的步骤,用函数把这些步骤依次实现。
面向对象的思路:把构成问题的事务分解为各个对象,建立对象的目的,不是完成一个步骤,而是描述某个事务在解决整个问题步骤中的行为。

区别和联系:

  • 语言自身:C 语言是面向过程的编程,它最重要的特点是函数,通过 main 函数来调用各个子函数。程序运行的顺序都是程序员事先决定好的。C++ 是面向对象的编程,类是它的主要特点,在程序执行过程中,先由主 main 函数进入,定义一些类,根据需要执行类的成员函数,过程的概念被淡化了(实际上过程还是有的,就是主函数的那些语句。),以类驱动程序运行,类就是对象,所以我们称之为面向对象程序设计。面向对象在分析和解决问题的时候,将涉及到的数据和数据的操作封装在类中,通过类可以创建对象,以事件或消息来驱动对象执行处理。

  • 应用领域:C 语言主要用于嵌入式领域,驱动开发等与硬件直接打交道的领域,C++ 可以用于应用层开发,用户界面开发等与操作系统打交道的领域。

  • C++ 既继承了 C 强大的底层操作特性,又被赋予了面向对象机制。它特性繁多,面向对象语言的多继承,对值传递与引用传递的区分以及 const 关键字,等等。

  • C++ 对 C 的“增强”,表现在以下几个方面:类型检查更为严格。增加了面向对象的机制、泛型编程的机制(Template)、异常处理、运算符重载、标准模板库(STL)、命名空间(避免全局命名冲突)。

3. 面向对象

3.1 什么是面向对象

面向对象:对象是指具体的某一个事物,这些事物的抽象就是类,类中包含数据(成员变量)和动作(成员方法)。

面向对象的三大特性:

  • 封装:将具体的实现过程和数据封装成一个函数,只能通过接口进行访问,降低耦合性。

  • 继承:子类继承父类的特征和行为,子类有父类的非 private 方法或成员变量,子类可以对父类的方法进行重写,增强了类之间的耦合性,但是当父类中的成员变量、成员函数或者类本身被 final 关键字修饰时,修饰的类不能继承,修饰的成员不能重写或修改。(这里说明一下,其实父类中的private方法也会被继承下来,只不过是不能被访问。)

  • 多态:多态就是不同继承类的对象,对同一消息做出不同的响应,基类的指针指向或绑定到派生类的对象,使得基类指针呈现不同的表现方式。

3.2 重载、重写、隐藏的区别

  • 重载:是指同一可访问区内被声明几个具有不同参数列(参数的类型、个数、顺序)的同名函数,根据参数列表确定调用哪个函数,重载不关心函数返回类型。
class A
{
public:void fun(int tmp);void fun(float tmp);        // 重载 参数类型不同(相对于上一个函数)void fun(int tmp, float tmp1); // 重载 参数个数不同(相对于上一个函数)void fun(float tmp, int tmp1); // 重载 参数顺序不同(相对于上一个函数)int fun(int tmp);            // error: 'int A::fun(int)' cannot be overloaded 错误:注意重载不关心函数返回类型
};
  • 隐藏:是指派生类的函数屏蔽了与其同名的基类函数,主要只要同名函数,不管参数列表是否相同,基类函数都会被隐藏。
#include <iostream>
using namespace std;class Base
{
public:void fun(int tmp, float tmp1) { cout << "Base::fun(int tmp, float tmp1)" << endl; }
};class Derive : public Base
{
public:void fun(int tmp) { cout << "Derive::fun(int tmp)" << endl; } // 隐藏基类中的同名函数
};int main()
{Derive ex;ex.fun(1);       // Derive::fun(int tmp)ex.fun(1, 0.01); // error: candidate expects 1 argument, 2 providedreturn 0;
}

说明:上述代码中 ex.fun(1, 0.01); 出现错误,说明派生类中将基类的同名函数隐藏了。若是想调用基类中的同名函数,可以加上类型名指明 ex.Base::fun(1, 0.01);,这样就可以调用基类中的同名函数。

  • 重写(覆盖):是指派生类中存在重新定义的函数。函数名、参数列表、返回值类型都必须同基类中被重写的函数一致,只有函数体不同。派生类调用时会调用派生类的重写函数,不会调用被重写函数。重写的基类中被重写的函数必须有 virtual 修饰。

重写和重载的区别

  • 范围区别:对于类中函数的重载或者重写而言,重载发生在同一个类的内部,重写发生在不同的类之间(子类和父类之间)。

  • 参数区别:重载的函数需要与原函数有相同的函数名、不同的参数列表,不关注函数的返回值类型;重写的函数的函数名、参数列表和返回值类型都需要和原函数相同,父类中被重写的函数需要有 virtual 修饰。

  • virtual 关键字:重写的函数基类中必须有 virtual关键字的修饰,重载的函数可以有 virtual 关键字的修饰也可以没有。

隐藏和重写,重载的区别

  • 范围区别:隐藏与重载范围不同,隐藏发生在不同类中。

  • 参数区别:隐藏函数和被隐藏函数参数列表可以相同,也可以不同,但函数名一定相同;当参数不同时,无论基类中的函数是否被 virtual 修饰,基类函数都是被隐藏,而不是重写。

3.3 什么是多态?多态如何实现?

多态:多态就是不同继承类的对象,对同一消息做出不同的响应,基类的指针指向或绑定到派生类的对象,使得基类指针呈现不同的表现方式。在基类的函数前加上 virtual 关键字,在派生类中重写该函数,运行时将会根据对象的实际类型来调用相应的函数。如果对象类型是派生类,就调用派生类的函数;如果对象类型是基类,就调用基类的函数。

实现方法:多态是通过虚函数实现的,虚函数的地址保存在虚函数表中,虚函数表的地址保存在含有虚函数的类的实例对象的内存空间中。

实现过程

  1. 在类中用 virtual 关键字声明的函数叫做虚函数;

  2. 存在虚函数的类都有一个虚函数表,当创建一个该类的对象时,该对象有一个指向虚函数表的虚表指针(虚函数表和类对应的,虚表指针是和对象对应);

  3. 当基类指针指向派生类对象,基类指针调用虚函数时,基类指针指向派生类的虚表指针,由于该虚表指针指向派生类虚函数表,通过遍历虚表,寻找相应的虚函数。

基类的虚函数表如下:

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-Hb5aTr11-1649036213703)(C:\Users\ZHAOCHENHAO\Pictures\Camera Roll\1612675767-guREBN-image.png)]

派生类的对象虚函数表如下:

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-ckZj0DAW-1649036213704)(C:\Users\ZHAOCHENHAO\Pictures\Camera Roll\1618818155-PZxTzJ-image.png)]

简单解释:当基类的指针指向派生类的对象时,通过派生类的对象的虚表指针找到虚函数表(派生类的对象虚函数表),进而找到相应的虚函数 Derive::f() 进行调用。

4. 关键字库函数

4.1 sizeof 和 strlen 的区别

  1. strlen 是头文件 中的函数,sizeof 是 C++ 中的运算符。
  2. strlen 测量的是字符串的实际长度(其源代码如下),以 \0 结束。而 sizeof 测量的是字符数组的分配大小。

strlen 源代码:

size_t strlen(const char *str) {size_t length = 0;while (*str++)++length;return length;
}

举例:

#include <iostream>
#include <cstring>using namespace std;int main()
{char arr[10] = "hello";cout << strlen(arr) << endl; // 5cout << sizeof(arr) << endl; // 10return 0;
}
  1. 若字符数组 arr 作为函数的形参,sizeof(arr) 中 arr 被当作字符指针来处理,strlen(arr) 中 arr 依然是字符数组,从下述程序的运行结果中就可以看出。
#include <iostream>
#include <cstring>using namespace std;void size_of(char arr[])
{cout << sizeof(arr) << endl; // warning: 'sizeof' on array function parameter 'arr' will return size of 'char*' .cout << strlen(arr) << endl;
}int main()
{char arr[20] = "hello";size_of(arr); return 0;
}
/*
输出结果:
8
5
*/
  1. strlen 本身是库函数,因此在程序运行过程中,计算长度;而 sizeof 在编译时,计算长度;

  2. sizeof 的参数可以是类型,也可以是变量;strlen 的参数必须是 char* 类型的变量。

4.2 lambda 表达式(匿名函数)的具体应用和使用场景

lambda 表达式的定义形式如下:

[capture list] (parameter list) -> reurn type
{function body
}

其中:

  • capture list:捕获列表,指 lambda 表达式所在函数中定义的局部变量的列表,通常为空,但如果函数体中用到了 lambda 表达式所在函数的局部变量,必须捕获该变量,即将此变量写在捕获列表中。捕获方式分为:引用捕获方式 [&]、值捕获方式 [=]。

  • return type、parameter list、function body:分别表示返回值类型、参数列表、函数体,和普通函数一样。

举例:
lambda 表达式常搭配排序算法使用。

#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;int main()
{vector<int> arr = {3, 4, 76, 12, 54, 90, 34};sort(arr.begin(), arr.end(), [](int a, int b) { return a > b; }); // 降序排序for (auto a : arr){cout << a << " ";}return 0;
}
/*
运行结果:90 76 54 34 12 4 3
*/

4.3 explicit 的作用(如何避免编译器进行隐式类型转换)

作用:用来声明类构造函数是显示调用的,而非隐式调用,可以阻止调用构造函数时进行隐式转换。只可用于修饰单参构造函数,因为无参构造函数和多参构造函数本身就是显示调用的,再加上 explicit 关键字也没有什么意义。

隐式转换:

#include <iostream>
#include <cstring>
using namespace std;class A
{
public:int var;A(int tmp){var = tmp;}
};
int main()
{A ex = 10; // 发生了隐式转换return 0;
}

上述代码中,A ex = 10; 在编译时,进行了隐式转换,将 10 转换成 A 类型的对象,然后将该对象赋值给 ex,等同于如下操作:

为了避免隐式转换,可用 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' requestedreturn 0;
}

4.4 static 的作用

作用:
static 定义静态变量,静态函数。

  • 保持变量内容持久:static 作用于局部变量,改变了局部变量的生存周期,使得该变量存在于定义后直到程序运行结束的这段时间。
#include <iostream>
using namespace std;int fun(){static int var = 1; // var 只在第一次进入这个函数的时初始化var += 1;return var;
}int main()
{for(int i = 0; i < 10; ++i)cout << fun() << " "; // 2 3 4 5 6 7 8 9 10 11return 0;
}
  • 隐藏:static 作用于全局变量和函数,改变了全局变量和函数的作用域,使得全局变量和函数只能在定义它的文件中使用,在源文件中不具有全局可见性。(注:普通全局变量和函数具有全局可见性,即其他的源文件也可以使用。)

  • static 作用于类的成员变量和类的成员函数,使得类变量或者类成员函数和类有关,也就是说可以不定义类的对象就可以通过类访问这些静态成员。注意:类的静态成员函数中只能访问静态成员变量或者静态成员函数,不能将静态成员函数定义成虚函数。

#include<iostream>
using namespace std;class A
{
private:int var;static int s_var; // 静态成员变量
public:void show(){cout << s_var++ << endl;}static void s_show(){cout << s_var << endl;// cout << var << endl; // error: invalid use of member 'A::a' in static member function. 静态成员函数不能调用非静态成员变量。无法使用 this.var// show();  // error: cannot call member function 'void A::show()' without object. 静态成员函数不能调用非静态成员函数。无法使用 this.show()}
};
int A::s_var = 1;  // 静态成员变量在类外进行初始化赋值,默认初始化为 0int main()
{// cout << A::sa << endl;    // error: 'int A::sa' is private within this contextA ex;ex.show();A::s_show();
}

4.5 static在类中使用的注意事项(定义、初始化和使用)***

static 静态成员变量:

  1. 静态成员变量是在类内进行声明,在类外进行定义和初始化,在类外进行定义和初始化的时候不要出现 static 关键字和private、public、protected 访问规则。

  2. 静态成员变量相当于类域中的全局变量,被类的所有对象所共享,包括派生类的对象。

  3. 静态成员变量可以作为成员函数的参数,而普通成员变量不可以。

#include <iostream>
using namespace std;class A
{
public:static int s_var;int var;void fun1(int i = s_var); // 正确,静态成员变量可以作为成员函数的参数void fun2(int i = var);   //  error: invalid use of non-static data member 'A::var'
};
int main()
{return 0;
}
  1. 静态数据成员的类型可以是所属类的类型,而普通数据成员的类型只能是该类类型的指针或引用。
#include <iostream>
using namespace std;class A
{
public:static A s_var; // 正确,静态数据成员A var;          // error: field 'var' has incomplete type 'A'A *p;           // 正确,指针A &var1;        // 正确,引用
};int main()
{return 0;
}

static 静态成员函数:

静态成员函数不能调用非静态成员变量或者非静态成员函数,因为静态成员函数没有 this 指针。静态成员函数做为类作用域的全局函数。
静态成员函数不能声明成虚函数(virtual)、const 函数和 volatile 函数。

4.6 static 全局变量和普通全局变量的异同

相同点:

  • 存储方式:普通全局变量和 static 全局变量都是静态存储方式。

不同点:

  • 作用域:普通全局变量的作用域是整个源程序,当一个源程序由多个源文件组成时,普通全局变量在各个源文件中都是有效的;静态全局变量则限制了其作用域,即只在定义该变量的源文件内有效,在同一源程序的其它源文件中不能使用它。由于静态全局变量的作用域限于一个源文件内,只能为该源文件内的函数公用,因此可以避免在其他源文件中引起错误。

  • 初始化:静态全局变量只初始化一次,防止在其他文件中使用。

4.7 const 作用及用法

作用

  • const 修饰成员变量,定义成 const 常量,相较于宏常量,可进行类型检查,节省内存空间,提高了效率。
  • const 修饰函数参数,使得传递过来的函数参数的值不能改变。
  • const 修饰成员函数,使得成员函数不能修改任何类型的成员变量(mutable 修饰的变量除外),也不能调用非 const 成员函数,因为非 const 成员函数可能会修改成员变量。

在类中的用法

const 成员变量:

  1. const 成员变量只能在类内声明、定义,在构造函数初始化列表中初始化。
  2. const 成员变量只在某个对象的生存周期内是常量,对于整个类而言却是可变的,因为类可以创建多个对象,不同类的 const 成员变量的值是不同的。因此不能在类的声明中初始化 const 成员变量,类的对象还没有创建,编译器不知道他的值。

const 成员函数:

  1. 不能修改成员变量的值,除非有 mutable 修饰;只能访问成员变量。
  2. 不能调用非常量成员函数,以防修改成员变量的值。
#include <iostream>
using namespace std;class A
{
public:int var;A(int tmp) : var(tmp) {}void c_fun(int tmp) const // const 成员函数{var = tmp; // error: assignment of member 'A::var' in read-only object. 在 const 成员函数中,不能修改任何类成员变量。     fun(tmp); // error: passing 'const A' as 'this' argument discards qualifiers. const 成员函数不能调用非 const 成员函数,因为非 const 成员函数可能会修改成员变量。}void fun(int tmp){var = tmp;}
};int main()
{return 0;
}

4.8 define 和 const 的区别

区别:

  • 编译阶段:define 是在编译预处理阶段进行替换,const 是在编译阶段确定其值。
  • 安全性:define 定义的宏常量没有数据类型,只是进行简单的替换,不会进行类型安全的检查;const 定义的常量是有类型的,是要进行判断的,可以避免一些低级的错误。
  • 内存占用:define 定义的宏常量,在程序中使用多少次就会进行多少次替换,内存中有多个备份,占用的是代码段的空间;const 定义的常量占用静态存储区的空间,程序运行过程中只有一份。
  • 调试:define 定义的宏常量不能调试,因为在预编译阶段就已经进行替换了;const 定义的常量可以进行调试。

const 的优点:

  • 有数据类型,在定义式可进行安全性检查。
  • 可调式。
  • 占用较少的空间。

4.9 define 和 typedef 的区别

  • 原理:#define 作为预处理指令,在编译预处理时进行替换操作,不作正确性检查,只有在编译已被展开的源程序时才会发现可能的错误并报错。typedef 是关键字,在编译时处理,有类型检查功能,用来给一个已经存在的类型一个别名,但不能在一个函数定义里面使用 typedef 。

  • 功能:typedef 用来定义类型的别名,方便使用。#define 不仅可以为类型取别名,还可以定义常量、变量、编译开关等。

  • 作用域:#define 没有作用域的限制,只要是之前预定义过的宏,在以后的程序中都可以使用,而 typedef 有自己的作用域。

  • 指针的操作:typedef 和 #define 在处理指针时不完全一样

#include <iostream>
#define INTPTR1 int *
typedef int * INTPTR2;using namespace std;int main()
{INTPTR1 p1, p2; // p1: int *; p2: intINTPTR2 p3, p4; // p3: int *; p4: int *int var = 1;const INTPTR1 p5 = &var; // 相当于 const int * p5; 常量指针,即不可以通过 p5 去修改 p5 指向的内容,但是 p5 可以指向其他内容。const INTPTR2 p6 = &var; // 相当于 int * const p6; 指针常量,不可使 p6 再指向其他内容。return 0;
}

4.10 用宏实现比较大小,以及两个数中的最小值

#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
*/

4.11 inline 作用及使用方法

作用:
inline 是一个关键字,可以用于定义内联函数。内联函数,像普通函数一样被调用,但是在调用时并不通过函数调用的机制而是直接在调用点处展开,这样可以大大减少由函数调用带来的开销,从而提高程序的运行效率。

使用方法:

  1. 类内定义成员函数默认是内联函数
    在类内定义成员函数,可以不用在函数头部加 inline 关键字,因为编译器会自动将类内定义的函数(构造函数、析构函数、普通成员函数等)声明为内联函数,代码如下:
#include <iostream>
using namespace std;class A{
public:int var;A(int tmp){ var = tmp;}    void fun(){ cout << var << endl;}
};int main()
{    return 0;
}
  1. 类外定义成员函数,若想定义为内联函数,需用关键字声明
    当在类内声明函数,在类外定义函数时,如果想将该函数定义为内联函数,则可以在类内声明时不加 inline 关键字,而在类外定义函数时加上 inline 关键字。
#include <iostream>
using namespace std;class A{
public:int var;A(int tmp){ var = tmp;}    void fun();
};inline void A::fun(){cout << var << endl;
}int main()
{    return 0;
}

另外,可以在声明函数和定义函数的同时加上 inline;也可以只在函数声明时加 inline,而定义函数时不加 inline。只要确保在调用该函数之前把 inline 的信息告知编译器即可。

关于inline的补充

内联函数的作用:

  1. 消除函数调用的开销。

​ 在内联函数出现之前,程序员通常用 #define 定义一些“函数”来消除调用这些函数的开销。内联函数设计的目的之一,就是取代

#define 的这项功能(因为使用 #define 定义的那些“函数”,编译器不会检查其参数的正确性等,而使用 inline 定义的函数,和普通

函数一样,可以被编译器检查,这样有利于尽早发现错误)。

  1. 去除函数只能定义一次的限制。

内联函数可以在头文件中被定义,并被多个 .cpp 文件 include,而不会有重定义错误。这也是设计内联函数的主要目的之一。

关于减少函数调用的开销:

  1. 内联函数一定会被编译器在调用点展开吗?

错,inline 只是对编译器的建议,而非命令。编译器可以选择忽视 inline。当程序员定义的 inline 函数包含复杂递归,或者 inlinie 函

数本身比较长,编译器一般不会将其展开,而仍然会选择函数调用。

  1. “调用”普通函数时,一定是调用吗?

错,即使是普通函数,编译器也可以选择进行优化,将普通函数在“调用”点展开。

  1. 既然内联函数在编译阶段已经在调用点被展开,那么程序运行时,对应的内存中不包含内联函数的定义,对吗?

错。

首先,如第一点所言,编译器可以选择调用内联函数,而非展开内联函数。因此,内存中仍然需要一份内联函数的定义,以供调用。

而且,一致性是所有语言都应该遵守的准则。普通函数可以有指向它的函数指针,那么,内敛函数也可以有指向它的函数指针,因此,

内存中需要一份内联函数的定义,使得这样的函数指针可以存在。

4.12 inline 函数工作原理

  • 内联函数不是在调用时发生控制转移关系,而是在编译阶段将函数体嵌入到每一个调用该函数的语句块中,编译器会将程序中出现内联函数的调用表达式用内联函数的函数体来替换。

  • 普通函数是将程序执行转移到被调用函数所存放的内存地址,当函数执行完后,返回到执行此函数前的地方。转移操作需要保护现场,被调函数执行完后,再恢复现场,该过程需要较大的资源开销。

4.13 宏定义(define)和内联函数(inline)的区别

  1. 内联函数是在编译时展开,而宏在编译预处理时展开;在编译的时候,内联函数直接被嵌入到目标代码中去,而宏只是一个简单的文本替换。

  2. 内联函数是真正的函数,和普通函数调用的方法一样,在调用点处直接展开,避免了函数的参数压栈操作,减少了调用的开销。而宏定义编写较为复杂,常需要增加一些括号来避免歧义。

  3. 宏定义只进行文本替换,不会对参数的类型、语句能否正常编译等进行检查。而内联函数是真正的函数,会对参数的类型、函数体内的语句编写是否正确等进行检查。

#include <iostream>#define MAX(a, b) ((a) > (b) ? (a) : (b))using namespace std;inline int fun_max(int a, int b)
{return a > b ? a : b;
}int main()
{int var = 1;cout << MAX(var, 5) << endl;     cout << fun_max(var, 0) << endl; return 0;
}
/*
程序运行结果:
5
1*/

4.14 new 的作用?

new 是 C++ 中的关键字,用来动态分配内存空间,实现方式如下:

int *p = new int[5];

4.15 new 和 malloc 如何判断是否申请到内存?

  • malloc :成功申请到内存,返回指向该内存的指针;分配失败,返回 NULL 指针。
  • new :内存分配成功,返回该对象类型的指针;分配失败,抛出 bad_alloc 异常。

4.16 delete 实现原理?delete 和 delete[] 的区别?

delete 的实现原理:

  • 首先执行该对象所属类的析构函数;
  • 进而通过调用 operator delete 的标准库函数来释放所占的内存空间。

delete 和 delete [] 的区别:

delete 用来释放单个对象所占的空间,只会调用一次析构函数;
delete [] 用来释放数组空间,会对数组中的每个成员都调用一次析构函数。

4.17 new 和 malloc 的区别,delete 和 free 的区别

在使用的时候 newdelete 搭配使用,mallocfree 搭配使用。

  • malloc、free 是库函数,而new、delete 是关键字。
  • -new 申请空间时,无需指定分配空间的大小,编译器会根据类型自行计算;malloc 在申请空间时,需要确定所申请空间的大小。
  • new 申请空间时,返回的类型是对象的指针类型,无需强制类型转换,是类型安全的操作符;malloc 申请空间时,返回的是 void* 类型,需要进行强制类型的转换,转换为对象类型的指针。
  • new 分配失败时,会抛出 bad_alloc 异常,malloc 分配失败时返回空指针。
  • 对于自定义的类型,new 首先调用 operator new() 函数申请空间(底层通过 malloc 实现),然后调用构造函数进行初始化,最后返回自定义类型的指针;delete 首先调用析构函数,然后调用 operator delete() 释放空间(底层通过 free 实现)。malloc、free 无法进行自定义类型的对象的构造和析构。
  • new 操作符从自由存储区上为对象动态分配内存,而 malloc 函数从堆上动态分配内存。(自由存储区不等于堆)

堆是c语言和操作系统的术语,是操作系统维护的一块内存。自由存储是C++中通过new和delete动态分配和释放对象的抽象概念。

4.18 malloc 的原理?malloc 的底层实现?

malloc 的原理:

  • 当开辟的空间小于 128K 时,调用 brk() 函数,通过移动 _enddata 来实现;

  • 当开辟空间大于 128K 时,调用 mmap() 函数,通过在虚拟地址空间中开辟一块内存空间来实现。

malloc 的底层实现:

  • brk() 函数实现原理:向高地址的方向移动指向数据段的高地址的指针 _enddata。
  • mmap 内存映射原理:
  1. 进程启动映射过程,并在虚拟地址空间中为映射创建虚拟映射区域;

  2. 调用内核空间的系统调用函数 mmap(),实现文件物理地址和进程虚拟地址的一一映射关系;

  3. 进程发起对这片映射空间的访问,引发缺页异常,实现文件内容到物理内存(主存)的拷贝。

4.19 C 和 C++ struct 的区别?

  1. 在 C 语言中 struct 是用户自定义数据类型;在 C++ 中 struct 是抽象数据类型,支持成员函数的定义。

  2. C 语言中 struct 没有访问权限的设置,是一些变量的集合体,不能定义成员函数;C++ 中 struct 可以和类一样,有访问权限,并可以定义成员函数。

  3. C 语言中 struct 定义的自定义数据类型,在定义该类型的变量时,需要加上 struct 关键字,例如:struct A var;,定义 A 类型的变量;而 C++ 中,不用加该关键字,例如:A var;

4.20 为什么有了 class 还保留 struct?

  • C++ 是在 C 语言的基础上发展起来的,为了与 C 语言兼容,C++ 中保留了 struct

4.21 struct 和 union 的区别

说明:union 是联合体,struct 是结构体。

区别:

  • 联合体和结构体都是由若干个数据类型不同的数据成员组成。使用时,联合体只有一个有效的成员;而结构体所有的成员都有效。

  • 对联合体的不同成员赋值,将会对覆盖其他成员的值,而对于结构体的对不同成员赋值时,相互不影响。

  • 联合体的大小为其内部所有变量的最大值,按照最大类型的倍数进行分配大小;结构体分配内存的大小遵循内存对齐原则。

#include <iostream>
using namespace std;typedef union
{char c[10];char cc1; // char 1 字节,按该类型的倍数分配大小
} u11;typedef union
{char c[10];int i; // int 4 字节,按该类型的倍数分配大小
} u22;typedef union
{char c[10];double d; // double 8 字节,按该类型的倍数分配大小
} u33;typedef struct s1
{char c;   // 1 字节double d; // 1(char)+ 7(内存对齐)+ 8(double)= 16 字节
} s11;typedef struct s2
{char c;   // 1 字节char cc;  // 1(char)+ 1(char)= 2 字节double d; // 2 + 6(内存对齐)+ 8(double)= 16 字节
} s22;typedef struct s3
{char c;   // 1 字节double d; // 1(char)+ 7(内存对齐)+ 8(double)= 16 字节char cc;  // 16 + 1(char)+ 7(内存对齐)= 24 字节
} s33;int main()
{cout << sizeof(u11) << endl; // 10cout << sizeof(u22) << endl; // 12cout << sizeof(u33) << endl; // 16cout << sizeof(s11) << endl; // 16cout << sizeof(s22) << endl; // 16cout << sizeof(s33) << endl; // 24cout << sizeof(int) << endl;    // 4cout << sizeof(double) << endl; // 8return 0;
}

4.22 class 和 struct 的异同

  • struct 和 class 都可以自定义数据类型,也支持继承操作。

  • struct 中默认的访问级别是 public,默认的继承级别也是 public;class 中默认的访问级别是 private,默认的继承级别也是 private。

  • 当 class 继承 struct 或者 struct 继承 class 时,默认的继承级别取决于 class 或 struct 本身, class(private 继承),struct(public 继承),即取决于派生类的默认继承级别。

struct A{};
class B : A{}; // private 继承
struct C : B{}; // public 继承
  • class 可以用于定义模板参数,struct 不能用于定义模板参数。

4.23 volatile 的作用?是否具有原子性,对编译器有什么影响?

  • volatile 的作用:当对象的值可能在程序的控制或检测之外被改变时,应该将该对象声明为 violatile,告知编译器不应对这样的对象进行优化。

  • volatile不具有原子性。

  • volatile 对编译器的影响:使用该关键字后,编译器不会对相应的对象进行优化,即不会将变量从内存缓存到寄存器中,防止多个线程有可能使用内存中的变量,有可能使用寄存器中的变量,从而导致程序错误。

4.24 什么情况下一定要用 volatile, 能否和 const 一起使用?

使用 volatile 关键字的场景:

  • 当多个线程都会用到某一变量,并且该变量的值有可能发生改变时,需要用 volatile 关键字对该变量进行修饰;
  • 中断服务程序中访问的变量或并行设备的硬件寄存器的变量,最好用 volatile 关键字修饰。

volatile 关键字和 const 关键字可以同时使用,某种类型可以既是 volatile 又是 const ,同时具有二者的属性。

在C++多线程中,volatile不具有原子性;无法对代码重新排序实施限制。
能干什么:告诉编译器不要在此内存上做任何优化。如果对内存有只写未读的等非常规操作,如

x=10;
x=20;

编译器会优化为:

x=20;

volatile 就是阻止编译器进行此类优化。

4.25 extern C 的作用?

当 C++ 程序 需要调用 C 语言编写的函数,C++ 使用链接指示,即 extern "C" 指出任意非 C++ 函数所用的语言。

// 可能出现在 C++ 头文件<cstring>中的链接指示
extern "C"{int strcmp(const char*, const char*);
}

C++ 和 C语言编译函数签名方式不一样, extern关键字可以让两者保持统一,这样才能找到对应的函数

4.26 sizeof(1==1) 在 C 和 C++ 中分别是什么结果?

C语言
sizeof(1 == 1) === sizeof(1)按照整数处理,所以是4字节,这里也有可能是8字节(看操作系统)
C++
因为有bool 类型
sizeof(1 == 1) == sizeof(true) 按照bool类型处理,所以是1个字节

C语言没有布尔类型,因此按整数
C++有布尔类型,占1字节

4.27 memcpy 函数的底层原理?

4.28 strcpy 函数有什么缺陷?

strcpy 函数的缺陷:strcpy 函数不检查目的缓冲区的大小边界,而是将源字符串逐一的全部赋值给目的字符串地址起始的一块连续的内存空间,同时加上字符串终止符,会导致其他变量被覆盖。

4.29 auto 类型推导的原理

auto 类型推导的原理:
编译器根据初始值来推算变量的类型,要求用 auto 定义变量时必须有初始值。编译器推断出来的 auto 类型有时和初始值类型并不完全一样,编译器会适当改变结果类型使其更符合初始化规则。

auto变量的规则是"做函数模板需要做的事情"

5. 类相关

5.1 什么是虚函数?什么是纯虚函数?

虚函数:被 virtual 关键字修饰的成员函数,就是虚函数。

#include <iostream>
using namespace std;class A
{
public:virtual void v_fun() // 虚函数{cout << "A::v_fun()" << endl;}
};
class B : public A
{
public:void v_fun(){cout << "B::v_fun()" << endl;}
};
int main()
{A *p = new B();p->v_fun(); // B::v_fun()return 0;
}

纯虚函数

  • 纯虚函数在类中声明时,加上 =0;

  • 含有纯虚函数的类称为抽象类(只要含有纯虚函数这个类就是抽象类),类中只有接口,没有具体的实现方法;

  • 继承纯虚函数的派生类,如果没有完全实现基类纯虚函数,依然是抽象类,不能实例化对象。

说明:

  • 抽象类对象不能作为函数的参数,不能创建对象,不能作为函数返回类型;
  • 可以声明抽象类指针,可以声明抽象类的引用;
  • 子类必须继承父类的纯虚函数,并全部实现后,才能创建子类的对象。

5.1 虚函数和纯虚函数的区别?

  • 虚函数和纯虚函数可以出现在同一个类中,该类称为抽象基类。(含有纯虚函数的类称为抽象基类)
  • 使用方式不同:虚函数可以直接使用,纯虚函数必须在派生类中实现后才能使用;
  • 定义形式不同:虚函数在定义时在普通函数的基础上加上 virtual 关键字,纯虚函数定义时除了加上virtual 关键字还需要加上 =0;
  • 虚函数必须实现,否则编译器会报错;
  • 对于实现纯虚函数的派生类,该纯虚函数在派生类中被称为虚函数,虚函数和纯虚函数都可以在派生类中重写;
  • 析构函数最好定义为虚函数,特别是对于含有继承关系的类;析构函数可以定义为纯虚函数,此时,其所在的类为抽象基类,不能创建实例化对象。

5.2 虚函数的实现机制

实现机制:虚函数通过虚函数表来实现。虚函数的地址保存在虚函数表中,在类的对象所在的内存空间中,保存了指向虚函数表的指针(称为“虚表指针”),通过虚表指针可以找到类对应的虚函数表。虚函数表解决了基类和派生类的继承问题和类中成员函数的覆盖问题,当用基类的指针来操作一个派生类的时候,这张虚函数表就指明了实际应该调用的函数。

虚函数表相关知识点:

  • 虚函数表存放的内容:类的虚函数的地址。

  • 虚函数表建立的时间:编译阶段,即程序的编译过程中会将虚函数的地址放在虚函数表中。

  • 虚表指针保存的位置:虚表指针存放在对象的内存空间中最前面的位置,这是为了保证正确取到虚函数的偏移量。

5.3 单继承和多继承的虚函数表结构

5.4 如何禁止构造函数的使用?

为类的构造函数增加 = delete 修饰符,可以达到虽然声明了构造函数但禁止使用的目的。

#include <iostream>using namespace std;class A {
public:int var1, var2;A(){var1 = 10;var2 = 20;}A(int tmp1, int tmp2) = delete;
};int main()
{A ex1;    A ex2(12,13); // error: use of deleted function 'A::A(int, int)'return 0;
}

5.5 什么是类的默认构造函数?

默认构造函数:未提供任何实参,来控制默认初始化过程的构造函数称为默认构造函数。

5.6 构造函数、析构函数是否需要定义成虚函数?为什么?

构造函数一般不定义为虚函数,原因:

  • 从存储空间的角度考虑:构造函数是在实例化对象的时候进行调用,如果此时将构造函数定义成虚函数,需要通过访问该对象所在的内存空间才能进行虚函数的调用(因为需要通过指向虚函数表的指针调用虚函数表,虽然虚函数表在编译时就有了,但是没有虚函数的指针,虚函数的指针只有在创建了对象才有),但是此时该对象还未创建,便无法进行虚函数的调用。所以构造函数不能定义成虚函数。

  • 从使用的角度考虑:虚函数是基类的指针指向派生类的对象时,通过该指针实现对派生类的虚函数的调用,构造函数是在创建对象时自动调用的。

  • 从实现上考虑:虚表指针是在创建对象之后才有的,因此不能定义成虚函数。

  • 从类型上考虑:在创建对象时需要明确其类型。

析构函数一般定义成虚函数,原因:
析构函数定义成虚函数是为了防止内存泄漏,因为当基类的指针或者引用指向或绑定到派生类的对象时,如果未将基类的析构函数定义成虚函数,会调用基类的析构函数,那么只能将基类的成员所占的空间释放掉,派生类中特有的就会无法释放内存空间导致内存泄漏。

5.7 如何避免拷贝?

最直观的想法是:将类的拷贝构造函数和赋值构造函数声明为私有 private,但对于类的成员函数和友元函数依然可以调用,达不到完全禁止类的对象被拷贝的目的,而且程序会出现错误,因为未对函数进行定义。

解决方法:声明一个基类,具体做法如下。

  • 定义一个基类,将其中的拷贝构造函数和赋值构造函数声明为私有 private
  • 派生类以私有 private 的方式继承基类
class Uncopyable
{
public:Uncopyable() {}~Uncopyable() {}private:Uncopyable(const Uncopyable &);            // 拷贝构造函数Uncopyable &operator=(const Uncopyable &); // 赋值构造函数
};
class A : private Uncopyable // 注意继承方式
{
};

简单解释:

能够保证,在派生类 A 的成员函数和友元函数中无法进行拷贝操作,因为无法调用基类 Uncopyable 的拷贝构造函数或赋值构造函数。同样,在类的外部也无法进行拷贝操作。

另一种方法:

C++ 11 可以使用弃置函数delete关键字

class noncopyable {
protected:noncopyable() = default;~noncopyable() = default;
public:noncopyable(const noncopyable&) = delete;noncopyable& operator=(const noncopyable&) = delete;
};class foo : private noncopyable {
};

5.8 如何减少构造函数开销?

在构造函数中使用类初始化列表,会减少调用默认的构造函数产生的开销,具体原因可以参考本章“为什么用成员初始化列表会快些?”这个问题。

class A
{
private:int val;
public:A(){cout << "A()" << endl;}A(int tmp){val = tmp;cout << "A(int " << val << ")" << endl;}
};
class Test1
{
private:A ex;public:Test1() : ex(1) // 成员列表初始化方式{}
};

5.9 多重继承时会出现什么状况?如何解决?

多重继承(多继承):是指从多个直接基类中产生派生类。

多重继承容易出现的问题:命名冲突和数据冗余问题。

#include <iostream>
using namespace std;// 间接基类
class Base1
{
public:int var1;
};// 直接基类
class Base2 : public Base1
{
public:int var2;
};// 直接基类
class Base3 : public Base1
{
public:int var3;
};// 派生类
class Derive : public Base2, public Base3
{
public:void set_var1(int tmp) { var1 = tmp; } // error: reference to 'var1' is ambiguous. 命名冲突void set_var2(int tmp) { var2 = tmp; }void set_var3(int tmp) { var3 = tmp; }void set_var4(int tmp) { var4 = tmp; }private:int var4;
};int main()
{Derive d;return 0;
}

上述程序的继承关系如下:(菱形继承)

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-TlXbniFZ-1649036213705)(C:\Users\ZHAOCHENHAO\Pictures\Camera Roll\1612681677-Jgekej-image.png)]

上述代码中存的问题:
对于派生类 Derive 上述代码中存在直接继承关系和间接继承关系。

  • 直接继承:Base2Base3
  • 间接继承:Base1

对于派生类中继承的的成员变量 var1 ,从继承关系来看,实际上保存了两份,一份是来自基类 Base2,一份来自基类 Base3。因此,出现了命名冲突。

解决方法 1: 声明出现冲突的成员变量来源于哪个类

#include <iostream>
using namespace std;// 间接基类
class Base1
{
public:int var1;
};// 直接基类
class Base2 : public Base1
{
public:int var2;
};// 直接基类
class Base3 : public Base1
{
public:int var3;
};// 派生类
class Derive : public Base2, public Base3
{
public:void set_var1(int tmp) { Base2::var1 = tmp; } // 这里声明成员变量来源于类 Base2,当然也可以声明来源于类 Base3void set_var2(int tmp) { var2 = tmp; }void set_var3(int tmp) { var3 = tmp; }void set_var4(int tmp) { var4 = tmp; }private:int var4;
};int main()
{Derive d;return 0;
}

解决方法 2: 虚继承

使用虚继承的目的:保证存在命名冲突的成员变量在派生类中只保留一份,即使间接基类中的成员在派生类中只保留一份。在菱形继承关系中,间接基类称为虚基类,直接基类和间接基类之间的继承关系称为虚继承。

实现方式:在继承方式前面加上 virtual 关键字。

#include <iostream>
using namespace std;// 间接基类,即虚基类
class Base1
{
public:int var1;
};// 直接基类
class Base2 : virtual public Base1 // 虚继承
{
public:int var2;
};// 直接基类
class Base3 : virtual public Base1 // 虚继承
{
public:int var3;
};// 派生类
class Derive : public Base2, public Base3
{
public:void set_var1(int tmp) { var1 = tmp; } void set_var2(int tmp) { var2 = tmp; }void set_var3(int tmp) { var3 = tmp; }void set_var4(int tmp) { var4 = tmp; }private:int var4;
};int main()
{Derive d;return 0;
}

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-bCsDVMXp-1649036213705)(C:\Users\ZHAOCHENHAO\Pictures\Camera Roll\1612681729-IhAKvb-image.png)]

5.10 空类占多少字节?C++ 编译器会给一个空类自动生成哪些函数?

空类声明时编译器不会生成任何成员函数:

对于空类,声明编译器不会生成任何的成员函数,只会生成 1 个字节的占位符。

#include <iostream>
using namespace std;class A
{
};int main()
{cout << "sizeof(A):" << sizeof(A) << endl; // sizeof(A):1return 0;
}

空类定义时编译器会生成 6 个成员函数:

当空类 A 定义对象时,sizeof(A) 仍是为 1,但编译器会生成 6 个成员函数:缺省的构造函数、拷贝构造函数、析构函数、赋值运算符、两个取址运算符。

#include <iostream>
using namespace std;
/*
class A
{}; 该空类的等价写法如下:
*/
class A
{
public:A(){};                                       // 缺省构造函数A(const A &tmp){};                           // 拷贝构造函数~A(){};                                      // 析构函数A &operator=(const A &tmp){};                // 赋值运算符A *operator&() { return this; };             // 取址运算符const A *operator&() const { return this; }; // 取址运算符(const 版本)
};int main()
{A *p = new A(); cout << "sizeof(A):" << sizeof(A) << endl; // sizeof(A):1delete p;       return 0;
}

5.11 为什么拷贝构造函数必须为引用?

原因:避免拷贝构造函数无限制的递归,最终导致栈溢出。

#include <iostream>
using namespace std;class A
{
private:int val;public:A(int tmp) : val(tmp) // 带参数构造函数{cout << "A(int tmp)" << endl;}A(const A &tmp) // 拷贝构造函数{cout << "A(const A &tmp)" << endl;val = tmp.val;}A &operator=(const A &tmp) // 赋值函数(赋值运算符重载){cout << "A &operator=(const A &tmp)" << endl;val = tmp.val;return *this;}void fun(A tmp){}
};int main()
{A ex1(1);A ex2(2);A ex3 = ex1;ex2 = ex1;ex2.fun(ex1);return 0;
}
/*
运行结果:
A(int tmp)
A(int tmp)
A(const A &tmp)
A &operator=(const A &tmp)
A(const A &tmp)
*/
  • 说明 1:ex2 = ex1; 和 A ex3 = ex1; 为什么调用的函数不一样?

    对象 ex2 已经实例化了,不需要构造,此时只是将 ex1 赋值给 ex2,只会调用赋值函数;但是 ex3 还没有实例化,因此调用的是拷贝构造函数,构造出 ex3,而不是赋值函数,这里涉及到构造函数的隐式调用。

  • 说明 2:如果拷贝构造函数中形参不是引用类型,A ex3 = ex1;会出现什么问题?
    构造 ex3,实质上是 ex3.A(ex1);,假如拷贝构造函数参数不是引用类型,那么将使得 ex3.A(ex1); 相当于 ex1 作为函数 A(const A tmp)的形参,在参数传递时相当于 A tmp = ex1,因为 tmp 没有被初始化,所以在 A tmp = ex1 中继续调用拷贝构造函数,接下来的是构造 tmp,也就是 tmp.A(ex1) ,必然又会有 ex1 作为函数 A(const A tmp); 的形参,在参数传递时相当于即 A tmp = ex1,那么又会触发拷贝构造函数,就这下永远的递归下去。

  • 说明 3:为什么 ex2.fun(ex1); 会调用拷贝构造函数?
    ex1 作为参数传递给 fun 函数, 即 A tmp = ex1;,这个过程会调用拷贝构造函数进行初始化。

5.12 C++ 类对象的初始化顺序

构造函数调用顺序:

  • 按照派生类继承基类的顺序,即派生列表中声明的顺序,依次调用基类的构造函数;

  • 按照派生类中成员变量的声名顺序,依次调用派生类中成员变量所属类的构造函数;

  • 执行派生类自身的构造函数。

综上可以得出,类对象的初始化顺序:基类构造函数–>派生类成员变量的构造函数–>自身构造函数
注:

  • 基类构造函数的调用顺序与派生类的派生列表中的顺序有关;
  • 成员变量的初始化顺序与声明顺序有关;
  • 析构顺序和构造顺序相反。
#include <iostream>
using namespace std;class A
{
public:A() { cout << "A()" << endl; }~A() { cout << "~A()" << endl; }
};class B
{
public:B() { cout << "B()" << endl; }~B() { cout << "~B()" << endl; }
};class Test : public A, public B // 派生列表
{
public:Test() { cout << "Test()" << endl; }~Test() { cout << "~Test()" << endl; }private:B ex1;A ex2;
};int main()
{Test ex;return 0;
}
/*
运行结果:
A()
B()
B()
A()
Test()
~Test()
~A()
~B()
~B()
~A()
*/

程序运行结果分析:

  • 首先调用基类 A 和 B 的构造函数,按照派生列表 public A, public B 的顺序构造;
  • 然后调用派生类 Test 的成员变量 ex1 和 ex2 的构造函数,按照派生类中成员变量声明的顺序构造;
  • 最后调用派生类的构造函数;
  • 接下来调用析构函数,和构造函数调用的顺序相反。

5.13 如何禁止一个类被实例化?

方法一:

  • 在类中定义一个纯虚函数,使该类成为抽象基类,因为不能创建抽象基类的实例化对象;
#include <iostream>using namespace std;class A {
public:int var1, var2;A(){var1 = 10;var2 = 20;}virtual void fun() = 0; // 纯虚函数
};int main()
{A ex1; // error: cannot declare variable 'ex1' to be of abstract type 'A'return 0;
}

方法二:

  • 将类的构造函数声明为私有 private

5.14 为什么用成员初始化列表会快一些?

  • 说明:数据类型可分为内置类型和用户自定义类型(类类型),对于用户自定义类型,利用成员初始化列表效率高。

  • 原因:用户自定义类型如果使用类初始化列表,直接调用该成员变量对应的构造函数即完成初始化;如果在构造函数中初始化,因为 C++ 规定,对象的成员变量的初始化动作发生在进入构造函数本体之前,那么在执行构造函数的函数体之前首先调用默认的构造函数为成员变量设初值,在进入函数体之后,调用该成员变量对应的构造函数。因此,使用列表初始化会减少调用默认的构造函数的过程,效率高。

#include <iostream>
using namespace std;
class A
{
private:int val;
public:A(){cout << "A()" << endl;}A(int tmp){val = tmp;cout << "A(int " << val << ")" << endl;}
};class Test1
{
private:A ex;public:Test1() : ex(1) // 成员列表初始化方式{}
};class Test2
{
private:A ex;public:Test2() // 函数体中赋值的方式{ex = A(2);}
};
int main()
{Test1 ex1;cout << endl;Test2 ex2;return 0;
}
/*
运行结果:
A(int 1)A()
A(int 2)
*/

说明:
从程序运行结果可以看出,使用成员列表初始化的方式会省去调用默认的构造函数的过程。

5.15 实例化一个对象需要哪几个阶段

  1. 分配空间

创建类对象首先要为该对象分配内存空间。不同的对象,为其分配空间的时机未必相同。全局对象、静态对象、分配在栈区域内的对象,在编译阶段进行内存分配;存储在堆空间的对象,是在运行阶段进行内存分配。

  1. 初始化

首先明确一点:初始化不同于赋值。初始化发生在赋值之前,初始化随对象的创建而进行,而赋值是在对象创建好后,为其赋上相应的值。这一点可以联想下上一个问题中提到:初始化列表先于构造函数体内的代码执行,初始化列表执行的是数据成员的初始化过程,这个可以从成员对象的构造函数被调用看的出来。

  1. 赋值

对象初始化完成后,可以对其进行赋值。对于一个类的对象,其成员变量的赋值过程发生在类的构造函数的函数体中。当执行完该函数体,也就意味着类对象的实例化过程完成了。(总结:构造函数实现了对象的初始化和赋值两个过程,对象的初始化是通过初始化列表来完成,而对象的赋值则才是通过构造函数的函数体来实现。)

注:对于拥有虚函数的类的对象,还需要给虚表指针赋值。

  • 没有继承关系的类,分配完内存后,首先给虚表指针赋值,然后再列表初始化以及执行构造函数的函数体,即上述中的初始化和赋值操作。

  • 有继承关系的类,分配内存之后,首先进行基类的构造过程,然后给该派生类的虚表指针赋值,最后再列表初始化以及执行构造函数的函数体,即上述中的初始化和赋值操作。

5.16 友元函数的作用及使用场景

作用:友元提供了不同类的成员函数之间、类的成员函数与一般函数之间进行数据共享的机制。通过友元,一个不同函数或另一个类中的成员函数可以访问类中的私有成员和保护成员。

使用场景:

  1. 普通函数定义为友元函数,使普通函数能够访问类的私有成员。
#include <iostream>using namespace std;class A
{friend ostream &operator<<(ostream &_cout, const A &tmp); // 声明为类的友元函数public:A(int tmp) : var(tmp){}private:int var;
};ostream &operator<<(ostream &_cout, const A &tmp)
{_cout << tmp.var;return _cout;
}int main()
{A ex(4);cout << ex << endl; // 4return 0;
}
  1. 友元类:类之间共享数据。
#include <iostream>using namespace std;class A
{friend class B;public:A() : var(10){}A(int tmp) : var(tmp) {}void fun(){cout << "fun():" << var << endl;}private:int var;
};class B
{
public:B() {}void fun(){cout << "fun():" << ex.var << endl; // 访问类 A 中的私有成员}private:A ex;
};int main()
{B ex;ex.fun(); // fun():10return 0;
}

5.17 静态绑定和动态绑定是怎么实现的?

静态类型和动态类型:

静态类型:变量在声明时的类型,是在编译阶段确定的。静态类型不能更改。
动态类型:目前所指对象的类型,是在运行阶段确定的。动态类型可以更改。

静态绑定和动态绑定:

  • 静态绑定是指程序在 编译阶段 确定对象的类型(静态类型)。
  • 动态绑定是指程序在 运行阶段 确定对象的类型(动态类型)。

静态绑定和动态绑定的区别:

  • 发生的时期不同:如上。
  • 对象的静态类型不能更改,动态类型可以更改。

注:对于类的成员函数,只有虚函数是动态绑定,其他都是静态绑定。

#include <iostream>using namespace std;class Base
{
public:virtual void fun() { cout << "Base::fun()" << endl;}
};
class Derive : public Base
{
public:void fun() { cout << "Derive::fun()"; }
};int main()
{Base *p = new Derive(); // p 的静态类型是 Base*,动态类型是 Derive*p->fun(); // fun 是虚函数,运行阶段进行动态绑定return 0;
}
/*
运行结果:
Derive::fun()
*/

5.18 深拷贝和浅拷贝的区别 ***

如果一个类拥有资源,该类的对象进行复制时,如果资源重新分配,就是深拷贝,否则就是浅拷贝。

  • 深拷贝:该对象和原对象占用不同的内存空间,既拷贝存储在栈空间中的内容,又拷贝存储在堆空间中的内容。
  • 浅拷贝:该对象和原对象占用同一块内存空间,仅拷贝类中位于栈空间中的内容。

当类的成员变量中有指针变量时,最好使用深拷贝。因为当两个对象指向同一块内存空间,如果使用浅拷贝,当其中一个对象的删除后,该块内存空间就会被释放,另外一个对象指向的就是垃圾内存。

#include <iostream>using namespace std;class Test
{
private:int *p;public:Test(int tmp){this->p = new int(tmp);cout << "Test(int tmp)" << endl;}~Test(){if (p != NULL){delete p;}cout << "~Test()" << endl;}
};int main()
{Test ex1(10);  Test ex2 = ex1; return 0;
}
/*
运行结果:
Test(int tmp)
~Test()
*/

说明:上述代码中,类对象 ex1、ex2 实际上是指向同一块内存空间,对象析构时,ex2 先将内存释放了一次,之后 析构对象 ex1 时又将这块已经被释放过的内存再释放一次。对同一块内存空间释放了两次,会导致程序崩溃。

深拷贝实例:

#include <iostream>using namespace std;class Test
{
private:int *p;public:Test(int tmp){p = new int(tmp);cout << "Test(int tmp)" << endl;}~Test(){if (p != NULL){delete p;}cout << "~Test()" << endl;}Test(const Test &tmp) // 定义拷贝构造函数{p = new int(*tmp.p);cout << "Test(const Test &tmp)" << endl;}};int main()
{Test ex1(10);  Test ex2 = ex1; return 0;
}
/*
Test(int tmp)
Test(const Test &tmp)
~Test()
~Test()
*/

深拷贝的问题其实可以改进,不用在堆区重新开辟空间,放置数据啥的。完全可以使用右值引用,将深拷贝问题改进成浅拷贝问题。

#include <iostream>
using namespace std;class A
{
public:A() :m_ptr(new int(0)) { cout << "构造函数的实现" << endl; }A(const A& a) :m_ptr(new int(*a.m_ptr)) { cout << "拷贝构造函数的实现" << endl; }A(A&& a):m_ptr(a.m_ptr){a.m_ptr = nullptr;cout << "右值引用的拷贝构造函数" << endl;}~A(){delete m_ptr;cout << "析构函数的调用" << endl;}
private:int* m_ptr;
};A geta()
{A b;return b;
}int main()
{A b;A a = std::move(b);   //因为b是一个左值,可以使用move函数将左值b转换成临时右值,然后将b里面的内容转交给aA c = geta();//返回的本身就是一个临时左值,然后就可以直接将临时对象里面的内容转交给c;return 0;
}

5.19 编译时多态和运行时多态的区别

编译时多态:在程序编译过程中出现,发生在模板和函数重载中(泛型编程)。

运行时多态:在程序运行过程中出现,发生在继承体系中,是指通过基类的指针或引用访问派生类中的虚函数。

编译时多态和运行时多态的区别:

  • 时期不同:编译时多态发生在程序编译过程中,运行时多态发生在程序的运行过程中;
  • 实现方式不同:编译时多态运用泛型编程来实现,运行时多态借助虚函数来实现。

5.20 实现一个类成员函数,要求不允许修改类的成员变量?

如果想达到一个类的成员函数不能修改类的成员变量,只需用 const 关键字来修饰该函数即可。

如果想达到一个类的成员函数不能修改类的成员变量,只需用 const 关键字来修饰该函数即可。
该问题本质是考察 const 关键字修饰成员函数的作用,只不过以实例的方式来考察,面试者应熟练掌握 const 关键字的作用。

#include <iostream>using namespace std;class A
{
public:int var1, var2;A(){var1 = 10;var2 = 20;}void fun() const // 不能在 const 修饰的成员函数中修改成员变量的值,除非该成员变量用 mutable 修饰{var1 = 100; // error: assignment of member 'A::var1' in read-only object}
};int main()
{A ex1;return 0;
}

5.21 如何让类不能被继承?

解决方法一:借助 final 关键字,用该关键字修饰的类不能被继承。

#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;
}

解决方法二:借助友元、虚继承和私有构造函数来实现

#include <iostream>
using namespace std;template <typename T>
class Base{friend T;
private:Base(){cout << "base" << endl;}~Base(){}
};class B:virtual public Base<B>{   //一定注意 必须是虚继承
public:B(){cout << "B" << endl;}
};class C:public B{
public:C(){}     // error: 'Base<T>::Base() [with T = B]' is private within this context
};int main(){B b;  return 0;
}

说明:在上述代码中 B 类是不能被继承的类。

具体原因:

  • 虽然 Base 类构造函数和析构函数被声明为私有 private,在 B 类中,由于 B 是 Base 的友元,因此可以访问 Base 类构造函数,从而正常创建 B 类的对象;
  • B 类继承 Base 类采用虚继承的方式,创建 C 类的对象时,C 类的构造函数要负责 Base 类的构造,但是 Base 类的构造函数私有化了,C 类没有权限访问。因此,无法创建 C 类的对象, B 类是不能被继承的类。

注意:在继承体系中,友元关系不能被继承,虽然 C 类继承了 B 类,B 类是 Base 类的友元,但是 C 类和 Base 类没有友元关系。

这里采用虚继承的原因是,直接由最低层次的派生类构造函数初始化虚基类。这是因为在菱形继承中,可能会存在对虚基类的多次初始化问题,为了避免出现该问题,在采用虚继承的时候,直接由最低层次的派生类构造函数直接负责虚基类类的构造。如果不加virtual的话,在构造函数的顺序中,每个类只负责自己的直接基类的初始化,所以还是可以生成对象的。加上了virtual之后,C直接负责Base类的构造,但是Base类的构造函数和析构函数都是private,C无法访问,所以不能生成对象。

6. 语言特性相关

6.1 左值和右值的区别?左值引用和右值引用的区别,如何将左值转换成右值?

左值:指表达式结束后依然存在的持久对象。

右值:表达式结束就不再存在的临时对象。

左值和右值的区别:左值持久,右值短暂

右值引用和左值引用的区别:

  • 左值引用不能绑定到要转换的表达式、字面常量或返回右值的表达式。右值引用恰好相反,可以绑定到这类表达式,但不能绑定到一个左值上。
  • 右值引用必须绑定到右值的引用,通过 && 获得。右值引用只能绑定到一个将要销毁的对象上,因此可以自由地移动其资源。

std::move 可以将一个左值强制转化为右值,继而可以通过右值引用使用该值,以用于移动语义。

#include <iostream>
using namespace std;void fun1(int& tmp)
{ cout << "fun1(int& tmp):" << tmp << endl;
} void fun2(int&& tmp)
{ cout << "fun2(int&& tmp)" << tmp << endl;
} int main()
{ int var = 11; fun1(12); // error: cannot bind non-const lvalue reference of type 'int&' to an rvalue of type 'int'fun1(var);fun2(1);
}

6.2 std::move() 函数的实现原理

std::move() 函数原型:

template <typename T>
typename remove_reference<T>::type&& move(T&& t)
{return static_cast<typename remove_reference<T>::type &&>(t);
}

说明:引用折叠原理

  • 右值传递给上述函数的形参 T&& 依然是右值,即 T&& && 相当于 T&&
  • 左值传递给上述函数的形参 T&& 依然是左值,即 T&& & 相当于 T&

小结:通过引用折叠原理可以知道,move() 函数的形参既可以是左值也可以是右值。

remove_reference 具体实现:

//原始的,最通用的版本
template <typename T> struct remove_reference{typedef T type;  //定义 T 的类型别名为 type
};//部分版本特例化,将用于左值引用和右值引用
template <class T> struct remove_reference<T&> //左值引用
{ typedef T type; }template <class T> struct remove_reference<T&&> //右值引用
{ typedef T type; }   //举例如下,下列定义的a、b、c三个变量都是int类型
int i;
remove_refrence<decltype(42)>::type a;             //使用原版本,
remove_refrence<decltype(i)>::type  b;             //左值引用特例版本
remove_refrence<decltype(std::move(i))>::type  b;  //右值引用特例版本

举例:

int var = 10; 转化过程:
1. std::move(var) => std::move(int&& &) => 折叠后 std::move(int&)2. 此时:T 的类型为 int&,typename remove_reference<T>::type 为 int,这里使用 remove_reference 的左值引用的特例化版本3. 通过 static_cast 将 int& 强制转换为 int&&整个std::move被实例化如下
string&& move(int& t)
{return static_cast<int&&>(t);
}

总结:
std::move() 实现原理:

  1. 利用引用折叠原理将右值经过 T&& 传递类型保持不变还是右值,而左值经过 T&& 变为普通的左值引用,以保证模板可以传递任意实参,且保持类型不变;

  2. 然后通过 remove_refrence 移除引用,得到具体的类型 T;

  3. 最后通过 static_cast<> 进行强制类型转换,返回 T&& 右值引用。

6.3 什么是指针?指针的大小及用法?

指针: 指向另外一种类型的复合类型。

指针的大小: 在 64 位计算机中,指针占 8 个字节空间。

#include<iostream>using namespace std;int main(){int *p = nullptr;cout << sizeof(p) << endl; // 8char *p1 = nullptr;cout << sizeof(p1) << endl; // 8return 0;
}

指针的用法:

  1. 指向普通对象的指针
#include <iostream>using namespace std;class A
{
};int main()
{A *p = new A();return 0;
}
  1. 指向常量对象的指针:常量指针
#include <iostream>
using namespace std;int main(void)
{const int c_var = 10;const int * p = &c_var;cout << *p << endl;return 0;
}
  1. 指向函数的指针:函数指针
#include <iostream>
using namespace std;int add(int a, int b){return a + b;
}int main(void)
{int (*fun_p)(int, int);fun_p = add;cout << fun_p(1, 6) << endl;return 0;
}
  1. 指向对象成员的指针,包括指向对象成员函数的指针和指向对象成员变量的指针。
    特别注意:定义指向成员函数的指针时,要标明指针所属的类。
#include <iostream>using namespace std;class A
{
public:int var1, var2; int add(){return var1 + var2;}
};int main()
{A ex;ex.var1 = 3;ex.var2 = 4;int *p = &ex.var1; // 指向对象成员变量的指针cout << *p << endl;int (A::*fun_p)();fun_p = A::add; // 指向对象成员函数的指针 fun_pcout << (ex.*fun_p)() << endl;return 0;
}
  1. this 指针:指向类的当前对象的指针常量。
#include <iostream>
#include <cstring>
using namespace std;class A
{
public:void set_name(string tmp){this->name = tmp;}void set_age(int tmp){this->age = age;}void set_sex(int tmp){this->sex = tmp;}void show(){cout << "Name: " << this->name << endl;cout << "Age: " << this->age << endl;cout << "Sex: " << this->sex << endl;}private:string name;int age;int sex;
};int main()
{A *p = new A();p->set_name("Alice");p->set_age(16);p->set_sex(1);p->show();return 0;
}

6.4 什么是野指针和悬空指针?

悬空指针:

若指针指向一块内存空间,当这块内存空间被释放后,该指针依然指向这块内存空间,此时,称该指针为“悬空指针”。

举例:

void *p = malloc(size);
free(p);
// 此时,p 指向的内存空间已释放, p 就是悬空指针。

野指针:

“野指针”是指不确定其指向的指针,未初始化的指针为“野指针”。

void *p;
// 此时 p 是“野指针”。

6.5 C++ 11 nullptr 比 NULL 优势

  • NULL:预处理变量,是一个宏,它的值是 0,定义在头文件 中,即 #define NULL 0
  • nullptr:C++ 11 中的关键字,是一种特殊类型的字面值,可以被转换成任意其他类型。

nullptr 的优势:

  1. 有类型,类型是 typdef decltype(nullptr) nullptr_t;,使用 nullptr 提高代码的健壮性。
  2. 函数重载:因为 NULL 本质上是 0,在函数调用过程中,若出现函数重载并且传递的实参是 NULL,可能会出现,不知和哪一个函数匹配的情况;但是传递实参 nullptr 就不会出现这种情况。
#include <iostream>
#include <cstring>
using namespace std;void fun(char const *p)
{cout << "fun(char const *p)" << endl;
}void fun(int tmp)
{cout << "fun(int tmp)" << endl;
}int main()
{fun(nullptr); // fun(char const *p)/*fun(NULL); // error: call of overloaded 'fun(NULL)' is ambiguous*/return 0;
}

需要说明的是,nullptr 本身是 指针类型,不能转化为整数类型,否则还会在重载时出现二义性问题

6.6 指针和引用的区别?

  • 指针所指向的内存空间在程序运行过程中可以改变,而引用所绑定的对象一旦绑定就不能改变。(是否可变)

  • 指针本身在内存中占有内存空间,引用相当于变量的别名,在内存中不占内存空间。(是否占内存)

  • 指针可以为空,但是引用必须绑定对象。(是否可为空)

  • 指针可以有多级,但是引用只能一级。(是否能为多级)

引用是否占内存,取决于编译器的实现。
如果编译器用指针实现引用,那么它占内存。
如果编译器直接将引用替换为其所指的对象,则其不占内存(毕竟,替换掉之后,该引用实际就不存在了)。

顺便一提,你无法用 sizeof 得到引用的大小,sizeof 作用于引用时,你得到的是它对应的对象的大小。

6.7 常量指针和指针常量的区别

常量指针:

常量指针本质上是个指针,只不过这个指针指向的对象是常量。

特点:const 的位置在指针声明运算符 * 的左侧。只要 const 位于 * 的左侧,无论它在类型名的左边或右边,都表示指向常量的指针。(可以这样理解,* 左侧表示指针指向的对象,该对象为常量,那么该指针为常量指针。)

const int * p;
int const * p;

注意 1:指针指向的对象不能通过这个指针来修改,也就是说常量指针可以被赋值为变量的地址,之所以叫做常量指针,是限制了通过这个指针修改变量的值。

例如:

#include <iostream>
using namespace std;int main()
{const int c_var = 8;const int *p = &c_var; *p = 6;            // error: assignment of read-only location '* p'return 0;
}

注意 2:虽然常量指针指向的对象不能变化,可是因为常量指针本身是一个变量,因此,可以被重新赋值。
例如:

#include <iostream>
using namespace std;int main()
{const int c_var1 = 8;const int c_var2 = 8;const int *p = &c_var1; p = &c_var2;return 0;
}

就记住,cosnt修饰的是*p的时候,那么就代表*p的值是不可以改变的,*p代表的就是一个值!

指针常量:
指针常量的本质上是个常量,只不过这个常量的值是一个指针。
特点:const 位于指针声明操作符右侧,表明该对象本身是一个常量,* 左侧表示该指针指向的类型,即以 * 为分界线,其左侧表示指针指向的类型,右侧表示指针本身的性质。

const int var;
int * const c_p = &var;

注意 1:指针常量的值是指针,这个值因为是常量,所以指针本身不能改变。

#include <iostream>
using namespace std;int main()
{int var, var1;int * const c_p = &var;c_p = &var1; // error: assignment of read-only variable 'c_p'return 0;
}

注意 2:指针的内容可以改变。

#include <iostream>
using namespace std;int main()
{int var = 3;int * const c_p = &var;*c_p = 12; return 0;
}

6.8 函数指针和指针函数的区别

指针函数:

指针函数本质是一个函数,只不过该函数的返回值是一个指针。相对于普通函数而言,只是返回值是指针。

看后面的两个字是什么就是什么,是函数就是函数,是指针就是指针。

#include <iostream>
using namespace std;struct Type
{int var1;int var2;
};Type * fun(int tmp1, int tmp2){Type * t = new Type();t->var1 = tmp1;t->var2 = tmp2;return t;
}int main()
{Type *p = fun(5, 6);return 0;
}

函数指针:

函数指针本质是一个指针变量,只不过这个指针指向一个函数。函数指针即指向函数的指针。

举例:

#include <iostream>
using namespace std;
int fun1(int tmp1, int tmp2)
{return tmp1 * tmp2;
}
int fun2(int tmp1, int tmp2)
{return tmp1 / tmp2;
}int main()
{int (*fun)(int x, int y); fun = fun1;cout << fun(15, 5) << endl; fun = fun2;cout << fun(15, 5) << endl; return 0;
}
/*
运行结果:
75
3
*/

函数指针和指针函数的区别:

  • 本质不同

    • 指针函数本质是一个函数,其返回值为指针。

    • 函数指针本质是一个指针变量,其指向一个函数。

  • 定义形式不同

    • 指针函数:int* fun(int tmp1, int tmp2); ,这里* 表示函数的返回值类型是指针类型。

    • 函数指针:int (fun)(int tmp1, int tmp2);,这里 表示变量本身是指针类型。

  • 用法不同

6.9 强制类型转换***

http://c.biancheng.net/cpp/biancheng/view/3297.html

6.10 如何判断结构体是否相等?能否用 memcmp 函数判断结构体相等?

需要重载操作符 == 判断两个结构体是否相等,不能用函数 memcmp 来判断两个结构体是否相等,因为 memcmp 函数是逐个字节进行比较的,而结构体存在内存空间中保存时存在字节对齐,字节对齐时补的字节内容是随机的,会产生垃圾值,所以无法比较。

利用运算符重载来实现结构体对象的比较:

#include <iostream>using namespace std;struct A
{char c;int val;A(char c_tmp, int tmp) : c(c_tmp), val(tmp) {}friend bool operator==(const A &tmp1, const A &tmp2); //  友元运算符重载函数
};bool operator==(const A &tmp1, const A &tmp2)
{return (tmp1.c == tmp2.c && tmp1.val == tmp2.val);
}int main()
{A ex1('a', 90), ex2('b', 80);if (ex1 == ex2)cout << "ex1 == ex2" << endl;elsecout << "ex1 != ex2" << endl; // 输出return 0;
}

6.11 参数传递时,值传递、引用传递、指针传递的区别?

参数传递的三种方式:

  • 值传递:形参是实参的拷贝,函数对形参的所有操作不会影响实参。
  • 指针传递:本质上是值传递,只不过拷贝的是指针的值,拷贝之后,实参和形参是不同的指针,通过指针可以间接的访问指针所指向的对象,从而可以修改它所指对象的值。
  • 引用传递:当形参是引用类型时,我们说它对应的实参被引用传递。
#include <iostream>
using namespace std;void fun1(int tmp){ // 值传递cout << &tmp << endl;
}void fun2(int * tmp){ // 指针传递cout << tmp << endl;
}void fun3(int &tmp){ // 引用传递cout << &tmp << endl;
}int main()
{int var = 5;cout << "var 在主函数中的地址:" << &var << endl;cout << "var 值传递时的地址:";fun1(var);cout << "var 指针传递时的地址:";fun2(&var);cout << "var 引用传递时的地址:";fun3(var);return 0;
}/*
运行结果:
var 在主函数中的地址:0x23fe4c
var 值传递时的地址:0x23fe20
var 指针传递时的地址:0x23fe4c
var 引用传递时的地址:0x23fe4c
*/

6.12 什么是模板?如何实现?

模板:创建类或者函数的蓝图或者公式,分为函数模板和类模板。

实现方式:模板定义以关键字 template 开始,后跟一个模板参数列表。

  • 模板参数列表不能为空;
  • 模板类型参数前必须使用关键字 class 或者 typename,在模板参数列表中这两个关键字含义相同,可互换使用。
template <typename T, typename U, ...>

函数模板:通过定义一个函数模板,可以避免为每一种类型定义一个新函数。

  • 对于函数模板而言,模板类型参数可以用来指定返回类型或函数的参数类型,以及在函数体内用于变量声明或类型转换。
  • 函数模板实例化:当调用一个模板时,编译器用函数实参来推断模板实参,从而使用实参的类型来确定绑定到模板参数的类型。
#include<iostream>using namespace std;template <typename T>
T add_fun(const T & tmp1, const T & tmp2){return tmp1 + tmp2;
}int main(){int var1, var2;cin >> var1 >> var2;cout << add_fun(var1, var2);double var3, var4;cin >> var3 >> var4;cout << add_fun(var3, var4);return 0;
}

类模板:类似函数模板,类模板以关键字 template 开始,后跟模板参数列表。但是,编译器不能为类模板推断模板参数类型,需要在使用该类模板时,在模板名后面的尖括号中指明类型。

#include <iostream>using namespace std;template <typename T>
class Complex
{
public://构造函数Complex(T a, T b){this->a = a;this->b = b;}//运算符重载Complex<T> operator+(Complex &c){Complex<T> tmp(this->a + c.a, this->b + c.b);cout << tmp.a << " " << tmp.b << endl;return tmp;}private:T a;T b;
};int main()
{Complex<int> a(10, 20);Complex<int> b(20, 30);Complex<int> c = a + b;return 0;
}

6.13 函数模板和类模板的区别?

  • 实例化方式不同:函数模板实例化由编译程序在处理函数调用时自动完成,类模板实例化需要在程序中显式指定。

  • 实例化的结果不同:函数模板实例化后是一个函数,类模板实例化后是一个类。

  • 默认参数:类模板在模板参数列表中可以有默认参数。

  • 特化:函数模板只能全特化;而类模板可以全特化,也可以偏特化。

  • 调用方式不同:函数模板可以隐式调用,也可以显式调用;类模板只能显式调用。

函数模板调用方式举例:

#include<iostream>using namespace std;template <typename T>
T add_fun(const T & tmp1, const T & tmp2){return tmp1 + tmp2;
}int main(){int var1, var2;cin >> var1 >> var2;cout << add_fun<int>(var1, var2); // 显式调用double var3, var4;cin >> var3 >> var4;cout << add_fun(var3, var4); // 隐式调用return 0;
}

6.14 什么是可变参数模板?

可变参数模板:接受可变数目参数的模板函数或模板类。将可变数目的参数被称为参数包,包括模板参数包和函数参数包。

  • 模板参数包:表示零个或多个模板参数;
  • 函数参数包:表示零个或多个函数参数。

用省略号来指出一个模板参数或函数参数表示一个包,在模板参数列表中,class… 或 typename… 指出接下来的参数表示零个或多个类型的列表;一个类型名后面跟一个省略号表示零个或多个给定类型的非类型参数的列表。当需要知道包中有多少元素时,可以使用 sizeof… 运算符。

template <typename T, typename... Args> // Args 是模板参数包
void foo(const T &t, const Args&... rest); // 可变参数模板,rest 是函数参数包

实例:

#include <iostream>using namespace std;template <typename T>
void print_fun(const T &t)
{cout << t << endl; // 最后一个元素
}template <typename T, typename... Args>
void print_fun(const T &t, const Args &...args)
{cout << t << " ";print_fun(args...);
}int main()
{print_fun("Hello", "wolrd", "!");return 0;
}
/*运行结果:
Hello wolrd !*/

说明:可变参数函数通常是递归的,第一个版本的 print_fun 负责终止递归并打印初始调用中的最后一个实参。第二个版本的 print_fun 是可变参数版本,打印绑定到 t 的实参,并用来调用自身来打印函数参数包中的剩余值。

6.15 什么是模板特化?为什么特化?

模板特化的原因:模板并非对任何模板实参都合适、都能实例化,某些情况下,通用模板的定义对特定类型不合适,可能会编译失败,

或者得不到正确的结果。因此,当不希望使用模板版本时,可以定义类或者函数模板的一个特例化版本。

模板特化:模板参数在某种特定类型下的具体实现。分为函数模板特化和类模板特化

  • 函数模板特化:将函数模板中的全部类型进行特例化,称为函数模板特化。
  • 类模板特化:将类模板中的部分或全部类型进行特例化,称为类模板特化。

特化分为全特化和偏特化:

  • 全特化:模板中的模板参数全部特例化。
  • 偏特化:模板中的模板参数只确定了一部分,剩余部分需要在编译器编译时确定。

说明:要区分下函数重载与函数模板特化
定义函数模板的特化版本,本质上是接管了编译器的工作,为原函数模板定义了一个特殊实例,而不是函数重载,函数模板特化并不影响函数匹配。

#include <iostream>
#include <cstring>using namespace std;
//函数模板
template <class T>
bool compare(T t1, T t2)
{cout << "通用版本:";return t1 == t2;
}template <> //函数模板特化
bool compare(char *t1, char *t2)
{cout << "特化版本:";return strcmp(t1, t2) == 0;
}int main(int argc, char *argv[])
{char arr1[] = "hello";char arr2[] = "abc";cout << compare(123, 123) << endl;cout << compare(arr1, arr2) << endl;return 0;
}
/*
运行结果:
通用版本:1
特化版本:0
*/

6.16 include " " 和 <> 的区别

include<文件名>#include"文件名" 的区别:

  • 查找文件的位置:#include<>是用于包含系统头文件的指令,通常会在编译器的标准库路径中搜索头文件。如果想要包含本地路径的头文件,应该使用#include"“指令,其中”“内的路径是相对于当前源文件所在的路径进行搜索的。因此,如果使用#include<>指令来包含本地路径的头文件,编译器可能会找不到该头文件,因为它只在标准库路径中搜索。相反,如果使用#include”"指令并提供正确的路径,编译器会在当前源文件所在的目录中搜索该头文件。

  • 使用习惯:对于标准库中的头文件常用 include<文件名>,对于自己定义的头文件,常用 #include"文件名"

6.17 迭代器的作用?

迭代器:一种抽象的设计概念,在设计模式中有迭代器模式,即提供一种方法,使之能够依序寻访某个容器所含的各个元素,而无需暴露该容器的内部表述方式。

作用:在无需知道容器底层原理的情况下,遍历容器中的元素。

实例:

#include <iostream>
#include <vector>
using namespace std;int main()
{vector<int> arr = {1, 2, 3, 4, 5, 6, 7, 8, 9, 0};vector<int>::iterator iter = arr.begin(); // 定义迭代器for (; iter != arr.end(); ++iter){cout << *iter << " ";}return 0;
}
/*
运行结果:
1 2 3 4 5 6 7 8 9 0
*/

6.18 泛型编程如何实现?

泛型编程实现的基础:模板。模板是创建类或者函数的蓝图或者说公式,当时用一个 vector 这样的泛型,或者 find 这样的泛型函数

时,编译时会转化为特定的类或者函数。

泛型编程涉及到的知识点较广,例如:容器、迭代器、算法等都是泛型编程的实现实例。面试者可选择自己掌握比较扎实的一方面进行展开。

  • 容器:涉及到 STL 中的容器,例如:vector、list、map 等,可选其中熟悉底层原理的容器进行展开讲解。

  • 迭代器:在无需知道容器底层原理的情况下,遍历容器中的元素。

  • 模板:可参考本章节中的模板相关问题。

多线程交替打印奇偶数***

#include<iostream>
#include<thread>
#include<mutex>
using namespace std;bool flag = true;
mutex my_mutex;
condition_variable nv;void printfodd()
{unique_lock<mutex> my_guard(my_mutex);for (int i = 0; i < 50; i++){nv.wait(my_guard, []() {return flag == false ? true : false; });flag = true;cout << 2 * i + 1 << endl;nv.notify_one();}my_guard.unlock();}void printfenev()
{unique_lock<mutex> my_guard(my_mutex);for (int i = 0; i < 50; i++){nv.wait(my_guard, []() {return flag == true ? true : false; });flag = false;cout << 2 * i << endl;nv.notify_one();}my_guard.unlock();
}int main()
{thread thread1(printfodd);thread thread2(printfenev);thread1.join();thread2.join();return 0;
}

单例模式例程***

懒汉式:一开始并不会实例化,等什么时候需要用的时候,什么时候就new一个实例出来,

多线程下是不安全的,需要加锁进行优化

#include<iostream>
#include<mutex>
using namespace std;class Singleton {
public:static Singleton* Getinstance(){if (instance == nullptr){instance = new Singleton;}return instance;}
private:Singleton() {}static Singleton* instance;
};Singleton* Singleton::instance = nullptr;

加了安全锁之后得懒汉式:

#include<iostream>
#include<mutex>
using namespace std;
mutex my_mutex;class Singleton {
public:static Singleton* Getinstance(){if (instance == nullptr){unique_lock<std::mutex> urgard(my_mutex);if (instance == nullptr){instance = new Singleton;}}return instance;}
private:Singleton() {}static Singleton* instance;
};Singleton* Singleton::instance = nullptr;int main()
{}

那么我们new了一个对象就要自己释放掉吧,就这样改进,添加一个对象,当超过作用域得收,这个对象就会析构,那么就delete了

#include<iostream>
#include<mutex>
using namespace std;
mutex my_mutex;class Singleton {
public:static Singleton* Getinstance(){if (instance == nullptr){unique_lock<std::mutex> urgard(my_mutex);if (instance == nullptr){static CGrhuishou huishou;instance = new Singleton;}return instance;}}class CGrhuishou{public:~CGrhuishou() {if (Singleton::instance){delete Singleton::instance;Singleton::instance = nullptr;}}};
private:Singleton() {}static Singleton* instance;
};Singleton* Singleton::instance = nullptr;int main()
{}

另一种写法是:

#include <iostream>
#include <mutex>
#include <thread>std::once_flag f_flag;class Singleton {
private:static Singleton* instance;Singleton(){}
public:static Singleton CreatInstance()//这里的函数要定义成静态函数,否则call_once的第二个参数会报错{instance = new Singleton;}static Singleton* Getinstance(){std::call_once(f_flag, CreatInstance);return instance;}};Singleton* Singleton::instance = nullptr;

饿汉式:在一开始类加载的时候就已经在实例化,并且在创建单例对象,以后只管用即可。

#include<iostream>using namespace std;class Singleton {public:static Singleton* Getinstance(){return instance;}
private:Singleton(){}static Singleton* instance;
};Singleton* Singleton::instance = new Singleton;int main()
{}

整理的C++面经(较全)相关推荐

  1. 整理了2022百度上最全涨粉技巧,宝宝们,100种涨粉技巧供给选择。

    整理了2022百度上最全涨粉技巧,宝宝们,100种涨粉技巧供给选择. 混迹抖音三年了,报了无数课程,学习了无数资料技巧,最终融合百家特长,形成了涨粉界的独孤九剑. 百度上第一次公开,看到的小伙伴们速速 ...

  2. 吐血整理!这可能是最全的机器学习工具手册

    点击上方"AI有道",选择"置顶"公众号 重磅干货,第一时间送达 工欲善其事必先利其器!之前我也断断续续给大家发文整理过一些关于数据科学,尤其是机器学习.深度学 ...

  3. 阿里内部全新整理,Java面试题库+全栈笔记限时开源

    说到面试跳槽,大家从当初入行开始就一直摆脱不开它(咱们就是通过不断跳槽才能更快地提升自己).在我们的技术生涯中会有很多大大小小的面试,对我们程序员来说每一次面试都是一次提升的机会,不管是简历修改,还是 ...

  4. 花一周时间整理了3.5W字的全栈自动化测试面试题(答案+学习路线)!为了找到好工作,拼了!

    目录 前言: 一.Web自动化测试面试题 二.APPUI自动化测试面试题 三.接口自动化测试面试题 四.全栈自动化测试学习路线图及全栈资料分享 前言: 这篇文章是为大家在网上收集整理的软件测试面试题目 ...

  5. 【笑小枫-面试篇】Java基础面试题整理,努力做全网最全

    写在前面 或许你只是想白嫖内容,或许你也会忽略这段文字,但我还是想弱弱的说 题目整理耗费了大量精力,希望可以给博主点赞收藏,谢谢大家啦 我呢,笑小枫,一个努力的普通人,也希望可以花1秒钟记住我一下 也 ...

  6. 干货!sqlserver数据库所有知识点总结整理,含代码(挺全的)

    01 T-SQL案例整理 已知有一个表:该表的字段有:id,name,date,gradeid,email,表名为table_name,按要求实现下面内容. 1.插入一条记录: insert into ...

  7. 整理了20张高清数据分析全知识地图,强烈建议收藏!

    转自:数据分析不是个事儿 给大家分享一波20张数据分析的知识地图,话不多说直接上图,觉得有用别忘了转发点赞收藏 (还打包成了电子版,文末领) 1.数据分析步骤地图 2.数据分析基础知识地图 3.数据分 ...

  8. PPT学习整理(八)PPT动画全入门

    学习来源:B站资源https://www.bilibili.com/video/BV1w54y1Q7cZ?p=13&spm_id_from=pageDriver 动画:元素动画.组合动画.切换 ...

  9. 数据资源整理【三】:最全中国各省份城市编码以及经纬度Excel数据【附获取方式】

    数据来源 数据来源于高德地图网站公开数据,数据仅供学习交流使用 获取地址 链接:https://pan.baidu.com/s/1qxLOkzt4j-QHEqj8tDNOFw?pwd=eggk 提取码 ...

  10. 正则匹表达式 — 匹配URL地址+常用正则整理(建议收藏,比较全)

    目录 URL正则匹配 标题一.校验数字的表达式 标题二.校验字符的表达式 标题三.特殊需求表达式 正则总结 待校验 仅供参考 URL正则匹配 /*在输入框中如何判断输入的是一个正确的网址,例如:用户输 ...

最新文章

  1. 树莓派(Raspberry Pi)内部发热测量
  2. 学完了python能做什么-学会Python后都能做什么?网友们的回答简直不要太厉害
  3. Java编程思想:擦除的神秘之处
  4. 后台原理_从浏览器如何进入路由器后台【详细介绍】
  5. android自定义listview 显示数组,android中使用arrayadapter类的自定义列表视图
  6. 华为云.NET Core支持情况调查
  7. PAT乙级(1020 月饼)
  8. 《JavaScript设计模式 张》整理
  9. 联想e480一键恢复小孔_thinkpade480win10如何一键还原
  10. Android学习之多触点滑动
  11. 系统剪切板的使用UIPasteboard
  12. python json数据格式
  13. COdeSmith的教程 CHM格式
  14. 查看网页上次更新时间
  15. 一个div里面包含两个div让两个div垂直居中
  16. 3.5mm接头(耳机头)到RCA接头(莲花头)转接线制作
  17. 自抗扰控制中的扩张状态观测器收敛性分析1
  18. Comparative Evaluation of Genome Assemblers from Long-Read Sequencing for Plants and Crops
  19. php中判断是否为偶数,在PHP中检查偶数和奇数
  20. 可行解、最优解、基解、基可行解、基最优解

热门文章

  1. 博弈论(二): 车联网环境下一个基于 博弈论的十字路口智能 交通控制算法
  2. Redis单机模式主从模式哨兵模式集群模式搭建
  3. css样式学习笔记一
  4. PHP之序列化与反序列化(基础篇)
  5. ndk r21编译OPENSSL1.1.1F FOR ANDROID
  6. 关于less的一些方法
  7. freeipa kinit 报错处理
  8. 电源篇 -- 反激式开关电源
  9. 18款瑞虎7linux车机升级,【瑞虎7中控台】瑞虎7中控台改装、瑞虎7中控起泡修复、维修_车主指南...
  10. 使用kubeadm方式搭建K8S集群