整理的C++面经（较全）

C++篇

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

1. C 和 C++

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

1.1 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 构造函数和析构函数可不可以为虚函数？

构造函数一般不定义为虚函数，原因：

从存储空间的角度考虑：构造函数是在实例化对象的时候进行调用，如果此时将构造函数定义成虚函数，需要通过访问该对象所在的内存空间才能进行虚函数的调用（因为需要通过指向虚函数表的指针调用虚函数表，虽然虚函数表在编译时就有了，但是没有虚函数的指针，虚函数的指针只有在创建了对象才有），但是此时该对象还未创建，便无法进行虚函数的调用。所以构造函数不能定义成虚函数。
从使用的角度考虑：虚函数是基类的指针指向派生类的对象时，通过该指针实现对派生类的虚函数的调用，构造函数是在创建对象时自动调用的。
从实现上考虑：虚表指针是在创建对象之后才有的，因此不能定义成虚函数。
从类型上考虑：在创建对象时需要明确其类型。

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

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

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

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

将析构函数设为私有或受保护
通过将析构函数设为私有或受保护，可以防止对象在栈上分配空间。因为在栈上创建的对象在作用域结束时会自动调用析构函数，而如果析构函数是私有的，编译器将无法在栈上创建对象。

class MyClass { 
    public: // 提供一个静态方法来创建对象 static MyClass* createInstance() { 
    return new MyClass(); } // 提供一个公共的释放对象方法 void destroyInstance() { 
    delete this; } private: // 构造函数和析构函数私有化 MyClass() { 
    // 构造函数的实现 } ~MyClass() { 
    // 析构函数的实现 } }; int main() { 
    // 只能通过 createInstance 方法在堆上创建对象 MyClass* obj = MyClass::createInstance(); // 正常使用对象 obj->destroyInstance(); // 删除对象，释放内存 return 0; }

将构造函数私有化或受保护
将构造函数私有化或受保护，可以确保对象只能通过类的静态方法或友函数在堆上创建，而不能直接在栈上创建。

class MyClass { 
    public: // 静态方法在堆上创建对象 static MyClass* createInstance() { 
    return new MyClass(); } private: // 私有构造函数，禁止直接在栈上创建对象 MyClass() { 
    // 构造函数的实现 } }; int main() { 
    // MyClass obj; // 错误：构造函数是私有的，不能直接创建 MyClass* obj = MyClass::createInstance(); // 在堆上创建对象 delete obj; // 手动删除对象，释放内存 return 0; }

禁止拷贝构造和赋值操作
通常，为了防止不必要的对象复制或赋值操作，你还可以禁止拷贝构造函数和赋值操作符的使用：

class MyClass { 
    public: // 静态方法在堆上创建对象 static MyClass* createInstance() { 
    return new MyClass(); } private: // 私有构造函数，禁止直接在栈上创建对象 MyClass() { 
    // 构造函数的实现 } // 私有析构函数，防止栈上销毁 ~MyClass() { 
    // 析构函数的实现 } // 禁止拷贝构造和赋值操作 MyClass(const MyClass&) = delete; MyClass& operator=(const MyClass&) = delete; }; int main() { 
    MyClass* obj = MyClass::createInstance(); // 在堆上创建对象 // MyClass obj2 = *obj; // 错误：拷贝构造函数被删除 // MyClass obj3; // obj3 = *obj; // 错误：赋值操作符被删除 delete obj; // 手动删除对象，释放内存 return 0; }

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

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

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

另外，使用静态函数还可以通过限制函数的访问权限来保护类的封装性。由于静态函数是类的成员函数，因此可以在类的定义中将其声明为私有(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 类都有哪几种构造方式？

默认构造函数 Student(）；//没有参数
有参构造函数 Student(int num，int age）；//有参数
拷贝构造函数 Student(Student&）；//形参是本类对象的引用
转换构造函数 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）静态多态（编译阶段，地址早绑定）

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

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

派生类
虚函数

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

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

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

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

3.3 虚函数可以内联吗？

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

4. 内存管理

4.1 new 和malloc 的区别

new 和 malloc 是 C++ 和 C 中用于动态内存分配的两种不同机制，它们在功能、用途、以及底层实现上有显著的区别。下面详细解释这些区别。

1）内存分配与初始化
new 操作符：
内存分配：new 操作符在堆上为对象分配内存。
对象初始化：new 在分配内存后，还会调用对象的构造函数，对对象进行初始化。
语法：

int* p = new int(5); // 分配内存并初始化为 5 MyClass* obj = new MyClass(); // 分配内存并调用构造函数

malloc 函数：
内存分配：malloc 仅在堆上分配指定大小的原始内存块，但不会进行任何初始化。
对象初始化：malloc 不会调用构造函数，因此它只能分配内存，不能初始化对象。
语法：

int* p = (int*)malloc(sizeof(int)); // 分配未初始化的内存 *p = 5; // 手动初始化

malloc 函数：malloc 返回 void* 类型的指针，必须手动进行类型转换才能赋值给特定类型的指针。这在 C++ 中可能引发潜在的类型不安全问题。

int* p = new int(5); delete p; // 释放内存并调用析构函数（如果是对象的话）

malloc 函数：内存由 malloc 分配后，必须使用 free 释放。free 仅释放内存，不调用析构函数。

int* p = (int*)malloc(sizeof(int)); free(p); // 仅释放内存

malloc 函数：malloc 是一个标准库函数，不是运算符，不能像 new 那样被重载。它的实现依赖于 C 标准库的 stdlib.h。

try { 
    int* p = new int[00]; } catch (std::bad_alloc& e) { 
    std::cerr << "Memory allocation failed: " << e.what() << std::endl; }

malloc 函数：malloc 如果分配失败，则返回 NULL，调用者需要手动检查返回值并处理分配失败的情况。

int* p = (int*)malloc(sizeof(int) * 00); if (p == NULL) { 
    printf("Memory allocation failed\n"); }

malloc 函数：malloc 通常用于 C 语言中分配内存，或者在需要分配原始内存块时使用。它更适合与 C 语言兼容的代码或不需要构造函数的情况。

int* arr = new int[10]; // 分配并初始化数组 delete[] arr; // 使用 delete[] 释放内存

malloc 函数：可以分配一块连续内存来存储数组，但不会调用构造函数。

int* arr = (int*)malloc(sizeof(int) * 10); free(arr); // 使用 free 释放内存

总结

new 是 C++ 专用的操作符，用于分配和初始化对象，类型安全，并在内存分配失败时抛出异常。
malloc 是 C 语言中的标准库函数，只分配内存，不进行初始化，需要手动转换类型，并在失败时返回 NULL。
根据这些区别，new 更适合用于 C++ 中的对象管理，而 malloc 则更适合在需要分配原始内存或与 C 代码兼容的情况下使用。

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 声明和定义的区别

声明指的是在程序中声明一个变量、函数或类，以便在程序中使用它。声明只是告诉编译器，这个名字存在，但并没有分配内存或定义实现。在C和C++中，可以使用关键字 extern 来显式声明变量或函数，而在Java和Python等语言中，变量和函数在使用前需要先进行定义。
定义指的是实际分配内存并实现变量、函数或类。定义包含了声明，但声明并不包含定义。在定义一个变量或函数时，必须给出其类型、名称和初始值（对于变量）。对于类，定义包括成员变量和成员函数的实现。
总的来说，声明是告诉编译器名字的存在，而定义是为名字分配内存并实现其功能。在使用变量或函数之前，必须先进行声明或定义。

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

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

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

5.4 strcpy和memcpy的区别

strcpy和memcpy都是在C语言和C++语言中用于复制内存块的函数，但它们在使用和效率上有所不同。
strcpy用于将一个以null结尾的字符串从源地址复制到目标地址。它会复制整个字符串，包括null终止符，直到遇到null为止。如果源字符串长度超过目标地址所分配的内存空间，则会导致内存越界和缓冲区溢出问题。
memcpy用于将一段内存块从源地址复制到目标地址，可以复制任意长度的内存块，而不仅限于字符串。memcpy不会关心内存块中是否有null终止符，而只是按照给定的长度复制内存块。因此，使用memcpy时需要确保目标地址有足够的内存空间，否则也会导致缓冲区溢出问题。

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

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

类模板可以定义虚函数，这与普通类类似。但需要注意一些细节。

首先，类模板本身只是一个模板，只有在被实例化后才会生成具体的类。类模板中的虚函数也是在类模板实例化后才具体化。

其次，当类模板实例化后，虚函数机制会正常工作。编译器会根据实例化后的类类型生成虚函数表（vtable），而不是根据类模板本身。例如，考虑下面的类模板及其实例化：

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

在这个例子中，Base 是一个类模板，定义了一个虚函数 foo()。Derived 是一个具体的类，继承自 Base，并重写了 foo() 函数。由于 foo() 在 Base 中被声明为虚函数，所以在 Derived 中重写的 foo() 也是虚函数。通过基类指针调用时，会正确地表现出多态性。

需要注意的是，如果类模板中的某个函数不是虚函数，那么在派生类中即使将其声明为虚函数，该函数也不会成为真正的虚函数。因为虚函数机制要求基类中的函数必须被声明为虚函数。例如：

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

在这个例子中，Base 中的 foo() 不是虚函数，因此在 Derived 中即使将 foo() 声明为虚函数，它也不会成为真正的虚函数。通过基类指针调用时，不会表现出多态性。

提问：那么类成员函数可以定义成模板虚函数吗？

回答:/不，在 C++ 中，成员函数模板不能是虚函数。也就是说，不能将函数模板声明为虚函数。

这是因为虚函数机制要求在编译时知道函数的确切签名，以生成虚函数表（vtable）。而函数模板是在调用时根据模板参数实例化的，编译器无法为未知的模板参数创建虚函数表的入口。

然而，类模板的成员函数可以是虚函数，但虚函数本身不能是模板函数。

考虑以下示例：

#include <iostream> #include <typeinfo> 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; } };

在这个例子中：

Base 类模板定义了一个虚函数 foo(T arg)。
Derived 类模板继承自 Base，并重写了 foo(T arg) 函数。
Derived 类中还定义了一个成员函数模板 foo(U arg)，这不是虚函数。
在 main 函数中：

int main() { 
    Base<int>* b = new Derived<int>(); b->foo(123); // 输出：Derived::foo(123) // b->foo("abc"); // 错误：无法将 const char* 转换为 int Derived<int>* d = new Derived<int>(); d->foo(123); // 输出：Derived::foo(123) d->foo("abc"); // 输出：Derived::foo<const char*>(abc) delete b; delete d; return 0; }

解释：

通过基类指针 b：

b->foo(123); 调用了 Derived::foo(int arg)，因为虚函数机制会在运行时决定调用派生类的实现。
b->foo(“abc”); 无法编译通过，因为 Base 的 foo(int arg) 只接受 int 类型参数，不能接受 const char*。
通过派生类指针 d：
d->foo(123); 调用了 Derived::foo(int arg)。

d->foo(“abc”); 调用了 Derived::foo< U>(U arg)，其中 U 被推断为 const char* 。

注意事项：
成员函数模板不能是虚函数。/因此，通过基类指针无法调用派生类中的成员函数模板。
函数隐藏：/在派生类中，定义了与基类同名的成员函数（包括模板函数）时，会隐藏基类的同名函数。这可能导致基类的虚函数被隐藏。
为了解决函数隐藏的问题，可以在派生类中使用 using 声明，将基类的同名函数引入作用域：

template<typename T> class Derived : public Base<T> { 
    public: using Base<T>::foo; // 引入基类的 foo 函数，防止被隐藏 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; } };

这样，基类的 foo 函数就不会被隐藏，通过基类指针调用虚函数时，行为将符合预期。

完整的修正代码：

#include <iostream> #include <typeinfo> 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: using Base<T>::foo; // 防止隐藏基类的 foo 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); // 输出：Derived::foo(123) // b->foo("abc"); // 编译错误：无法将 const char* 转换为 int Derived<int>* d = new Derived<int>(); d->foo(123); // 输出：Derived::foo(123) d->foo("abc"); // 输出：Derived::foo<char const*>(abc) delete b; delete d; return 0; }

运行结果：

Derived::foo(123) Derived::foo(123) Derived::foo<char const*>(abc)

总结：

类模板可以定义虚函数，并在实例化后正常工作。
虚函数不能是函数模板。成员函数模板不能被声明为虚函数。
函数隐藏需要注意：在派生类中定义与基类同名的成员函数（包括模板函数）时，会隐藏基类的同名函数。使用 using 声明可以避免这个问题。
通过基类指针无法调用派生类的成员函数模板。因为成员函数模板不是虚函数，且基类中没有相应的函数声明。

6. 运算操作符

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

在大多数情况下，这三种方式的效率是相同的，因为编译器会将它们转化为相同的机器码。这意味着它们在程序运行时具有相同的性能和速度。
然而，如果你想要微调效率，那么x++可能会稍微慢一些。这是因为x++需要创建一个临时变量来保存x的旧值，并在递增之前返回这个旧值。而x=x+1和x+=1则不需要这样做，它们会直接将结果存储在x中。
不过需要注意的是，这种微调可能只会对某些特定的编译器或者特定的硬件有影响。在大多数情况下，这些差别非常小。

C++

1.编译内存相关

1.1 C++程序编译过程

编译过程分为四个过程：编译（编译预处理、编译、优化），汇编，链接。

编译预处理：处理以 # 开头的指令；
编译、优化：将源码 .cpp 文件翻译成 .s 汇编代码；
汇编：将汇编代码 .s 翻译成机器指令 .o 文件；
链接：汇编程序生成的目标文件，即 .o 文件，并不会立即执行，因为可能会出现：.cpp 文件中的函数引用了另一个 .cpp 文件中定义的符号或者调用了某个库文件中的函数。那链接的目的就是将这些文件对应的目标文件连接成一个整体，从而生成可执行的程序 .exe 文件。

链接分为两种：

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

补充：

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

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

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

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

二者的优缺点：

静态链接：浪费空间，每个可执行程序都会有目标文件的一个副本，这样如果目标文件进行了更新操作，就需要重新进行编译链接生成可执行程序（更新困难）；优点就是执行的时候运行速度快，因为可执行程序具备了程序运行的所有内容。
动态链接：节省内存、更新方便，但是动态链接是在程序运行时，每次执行都需要链接，相比静态链接会有一定的性能损失。

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 = ""; // p_var1 在栈区；""为字符串常量，存储在常量区 static int s_var = 0; // s_var 为静态变量，存在静态存储区（.data 段） p_var = (char *)malloc(10); // 分配得来的 10 个字节的区域在堆区 free(p_var); return 0; }

1.3 栈和堆的区别

申请方式：栈是系统自动分配，堆是程序员主动申请。
申请后系统响应：分配栈空间，如果剩余空间大于申请空间则分配成功，否则分配失败栈溢出；申请堆空间，堆在内存中呈现的方式类似于链表（记录空闲地址空间的链表），在链表上寻找第一个大于申请空间的节点分配给程序，将该节点从链表中删除，大多数系统中该块空间的首地址存放的是本次分配空间的大小，便于释放，将该块空间上的剩余空间再次连接在空闲链表上。
栈在内存中是连续的一块空间（向低地址扩展）最大容量是系统预定好的，堆在内存中的空间（向高地址扩展）是不连续的。
申请效率：栈是有系统自动分配，申请效率高，但程序员无法控制；堆是由程序员主动申请，效率低，使用起来方便但是容易产生碎片。
存放的内容：栈中存放的是局部变量，函数的参数；堆中存放的内容由程序员控制。

1.4 变量的区别

从作用域看：

全局变量：具有全局作用域。全局变量只需在一个源文件中定义，就可以作用于所有的源文件。当然，其他不包含全局变量定义的源文件需要用 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() { } };

该方法存在的问题：

用 new 创建的对象，通常会使用 delete 释放该对象的内存空间，但此时类的外部无法调用析构函数，因此类内必须定义一个 destory() 函数，用来释放 new 创建的对象。
无法解决继承问题，因为如果这个类作为基类，析构函数要设置成 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 内存对齐

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

结构体变量的首地址能够被其最宽基本类型成员大小与对齐基数中的较小者所整除；
结构体每个成员相对于结构体首地址的偏移量（offset）都是该成员大小与对齐基数中的较小者的整数倍，如有需要编译器会在成员之间加上填充字节（internal padding）；
结构体的总大小为结构体最宽基本类型成员大小与对齐基数中的较小者的整数倍，如有需要编译器会在最末一个成员之后加上填充字节（trailing padding）。

/* 说明：程序是在 64 位编译器下测试的 */ #include <iostream> using namespace std; struct A { short var; // 2 字节 int var1; // 8 字节 （内存对齐原则：填充 2 个字节） 2 (short) + 2 (填充) + 4 (int)= 8 long var2; // 12 字节 8 + 4 (long) = 12 char var3; // 16 字节 （内存对齐原则：填充 3 个字节）12 + 1 (char) + 3 (填充) = 16 string 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 short cout << sizeof(var1) << endl; // 4 int cout << sizeof(var2) << endl; // 4 long cout << sizeof(var3) << endl; // 1 char cout << sizeof(s) << endl; // 32 string cout << sizeof(ex1) << endl; // 48 struct return 0; }

进行内存对齐的原因：（主要是硬件设备方面的问题）

某些硬件设备只能存取对齐数据，存取非对齐的数据可能会引发异常；
某些硬件设备不能保证在存取非对齐数据的时候的操作是原子操作；
相比于存取对齐的数据，存取非对齐的数据需要花费更多的时间；
某些处理器虽然支持非对齐数据的访问，但会引发对齐陷阱（alignment trap）；
某些硬件设备只支持简单数据指令非对齐存取，不支持复杂数据指令的非对齐存取。

内存对齐的优点：

便于在不同的平台之间进行移植，因为有些硬件平台不能够支持任意地址的数据访问，只能在某些地址处取某些特定的数据，否则会抛出异常；
提高内存的访问效率，因为 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) = 8 char 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) = 8 char 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;

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

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

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

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

智能指针（Smart Pointer）是 C++ 提供的一种管理动态内存的工具，用于替代传统的原始指针（raw pointer），以便自动管理内存，防止内存泄漏和其他资源管理问题。智能指针通过 RAII（Resource Acquisition Is Initialization）机制，在对象生命周期结束时自动释放资源，从而简化内存管理。C++ 标准库中提供了几种常用的智能指针，包括 std::unique_ptr、std::shared_ptr、和 std::weak_ptr。下面将详细讲解这些智能指针的工作原理和使用方法。

特点：
独占所有权：同一时间内只能有一个 unique_ptr 指向某个资源，不能共享。
不可复制，但可移动：unique_ptr 不支持复制构造和赋值操作，但支持移动操作。
使用示例：

#include <iostream> #include <memory> int main() { 
    std::unique_ptr<int> p1(new int(42)); // 使用 unique_ptr 管理动态内存 std::cout << "p1: " << *p1 << std::endl; // std::unique_ptr<int> p2 = p1; // 错误，不能复制 unique_ptr std::unique_ptr<int> p2 = std::move(p1); // 移动所有权 std::cout << "p2: " << *p2 << std::endl; // p1 现在为空 if (!p1) { 
    std::cout << "p1 is null" << std::endl; } return 0; // p2 超出作用域，自动释放内存 }

常见用法：
用于实现独占资源管理，如文件句柄、互斥锁等。
适用于需要动态分配内存但无需共享的场景。
3）std::shared_ptr
std::shared_ptr 是一种共享所有权的智能指针，允许多个 shared_ptr 实例共享同一个对象。当最后一个 shared_ptr 被销毁或重置时，所管理的对象才会被释放。

特点：
共享所有权：多个 shared_ptr 可以指向同一个对象，并通过引用计数管理对象的生命周期。
引用计数：每个 shared_ptr 都维护一个引用计数器，记录有多少个 shared_ptr 实例指向同一个对象。当计数降为零时，对象被销毁。
使用示例：

#include <iostream> #include <memory> int main() { 
    std::shared_ptr<int> p1(new int(42)); // 创建 shared_ptr std::cout << "p1: " << *p1 << ", use count: " << p1.use_count() << std::endl; std::shared_ptr<int> p2 = p1; // 复制 shared_ptr，引用计数增加 std::cout << "p2: " << *p2 << ", use count: " << p2.use_count() << std::endl; p1.reset(); // p1 重置，引用计数减少 std::cout << "After reset, p2 use count: " << p2.use_count() << std::endl; return 0; // p2 超出作用域，自动释放内存 }

常见用法：
适用于需要共享资源的场景，如缓存、共享数据结构等。
用于多线程环境下的资源共享。
4）std::weak_ptr
std::weak_ptr 是一种弱引用智能指针，它不改变 shared_ptr 的引用计数。weak_ptr 用于解决循环引用问题，并提供了一种安全访问共享对象的方法。

特点：
弱引用：weak_ptr 不拥有对象，不会增加引用计数。
安全访问：可以通过 weak_ptr 的 lock() 方法获取 shared_ptr，从而安全地访问对象。
使用示例：

#include <iostream> #include <memory> int main() { 
    std::shared_ptr<int> p1(new int(42)); std::weak_ptr<int> wp = p1; // 创建 weak_ptr，不增加引用计数 std::cout << "p1 use count: " << p1.use_count() << std::endl; if (auto sp = wp.lock()) { 
    // 使用 lock() 获取 shared_ptr std::cout << "sp: " << *sp << std::endl; } else { 
    std::cout << "Object no longer exists" << std::endl; } p1.reset(); // 销毁 p1 if (auto sp = wp.lock()) { 
    // 检查对象是否仍然存在 std::cout << "sp: " << *sp << std::endl; } else { 
    std::cout << "Object no longer exists" << std::endl; } return 0; }

常见用法：
用于解决 shared_ptr 之间的循环引用问题。
用于缓存和观察者模式（Observer Pattern）中，避免共享对象被提前销毁。
5）循环引用与 std::weak_ptr
如果两个或多个 shared_ptr 对象之间形成了循环引用（即对象 A 持有对象 B 的 shared_ptr，对象 B 也持有对象 A 的 shared_ptr），那么引用计数将永远不会降为零，导致内存泄漏。这时可以使用 weak_ptr 打破这种循环引用。

示例：

#include <iostream> #include <memory> struct B; struct A { 
    std::shared_ptr<B> b_ptr; ~A() { 
    std::cout << "A destroyed" << std::endl; } }; struct B { 
    std::shared_ptr<A> a_ptr; ~B() { 
    std::cout << "B destroyed" << std::endl; } }; int main() { 
    auto a = std::make_shared<A>(); auto b = std::make_shared<B>(); a->b_ptr = b; b->a_ptr = a; // 形成循环引用 return 0; // 内存泄漏，A 和 B 都不会被销毁 }

通过将其中一个 shared_ptr 改为 weak_ptr，可以打破循环引用：

struct B; struct A { 
    std::shared_ptr<B> b_ptr; ~A() { 
    std::cout << "A destroyed" << std::endl; } }; struct B { 
    std::weak_ptr<A> a_ptr; // 改为 weak_ptr ~B() { 
    std::cout << "B destroyed" << std::endl; } }; int main() { 
    auto a = std::make_shared<A>(); auto b = std::make_shared<B>(); a->b_ptr = b; b->a_ptr = a; // 不会形成循环引用 return 0; // 正常销毁 A 和 B }

示例：

#include <iostream> #include <memory> #include <cstdio> int main() { 
    auto fileCloser = [](FILE* f) { 
    fclose(f); std::cout << "File closed" << std::endl; }; std::unique_ptr<FILE, decltype(fileCloser)> filePtr(fopen("test.txt", "w"), fileCloser); if (filePtr) { 
    std::fprintf(filePtr.get(), "Hello, world!\n"); } return 0; // 自动调用 fileCloser 关闭文件 }

7）性能与开销
unique_ptr：几乎没有额外的开销，直接管理内存，不涉及引用计数。
shared_ptr：由于涉及引用计数器，存在一定的性能开销，特别是在频繁复制或传递 shared_ptr 时。
weak_ptr：主要用作 shared_ptr 的辅助工具，开销与 shared_ptr 类似，但不增加引用计数。
总结
std::unique_ptr：用于独占所有权的场景，不能共享对象。
std::shared_ptr：用于共享所有权的场景，多个指针可以共享同一个对象。
std::weak_ptr：用于弱引用，辅助 shared_ptr 打破循环引用。
智能指针在 C++ 中是一个非常重要的工具，可以帮助开发者更好地管理内存和资源，避免内存泄漏和悬空指针等常见问题。通过使用智能指针，可以让代码更简洁、更安全，并且更容易维护。

1.11 引用计数实现的原理是什么？

std::shared_ptr 的引用计数机制是通过一个独立的控制块（control block）来实现的。这个控制块不仅管理引用计数，还管理其他与智能指针相关的信息，比如指向实际对象的指针和自定义删除器。下面详细讲解 std::shared_ptr 的引用计数是如何工作的。

引用计数（Reference Count）：跟踪有多少个 std::shared_ptr 实例共享同一个对象。每当有一个新的 std::shared_ptr 复制或移动时，引用计数就会增加；当一个 std::shared_ptr 被销毁、重置或离开作用域时，引用计数就会减少。

弱引用计数（Weak Reference Count）：跟踪有多少个 std::weak_ptr 实例引用同一个控制块。只有在所有 std::shared_ptr 和 std::weak_ptr 都被销毁后，控制块才会被释放。

指向对象的指针：存储实际管理的对象的指针。

删除器（Deleter）：一个函数对象或函数指针，用于在引用计数变为 0 时销毁对象。

初始化：当 std::shared_ptr 对象第一次被创建时，控制块会初始化，引用计数设为 1。

std::shared_ptr<int> p1(new int(10)); // 控制块的引用计数为 1

复制：当 std::shared_ptr 被复制时，引用计数增加。

std::shared_ptr<int> p2 = p1; // 引用计数增加到 2

销毁：当 std::shared_ptr 被销毁、重置或者离开作用域时，引用计数减少。如果引用计数减少到 0，控制块会调用删除器来销毁管理的对象。

p1.reset(); // 引用计数减少到 1

当最后一个 std::shared_ptr 被销毁时，引用计数降为 0，控制块调用删除器销毁对象，但控制块本身不会立即被销毁。此时，弱引用计数器仍然存在。

p2.reset(); // 引用计数减少到 0，管理的对象被销毁

当最后一个 std::weak_ptr 被销毁时，弱引用计数也降为 0，此时控制块本身才会被释放，所有与之关联的内存都将被回收。

std::shared_ptr<FILE> file(fopen("example.txt", "r"), fclose); // 使用 fclose 作为自定义删除器

在这个例子中，当引用计数归零时，fclose 会被调用来关闭文件。

std::shared_ptr<int> p1(new int(10)); // 控制块与对象分开存储 std::shared_ptr<int> p2 = std::make_shared<int>(10); // 控制块与对象一起分配和存储

在使用 std::make_shared 时，控制块和对象通常会一起分配在同一块内存中，这可以减少内存分配次数，提高性能。

控制块的销毁：控制块不会在引用计数归零时立即销毁，只有当所有与之关联的 std::weak_ptr 被销毁时，控制块才会被销毁。
lock 操作：std::weak_ptr 可以通过 lock 操作临时获取一个std::shared_ptr，从而安全地访问对象。

总结

std::shared_ptr 的引用计数通过一个独立的控制块实现，控制块管理对象的生命周期。
当所有 std::shared_ptr 实例的引用计数降为 0 时，控制块负责销毁对象，但控制块自身会在 std::weak_ptr 的引用计数也降为 0 时才被销毁。
std::shared_ptr 的引用计数操作是线程安全的，适合在多线程环境中使用。
使用 std::make_shared 可以优化内存分配，因为它会将控制块和对象一起分配在同一块内存中。

以下是一个简单的 shared_ptr 和控制块的实现示例。这个实现会涵盖基础的引用计数、控制块、对象销毁，以及弱引用的处理。

#include <iostream> #include <utility> // for std::move // 控制块类，管理引用计数和实际对象 class ControlBlock { 
    public: int shared_count; // 引用计数 int weak_count; // 弱引用计数 void* ptr; // 指向被管理对象的指针 ControlBlock(void* p) : shared_count(1), weak_count(0), ptr(p) { 
   } ~ControlBlock() { 
    if (ptr) { 
    delete static_cast<int*>(ptr); // 假设管理的对象是 int 类型 } } void add_shared() { 
    ++shared_count; } void add_weak() { 
    ++weak_count; } void release_shared() { 
    if (--shared_count == 0) { 
    delete static_cast<int*>(ptr); // 删除实际对象 ptr = nullptr; release_weak(); // 尝试释放控制块 } } void release_weak() { 
    if (--weak_count == 0 && shared_count == 0) { 
    delete this; // 释放控制块 } } }; template <typename T> class SharedPtr { 
    public: SharedPtr(T* ptr = nullptr) { 
    if (ptr) { 
    cb = new ControlBlock(ptr); } } ~SharedPtr() { 
    if (cb) { 
    cb->release_shared(); } } SharedPtr(const SharedPtr& other) { 
    cb = other.cb; if (cb) { 
    cb->add_shared(); } } SharedPtr(SharedPtr&& other) noexcept : cb(other.cb) { 
    other.cb = nullptr; } SharedPtr& operator=(const SharedPtr& other) { 
    if (this != &other) { 
    if (cb) { 
    cb->release_shared(); } cb = other.cb; if (cb) { 
    cb->add_shared(); } } return *this; } SharedPtr& operator=(SharedPtr&& other) noexcept { 
    if (this != &other) { 
    if (cb) { 
    cb->release_shared(); } cb = other.cb; other.cb = nullptr; } return *this; } T* get() const { 
    return cb ? static_cast<T*>(cb->ptr) : nullptr; } T& operator*() const { 
    return *get(); } T* operator->() const { 
    return get(); } int use_count() const { 
    return cb ? cb->shared_count : 0; } private: ControlBlock* cb = nullptr; }; template <typename T> class WeakPtr { 
    public: WeakPtr() = default; WeakPtr(const SharedPtr<T>& sp) : cb(sp.cb) { 
    if (cb) { 
    cb->add_weak(); } } ~WeakPtr() { 
    if (cb) { 
    cb->release_weak(); } } WeakPtr(const WeakPtr& other) : cb(other.cb) { 
    if (cb) { 
    cb->add_weak(); } } WeakPtr& operator=(const WeakPtr& other) { 
    if (this != &other) { 
    if (cb) { 
    cb->release_weak(); } cb = other.cb; if (cb) { 
    cb->add_weak(); } } return *this; } SharedPtr<T> lock() const { 
    return cb && cb->shared_count > 0 ? SharedPtr<T>(*this) : SharedPtr<T>(); } private: ControlBlock* cb = nullptr; friend class SharedPtr<T>; }; int main() { 
    SharedPtr<int> sp(new int(10)); std::cout << "sp use count: " << sp.use_count() << std::endl; SharedPtr<int> sp2 = sp; std::cout << "sp2 use count: " << sp2.use_count() << std::endl; { 
    WeakPtr<int> wp = sp; std::cout << "WeakPtr created\n"; } sp2 = nullptr; // release sp2 std::cout << "sp use count after reset: " << sp.use_count() << std::endl; return 0; }

代码分析

控制块 (ControlBlock)

shared_count：用于跟踪 SharedPtr 的引用计数。
weak_count：用于跟踪 WeakPtr 的引用计数。
ptr：指向实际管理的对象的指针。
add_shared 和 add_weak：用于增加引用计数。
release_shared 和 release_weak：用于减少引用计数，并在适当的时候销毁对象和控制块。

SharedPtr 实现

构造函数和析构函数：管理对象和控制块的生命周期。引用计数的增加和减少通过 ControlBlock 来实现。
复制构造和赋值：增加引用计数，以反映新共享的对象。
移动构造和赋值：将所有权转移给新对象，不增加引用计数。
use_count：返回当前引用计数。
get、operator*、operator->：提供对管理对象的访问。

WeakPtr 实现

构造函数：可以从 SharedPtr 构造 WeakPtr，增加弱引用计数。
析构函数：减少弱引用计数，当 WeakPtr 的引用计数为零时，如果 SharedPtr 也不再存在，则销毁控制块。
lock：返回一个 SharedPtr，如果原对象还存在（引用计数大于零），则返回一个新的 SharedPtr，否则返回一个空的 SharedPtr。

1.12 一个 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.13 使用智能指针会出现什么问题？怎么解决？

智能指针可能出现的问题：循环引用
在如下例子中定义了两个类 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; // 2 cout << c.use_count() << endl; // 2 } cout << wpp.use_count() << endl; // 1 cout << wpc.use_count() << endl; // 1 return 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_ptr if (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; // 2 cout << c.use_count() << endl; // 1 } cout << wpp.use_count() << endl; // 0 cout << wpc.use_count() << endl; // 0 return 0; }

2. 语言对比

2.1 C++ 11 新特性

2.1.1 自动类型推导（auto 和 decltype）

auto x = 10; // int auto y = 3.14; // double auto z = "hello"; // const char*

decltype：用于获取表达式的类型，而不需要显式地写出类型。

int a = 5; decltype(a) b = 10; // b 的类型是 int

2.1.2 `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; }

2.1.3 右值引用*

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

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

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

左值引用的对象是变量
右值引用的对象是常量

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

2.1.4 范围 for 循环（Range-based for loop）

范围 for 循环使得遍历数组或容器更加简洁。

std::vector<int> vec = { 
   1, 2, 3, 4}; for (auto& v : vec) { 
    std::cout << v << " "; }

2.1.5 智能指针（std::shared_ptr, std::unique_ptr, std::weak_ptr）

C++11 引入了 std::shared_ptr, std::unique_ptr 和 std::weak_ptr，用于自动管理动态内存，避免手动管理内存导致的内存泄漏。

std::shared_ptr：多个指针共享同一资源，通过引用计数管理对象的生命周期。
std::unique_ptr：独占所有权的智能指针，确保资源只能由一个指针拥有。
std::weak_ptr：用于打破 std::shared_ptr 的循环引用。

auto sp = std::make_shared<int>(10); auto up = std::make_unique<int>(20);

2.1.6 移动语义与 std::move

C++11 引入了移动语义（Move Semantics），这是一种优化技术，用于避免不必要的内存分配和数据拷贝。移动语义依赖于右值引用（T&&），并通过 std::move 函数实现对象资源的高效移动，而不是复制。

std::vector<int> vec1 = { 
   1, 2, 3}; std::vector<int> vec2 = std::move(vec1); // 资源从 vec1 移动到 vec2，vec1 变为空

右值引用（Rvalue References）

左值和右值的基本概念

左值（Lvalue）：在表达式中，具有内存地址，可以被赋值的对象。通常是变量、对象等可以被持久引用的对象。
右值（Rvalue）：通常是临时对象、字面量或表达式结果，生命周期很短，不能持久引用。
例如：

int x = 10; // x 是左值 int y = x + 5; // x + 5 是右值，y 是左值

int&& rvalue_ref = 10; // rvalue_ref 是一个右值引用，绑定到右值 10

右值引用的一个主要用途是支持移动语义，即在某些情况下可以“窃取”资源，而不是复制数据。

移动构造函数和移动赋值运算符

移动语义的核心是移动构造函数和移动赋值运算符，它们允许对象在被移动时“窃取”另一个对象的资源，而不必创建副本。

移动构造函数
移动构造函数用于从右值引用构造对象，避免了资源的复制。

class MyClass { 
    public: MyClass() : data(new int[10]) { 
    std::cout << "Constructor" << std::endl; } // 移动构造函数 MyClass(MyClass&& other) noexcept : data(other.data) { 
    other.data = nullptr; // 确保 other 不再拥有资源 std::cout << "Move Constructor" << std::endl; } ~MyClass() { 
    delete[] data; std::cout << "Destructor" << std::endl; } private: int* data; };

在这个例子中，移动构造函数将 other 对象的资源“窃取”到新对象中，并将 other 的指针置为空，以防止资源的重复释放。

移动赋值运算符
移动赋值运算符允许通过移动赋值来避免不必要的内存分配和复制。

class MyClass { 
    public: // 移动赋值运算符 MyClass& operator=(MyClass&& other) noexcept { 
    if (this != &other) { 
    delete[] data; // 释放当前对象的资源 data = other.data; // 窃取资源 other.data = nullptr; // 确保 other 不再拥有资源 std::cout << "Move Assignment" << std::endl; } return *this; } // 其他成员函数同上 };

通过移动赋值运算符，可以有效地将资源从一个对象转移到另一个对象，而不需要临时对象或复制操作。

std::move 函数

std::move 是 C++11 引入的一个标准库函数，用于将一个对象显式转换为右值引用，以便启用移动语义。

#include <utility> MyClass obj1; MyClass obj2 = std::move(obj1); // 启用移动构造函数，obj1 资源转移到 obj2

std::move 实际上并不移动对象本身，它只是将左值强制转换为右值引用，从而告诉编译器：你可以移动这个对象的资源。

移动语义的优势

实践中的移动语义

让我们看一个使用移动语义的示例，它展示了如何避免不必要的复制操作：

#include <vector> #include <iostream> int main() { 
    std::vector<int> vec1 = { 
   1, 2, 3, 4, 5}; std::vector<int> vec2 = std::move(vec1); // vec1 的资源被转移到 vec2 中 std::cout << "vec1 size: " << vec1.size() << std::endl; // 输出 0 std::cout << "vec2 size: " << vec2.size() << std::endl; // 输出 5 return 0; }

在这个例子中，通过 std::move，vec1 的资源（如内存缓冲区）被转移到 vec2，从而避免了创建一个完整的副本。vec1 被清空，vec2 得到了 vec1 的内容。

右值引用和移动语义的其他应用

标准库容器：大多数标准库容器（如 std::vector, std::string, std::map 等）都在 C++11 中被更新，以支持移动语义，这使得它们在处理大对象时更加高效。

函数返回值优化（RVO）和移动语义结合：编译器常常通过 RVO（返回值优化）来避免不必要的对象复制。在不能应用 RVO 的情况下，移动语义提供了进一步的性能优化。
移动捕获的 Lambda 表达式：C++14 引入了 std::move 与 lambda 结合使用的功能，通过 [=] 捕获移动的资源。

auto my_lambda = [vec = std::move(vec1)]() { 
    /* 使用移动后的 vec */ };

总结
移动语义和 std::move 是 C++11 引入的重要特性，旨在通过右值引用的方式优化资源管理，避免不必要的拷贝操作。在处理资源密集型操作时，移动语义可以显著提高程序性能和资源利用效率。理解并有效利用移动语义，可以让 C++ 程序更加高效、简洁。

2.1.7 线程与并发（std::thread, std::mutex, std::future, std::async）

C++11 标准库首次提供了跨平台的多线程支持，主要特性包括：

std::thread：用于创建和管理线程。
std::mutex：用于线程间的同步，防止数据竞争。
std::future 和 std::promise：用于线程间的通信和异步操作的结果处理。
std::async：启动异步任务并返回一个 std::future。

#include <thread> #include <iostream> void hello() { 
    std::cout << "Hello, World!" << std::endl; } int main() { 
    std::thread t(hello); t.join(); // 等待线程完成 return 0; }

2.1.8 Lambda 表达式

Lambda 表达式允许你在代码中定义匿名函数，可以捕获上下文中的变量，使得函数式编程更加灵活。

auto lambda = [](int x, int y) -> int { 
    return x + y; }; std::cout << lambda(2, 3) << std::endl; // 输出 5

2.1.9 常量表达式（constexpr）

constexpr 关键字允许你定义在编译时计算的常量表达式，从而提高程序的性能。

constexpr int square(int x) { 
    return x * x; } int arr[square(10)]; // 数组大小在编译时确定为 100

2.1.10 初始化列表（Initializer List）

C++11 引入了初始化列表语法，使得初始化容器类对象更加简单。

std::vector<int> vec = { 
   1, 2, 3, 4, 5}; // 使用初始化列表初始化 vector

2.1.11 委托构造函数

C++11 允许一个构造函数调用同一个类的另一个构造函数，从而简化代码。

class MyClass { 
    public: MyClass() : MyClass(0) { 
   } // 委托给 MyClass(int) MyClass(int x) : value(x) { 
   } private: int value; };

2.1.12 默认与删除的函数（default 和 delete）

C++11 允许显式地声明默认的或删除的构造函数、析构函数、复制构造函数和赋值运算符。

class MyClass { 
    public: MyClass() = default; // 默认构造函数 MyClass(const MyClass&) = delete; // 禁止复制构造 };

2.1.13 显式转换运算符（explicit）

C++11 允许将转换运算符标记为 explicit，从而防止隐式类型转换。

class MyClass { 
    public: explicit operator bool() const { 
    return true; } }; MyClass obj; // if (obj) { ... } // 允许 // bool b = obj; // 错误，不能隐式转换

2.1.14 枚举类（enum class）

C++11 引入了强类型的枚举类，避免了传统枚举类型的作用域和隐式转换问题。

enum class Color { 
    Red, Green, Blue }; Color c = Color::Red;

2.1.15 nullptr 关键字

C++11 引入了 nullptr 关键字，用于表示空指针，取代了 NULL，从而避免类型不匹配的问题。

int* p = nullptr; // 使用 nullptr 代替 NULL

2.1.16 std::tuple 与结构化绑定

std::tuple 提供了一种在函数中返回多个值的方式，C++11 还允许使用结构化绑定来简化 tuple 的解包。

std::tuple<int, double, std::string> t(1, 3.14, "hello"); int i; double d; std::string s; std::tie(i, d, s) = t; // 解包 tuple

2.1.17 std::array

std::array 提供了一个固定大小的数组类，它是 std::vector 的轻量级替代品。

std::array<int, 3> arr = { 
   1, 2, 3};

2.1.18 基于内存模型的多线程支持

C++11 定义了一个明确的内存模型，用于指导多线程程序如何访问和修改内存。这使得 C++ 的多线程编程更加可预测和安全。

2.1.19 函数返回值优化（ROV）和移动语义结合

函数返回值优化（Return Value Optimization, RVO）和移动语义是 C++ 中两个重要的技术，它们用于避免不必要的对象复制，从而提升程序性能。让我们分别介绍这两个概念，然后讨论它们如何结合使用。

函数返回值优化（RVO）

什么是 RVO？
函数返回值优化（RVO）是编译器的一种优化技术，用于在函数返回对象时，直接在调用者的栈帧中构造返回值对象，而不是先在函数内部构造，然后再复制到调用者的栈帧中。
没有 RVO 的情况下
假设我们有一个函数返回一个类对象，如果没有 RVO，流程如下：

class MyClass { 
    public: MyClass() { 
    std::cout << "Constructor" << std::endl; } MyClass(const MyClass&) { 
    std::cout << "Copy Constructor" << std::endl; } }; MyClass createObject() { 
    MyClass obj; return obj; // 返回局部对象 } int main() { 
    MyClass obj = createObject(); }

没有 RVO 的情况下，执行流程如下：

在 createObject() 函数中创建 obj 对象。
将 obj 复制到调用者的栈帧中，调用拷贝构造函数。
在 main() 函数中最终获得 obj 对象。
输出可能是：

Constructor Copy Constructor

编译器在调用者的栈帧中直接构造 obj，而不是在 createObject() 内部构造。
没有额外的拷贝操作，obj 直接在最终位置被构造。
输出变为：

Constructor

可以看到，RVO 避免了不必要的复制构造，大大提高了性能。

移动语义

在无法应用 RVO 时，编译器会尝试使用移动构造函数或移动赋值运算符来优化性能。

移动构造函数示例

class MyClass { 
    public: MyClass() { 
    std::cout << "Constructor" << std::endl; } MyClass(const MyClass&) { 
    std::cout << "Copy Constructor" << std::endl; } MyClass(MyClass&&) noexcept { 
    std::cout << "Move Constructor" << std::endl; } }; MyClass createObject() { 
    MyClass obj; return obj; } int main() { 
    MyClass obj = createObject(); // 尝试移动构造 }

当 RVO 不可用时，编译器可能使用移动构造函数，输出：

Constructor Move Constructor

RVO 与移动语义的结合

优先级
RVO 优先：如果编译器可以应用 RVO，那么它会直接在返回值的位置构造对象，而不会调用任何拷贝或移动构造函数。
移动语义作为备选：如果由于某种原因无法应用 RVO，编译器会尝试使用移动构造函数（如果可用）来避免拷贝操作。
示例：结合使用 RVO 和移动语义

#include <iostream> class MyClass { 
    public: MyClass() { 
    std::cout << "Constructor" << std::endl; } MyClass(const MyClass&) { 
    std::cout << "Copy Constructor" << std::endl; } MyClass(MyClass&&) noexcept { 
    std::cout << "Move Constructor" << std::endl; } }; MyClass createObject(bool flag) { 
    MyClass obj1; MyClass obj2; if (flag) { 
    return obj1; // RVO 可能会优化这个返回 } else { 
    return obj2; // 或者这个 } } int main() { 
    MyClass obj = createObject(true); }

Constructor

编译器直接在 main() 函数栈帧中构造 obj，没有调用任何拷贝或移动构造函数。

RVO 未生效但移动语义生效：

Constructor Move Constructor

编译器无法应用 RVO，但会尝试使用移动构造函数来减少拷贝开销。

总结

RVO：是一种编译器优化技术，避免了返回值的拷贝操作，直接在目标位置构造对象。C++ 标准允许编译器在符合条件的情况下执行此优化，即使用户没有明确指定。
移动语义：在不能应用 RVO 时，移动语义提供了进一步的优化手段，利用移动构造函数和移动赋值运算符来避免昂贵的复制操作。

结合这两种技术，C++ 可以在处理复杂对象时保持高效，减少不必要的内存操作和性能开销。在现代 C++ 编程中，理解并利用 RVO 和移动语义是编写高性能代码的关键之一。

2.2 C++ 17 新特性

2.2.1 结构化绑定（Structured Bindings）

结构化绑定允许你将对象解包，并将其素绑定到独立的变量中。这对于使用组或其他可以分解的类型（如 std::pair 和 std::tuple）非常有用。

#include <tuple> #include <iostream> std::tuple<int, double, std::string> getData() { return {1, 2.3, "hello"}; } int main() { auto [a, b, c] = getData(); // 结构化绑定 std::cout << a << ", " << b << ", " << c << std::endl; }

2.2.2 if 和 switch 语句中的初始化

C++17 允许在 if 和 switch 语句中直接进行初始化，使代码更加简洁和局部化。

#include <iostream> int main() { 
    if (int x = 5; x > 3) { 
    // 在 if 语句中初始化 std::cout << "x is greater than 3" << std::endl; } else { 
    std::cout << "x is not greater than 3" << std::endl; } }

2.2.3 std::optional

std::optional 是一个用于表示值可能存在或不存在的类型。它是处理函数返回值时避免使用指针或特殊值（如 -1 或 NULL）的优雅解决方案。

#include <iostream> #include <optional> std::optional<int> find(bool condition) { 
    if (condition) return 42; return std::nullopt; } int main() { 
    std::optional<int> result = find(true); if (result) { 
    std::cout << "Found: " << *result << std::endl; } else { 
    std::cout << "Not found" << std::endl; } }

2.2.4 std::variant

std::variant 是一种类型安全的联合体，它可以存储多个类型中的一个，并且你可以安全地访问其中存储的值。

#include <iostream> #include <variant> int main() { 
    std::variant<int, float, std::string> var; var = 10; // 存储 int var = "Hello"; // 存储 string std::cout << std::get<std::string>(var) << std::endl; // 访问 string }

2.2.5 std::any

std::any 是一种类型安全的通用容器，可以存储任何类型的值。它是类型安全的替代品，与传统的类型不安全的联合体不同。

#include <iostream> #include <any> int main() { 
    std::any a = 10; a = std::string("Hello"); if (a.type() == typeid(std::string)) { 
    std::cout << std::any_cast<std::string>(a) << std::endl; } }

2.2.6 std::filesystem

std::filesystem 提供了对文件系统的支持，如路径处理、文件和目录的操作等。它使得在 C++ 中处理文件系统变得更加简单和安全。

#include <iostream> #include <filesystem> int main() { 
    std::filesystem::path p = "/path/to/file.txt"; if (std::filesystem::exists(p)) { 
    std::cout << p << " exists" << std::endl; } }

2.2.7 折叠表达式（Fold Expressions）

折叠表达式简化了可变模板参数包的处理。它允许你对参数包进行递归操作，而无需手动展开。

#include <iostream> template<typename... Args> auto sum(Args... args) { 
    return (args + ...); // 使用折叠表达式计算参数包的和 } int main() { 
    std::cout << sum(1, 2, 3, 4, 5) << std::endl; // 输出 15 }

2.2.8 内联变量（Inline Variables）

在 C++17 之前，静态数据成员的定义通常需要在类定义外部进行一次声明。C++17 引入了内联变量，使得在头文件中定义静态数据成员变得更加简单。

struct MyClass { 
    static inline int value = 10; // 内联变量 };

2.2.9 std::string_view

std::string_view 是一个轻量级的字符串类，它提供了对现有字符串（如 std::string 或 C 字符串）的一种非所有权的引用，避免了不必要的字符串拷贝。

#include <iostream> #include <string_view> void print(std::string_view sv) { 
    std::cout << sv << std::endl; } int main() { 
    std::string s = "Hello, World!"; print(s); // 无需拷贝整个字符串 }

2.2.10 constexpr if

constexpr if 允许在编译时根据条件选择代码路径，特别适合模板编程，使得代码更加简洁和高效。

#include <iostream> template <typename T> void foo(T x) { 
    if constexpr (std::is_integral_v<T>) { 
    std::cout << "Integer: " << x << std::endl; } else { 
    std::cout << "Not an integer" << std::endl; } } int main() { 
    foo(10); // 输出 Integer: 10 foo(3.14); // 输出 Not an integer }

2.2.11 std::shared_mutex 和 std::scoped_lock

C++17 引入了 std::shared_mutex 和 std::scoped_lock，简化了多线程编程中的锁定操作。

#include <iostream> #include <shared_mutex> #include <thread> std::shared_mutex mutex; int data = 0; void reader() { 
    std::shared_lock lock(mutex); std::cout << "Read data: " << data << std::endl; } void writer() { 
    std::unique_lock lock(mutex); data++; std::cout << "Wrote data: " << data << std::endl; } int main() { 
    std::thread t1(reader); std::thread t2(writer); t1.join(); t2.join(); }

2.2.12 自动推导 class 模板参数

C++17 允许编译器自动推导 class 模板的参数类型，使得模板的使用更加直观。

#include <iostream> #include <utility> template <typename T, typename U> struct Pair { 
    T first; U second; }; int main() { 
    Pair p{ 
   10, 20.5}; // 编译器自动推导 T 为 int，U 为 double std::cout << p.first << ", " << p.second << std::endl; }

2.2.13 模板参数包的 typename

在 C++17 中，你可以在模板参数包中使用 typename 或 class，二者等效。这是 C++ 标准的一个小改动，但让代码风格更加一致。

template <typename... Args> // 或者 class... Args void func(Args... args) { 
    // 函数体 }

2.2.14 [[nodiscard]] 属性

[[nodiscard]] 属性用于标记一个函数的返回值，如果调用者忽略了这个返回值，编译器会发出警告。这有助于防止程序中潜在的错误，特别是在函数返回重要状态信息时。

[[nodiscard]] int compute() { 
    return 42; } int main() { 
    compute(); // 如果没有使用返回值，编译器会警告 }

2.2.15 std::byte

std::byte 是一种新的数据类型，它专门用于表示原始字节数据，避免了使用 char 或 unsigned char 时的混淆。

#include <iostream> #include <cstddef> int main() { 
    std::byte b = std::byte{ 
   0x1F}; // 定义一个字节 std::cout << std::to_integer<int>(b) << std::endl; // 输出 31 }

2.3 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 provided return 0; }

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

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

重写和重载的区别：

范围区别：对于类中函数的重载或者重写而言，重载发生在同一个类的内部，重写发生在不同的类之间（子类和父类之间）。
参数区别：重载的函数需要与原函数有相同的函数名、不同的参数列表，不关注函数的返回值类型；重写的函数的函数名、参数列表和返回值类型都需要和原函数相同，父类中被重写的函数需要有 virtual 修饰。
virtual 关键字：重写的函数基类中必须有 virtual关键字的修饰，重载的函数可以有 virtual 关键字的修饰也可以没有。

隐藏和重写，重载的区别：

范围区别：隐藏与重载范围不同，隐藏发生在不同类中。
参数区别：隐藏函数和被隐藏函数参数列表可以相同，也可以不同，但函数名一定相同；当参数不同时，无论基类中的函数是否被 virtual 修饰，基类函数都是被隐藏，而不是重写。

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

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

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

实现过程：

在类中用 virtual 关键字声明的函数叫做虚函数；
存在虚函数的类都有一个虚函数表，当创建一个该类的对象时，该对象有一个指向虚函数表的虚表指针（虚函数表和类对应的，虚表指针是和对象对应）；
当基类指针指向派生类对象，基类指针调用虚函数时，基类指针指向派生类的虚表指针，由于该虚表指针指向派生类虚函数表，通过遍历虚表，寻找相应的虚函数。

基类的虚函数表如下：

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

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

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

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

4. 关键字库函数

4.1 sizeof 和 strlen 的区别

strlen 是头文件中的函数，sizeof 是 C++ 中的运算符。
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; // 5 cout << sizeof(arr) << endl; // 10 return 0; }

若字符数组 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 */

strlen 本身是库函数，因此在程序运行过程中，计算长度；而 sizeof 在编译时，计算长度；
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 是 C++ 中的一个关键字，用于修饰构造函数或类型转换运算符，防止它们在不经意间被隐式调用，从而避免隐式转换带来的潜在问题和错误。explicit 关键字的主要作用是使代码更加清晰和安全，减少由于隐式转换导致的意外行为。

隐式转换和构造函数

在 C++ 中，当你为一个类定义了单参数的构造函数时，这个构造函数通常会被编译器认为是可以隐式调用的，这意味着该构造函数可以用于类型转换。

class MyClass { 
    public: MyClass(int value) : value(value) { 
   } private: int value; }; void func(MyClass obj) { 
    // 函数体 } int main() { 
    func(42); // 隐式转换：int 42 被转换为 MyClass }

在这个例子中，调用 func(42) 时，编译器会自动将整数 42 转换为 MyClass 对象，这就是隐式转换的一个例子。这种行为在某些情况下可能是有意的，但也可能导致意想不到的错误，特别是在函数重载、复杂的类型系统或模板编程中。

使用 explicit 禁止隐式转换

为了防止这种隐式转换，你可以在构造函数前加上 explicit 关键字：

class MyClass { 
    public: explicit MyClass(int value) : value(value) { 
   } private: int value; }; void func(MyClass obj) { 
    // 函数体 } int main() { 
    // func(42); // 错误：不能隐式转换 int 到 MyClass MyClass obj(42); func(obj); // 合法，显式创建 MyClass 对象 }

加上 explicit 后，func(42) 将导致编译错误，因为编译器不再允许隐式转换。要调用 func，你必须显式地创建 MyClass 对象，如 MyClass obj(42);。

类型转换运算符的 explicit

除了构造函数，explicit 也可以用于类型转换运算符。类型转换运算符允许对象在需要时转换为其他类型。如果不使用 explicit，这些转换可能会在不经意间被调用。

class MyClass { 
    public: operator int() const { 
    return value; } private: int value = 42; }; int main() { 
    MyClass obj; int x = obj; // 隐式转换，MyClass 被转换为 int }

在这个例子中，obj 被隐式转换为 int，赋值给 x。

class MyClass { 
    public: explicit operator int() const { 
    return value; } private: int value = 42; }; int main() { 
    MyClass obj; // int x = obj; // 错误：不能隐式转换 MyClass 到 int int x = static_cast<int>(obj); // 合法，显式转换 }

加上 explicit 后，编译器不再允许隐式转换。要将 MyClass 对象转换为 int，你必须显式地进行转换，如 static_cast(obj)。

explicit 的使用场景

单参数构造函数：防止将单一参数自动转换为对象类型。通常在设计类时，如果不希望构造函数被用作隐式转换，则应将构造函数标记为 explicit。

class MyClass { 
    public: explicit MyClass(int value) : value(value) { 
   } // ... }; MyClass obj = 10; // 错误，必须显式创建对象：MyClass obj(10);

多参数构造函数：虽然多参数构造函数不能用于隐式转换，但如果使用默认参数将其变为单参数构造函数，它也可能发生隐式转换。因此，在这种情况下使用 explicit 也是合理的。

class MyClass { 
    public: explicit MyClass(int value = 0) : value(value) { 
   } // ... }; MyClass obj = 10; // 错误，必须显式创建对象：MyClass obj(10);

类型转换运算符：防止类的对象在不经意间被转换为其他类型。

class MyClass { 
    public: explicit operator bool() const { 
    return value != 0; } // ... private: int value; }; MyClass obj; if (obj) { 
    // 错误，必须显式转换为 bool：if (static_cast<bool>(obj)) { ... } // ... }

在 C++11 及之后的扩展

在 C++11 及之后的标准中，explicit 可以与带有多个参数的构造函数一起使用，并且在 C++20 中，explicit 也可以应用于模板化构造函数。

template<typename T> class MyClass { 
    public: explicit MyClass(T value) : value(value) { 
   } private: T value; }; MyClass<int> obj1(42); // 合法 MyClass<int> obj2 = 42; // 错误，隐式转换被禁止

explicit 和编译器警告

使用 explicit 可以帮助你编写更健壮的代码。它不仅可以防止意外的隐式转换，还能让代码更加清晰，避免潜在的错误。因此，在设计 API 时，建议对那些不应该被隐式调用的构造函数和类型转换运算符使用 explicit。

总结

explicit 关键字：用于构造函数和类型转换运算符，防止隐式转换。
单参数构造函数：特别适合使用 explicit，因为它们最容易被误用为隐式转换函数。
类型转换运算符：使用 explicit 来防止不必要的或无意的类型转换。
编写安全代码：通过 explicit，你可以避免不必要的隐式转换，使代码行为更加明确和可控。

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 11 return 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; // 静态成员变量在类外进行初始化赋值，默认初始化为 0 int main() { // cout << A::sa << endl; // error: 'int A::sa' is private within this context A ex; ex.show(); A::s_show(); }

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

static 静态成员变量：

静态成员变量是在类内进行声明，在类外进行定义和初始化，在类外进行定义和初始化的时候不要出现 static 关键字和private、public、protected 访问规则。
静态成员变量相当于类域中的全局变量，被类的所有对象所共享，包括派生类的对象。
静态成员变量可以作为成员函数的参数，而普通成员变量不可以。

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

静态数据成员的类型可以是所属类的类型，而普通数据成员的类型只能是该类类型的指针或引用。

#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 静态成员函数：

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

相同点：

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

不同点：

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

4.7 const 作用及用法

作用：

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

在类中的用法：

const 成员变量：

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

const 成员函数：

不能修改成员变量的值，除非有 mutable 修饰；只能访问成员变量。
不能调用非常量成员函数，以防修改成员变量的值。

#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: int INTPTR2 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 是一个关键字，可以用于定义内联函数。内联函数，像普通函数一样被调用，但是在调用时并不通过函数调用的机制而是直接在调用点处展开，这样可以大大减少由函数调用带来的开销，从而提高程序的运行效率。

使用方法：

类内定义成员函数默认是内联函数
在类内定义成员函数，可以不用在函数头部加 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; }

类外定义成员函数，若想定义为内联函数，需用关键字声明
当在类内声明函数，在类外定义函数时，如果想将该函数定义为内联函数，则可以在类内声明时不加 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的补充

内联函数的作用：

消除函数调用的开销。

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

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

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

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

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

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

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

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

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

“调用”普通函数时，一定是调用吗？

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

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

错。

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

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

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

4.12 inline 函数工作原理

内联函数不是在调用时发生控制转移关系，而是在编译阶段将函数体嵌入到每一个调用该函数的语句块中，编译器会将程序中出现内联函数的调用表达式用内联函数的函数体来替换。
普通函数是将程序执行转移到被调用函数所存放的内存地址，当函数执行完后，返回到执行此函数前的地方。转移操作需要保护现场，被调函数执行完后，再恢复现场，该过程需要较大的资源开销。

4.13 宏定义（define）和内联函数（inline）的区别

内联函数是在编译时展开，而宏在编译预处理时展开；在编译的时候，内联函数直接被嵌入到目标代码中去，而宏只是一个简单的文本替换。
内联函数是真正的函数，和普通函数调用的方法一样，在调用点处直接展开，避免了函数的参数压栈操作，减少了调用的开销。而宏定义编写较为复杂，常需要增加一些括号来避免歧义。
宏定义只进行文本替换，不会对参数的类型、语句能否正常编译等进行检查。而内联函数是真正的函数，会对参数的类型、函数体内的语句编写是否正确等进行检查。

#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 [] 的区别：

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

在使用的时候 new、delete 搭配使用，malloc、free 搭配使用。

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 内存映射原理：

进程启动映射过程，并在虚拟地址空间中为映射创建虚拟映射区域；
调用内核空间的系统调用函数 mmap()，实现文件物理地址和进程虚拟地址的一一映射关系；
进程发起对这片映射空间的访问，引发缺页异常，实现文件内容到物理内存（主存）的拷贝。

4.19 C 和 C++ struct 的区别？

在 C 语言中 struct 是用户自定义数据类型；在 C++ 中 struct 是抽象数据类型，支持成员函数的定义。
C 语言中 struct 没有访问权限的设置，是一些变量的集合体，不能定义成员函数；C++ 中 struct 可以和类一样，有访问权限，并可以定义成员函数。
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; // 10 cout << sizeof(u22) << endl; // 12 cout << sizeof(u33) << endl; // 16 cout << sizeof(s11) << endl; // 16 cout << sizeof(s22) << endl; // 16 cout << sizeof(s33) << endl; // 24 cout << sizeof(int) << endl; // 4 cout << sizeof(double) << endl; // 8 return 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 ，同时具有二者的属性。

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个字节

4.27 memcpy 函数的底层原理？

4.28 strcpy 函数有什么缺陷？

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

4.29 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-05)(C:\Users\ZHAOCHENHAO\Pictures\Camera Roll\-Jgekej-image.png)]

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

直接继承：Base2 、Base3
间接继承：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，当然也可以声明来源于类 Base3 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; }

解决方法 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-05)(C:\Users\ZHAOCHENHAO\Pictures\Camera Roll\-IhAKvb-image.png)]

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

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

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

#include <iostream> using namespace std; class A { }; int main() { cout << "sizeof(A):" << sizeof(A) << endl; // sizeof(A):1 return 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):1 delete 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 实例化一个对象需要哪几个阶段

分配空间

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

初始化

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

赋值

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

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

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

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

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

使用场景：

普通函数定义为友函数，使普通函数能够访问类的私有成员。

#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; // 4 return 0; }

友类：类之间共享数据。

#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():10 return 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里面的内容转交给a A c = geta();//返回的本身就是一个临时左值，然后就可以直接将临时对象里面的内容转交给c； return 0; }

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

编译时多态：在程序编译过程中出现，发生在模板和函数重载中（泛型编程）。

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

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

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

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

如果想达到一个类的成员函数不能修改类的成员变量，只需用 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); }

利用引用折叠原理将右值经过 T&& 传递类型保持不变还是右值，而左值经过 T&& 变为普通的左值引用，以保证模板可以传递任意实参，且保持类型不变；
然后通过 remove_refrence 移除引用，得到具体的类型 T；
最后通过 static_cast<> 进行强制类型转换，返回 T&& 右值引用。

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

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

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

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

指针的用法：

指向普通对象的指针

#include <iostream> using namespace std; class A { }; int main() { A *p = new A(); return 0; }

指向常量对象的指针：常量指针

#include <iostream> using namespace std; int main(void) { const int c_var = 10; const int * p = &c_var; cout << *p << endl; return 0; }

指向函数的指针：函数指针

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

指向对象成员的指针，包括指向对象成员函数的指针和指向对象成员变量的指针。
特别注意：定义指向成员函数的指针时，要标明指针所属的类。

#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_p cout << (ex.*fun_p)() << endl; return 0; }

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 的优势：

有类型，类型是 typdef decltype(nullptr) nullptr_t;，使用 nullptr 提高代码的健壮性。
函数重载：因为 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; }

#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; else cout << "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++面经（较全）分享到此就结束了，感谢您的阅读。