README.md 145.2 KB
Newer Older
辉哈's avatar
辉哈 已提交
1
<div align="center">
2
📖 Github
辉哈's avatar
辉哈 已提交
3
&emsp;&emsp; | &emsp;&emsp;
辉哈's avatar
辉哈 已提交
4
<a href="https://interview.huihut.com">📚 Docsify</a>
5
</div> 
6 7
<br>

辉哈's avatar
辉哈 已提交
8 9 10
<div align="center">
简体中文
&emsp;&emsp; | &emsp;&emsp;
辉哈's avatar
辉哈 已提交
11
<a href="https://github.com/huihut/interview/blob/master/README_en.md">English</a>
辉哈's avatar
辉哈 已提交
12 13 14
</div> 
<br>

辉哈's avatar
辉哈 已提交
15
<b><details><summary>💡 关于</summary></b>
16

辉哈's avatar
辉哈 已提交
17
📚 本仓库是面向 C/C++ 技术方向校招求职者、初学者的基础知识总结,包括语言、程序库、数据结构、算法、系统、网络、链接装载库等知识及面试经验、招聘、内推等信息。
18

19
💡 侧边目录支持方式:[📚 Docsify 文档](https://interview.huihut.com)[Github + TOC 导航](https://github.com/jawil/GayHub)[TOC预览.png](https://gitee.com/huihut/interview/raw/master/images/TOC预览.png)
20

21
📄 保存为 PDF 方式:使用 Chrome 浏览器打开 <a href="https://interview.huihut.com">📚 Docsify 文档</a> 页面,缩起左侧目录-右键 - 打印 - 选择目标打印机是另存为PDF - 保存([打印预览.png](https://gitee.com/huihut/interview/raw/master/images/打印预览.png)
辉哈's avatar
辉哈 已提交
22

23
🙏 仓库内容如有错误或改进欢迎 issue 或 pr,建议或讨论可在 [#12](https://github.com/huihut/interview/issues/12) 提出。由于本人水平有限,仓库中的知识点有来自本人原创、读书笔记、书籍、博文等,非原创均已标明出处,如有遗漏,请 issue 提出。本仓库遵循 [CC BY-NC-SA 4.0(署名 - 非商业性使用 - 相同方式共享)](https://github.com/huihut/interview/blob/master/LICENSE) 协议,转载请注明出处,不得用于商业目的。
24 25 26

</details>

27 28
## 📑 目录

29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52
* [➕ C/C++](#cc)
* [⭐️ Effective](#effective)
* [📦 STL](#stl)
* [〽️ 数据结构](#data-structure)
* [⚡️ 算法](#algorithm)
* [❓ Problems](#problems)
* [💻 操作系统](#os)
* [☁️ 计算机网络](#computer-network)
* [🌩 网络编程](#network-programming)
* [💾 数据库](#database)
* [📏 设计模式](#design-pattern)
* [⚙️ 链接装载库](#link-loading-library)
* [📚 书籍](#books)
* [🔱 C/C++ 发展方向](#cc-development-direction)
* [💯 复习刷题网站](#review-of-brush-questions-website)
* [📝 面试题目经验](#interview-questions-experience)
* [📆 招聘时间岗位](#recruitment-time-post)
* [👍 内推](#recommend)
* [👬 贡献者](#contributor)
* [🍭 支持赞助](#support-sponsor)
* [📜 License](#license)


<a id="cc"></a>
53 54

## ➕ C/C++
辉哈's avatar
辉哈 已提交
55

56 57 58 59 60
### const

#### 作用

1. 修饰变量,说明该变量不可以被改变;
61 62
2. 修饰指针,分为指向常量的指针(pointer to const)和自身是常量的指针(常量指针,const pointer);
3. 修饰引用,指向常量的引用(reference to const),用于形参类型,即避免了拷贝,又避免了函数对值的修改;
63 64
4. 修饰成员函数,说明该成员函数内不能修改成员变量。

辉哈's avatar
辉哈 已提交
65 66 67 68 69 70 71 72 73
#### const 的指针与引用

* 指针
    * 指向常量的指针(pointer to const)
    * 自身是常量的指针(常量指针,const pointer)
* 引用
    * 指向常量的引用(reference to const)
    * 没有 const reference,因为引用本身就是 const pointer

辉哈's avatar
辉哈 已提交
74 75
> (为了方便记忆可以想成)被 const 修饰(在 const 后面)的值不可改变,如下文使用例子中的 `p2`、`p3`

76 77
#### 使用

78
const 使用
79 80 81 82 83 84 85 86 87 88

```cpp
// 类
class A
{
private:
    const int a;                // 常对象成员,只能在初始化列表赋值

public:
    // 构造函数
X
xiang 已提交
89
    A() : a(0) { };
90 91 92 93
    A(int x) : a(x) { };        // 初始化列表

    // const可用于对重载函数的区分
    int getValue();             // 普通成员函数
辉哈's avatar
辉哈 已提交
94
    int getValue() const;       // 常成员函数,不得修改类中的任何数据成员的值
95 96 97 98 99
};

void function()
{
    // 对象
辉哈's avatar
辉哈 已提交
100 101
    A b;                        // 普通对象,可以调用全部成员函数、更新常成员变量
    const A a;                  // 常对象,只能调用常成员函数
辉哈's avatar
辉哈 已提交
102
    const A *p = &a;            // 指针变量,指向常对象
103
    const A &q = a;             // 指向常对象的引用
104 105 106 107

    // 指针
    char greeting[] = "Hello";
    char* p1 = greeting;                // 指针变量,指向字符数组变量
辉哈's avatar
辉哈 已提交
108
    const char* p2 = greeting;          // 指针变量,指向字符数组常量(const 后面是 char,说明指向的字符(char)不可改变)
109 110
    char* const p3 = greeting;          // 自身是常量的指针,指向字符数组变量(const 后面是 p3,说明 p3 指针自身不可改变)
    const char* const p4 = greeting;    // 自身是常量的指针,指向字符数组常量
111 112 113 114 115
}

// 函数
void function1(const int Var);           // 传递过来的参数在函数内不可变
void function2(const char* Var);         // 参数指针所指内容为常量
116
void function3(char* const Var);         // 参数指针为常量
117 118 119 120 121 122 123 124
void function4(const int& Var);          // 引用参数在函数内为常量

// 函数返回值
const int function5();      // 返回一个常数
const int* function6();     // 返回一个指向常量的指针变量,使用:const int *p = function6();
int* const function7();     // 返回一个指向变量的常指针,使用:int* const p = function7();
```

辉哈's avatar
辉哈 已提交
125 126 127 128
### static

#### 作用

129
1. 修饰普通变量,修改变量的存储区域和生命周期,使变量存储在静态区,在 main 函数运行前就分配了空间,如果有初始值就用初始值初始化它,如果没有初始值系统用默认值初始化它。
可乐1997's avatar
勘误  
可乐1997 已提交
130
2. 修饰普通函数,表明函数的作用范围,仅在定义该函数的文件内才能使用。在多人开发项目时,为了防止与他人命名空间里的函数重名,可以将函数定位为 static。
辉哈's avatar
辉哈 已提交
131
3. 修饰成员变量,修饰成员变量使所有的对象只保存一个该变量,而且不需要生成对象就可以访问该成员。
132
4. 修饰成员函数,修饰成员函数使得不需要生成对象就可以访问该函数,但是在 static 函数内不能访问非静态成员。
辉哈's avatar
辉哈 已提交
133 134 135

### this 指针

136
1. `this` 指针是一个隐含于每一个非静态成员函数中的特殊指针。它指向调用该成员函数的那个对象。
137
2. 当对一个对象调用成员函数时,编译程序先将对象的地址赋给 `this` 指针,然后调用成员函数,每次成员函数存取数据成员时,都隐式使用 `this` 指针。
辉哈's avatar
辉哈 已提交
138 139
3. 当一个成员函数被调用时,自动向它传递一个隐含的参数,该参数是一个指向这个成员函数所在的对象的指针。
4. `this` 指针被隐含地声明为: `ClassName *const this`,这意味着不能给 `this` 指针赋值;在 `ClassName` 类的 `const` 成员函数中,`this` 指针的类型为:`const ClassName* const`,这说明不能对 `this` 指针所指向的这种对象是不可修改的(即不能对这种对象的数据成员进行赋值操作);
辉哈's avatar
辉哈 已提交
140
5. `this` 并不是一个常规变量,而是个右值,所以不能取得 `this` 的地址(不能 `&this`)。
辉哈's avatar
辉哈 已提交
141
6. 在以下场景中,经常需要显式引用 `this` 指针:
辉哈's avatar
辉哈 已提交
142 143 144
    1. 为实现对象的链式引用;
    2. 为避免对同一对象进行赋值操作;
    3. 在实现一些数据结构时,如 `list`
辉哈's avatar
辉哈 已提交
145

146 147 148 149 150 151 152
### inline 内联函数

#### 特征

* 相当于把内联函数里面的内容写在调用内联函数处;
* 相当于不用执行进入函数的步骤,直接执行函数体;
* 相当于宏,却比宏多了类型检查,真正具有函数特性;
153
* 编译器一般不内联包含循环、递归、switch 等复杂操作的内联函数;
154
* 在类声明中定义的函数,除了虚函数的其他函数都会自动隐式地当成内联函数。
155 156 157

#### 使用

158
inline 使用
159

160
```cpp
161
// 声明1(加 inline,建议使用)
Q
勘误  
Qv Junping 已提交
162
inline int functionName(int first, int second,...);
163

164
// 声明2(不加 inline)
Q
勘误  
Qv Junping 已提交
165
int functionName(int first, int second,...);
166 167

// 定义
Q
勘误  
Qv Junping 已提交
168
inline int functionName(int first, int second,...) {/****/};
169 170 171 172 173 174 175 176 177 178 179

// 类内定义,隐式内联
class A {
    int doA() { return 0; }         // 隐式内联
}

// 类外定义,需要显式内联
class A {
    int doA();
}
inline int A::doA() { return 0; }   // 需要显式内联
180 181
```

辉哈's avatar
辉哈 已提交
182
#### 编译器对 inline 函数的处理步骤
183

184 185 186 187
1. 将 inline 函数体复制到 inline 函数调用点处; 
2. 为所用 inline 函数中的局部变量分配内存空间; 
3. 将 inline 函数的的输入参数和返回值映射到调用方法的局部变量空间中; 
4. 如果 inline 函数有多个返回点,将其转变为 inline 函数代码块末尾的分支(使用 GOTO)。
188 189 190 191 192 193 194 195 196 197 198 199 200

#### 优缺点

优点

1. 内联函数同宏函数一样将在被调用处进行代码展开,省去了参数压栈、栈帧开辟与回收,结果返回等,从而提高程序运行速度。
2. 内联函数相比宏函数来说,在代码展开时,会做安全检查或自动类型转换(同普通函数),而宏定义则不会。 
3. 在类中声明同时定义的成员函数,自动转化为内联函数,因此内联函数可以访问类的成员变量,宏定义则不能。
4. 内联函数在运行时可调试,而宏定义不可以。

缺点

1. 代码膨胀。内联是以代码膨胀(复制)为代价,消除函数调用带来的开销。如果执行函数体内代码的时间,相比于函数调用的开销较大,那么效率的收获会很少。另一方面,每一处内联函数的调用都要复制代码,将使程序的总代码量增大,消耗更多的内存空间。
201
2. inline 函数无法随着函数库升级而升级。inline函数的改变需要重新编译,不像 non-inline 可以直接链接。
202 203
3. 是否内联,程序员不可控。内联函数只是对编译器的建议,是否对函数内联,决定权在于编译器。

204 205
#### 虚函数(virtual)可以是内联函数(inline)吗?

206
> [Are "inline virtual" member functions ever actually "inlined"?](http://www.cs.technion.ac.il/users/yechiel/c++-faq/inline-virtuals.html)
207 208 209

* 虚函数可以是内联函数,内联是可以修饰虚函数的,但是当虚函数表现多态性的时候不能内联。
* 内联是在编译器建议编译器内联,而虚函数的多态性在运行期,编译器无法知道运行期调用哪个代码,因此虚函数表现为多态性时(运行期)不可以内联。
210
* `inline virtual` 唯一可以内联的时候是:编译器知道所调用的对象是哪个类(如 `Base::who()`),这只有在编译器具有实际对象而不是对象的指针或引用时才会发生。
211

212
虚函数内联使用
213

214 215
```cpp
#include <iostream>  
辉哈's avatar
辉哈 已提交
216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236
using namespace std;
class Base
{
public:
	inline virtual void who()
	{
		cout << "I am Base\n";
	}
	virtual ~Base() {}
};
class Derived : public Base
{
public:
	inline void who()  // 不写inline时隐式内联
	{
		cout << "I am Derived\n";
	}
};

int main()
{
237
	// 此处的虚函数 who(),是通过类(Base)的具体对象(b)来调用的,编译期间就能确定了,所以它可以是内联的,但最终是否内联取决于编译器。 
辉哈's avatar
辉哈 已提交
238 239 240 241 242 243 244
	Base b;
	b.who();

	// 此处的虚函数是通过指针调用的,呈现多态性,需要在运行时期间才能确定,所以不能为内联。  
	Base *ptr = new Derived();
	ptr->who();

245
	// 因为Base有虚析构函数(virtual ~Base() {}),所以 delete 时,会先调用派生类(Derived)析构函数,再调用基类(Base)析构函数,防止内存泄漏。
辉哈's avatar
辉哈 已提交
246 247 248 249 250 251
	delete ptr;
	ptr = nullptr;

	system("pause");
	return 0;
} 
252 253
```

254 255 256 257 258 259 260 261 262 263 264
### volatile

```cpp
volatile int i = 10; 
```

* volatile 关键字是一种类型修饰符,用它声明的类型变量表示可以被某些编译器未知的因素(操作系统、硬件、其它线程等)更改。所以使用 volatile 告诉编译器不应对这样的对象进行优化。
* volatile 关键字声明的变量,每次访问时都必须从内存中取出值(没有被 volatile 修饰的变量,可能由于编译器的优化,从 CPU 寄存器中取值)
* const 可以是 volatile (如只读的状态寄存器)
* 指针可以是 volatile

辉哈's avatar
辉哈 已提交
265 266
### assert()

267 268
断言,是宏,而非函数。assert 宏的原型定义在 `<assert.h>`(C)、`<cassert>`(C++)中,其作用是如果它的条件返回错误,则终止程序执行。可以通过定义 `NDEBUG` 来关闭 assert,但是需要在源代码的开头,`include <assert.h>` 之前。

269
assert() 使用
辉哈's avatar
辉哈 已提交
270 271

```cpp
272 273 274 275
#define NDEBUG          // 加上这行,则 assert 不可用
#include <assert.h>

assert( p != NULL );    // assert 不可用
辉哈's avatar
辉哈 已提交
276 277 278 279
```

### sizeof()

280 281
* sizeof 对数组,得到整个数组所占空间大小。
* sizeof 对指针,得到指针本身所占空间大小。
辉哈's avatar
辉哈 已提交
282 283 284

### #pragma pack(n)

285
设定结构体、联合以及类成员变量以 n 字节方式对齐
辉哈's avatar
辉哈 已提交
286

287
#pragma pack(n) 使用
辉哈's avatar
辉哈 已提交
288 289

```cpp
290 291
#pragma pack(push)  // 保存对齐状态
#pragma pack(4)     // 设定为 4 字节对齐
辉哈's avatar
辉哈 已提交
292

辉哈's avatar
辉哈 已提交
293 294
struct test
{
辉哈's avatar
辉哈 已提交
295 296 297
    char m1;
    double m4;
    int m3;
辉哈's avatar
辉哈 已提交
298
};
辉哈's avatar
辉哈 已提交
299

300
#pragma pack(pop)   // 恢复对齐状态
辉哈's avatar
辉哈 已提交
301 302
```

辉哈's avatar
辉哈 已提交
303 304 305 306 307 308 309 310 311 312 313 314
### 位域

```cpp
Bit mode: 2;    // mode 占 2 位
```

类可以将其(非静态)数据成员定义为位域(bit-field),在一个位域中含有一定数量的二进制位。当一个程序需要向其他程序或硬件设备传递二进制数据时,通常会用到位域。

* 位域在内存中的布局是与机器有关的
* 位域的类型必须是整型或枚举类型,带符号类型中的位域的行为将因具体实现而定
* 取地址运算符(&)不能作用于位域,任何指针都无法指向类的位域

辉哈's avatar
辉哈 已提交
315 316
### extern "C"

317
* 被 extern 限定的函数或变量是 extern 类型的
可乐1997's avatar
勘误  
可乐1997 已提交
318
*`extern "C"` 修饰的变量和函数是按照 C 语言方式编译和链接的
辉哈's avatar
辉哈 已提交
319

320
`extern "C"` 的作用是让 C++ 编译器将 `extern "C"` 声明的代码当作 C 语言代码处理,可以避免 C++ 因符号修饰导致代码不能和C语言库中的符号进行链接的问题。
辉哈's avatar
辉哈 已提交
321

322
extern "C" 使用
323

辉哈's avatar
辉哈 已提交
324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375
```cpp
#ifdef __cplusplus
extern "C" {
#endif

void *memset(void *, int, size_t);

#ifdef __cplusplus
}
#endif
```

### struct 和 typedef struct

#### C 中

```c
// c
typedef struct Student {
    int age; 
} S;
```

等价于

```c
// c
struct Student { 
    int age; 
};

typedef struct Student S;
```

此时 `S` 等价于 `struct Student`,但两个标识符名称空间不相同。

另外还可以定义与 `struct Student` 不冲突的 `void Student() {}`

#### C++ 中

由于编译器定位符号的规则(搜索规则)改变,导致不同于C语言。

一、如果在类标识符空间定义了 `struct Student {...};`,使用 `Student me;` 时,编译器将搜索全局标识符表,`Student` 未找到,则在类标识符内搜索。

即表现为可以使用 `Student` 也可以使用 `struct Student`,如下:

```cpp
// cpp
struct Student { 
    int age; 
};

辉哈's avatar
辉哈 已提交
376
void f( Student me );       // 正确,"struct" 关键字可省略
辉哈's avatar
辉哈 已提交
377 378 379 380 381 382 383 384 385
```

二、若定义了与 `Student` 同名函数之后,则 `Student` 只代表函数,不代表结构体,如下:

```cpp
typedef struct Student { 
    int age; 
} S;

辉哈's avatar
辉哈 已提交
386
void Student() {}           // 正确,定义后 "Student" 只代表此函数
辉哈's avatar
辉哈 已提交
387

辉哈's avatar
辉哈 已提交
388
//void S() {}               // 错误,符号 "S" 已经被定义为一个 "struct Student" 的别名
辉哈's avatar
辉哈 已提交
389 390 391

int main() {
    Student(); 
辉哈's avatar
辉哈 已提交
392
    struct Student me;      // 或者 "S me";
辉哈's avatar
辉哈 已提交
393 394 395 396 397 398
    return 0;
}
```

### C++ 中 struct 和 class

399
总的来说,struct 更适合看成是一个数据结构的实现体,class 更适合看成是一个对象的实现体。
辉哈's avatar
辉哈 已提交
400 401 402 403

#### 区别

* 最本质的一个区别就是默认的访问控制
404 405
    1. 默认的继承访问权限。struct 是 public 的,class 是 private 的。  
    2. struct 作为数据结构的实现体,它默认的数据访问控制是 public 的,而 class 作为对象的实现体,它默认的成员变量访问控制是 private 的。
辉哈's avatar
辉哈 已提交
406

407 408 409 410 411 412 413 414 415 416 417 418 419
### union 联合

联合(union)是一种节省空间的特殊的类,一个 union 可以有多个数据成员,但是在任意时刻只有一个数据成员可以有值。当某个成员被赋值后其他成员变为未定义状态。联合有如下特点:

* 默认访问控制符为 public
* 可以含有构造函数、析构函数
* 不能含有引用类型的成员
* 不能继承自其他类,不能作为基类
* 不能含有虚函数
* 匿名 union 在定义所在作用域可直接访问 union 成员
* 匿名 union 不能包含 protected 成员或 private 成员
* 全局匿名联合必须是静态(static)的

420
union 使用
421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455

```cpp
#include<iostream>

union UnionTest {
    UnionTest() : i(10) {};
    int i;
    double d;
};

static union {
    int i;
    double d;
};

int main() {
    UnionTest u;

    union {
        int i;
        double d;
    };

    std::cout << u.i << std::endl;  // 输出 UnionTest 联合的 10

    ::i = 20;
    std::cout << ::i << std::endl;  // 输出全局静态匿名联合的 20

    i = 30;
    std::cout << i << std::endl;    // 输出局部匿名联合的 30

    return 0;
}
```

456
### C 实现 C++ 类
457

辉哈's avatar
辉哈 已提交
458 459 460 461 462 463 464
C 实现 C++ 的面向对象特性(封装、继承、多态)

* 封装:使用函数指针把属性与方法封装到结构体中
* 继承:结构体嵌套
* 多态:父类与子类方法的函数指针不同

> [Can you write object-oriented code in C? [closed]](https://stackoverflow.com/a/351745)
465

466
### explicit(显式)关键字
辉哈's avatar
辉哈 已提交
467

468 469
* explicit 修饰构造函数时,可以防止隐式转换和复制初始化
* explicit 修饰转换函数时,可以防止隐式转换,但 [按语境转换](https://zh.cppreference.com/w/cpp/language/implicit_conversion) 除外
辉哈's avatar
辉哈 已提交
470

471
explicit 使用
辉哈's avatar
辉哈 已提交
472 473

```cpp
474
struct A
辉哈's avatar
辉哈 已提交
475
{
476 477
	A(int) { }
	operator bool() const { return true; }
辉哈's avatar
辉哈 已提交
478
};
辉哈's avatar
辉哈 已提交
479

480
struct B
辉哈's avatar
辉哈 已提交
481
{
482 483
	explicit B(int) {}
	explicit operator bool() const { return true; }
辉哈's avatar
辉哈 已提交
484
};
辉哈's avatar
辉哈 已提交
485

486 487 488 489
void doA(A a) {}

void doB(B b) {}

辉哈's avatar
辉哈 已提交
490 491
int main()
{
492 493 494 495 496 497 498
	A a1(1);		// OK:直接初始化
	A a2 = 1;		// OK:复制初始化
	A a3{ 1 };		// OK:直接列表初始化
	A a4 = { 1 };		// OK:复制列表初始化
	A a5 = (A)1;		// OK:允许 static_cast 的显式转换 
	doA(1);			// OK:允许从 int 到 A 的隐式转换
	if (a1);		// OK:使用转换函数 A::operator bool() 的从 A 到 bool 的隐式转换
Z
ZzoxAA 已提交
499
	bool a6(a1);		// OK:使用转换函数 A::operator bool() 的从 A 到 bool 的隐式转换
500 501 502 503 504 505 506 507 508 509 510 511 512 513 514
	bool a7 = a1;		// OK:使用转换函数 A::operator bool() 的从 A 到 bool 的隐式转换
	bool a8 = static_cast<bool>(a1);  // OK :static_cast 进行直接初始化

	B b1(1);		// OK:直接初始化
	B b2 = 1;		// 错误:被 explicit 修饰构造函数的对象不可以复制初始化
	B b3{ 1 };		// OK:直接列表初始化
	B b4 = { 1 };		// 错误:被 explicit 修饰构造函数的对象不可以复制列表初始化
	B b5 = (B)1;		// OK:允许 static_cast 的显式转换
	doB(1);			// 错误:被 explicit 修饰构造函数的对象不可以从 int 到 B 的隐式转换
	if (b1);		// OK:被 explicit 修饰转换函数 B::operator bool() 的对象可以从 B 到 bool 的按语境转换
	bool b6(b1);		// OK:被 explicit 修饰转换函数 B::operator bool() 的对象可以从 B 到 bool 的按语境转换
	bool b7 = b1;		// 错误:被 explicit 修饰转换函数 B::operator bool() 的对象不可以隐式转换
	bool b8 = static_cast<bool>(b1);  // OK:static_cast 进行直接初始化

	return 0;
辉哈's avatar
辉哈 已提交
515 516 517
}
```

辉哈's avatar
辉哈 已提交
518
### friend 友元类和友元函数
辉哈's avatar
辉哈 已提交
519 520 521 522 523 524 525

* 能访问私有成员  
* 破坏封装性
* 友元关系不可传递
* 友元关系的单向性
* 友元声明的形式及数量不受限制

526 527 528 529 530
### using

#### using 声明

一条 `using 声明` 语句一次只引入命名空间的一个成员。它使得我们可以清楚知道程序中所引用的到底是哪个名字。如:
辉哈's avatar
辉哈 已提交
531 532

```cpp
533
using namespace_name::name;
辉哈's avatar
辉哈 已提交
534 535
```

536
#### 构造函数的 using 声明
537

辉哈's avatar
辉哈 已提交
538
在 C++11 中,派生类能够重用其直接基类定义的构造函数。
539 540 541 542 543 544 545 546 547 548 549 550

```cpp
class Derived : Base {
public:
    using Base::Base;
    /* ... */
};
```

如上 using 声明,对于基类的每个构造函数,编译器都生成一个与之对应(形参列表完全相同)的派生类构造函数。生成如下类型构造函数:

```cpp
辉哈's avatar
辉哈 已提交
551
Derived(parms) : Base(args) { }
552 553
```

554 555 556 557 558 559 560 561 562
#### using 指示

`using 指示` 使得某个特定命名空间中所有名字都可见,这样我们就无需再为它们添加任何前缀限定符了。如:

```cpp
using namespace_name name;
```

#### 尽量少使用 `using 指示` 污染命名空间
辉哈's avatar
辉哈 已提交
563

可乐1997's avatar
勘误  
可乐1997 已提交
564
> 一般说来,使用 using 命令比使用 using 编译命令更安全,这是由于它**只导入了指定的名称**。如果该名称与局部名称发生冲突,编译器将**发出指示**。using编译命令导入所有的名称,包括可能并不需要的名称。如果与局部名称发生冲突,则**局部名称将覆盖名称空间版本**,而编译器**并不会发出警告**。另外,名称空间的开放性意味着名称空间的名称可能分散在多个地方,这使得难以准确知道添加了哪些名称。
辉哈's avatar
辉哈 已提交
565

566
using 使用
567 568

尽量少使用 `using 指示`
辉哈's avatar
辉哈 已提交
569 570 571 572 573

```cpp
using namespace std;
```

574
应该多使用 `using 声明`
辉哈's avatar
辉哈 已提交
575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592

```cpp
int x;
std::cin >> x ;
std::cout << x << std::endl;
```

或者

```cpp
using std::cin;
using std::cout;
using std::endl;
int x;
cin >> x;
cout << x << endl;
```

辉哈's avatar
辉哈 已提交
593
### :: 范围解析运算符
辉哈's avatar
辉哈 已提交
594

595
#### 分类
辉哈's avatar
辉哈 已提交
596

597 598 599 600
1. 全局作用域符(`::name`):用于类型名称(类、类成员、成员函数、变量等)前,表示作用域为全局命名空间
2. 类作用域符(`class::name`):用于表示指定类型的作用域范围是具体某个类的
3. 命名空间作用域符(`namespace::name`):用于表示指定类型的作用域范围是具体某个命名空间的

601
:: 使用
辉哈's avatar
辉哈 已提交
602 603

```cpp
604
int count = 11;         // 全局(::)的 count
605 606 607

class A {
public:
608
	static int count;   // 类 A 的 count(A::count)
609
};
610 611 612 613 614 615 616
int A::count = 21;

void fun()
{
	int count = 31;     // 初始化局部的 count 为 31
	count = 32;         // 设置局部的 count 的值为 32
}
辉哈's avatar
辉哈 已提交
617 618

int main() {
619
	::count = 12;       // 测试 1:设置全局的 count 的值为 12
620

621
	A::count = 22;      // 测试 2:设置类 A 的 count 为 22
622

623
	fun();		        // 测试 3
624

625
	return 0;
辉哈's avatar
辉哈 已提交
626 627 628
}
```

629 630 631 632 633 634 635 636 637 638 639 640 641 642 643
### enum 枚举类型

#### 限定作用域的枚举类型

```cpp
enum class open_modes { input, output, append };
```

#### 不限定作用域的枚举类型

```cpp
enum color { red, yellow, green };
enum { floatPrec = 6, doublePrec = 10 };
```

辉哈's avatar
辉哈 已提交
644 645 646 647 648 649 650 651
### decltype

decltype 关键字用于检查实体的声明类型或表达式的类型及值分类。语法:

```cpp
decltype ( expression )
```

652
decltype 使用
辉哈's avatar
辉哈 已提交
653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670

```cpp
// 尾置返回允许我们在参数列表之后声明返回类型
template <typename It>
auto fcn(It beg, It end) -> decltype(*beg)
{
    // 处理序列
    return *beg;    // 返回序列中一个元素的引用
}
// 为了使用模板参数成员,必须用 typename
template <typename It>
auto fcn2(It beg, It end) -> typename remove_reference<decltype(*beg)>::type
{
    // 处理序列
    return *beg;    // 返回序列中一个元素的拷贝
}
```

671 672 673 674 675 676 677 678
### 引用

#### 左值引用

常规引用,一般表示对象的身份。

#### 右值引用

辉哈's avatar
辉哈 已提交
679
右值引用就是必须绑定到右值(一个临时对象、将要销毁的对象)的引用,一般表示对象的值。
680 681 682 683 684 685 686 687 688

右值引用可实现转移语义(Move Sementics)和精确传递(Perfect Forwarding),它的主要目的有两个方面:

* 消除两个对象交互时不必要的对象拷贝,节省运算存储资源,提高效率。
* 能够更简洁明确地定义泛型函数。

#### 引用折叠

* `X& &``X& &&``X&& &` 可折叠成 `X&`
辉哈's avatar
辉哈 已提交
689
* `X&& &&` 可折叠成 `X&&`
690

辉哈's avatar
辉哈 已提交
691 692
### 宏

693
* 宏定义可以实现类似于函数的功能,但是它终归不是函数,而宏定义中括弧中的“参数”也不是真的参数,在宏展开的时候对 “参数” 进行的是一对一的替换。
辉哈's avatar
辉哈 已提交
694

695
### 成员初始化列表
辉哈's avatar
辉哈 已提交
696 697 698 699 700 701 702

好处

* 更高效:少了一次调用默认构造函数的过程。
* 有些场合必须要用初始化列表:
  1. 常量成员,因为常量只能初始化不能赋值,所以必须放在初始化列表里面
  2. 引用类型,引用必须在定义的时候初始化,并且不能重新赋值,所以也要写在初始化列表里面
辉哈's avatar
辉哈 已提交
703
  3. 没有默认构造函数的类类型,因为使用初始化列表可以不必调用默认构造函数来初始化
辉哈's avatar
辉哈 已提交
704

705
### initializer_list 列表初始化
706

可乐1997's avatar
勘误  
可乐1997 已提交
707
用花括号初始化器列表初始化一个对象,其中对应构造函数接受一个 `std::initializer_list` 参数.
708

709
initializer_list 使用
710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761

```cpp
#include <iostream>
#include <vector>
#include <initializer_list>
 
template <class T>
struct S {
    std::vector<T> v;
    S(std::initializer_list<T> l) : v(l) {
         std::cout << "constructed with a " << l.size() << "-element list\n";
    }
    void append(std::initializer_list<T> l) {
        v.insert(v.end(), l.begin(), l.end());
    }
    std::pair<const T*, std::size_t> c_arr() const {
        return {&v[0], v.size()};  // 在 return 语句中复制列表初始化
                                   // 这不使用 std::initializer_list
    }
};
 
template <typename T>
void templated_fn(T) {}
 
int main()
{
    S<int> s = {1, 2, 3, 4, 5}; // 复制初始化
    s.append({6, 7, 8});      // 函数调用中的列表初始化
 
    std::cout << "The vector size is now " << s.c_arr().second << " ints:\n";
 
    for (auto n : s.v)
        std::cout << n << ' ';
    std::cout << '\n';
 
    std::cout << "Range-for over brace-init-list: \n";
 
    for (int x : {-1, -2, -3}) // auto 的规则令此带范围 for 工作
        std::cout << x << ' ';
    std::cout << '\n';
 
    auto al = {10, 11, 12};   // auto 的特殊规则
 
    std::cout << "The list bound to auto has size() = " << al.size() << '\n';
 
//    templated_fn({1, 2, 3}); // 编译错误!“ {1, 2, 3} ”不是表达式,
                             // 它无类型,故 T 无法推导
    templated_fn<std::initializer_list<int>>({1, 2, 3}); // OK
    templated_fn<std::vector<int>>({1, 2, 3});           // 也 OK
}
```

辉哈's avatar
辉哈 已提交
762 763 764 765
### 面向对象

面向对象程序设计(Object-oriented programming,OOP)是种具有对象概念的程序编程典范,同时也是一种程序开发的抽象方针。

766
![面向对象特征](https://gitee.com/huihut/interview/raw/master/images/面向对象基本特征.png)
辉哈's avatar
辉哈 已提交
767 768 769 770 771

面向对象三大特征 —— 封装、继承、多态

### 封装

772
把客观事物封装成抽象的类,并且类可以把自己的数据和方法只让可信的类或者对象操作,对不可信的进行信息隐藏。关键字:public, protected, private。不写默认为 private。
辉哈's avatar
辉哈 已提交
773

774 775
* `public` 成员:可以被任意实体访问
* `protected` 成员:只允许被子类及本类的成员函数访问
L
linkwk7 已提交
776
* `private` 成员:只允许被本类的成员函数、友元类或友元函数访问
辉哈's avatar
辉哈 已提交
777 778 779

### 继承

780
* 基类(父类)——&gt; 派生类(子类)
辉哈's avatar
辉哈 已提交
781 782 783

### 多态

784
* 多态,即多种状态(形态)。简单来说,我们可以将多态定义为消息以多种形式显示的能力。
辉哈's avatar
辉哈 已提交
785
* 多态是以封装和继承为基础的。
786 787 788 789 790 791 792
* C++ 多态分类及实现:
    1. 重载多态(Ad-hoc Polymorphism,编译期):函数重载、运算符重载
    2. 子类型多态(Subtype Polymorphism,运行期):虚函数
    3. 参数多态性(Parametric Polymorphism,编译期):类模板、函数模板
    4. 强制多态(Coercion Polymorphism,编译期/运行期):基本类型转换、自定义类型转换

> [The Four Polymorphisms in C++](https://catonmat.net/cpp-polymorphism)
辉哈's avatar
辉哈 已提交
793

794
#### 静态多态(编译期/早绑定)
辉哈's avatar
辉哈 已提交
795

796 797
函数重载

辉哈's avatar
辉哈 已提交
798 799 800 801 802 803
```cpp
class A
{
public:
    void do(int a);
    void do(int a, int b);
804
};
辉哈's avatar
辉哈 已提交
805 806
```

807
#### 动态多态(运行期期/晚绑定)
辉哈's avatar
辉哈 已提交
808

809
* 虚函数:用 virtual 修饰成员函数,使其成为虚函数
辉哈's avatar
辉哈 已提交
810 811 812

**注意:**

813 814
* 普通函数(非类成员函数)不能是虚函数
* 静态函数(static)不能是虚函数
815
* 构造函数不能是虚函数(因为在调用构造函数时,虚表指针并没有在对象的内存空间中,必须要构造函数调用完成后才会形成虚表指针)
816
* 内联函数不能是表现多态性时的虚函数,解释见:[虚函数(virtual)可以是内联函数(inline)吗?](https://github.com/huihut/interview#%E8%99%9A%E5%87%BD%E6%95%B0virtual%E5%8F%AF%E4%BB%A5%E6%98%AF%E5%86%85%E8%81%94%E5%87%BD%E6%95%B0inline%E5%90%97)
辉哈's avatar
辉哈 已提交
817

818
动态多态使用
819

辉哈's avatar
辉哈 已提交
820
```cpp
821
class Shape                     // 形状类
辉哈's avatar
辉哈 已提交
822 823 824 825 826 827
{
public:
    virtual double calcArea()
    {
        ...
    }
828
    virtual ~Shape();
829
};
830
class Circle : public Shape     // 圆形类
辉哈's avatar
辉哈 已提交
831 832 833 834
{
public:
    virtual double calcArea();
    ...
835
};
836
class Rect : public Shape       // 矩形类
辉哈's avatar
辉哈 已提交
837 838 839 840
{
public:
    virtual double calcArea();
    ...
841
};
辉哈's avatar
辉哈 已提交
842 843 844 845
int main()
{
    Shape * shape1 = new Circle(4.0);
    Shape * shape2 = new Rect(5.0, 6.0);
846 847
    shape1->calcArea();         // 调用圆形类里面的方法
    shape2->calcArea();         // 调用矩形类里面的方法
848 849 850 851
    delete shape1;
    shape1 = nullptr;
    delete shape2;
    shape2 = nullptr;
852
    return 0;
辉哈's avatar
辉哈 已提交
853 854 855
}
```

856 857 858 859
### 虚析构函数

虚析构函数是为了解决基类的指针指向派生类对象,并用基类的指针删除派生类对象。

860
虚析构函数使用
辉哈's avatar
辉哈 已提交
861 862 863 864 865

```cpp
class Shape
{
public:
866
    Shape();                    // 构造函数不能是虚函数
辉哈's avatar
辉哈 已提交
867
    virtual double calcArea();
868
    virtual ~Shape();           // 虚析构函数
869
};
870
class Circle : public Shape     // 圆形类
辉哈's avatar
辉哈 已提交
871 872 873 874
{
public:
    virtual double calcArea();
    ...
875
};
辉哈's avatar
辉哈 已提交
876 877 878 879
int main()
{
    Shape * shape1 = new Circle(4.0);
    shape1->calcArea();    
880
    delete shape1;  // 因为Shape有虚析构函数,所以delete释放内存时,先调用子类析构函数,再调用基类析构函数,防止内存泄漏。
辉哈's avatar
辉哈 已提交
881 882 883 884 885
    shape1 = NULL;
    return 0
}
```

886 887 888
### 纯虚函数

纯虚函数是一种特殊的虚函数,在基类中不能对虚函数给出有意义的实现,而把它声明为纯虚函数,它的实现留给该基类的派生类去做。
辉哈's avatar
辉哈 已提交
889 890 891 892 893

```cpp
virtual int A() = 0;
```

894 895
### 虚函数、纯虚函数

896 897 898
* 类里如果声明了虚函数,这个函数是实现的,哪怕是空实现,它的作用就是为了能让这个函数在它的子类里面可以被覆盖(override),这样的话,编译器就可以使用后期绑定来达到多态了。纯虚函数只是一个接口,是个函数的声明而已,它要留到子类里去实现。 
* 虚函数在子类里面可以不重写;但纯虚函数必须在子类实现才可以实例化子类。
* 虚函数的类用于 “实作继承”,继承接口的同时也继承了父类的实现。纯虚函数关注的是接口的统一性,实现由子类完成。 
辉哈's avatar
辉哈 已提交
899 900
* 带纯虚函数的类叫抽象类,这种类不能直接生成对象,而只有被继承,并重写其虚函数后,才能使用。抽象类被继承后,子类可以继续是抽象类,也可以是普通类。
* 虚基类是虚继承中的基类,具体见下文虚继承。
901

902 903
> [CSDN . C++ 中的虚函数、纯虚函数区别和联系](https://blog.csdn.net/u012260238/article/details/53610462)

904 905
### 虚函数指针、虚函数表

906
* 虚函数指针:在含有虚函数类的对象中,指向虚函数表,在运行时确定。
907
* 虚函数表:在程序只读数据段(`.rodata section`,见:[目标文件存储结构](#%E7%9B%AE%E6%A0%87%E6%96%87%E4%BB%B6%E5%AD%98%E5%82%A8%E7%BB%93%E6%9E%84)),存放虚函数指针,如果派生类实现了基类的某个虚函数,则在虚表中覆盖原本基类的那个虚函数指针,在编译时根据类的声明创建。
908

909 910
> [C++中的虚函数(表)实现机制以及用C语言对其进行的模拟实现](https://blog.twofei.com/496/)

911
### 虚继承
辉哈's avatar
辉哈 已提交
912 913 914 915 916

虚继承用于解决多继承条件下的菱形继承问题(浪费存储空间、存在二义性)。

底层实现原理与编译器相关,一般通过**虚基类指针****虚基类表**实现,每个虚继承的子类都有一个虚基类指针(占用一个指针的存储空间,4字节)和虚基类表(不占用类对象的存储空间)(需要强调的是,虚基类依旧会在子类里面存在拷贝,只是仅仅最多存在一份而已,并不是不在子类里面了);当虚继承的子类被当做父类继承时,虚基类指针也会被继承。

917
实际上,vbptr 指的是虚基类表指针(virtual base table pointer),该指针指向了一个虚基类表(virtual table),虚表中记录了虚基类与本类的偏移地址;通过偏移地址,这样就找到了虚基类成员,而虚继承也不用像普通多继承那样维持着公共基类(虚基类)的两份同样的拷贝,节省了存储空间。
辉哈's avatar
辉哈 已提交
918

919
### 虚继承、虚函数
辉哈's avatar
辉哈 已提交
920 921 922 923 924 925 926 927 928 929

* 相同之处:都利用了虚指针(均占用类的存储空间)和虚表(均不占用类的存储空间)
* 不同之处:
    * 虚继承
        * 虚基类依旧存在继承类中,只占用存储空间
        * 虚基类表存储的是虚基类相对直接继承类的偏移
    * 虚函数
        * 虚函数不占用存储空间
        * 虚函数表存储的是虚函数地址

930 931 932 933 934
### 模板类、成员模板、虚函数

* 模板类中可以使用虚函数
* 一个类(无论是普通类还是类模板)的成员模板(本身是模板的成员函数)不能是虚函数

935 936 937 938 939 940
### 抽象类、接口类、聚合类

* 抽象类:含有纯虚函数的类
* 接口类:仅含有纯虚函数的抽象类
* 聚合类:用户可以直接访问其成员,并且具有特殊的初始化语法形式。满足如下特点:
    * 所有成员都是 public
可乐1997's avatar
勘误  
可乐1997 已提交
941
    * 没有定义任何构造函数
942 943 944
    * 没有类内初始化
    * 没有基类,也没有 virtual 函数

辉哈's avatar
辉哈 已提交
945 946 947 948 949
### 内存分配和管理

#### malloc、calloc、realloc、alloca

1. malloc:申请指定字节数的内存。申请到的内存中的初始值不确定。
950 951 952
2. calloc:为指定长度的对象,分配能容纳其指定个数的内存。申请到的内存的每一位(bit)都初始化为 0。
3. realloc:更改以前分配的内存长度(增加或减少)。当增加长度时,可能需将以前分配区的内容移到另一个足够大的区域,而新增区域内的初始值则不确定。
4. alloca:在栈上申请内存。程序在出栈的时候,会自动释放内存。但是需要注意的是,alloca 不具可移植性, 而且在没有传统堆栈的机器上很难实现。alloca 不宜使用在必须广泛移植的程序中。C99 中支持变长数组 (VLA),可以用来替代 alloca。
辉哈's avatar
辉哈 已提交
953 954 955

#### malloc、free

956 957
用于分配、释放内存

958
malloc、free 使用
959

辉哈's avatar
辉哈 已提交
960 961 962 963 964 965 966 967 968 969 970 971 972 973 974 975
申请内存,确认是否申请成功

```cpp
char *str = (char*) malloc(100);
assert(str != nullptr);
```

释放内存后指针置空

```cpp
free(p); 
p = nullptr;
```

#### new、delete

可乐1997's avatar
勘误  
可乐1997 已提交
976
1. new / new[]:完成两件事,先底层调用 malloc 分配了内存,然后调用构造函数(创建对象)。
977 978
2. delete/delete[]:也完成两件事,先调用析构函数(清理资源),然后底层调用 free 释放空间。
3. new 在申请内存时会自动计算所需字节数,而 malloc 则需我们自己输入申请内存空间的字节数。
辉哈's avatar
辉哈 已提交
979

980
new、delete 使用
981 982 983

申请内存,确认是否申请成功

辉哈's avatar
辉哈 已提交
984 985 986
```cpp
int main()
{
辉哈's avatar
辉哈 已提交
987 988
    T* t = new T();     // 先内存分配 ,再构造函数
    delete t;           // 先析构函数,再内存释放
辉哈's avatar
辉哈 已提交
989 990 991 992
    return 0;
}
```

993 994
#### 定位 new

I
勘误  
Infko 已提交
995
定位 new(placement new)允许我们向 new 传递额外的地址参数,从而在预先指定的内存区域创建对象。
996 997

```cpp
I
勘误  
Infko 已提交
998 999 1000 1001
new (place_address) type
new (place_address) type (initializers)
new (place_address) type [size]
new (place_address) type [size] { braced initializer list }
1002 1003
```

I
勘误  
Infko 已提交
1004
* `place_address` 是个指针
1005 1006
* `initializers` 提供一个(可能为空的)以逗号分隔的初始值列表

1007
### delete this 合法吗?
1008

1009
> [Is it legal (and moral) for a member function to say delete this?](https://isocpp.org/wiki/faq/freestore-mgmt#delete-this)
1010 1011 1012

合法,但:

1013 1014 1015
1. 必须保证 this 对象是通过 `new`(不是 `new[]`、不是 placement new、不是栈上、不是全局、不是其他对象成员)分配的
2. 必须保证调用 `delete this` 的成员函数是最后一个调用 this 的成员函数
3. 必须保证成员函数的 `delete this ` 后面没有调用 this 了
辉哈's avatar
辉哈 已提交
1016
4. 必须保证 `delete this` 后没有人使用了
1017

1018
### 如何定义一个只能在堆上(栈上)生成对象的类?
1019

1020
> [如何定义一个只能在堆上(栈上)生成对象的类?](https://www.nowcoder.com/questionTerminal/0a584aa13f804f3ea72b442a065a7618)
1021

1022
#### 只能在堆上
1023 1024 1025 1026 1027

方法:将析构函数设置为私有

原因:C++ 是静态绑定语言,编译器管理栈上对象的生命周期,编译器在为类对象分配栈空间时,会先检查类的析构函数的访问性。若析构函数不可访问,则不能在栈上创建对象。

1028
#### 只能在栈上
1029 1030 1031

方法:将 new 和 delete 重载为私有

辉哈's avatar
辉哈 已提交
1032
原因:在堆上生成对象,使用 new 关键词操作,其过程分为两阶段:第一阶段,使用 new 在堆上寻找可用内存,分配给对象;第二阶段,调用构造函数生成对象。将 new 操作设置为私有,那么第一阶段就无法完成,就不能够在堆上生成对象。
1033

辉哈's avatar
辉哈 已提交
1034 1035
### 智能指针

1036
#### C++ 标准库(STL)中
辉哈's avatar
辉哈 已提交
1037 1038 1039

头文件:`#include <memory>`

1040
#### C++ 98
辉哈's avatar
辉哈 已提交
1041 1042 1043 1044 1045

```cpp
std::auto_ptr<std::string> ps (new std::string(str))
```

1046
#### C++ 11
辉哈's avatar
辉哈 已提交
1047 1048 1049 1050

1. shared_ptr
2. unique_ptr
3. weak_ptr
1051
4. auto_ptr(被 C++11 弃用)
1052

1053 1054
* Class shared_ptr 实现共享式拥有(shared ownership)概念。多个智能指针指向相同对象,该对象和其相关资源会在 “最后一个 reference 被销毁” 时被释放。为了在结构较复杂的情景中执行上述工作,标准库提供 weak_ptr、bad_weak_ptr 和 enable_shared_from_this 等辅助类。
* Class unique_ptr 实现独占式拥有(exclusive ownership)或严格拥有(strict ownership)概念,保证同一时间内只有一个智能指针可以指向该对象。你可以移交拥有权。它对于避免内存泄漏(resource leak)——如 new 后忘记 delete ——特别有用。
1055 1056 1057 1058 1059

##### shared_ptr

多个智能指针可以共享同一个对象,对象的最末一个拥有着有责任销毁对象,并清理与该对象相关的所有资源。

辉哈's avatar
辉哈 已提交
1060 1061
* 支持定制型删除器(custom deleter),可防范 Cross-DLL 问题(对象在动态链接库(DLL)中被 new 创建,却在另一个 DLL 内被 delete 销毁)、自动解除互斥锁

1062 1063
##### weak_ptr

1064
weak_ptr 允许你共享但不拥有某对象,一旦最末一个拥有该对象的智能指针失去了所有权,任何 weak_ptr 都会自动成空(empty)。因此,在 default 和 copy 构造函数之外,weak_ptr 只提供 “接受一个 shared_ptr” 的构造函数。
1065

辉哈's avatar
辉哈 已提交
1066 1067
* 可打破环状引用(cycles of references,两个其实已经没有被使用的对象彼此互指,使之看似还在 “被使用” 的状态)的问题

1068 1069
##### unique_ptr

1070
unique_ptr 是 C++11 才开始提供的类型,是一种在异常时可以帮助避免资源泄漏的智能指针。采用独占式拥有,意味着可以确保一个对象和其相应的资源同一时间只被一个 pointer 拥有。一旦拥有着被销毁或编程 empty,或开始拥有另一个对象,先前拥有的那个对象就会被销毁,其任何相应资源亦会被释放。
1071

辉哈's avatar
辉哈 已提交
1072
* unique_ptr 用于取代 auto_ptr
1073 1074

##### auto_ptr
辉哈's avatar
辉哈 已提交
1075

1076
被 c++11 弃用,原因是缺乏语言特性如 “针对构造和赋值” 的 `std::move` 语义,以及其他瑕疵。
辉哈's avatar
辉哈 已提交
1077

辉哈's avatar
辉哈 已提交
1078 1079
##### auto_ptr 与 unique_ptr 比较

1080 1081
* auto_ptr 可以赋值拷贝,复制拷贝后所有权转移;unqiue_ptr 无拷贝赋值语义,但实现了`move` 语义;
* auto_ptr 对象不能管理数组(析构调用 `delete`),unique_ptr 可以管理数组(析构调用 `delete[]` );
辉哈's avatar
辉哈 已提交
1082

1083 1084
### 强制类型转换运算符

1085
> [MSDN . 强制转换运算符](https://msdn.microsoft.com/zh-CN/library/5f6c9f8h.aspx)
1086 1087 1088 1089 1090 1091 1092 1093 1094 1095 1096 1097 1098 1099 1100

#### static_cast

* 用于非多态类型的转换
* 不执行运行时类型检查(转换安全性不如 dynamic_cast)
* 通常用于转换数值数据类型(如 float -> int)
* 可以在整个类层次结构中移动指针,子类转化为父类安全(向上转换),父类转化为子类不安全(因为子类可能有不在父类的字段或方法)

> 向上转换是一种隐式转换。

#### dynamic_cast

* 用于多态类型的转换
* 执行行运行时类型检查
* 只适用于指针或引用
1101
* 对不明确的指针的转换将失败(返回 nullptr),但不引发异常
1102 1103 1104 1105 1106 1107 1108 1109 1110 1111
* 可以在整个类层次结构中移动指针,包括向上转换、向下转换

#### const_cast 

* 用于删除 const、volatile 和 __unaligned 特性(如将 const int 类型转换为 int 类型 )

#### reinterpret_cast

* 用于位的简单重新解释
* 滥用 reinterpret_cast 运算符可能很容易带来风险。 除非所需转换本身是低级别的,否则应使用其他强制转换运算符之一。
1112
* 允许将任何指针转换为任何其他指针类型(如 `char*``int*``One_class*``Unrelated_class*` 之类的转换,但其本身并不安全)
1113 1114 1115 1116 1117 1118 1119 1120
* 也允许将任何整数类型转换为任何指针类型以及反向转换。
* reinterpret_cast 运算符不能丢掉 const、volatile 或 __unaligned 特性。 
* reinterpret_cast 的一个实际用途是在哈希函数中,即,通过让两个不同的值几乎不以相同的索引结尾的方式将值映射到索引。

#### bad_cast

* 由于强制转换为引用类型失败,dynamic_cast 运算符引发 bad_cast 异常。

1121
bad_cast 使用
1122

1123 1124 1125 1126 1127 1128 1129 1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149
```cpp
try {  
    Circle& ref_circle = dynamic_cast<Circle&>(ref_shape);   
}  
catch (bad_cast b) {  
    cout << "Caught: " << b.what();  
} 
```

### 运行时类型信息 (RTTI) 

#### dynamic_cast

* 用于多态类型的转换

#### typeid

* typeid 运算符允许在运行时确定对象的类型
* type\_id 返回一个 type\_info 对象的引用
* 如果想通过基类的指针获得派生类的数据类型,基类必须带有虚函数
* 只能获取对象的实际类型

#### type_info

* type_info 类描述编译器在程序中生成的类型信息。 此类的对象可以有效存储指向类型的名称的指针。 type_info 类还可存储适合比较两个类型是否相等或比较其排列顺序的编码值。 类型的编码规则和排列顺序是未指定的,并且可能因程序而异。
* 头文件:`typeinfo`

1150
typeid、type_info 使用
辉哈's avatar
辉哈 已提交
1151 1152

```cpp
D
DiDong 已提交
1153 1154 1155
#include <iostream>
using namespace std;

1156
class Flyable                       // 能飞的
辉哈's avatar
辉哈 已提交
1157 1158
{
public:
辉哈's avatar
辉哈 已提交
1159 1160
    virtual void takeoff() = 0;     // 起飞
    virtual void land() = 0;        // 降落
1161
};
1162
class Bird : public Flyable         // 鸟
辉哈's avatar
辉哈 已提交
1163 1164
{
public:
辉哈's avatar
辉哈 已提交
1165
    void foraging() {...}           // 觅食
辉哈's avatar
辉哈 已提交
1166 1167
    virtual void takeoff() {...}
    virtual void land() {...}
D
DiDong 已提交
1168
    virtual ~Bird(){}
1169
};
1170
class Plane : public Flyable        // 飞机
辉哈's avatar
辉哈 已提交
1171 1172
{
public:
辉哈's avatar
辉哈 已提交
1173
    void carry() {...}              // 运输
辉哈's avatar
辉哈 已提交
1174
    virtual void takeoff() {...}
辉哈's avatar
辉哈 已提交
1175
    virtual void land() {...}
1176
};
辉哈's avatar
辉哈 已提交
1177 1178 1179 1180 1181 1182 1183 1184 1185 1186 1187

class type_info
{
public:
    const char* name() const;
    bool operator == (const type_info & rhs) const;
    bool operator != (const type_info & rhs) const;
    int before(const type_info & rhs) const;
    virtual ~type_info();
private:
    ...
1188
};
辉哈's avatar
辉哈 已提交
1189

D
DiDong 已提交
1190
void doSomething(Flyable *obj)                 // 做些事情
辉哈's avatar
辉哈 已提交
1191 1192 1193
{
    obj->takeoff();

1194
    cout << typeid(*obj).name() << endl;        // 输出传入对象类型("class Bird" or "class Plane")
辉哈's avatar
辉哈 已提交
1195

1196
    if(typeid(*obj) == typeid(Bird))            // 判断对象类型
辉哈's avatar
辉哈 已提交
1197
    {
1198
        Bird *bird = dynamic_cast<Bird *>(obj); // 对象转化
辉哈's avatar
辉哈 已提交
1199 1200 1201 1202
        bird->foraging();
    }

    obj->land();
D
DiDong 已提交
1203 1204 1205 1206 1207 1208 1209 1210 1211
}

int main(){
	Bird *b = new Bird();
	doSomething(b);
	delete b;
	b = nullptr;
	return 0;
}
辉哈's avatar
辉哈 已提交
1212 1213
```

1214
<a id="effective"></a>
辉哈's avatar
辉哈 已提交
1215 1216 1217

## ⭐️ Effective

1218 1219
### Effective C++

辉哈's avatar
辉哈 已提交
1220
1. 视 C++ 为一个语言联邦(C、Object-Oriented C++、Template C++、STL)
1221
2. 宁可以编译器替换预处理器(尽量以 `const``enum``inline` 替换 `#define`
辉哈's avatar
辉哈 已提交
1222
3. 尽可能使用 const
1223
4. 确定对象被使用前已先被初始化(构造时赋值(copy 构造函数)比 default 构造后赋值(copy assignment)效率高)
辉哈's avatar
辉哈 已提交
1224 1225 1226 1227 1228
5. 了解 C++ 默默编写并调用哪些函数(编译器暗自为 class 创建 default 构造函数、copy 构造函数、copy assignment 操作符、析构函数)
6. 若不想使用编译器自动生成的函数,就应该明确拒绝(将不想使用的成员函数声明为 private,并且不予实现)
7. 为多态基类声明 virtual 析构函数(如果 class 带有任何 virtual 函数,它就应该拥有一个 virtual 析构函数)
8. 别让异常逃离析构函数(析构函数应该吞下不传播异常,或者结束程序,而不是吐出异常;如果要处理异常应该在非析构的普通函数处理)
9. 绝不在构造和析构过程中调用 virtual 函数(因为这类调用从不下降至 derived class)
1229 1230 1231
10.`operator=` 返回一个 `reference to *this` (用于连锁赋值)
11.`operator=` 中处理 “自我赋值”
12. 赋值对象时应确保复制 “对象内的所有成员变量” 及 “所有 base class 成分”(调用基类复制构造函数)
辉哈's avatar
辉哈 已提交
1232
13. 以对象管理资源(资源在构造函数获得,在析构函数释放,建议使用智能指针,资源取得时机便是初始化时机(Resource Acquisition Is Initialization,RAII))
1233
14. 在资源管理类中小心 copying 行为(普遍的 RAII class copying 行为是:抑制 copying、引用计数、深度拷贝、转移底部资源拥有权(类似 auto_ptr))
辉哈's avatar
辉哈 已提交
1234 1235 1236 1237 1238 1239 1240 1241 1242
15. 在资源管理类中提供对原始资源(raw resources)的访问(对原始资源的访问可能经过显式转换或隐式转换,一般而言显示转换比较安全,隐式转换对客户比较方便)
16. 成对使用 new 和 delete 时要采取相同形式(`new` 中使用 `[]``delete []``new` 中不使用 `[]``delete`
17. 以独立语句将 newed 对象存储于(置入)智能指针(如果不这样做,可能会因为编译器优化,导致难以察觉的资源泄漏)
18. 让接口容易被正确使用,不易被误用(促进正常使用的办法:接口的一致性、内置类型的行为兼容;阻止误用的办法:建立新类型,限制类型上的操作,约束对象值、消除客户的资源管理责任)
19. 设计 class 犹如设计 type,需要考虑对象创建、销毁、初始化、赋值、值传递、合法值、继承关系、转换、一般化等等。
20. 宁以 pass-by-reference-to-const 替换 pass-by-value (前者通常更高效、避免切割问题(slicing problem),但不适用于内置类型、STL迭代器、函数对象)
21. 必须返回对象时,别妄想返回其 reference(绝不返回 pointer 或 reference 指向一个 local stack 对象,或返回 reference 指向一个 heap-allocated 对象,或返回 pointer 或 reference 指向一个 local static 对象而有可能同时需要多个这样的对象。)
22. 将成员变量声明为 private(为了封装、一致性、对其读写精确控制等)
23. 宁以 non-member、non-friend 替换 member 函数(可增加封装性、包裹弹性(packaging flexibility)、机能扩充性)
辉哈's avatar
辉哈 已提交
1243
24. 若所有参数(包括被this指针所指的那个隐喻参数)皆须要类型转换,请为此采用 non-member 函数
1244 1245
25. 考虑写一个不抛异常的 swap 函数
26. 尽可能延后变量定义式的出现时间(可增加程序清晰度并改善程序效率)
辉哈's avatar
辉哈 已提交
1246 1247
27. 尽量少做转型动作(旧式:`(T)expression``T(expression)`;新式:`const_cast<T>(expression)``dynamic_cast<T>(expression)``reinterpret_cast<T>(expression)``static_cast<T>(expression)`、;尽量避免转型、注重效率避免 dynamic_casts、尽量设计成无需转型、可把转型封装成函数、宁可用新式转型)
28. 避免使用 handles(包括 引用、指针、迭代器)指向对象内部(以增加封装性、使 const 成员函数的行为更像 const、降低 “虚吊号码牌”(dangling handles,如悬空指针等)的可能性)
1248 1249
29. 为 “异常安全” 而努力是值得的(异常安全函数(Exception-safe functions)即使发生异常也不会泄露资源或允许任何数据结构败坏,分为三种可能的保证:基本型、强列型、不抛异常型)
30. 透彻了解 inlining 的里里外外(inlining 在大多数 C++ 程序中是编译期的行为;inline 函数是否真正 inline,取决于编译器;大部分编译器拒绝太过复杂(如带有循环或递归)的函数 inlining,而所有对 virtual 函数的调用(除非是最平淡无奇的)也都会使 inlining 落空;inline 造成的代码膨胀可能带来效率损失;inline 函数无法随着程序库的升级而升级)
1250
31. 将文件间的编译依存关系降至最低(如果使用 object references 或 object pointers 可以完成任务,就不要使用 objects;如果能够,尽量以 class 声明式替换 class 定义式;为声明式和定义式提供不同的头文件)
1251 1252 1253 1254 1255 1256 1257 1258 1259 1260
32. 确定你的 public 继承塑模出 is-a(是一种)关系(适用于 base classes 身上的每一件事情一定适用于 derived classes 身上,因为每一个 derived class 对象也都是一个 base class 对象)
33. 避免遮掩继承而来的名字(可使用 using 声明式或转交函数(forwarding functions)来让被遮掩的名字再见天日)
34. 区分接口继承和实现继承(在 public 继承之下,derived classes 总是继承 base class 的接口;pure virtual 函数只具体指定接口继承;非纯 impure virtual 函数具体指定接口继承及缺省实现继承;non-virtual 函数具体指定接口继承以及强制性实现继承)
35. 考虑 virtual 函数以外的其他选择(如 Template Method 设计模式的 non-virtual interface(NVI)手法,将 virtual 函数替换为 “函数指针成员变量”,以 `tr1::function` 成员变量替换 virtual 函数,将继承体系内的 virtual 函数替换为另一个继承体系内的 virtual 函数)
36. 绝不重新定义继承而来的 non-virtual 函数
37. 绝不重新定义继承而来的缺省参数值,因为缺省参数值是静态绑定(statically bound),而 virtual 函数却是动态绑定(dynamically bound)
38. 通过复合塑模 has-a(有一个)或 “根据某物实现出”(在应用域(application domain),复合意味 has-a(有一个);在实现域(implementation domain),复合意味着 is-implemented-in-terms-of(根据某物实现出))
39. 明智而审慎地使用 private 继承(private 继承意味着 is-implemented-in-terms-of(根据某物实现出),尽可能使用复合,当 derived class 需要访问 protected base class 的成员,或需要重新定义继承而来的时候 virtual 函数,或需要 empty base 最优化时,才使用 private 继承)
40. 明智而审慎地使用多重继承(多继承比单一继承复杂,可能导致新的歧义性,以及对 virtual 继承的需要,但确有正当用途,如 “public 继承某个 interface class” 和 “private 继承某个协助实现的 class”;virtual 继承可解决多继承下菱形继承的二义性问题,但会增加大小、速度、初始化及赋值的复杂度等等成本)
41. 了解隐式接口和编译期多态(class 和 templates 都支持接口(interfaces)和多态(polymorphism);class 的接口是以签名为中心的显式的(explicit),多态则是通过 virtual 函数发生于运行期;template 的接口是奠基于有效表达式的隐式的(implicit),多态则是通过 template 具现化和函数重载解析(function overloading resolution)发生于编译期)
Q
勘误  
Qv Junping 已提交
1261
42. 了解 typename 的双重意义(声明 template 类型参数是,前缀关键字 class 和 typename 的意义完全相同;请使用关键字 typename 标识嵌套从属类型名称,但不得在基类列(base class lists)或成员初值列(member initialization list)内以它作为 base class 修饰符)
1262 1263 1264 1265 1266 1267 1268 1269 1270 1271 1272 1273 1274
43. 学习处理模板化基类内的名称(可在 derived class templates 内通过 `this->` 指涉 base class templates 内的成员名称,或藉由一个明白写出的 “base class 资格修饰符” 完成)
44. 将与参数无关的代码抽离 templates(因类型模板参数(non-type template parameters)而造成代码膨胀往往可以通过函数参数或 class 成员变量替换 template 参数来消除;因类型参数(type parameters)而造成的代码膨胀往往可以通过让带有完全相同二进制表述(binary representations)的实现类型(instantiation types)共享实现码)
45. 运用成员函数模板接受所有兼容类型(请使用成员函数模板(member function templates)生成 “可接受所有兼容类型” 的函数;声明 member templates 用于 “泛化 copy 构造” 或 “泛化 assignment 操作” 时还需要声明正常的 copy 构造函数和 copy assignment 操作符)
46. 需要类型转换时请为模板定义非成员函数(当我们编写一个 class template,而它所提供之 “与此 template 相关的” 函数支持 “所有参数之隐式类型转换” 时,请将那些函数定义为 “class template 内部的 friend 函数”)
47. 请使用 traits classes 表现类型信息(traits classes 通过 templates 和 “templates 特化” 使得 “类型相关信息” 在编译期可用,通过重载技术(overloading)实现在编译期对类型执行 if...else 测试)
48. 认识 template 元编程(模板元编程(TMP,template metaprogramming)可将工作由运行期移往编译期,因此得以实现早期错误侦测和更高的执行效率;TMP 可被用来生成 “给予政策选择组合”(based on combinations of policy choices)的客户定制代码,也可用来避免生成对某些特殊类型并不适合的代码)
49. 了解 new-handler 的行为(set\_new\_handler 允许客户指定一个在内存分配无法获得满足时被调用的函数;nothrow new 是一个颇具局限的工具,因为它只适用于内存分配(operator new),后继的构造函数调用还是可能抛出异常)
50. 了解 new 和 delete 的合理替换时机(为了检测运用错误、收集动态分配内存之使用统计信息、增加分配和归还速度、降低缺省内存管理器带来的空间额外开销、弥补缺省分配器中的非最佳齐位、将相关对象成簇集中、获得非传统的行为)
51. 编写 new 和 delete 时需固守常规(operator new 应该内涵一个无穷循环,并在其中尝试分配内存,如果它无法满足内存需求,就应该调用 new-handler,它也应该有能力处理 0 bytes 申请,class 专属版本则还应该处理 “比正确大小更大的(错误)申请”;operator delete 应该在收到 null 指针时不做任何事,class 专属版本则还应该处理 “比正确大小更大的(错误)申请”)
52. 写了 placement new 也要写 placement delete(当你写一个 placement operator new,请确定也写出了对应的 placement operator delete,否则可能会发生隐微而时断时续的内存泄漏;当你声明 placement new 和 placement delete,请确定不要无意识(非故意)地遮掩了它们地正常版本)
53. 不要轻忽编译器的警告
54. 让自己熟悉包括 TR1 在内的标准程序库(TR1,C++ Technical Report 1,C++11 标准的草稿文件)
55. 让自己熟悉 Boost(准标准库)
1275

辉哈's avatar
辉哈 已提交
1276 1277 1278 1279 1280 1281 1282 1283 1284 1285 1286 1287 1288 1289 1290 1291 1292 1293
### More Effective c++

1. 仔细区别 pointers 和 references(当你知道你需要指向某个东西,而且绝不会改变指向其他东西,或是当你实现一个操作符而其语法需求无法由 pointers 达成,你就应该选择 references;任何其他时候,请采用 pointers)
2. 最好使用 C++ 转型操作符(`static_cast``const_cast``dynamic_cast``reinterpret_cast`
3. 绝不要以多态(polymorphically)方式处理数组(多态(polymorphism)和指针算术不能混用;数组对象几乎总是会涉及指针的算术运算,所以数组和多态不要混用)
4. 非必要不提供 default constructor(避免对象中的字段被无意义地初始化)
5. 对定制的 “类型转换函数” 保持警觉(单自变量 constructors 可通过简易法(explicit 关键字)或代理类(proxy classes)来避免编译器误用;隐式类型转换操作符可改为显式的 member function 来避免非预期行为)
6. 区别 increment/decrement 操作符的前置(prefix)和后置(postfix)形式(前置式累加后取出,返回一个 reference;后置式取出后累加,返回一个 const 对象;处理用户定制类型时,应该尽可能使用前置式 increment;后置式的实现应以其前置式兄弟为基础)
7. 千万不要重载 `&&``||``,` 操作符(`&&``||` 的重载会用 “函数调用语义” 取代 “骤死式语义”;`,` 的重载导致不能保证左侧表达式一定比右侧表达式更早被评估)
8. 了解各种不同意义的 new 和 delete(`new operator``operator new``placement new``operator new[]``delete operator``operator delete``destructor``operator delete[]`
9. 利用 destructors 避免泄漏资源(在 destructors 释放资源可以避免异常时的资源泄漏)
10. 在 constructors 内阻止资源泄漏(由于 C++ 只会析构已构造完成的对象,因此在构造函数可以使用 try...catch 或者 auto_ptr(以及与之相似的 classes) 处理异常时资源泄露问题)
11. 禁止异常流出 destructors 之外(原因:一、避免 terminate 函数在 exception 传播过程的栈展开(stack-unwinding)机制种被调用;二、协助确保 destructors 完成其应该完成的所有事情)
12. 了解 “抛出一个 exception” 与 “传递一个参数” 或 “调用一个虚函数” 之间的差异(第一,exception objects 总是会被复制(by pointer 除外),如果以 by value 方式捕捉甚至被复制两次,而传递给函数参数的对象则不一定得复制;第二,“被抛出成为 exceptions” 的对象,其被允许的类型转换动作比 “被传递到函数去” 的对象少;第三,catch 子句以其 “出现于源代码的顺序” 被编译器检验对比,其中第一个匹配成功者便执行,而调用一个虚函数,被选中执行的是那个 “与对象类型最佳吻合” 的函数)
13. 以 by reference 方式捕获 exceptions(可避免对象删除问题、exception objects 的切割问题,可保留捕捉标准 exceptions 的能力,可约束 exception object 需要复制的次数)
14. 明智运用 exception specifications(exception specifications 对 “函数希望抛出什么样的 exceptions” 提供了卓越的说明;也有一些缺点,包括编译器只对它们做局部性检验而很容易不经意地违反,与可能会妨碍更上层的 exception 处理函数处理未预期的 exceptions)
15. 了解异常处理的成本(粗略估计,如果使用 try 语句块,代码大约整体膨胀 5%-10%,执行速度亦大约下降这个数;因此请将你对 try 语句块和 exception specifications 的使用限制于非用不可的地点,并且在真正异常的情况下才抛出 exceptions)
16. 谨记 80-20 法则(软件的整体性能几乎总是由其构成要素(代码)的一小部分决定的,可使用程序分析器(program profiler)识别出消耗资源的代码)
辉哈's avatar
辉哈 已提交
1294 1295
17. 考虑使用 lazy evaluation(缓式评估)(可应用于:Reference Counting(引用计数)来避免非必要的对象复制、区分 operator[] 的读和写动作来做不同的事情、Lazy Fetching(缓式取出)来避免非必要的数据库读取动作、Lazy Expression Evaluation(表达式缓评估)来避免非必要的数值计算动作)
18. 分期摊还预期的计算成本(当你必须支持某些运算而其结构几乎总是被需要,或其结果常常被多次需要的时候,over-eager evaluation(超急评估)可以改善程序效率)
辉哈's avatar
辉哈 已提交
1296

辉哈's avatar
辉哈 已提交
1297
### Google C++ Style Guide
辉哈's avatar
辉哈 已提交
1298

辉哈's avatar
辉哈 已提交
1299 1300
* 英文:[Google C++ Style Guide](https://google.github.io/styleguide/cppguide.html)
* 中文:[C++ 风格指南](https://zh-google-styleguide.readthedocs.io/en/latest/google-cpp-styleguide/contents/)
辉哈's avatar
辉哈 已提交
1301

1302
### 其他
辉哈's avatar
辉哈 已提交
1303

1304 1305
* [Bjarne Stroustrup 的常见问题](http://www.stroustrup.com/bs_faq.html)
* [Bjarne Stroustrup 的 C++ 风格和技巧常见问题](http://www.stroustrup.com/bs_faq2.html)
辉哈's avatar
辉哈 已提交
1306

1307 1308
<a id="stl"></a>

1309
## 📦 STL
辉哈's avatar
辉哈 已提交
1310

1311 1312 1313 1314 1315 1316 1317 1318
### STL 索引

[STL 方法含义索引](https://github.com/huihut/interview/tree/master/STL)

### STL 容器

容器 | 底层数据结构 | 时间复杂度 | 有无序 | 可不可重复 | 其他
---|---|---|---|---|---
1319 1320
[array](https://github.com/huihut/interview/tree/master/STL#array)|数组|随机读改 O(1)|无序|可重复|支持随机访问
[vector](https://github.com/huihut/interview/tree/master/STL#vector)|数组|随机读改、尾部插入、尾部删除 O(1)<br/>头部插入、头部删除 O(n)|无序|可重复|支持随机访问
1321
[deque](https://github.com/huihut/interview/tree/master/STL#deque)|双端队列|头尾插入、头尾删除 O(1)|无序|可重复|一个中央控制器 + 多个缓冲区,支持首尾快速增删,支持随机访问
1322 1323
[forward_list](https://github.com/huihut/interview/tree/master/STL#forward_list)|单向链表|插入、删除 O(1)|无序|可重复|不支持随机访问
[list](https://github.com/huihut/interview/tree/master/STL#list)|双向链表|插入、删除 O(1)|无序|可重复|不支持随机访问
1324 1325 1326 1327 1328 1329 1330
[stack](https://github.com/huihut/interview/tree/master/STL#stack)|deque / list|顶部插入、顶部删除 O(1)|无序|可重复|deque 或 list 封闭头端开口,不用 vector 的原因应该是容量大小有限制,扩容耗时
[queue](https://github.com/huihut/interview/tree/master/STL#queue)|deque / list|尾部插入、头部删除 O(1)|无序|可重复|deque 或 list 封闭头端开口,不用 vector 的原因应该是容量大小有限制,扩容耗时
[priority_queue](https://github.com/huihut/interview/tree/master/STL#priority_queue)|vector + max-heap|插入、删除 O(log<sub>2</sub>n)|有序|可重复|vector容器+heap处理规则
[set](https://github.com/huihut/interview/tree/master/STL#set)|红黑树|插入、删除、查找 O(log<sub>2</sub>n)|有序|不可重复|
[multiset](https://github.com/huihut/interview/tree/master/STL#multiset)|红黑树|插入、删除、查找 O(log<sub>2</sub>n)|有序|可重复|
[map](https://github.com/huihut/interview/tree/master/STL#map)|红黑树|插入、删除、查找 O(log<sub>2</sub>n)|有序|不可重复|
[multimap](https://github.com/huihut/interview/tree/master/STL#multimap)|红黑树|插入、删除、查找 O(log<sub>2</sub>n)|有序|可重复|
1331 1332 1333 1334
[unordered_set](https://github.com/huihut/interview/tree/master/STL#unordered_set)|哈希表|插入、删除、查找 O(1) 最差 O(n)|无序|不可重复|
[unordered_multiset](https://github.com/huihut/interview/tree/master/STL#unordered_multiset)|哈希表|插入、删除、查找 O(1) 最差 O(n)|无序|可重复|
[unordered_map](https://github.com/huihut/interview/tree/master/STL#unordered_map)|哈希表|插入、删除、查找 O(1) 最差 O(n)|无序|不可重复|
[unordered_multimap](https://github.com/huihut/interview/tree/master/STL#unordered_multimap)|哈希表|插入、删除、查找 O(1) 最差 O(n)|无序|可重复|
1335 1336 1337 1338 1339 1340 1341 1342

### STL 算法

算法 | 底层算法 | 时间复杂度 | 可不可重复
---|---|---|---
[find](http://www.cplusplus.com/reference/algorithm/find/)|顺序查找|O(n)|可重复
[sort](https://github.com/gcc-mirror/gcc/blob/master/libstdc++-v3/include/bits/stl_algo.h#L4808)|[内省排序](https://en.wikipedia.org/wiki/Introsort)|O(n*log<sub>2</sub>n)|可重复

1343 1344 1345

<a id="data-structure"></a>

1346
## 〽️ 数据结构
1347

辉哈's avatar
辉哈 已提交
1348 1349 1350 1351
### 顺序结构

#### 顺序栈(Sequence Stack)

辉哈's avatar
辉哈 已提交
1352 1353
[SqStack.cpp](DataStructure/SqStack.cpp)

1354
顺序栈数据结构和图片
1355

辉哈's avatar
辉哈 已提交
1356 1357 1358 1359 1360 1361
```cpp
typedef struct {
	ElemType *elem;
	int top;
	int size;
	int increment;
Z
zhjp0 已提交
1362
} SqStack;
辉哈's avatar
辉哈 已提交
1363 1364
```

1365
![](https://gitee.com/huihut/interview/raw/master/images/SqStack.png)
辉哈's avatar
辉哈 已提交
1366 1367 1368

#### 队列(Sequence Queue)

1369
队列数据结构
1370

辉哈's avatar
辉哈 已提交
1371 1372 1373 1374 1375 1376 1377 1378 1379 1380 1381
```cpp
typedef struct {
	ElemType * elem;
	int front;
	int rear;
	int maxSize;
}SqQueue;
```

##### 非循环队列

1382
非循环队列图片
1383

1384
![](https://gitee.com/huihut/interview/raw/master/images/SqQueue.png)
辉哈's avatar
辉哈 已提交
1385 1386 1387 1388 1389

`SqQueue.rear++`

##### 循环队列

1390
循环队列图片
1391

1392
![](https://gitee.com/huihut/interview/raw/master/images/SqLoopStack.png)
辉哈's avatar
辉哈 已提交
1393 1394 1395 1396 1397

`SqQueue.rear = (SqQueue.rear + 1) % SqQueue.maxSize`

#### 顺序表(Sequence List)

辉哈's avatar
辉哈 已提交
1398 1399
[SqList.cpp](DataStructure/SqList.cpp)

1400
顺序表数据结构和图片
1401

辉哈's avatar
辉哈 已提交
1402 1403 1404 1405 1406 1407 1408 1409 1410
```cpp
typedef struct {
	ElemType *elem;
	int length;
	int size;
	int increment;
} SqList;
```

1411
![](https://gitee.com/huihut/interview/raw/master/images/SqList.png)
辉哈's avatar
辉哈 已提交
1412

1413

辉哈's avatar
辉哈 已提交
1414 1415
### 链式结构

辉哈's avatar
辉哈 已提交
1416 1417 1418 1419
[LinkList.cpp](DataStructure/LinkList.cpp)

[LinkList_with_head.cpp](DataStructure/LinkList_with_head.cpp)

1420
链式数据结构
1421

1422 1423 1424 1425 1426 1427
```cpp
typedef struct LNode {
    ElemType data;
    struct LNode *next;
} LNode, *LinkList; 
```
辉哈's avatar
辉哈 已提交
1428 1429 1430

#### 链队列(Link Queue)

1431
链队列图片
1432

1433
![](https://gitee.com/huihut/interview/raw/master/images/LinkQueue.png)
1434 1435 1436 1437 1438

#### 线性表的链式表示

##### 单链表(Link List)

1439
单链表图片
1440

1441
![](https://gitee.com/huihut/interview/raw/master/images/LinkList.png)
1442 1443 1444

##### 双向链表(Du-Link-List)

1445
双向链表图片
1446

1447
![](https://gitee.com/huihut/interview/raw/master/images/DuLinkList.png)
1448 1449 1450

##### 循环链表(Cir-Link-List)

1451
循环链表图片
1452

1453
![](https://gitee.com/huihut/interview/raw/master/images/CirLinkList.png)
辉哈's avatar
辉哈 已提交
1454 1455 1456

### 哈希表

辉哈's avatar
辉哈 已提交
1457 1458
[HashTable.cpp](DataStructure/HashTable.cpp)

1459 1460 1461 1462 1463 1464 1465 1466 1467 1468 1469 1470 1471 1472
#### 概念

哈希函数:`H(key): K -> D , key ∈ K`

#### 构造方法

* 直接定址法
* 除留余数法
* 数字分析法
* 折叠法
* 平方取中法

#### 冲突处理方法

1473
* 链地址法:key 相同的用单链表链接
1474
* 开放定址法
1475 1476
    * 线性探测法:key 相同 -> 放到 key 的下一个位置,`Hi = (H(key) + i) % m`
    * 二次探测法:key 相同 -> 放到 `Di = 1^2, -1^2, ..., ±(k)^2,(k<=m/2)`
1477 1478 1479 1480
    * 随机探测法:`H = (H(key) + 伪随机数) % m`

#### 线性探测的哈希表数据结构

1481
线性探测的哈希表数据结构和图片
1482

1483
```cpp
1484 1485 1486 1487 1488 1489 1490 1491 1492 1493 1494 1495 1496
typedef char KeyType;

typedef struct {
	KeyType key;
}RcdType;

typedef struct {
	RcdType *rcd;
	int size;
	int count;
	bool *tag;
}HashTable;
```
1497

1498
![](https://gitee.com/huihut/interview/raw/master/images/HashTable.png)
1499

辉哈's avatar
辉哈 已提交
1500 1501
### 递归

辉哈's avatar
辉哈 已提交
1502 1503 1504 1505 1506 1507 1508 1509 1510 1511
#### 概念

函数直接或间接地调用自身

#### 递归与分治

* 分治法
    * 问题的分解
    * 问题规模的分解
* 折半查找(递归)
D
DiDong 已提交
1512
* 归并排序(递归)
辉哈's avatar
辉哈 已提交
1513 1514 1515 1516 1517
* 快速排序(递归)

#### 递归与迭代

* 迭代:反复利用变量旧值推出新值
D
DiDong 已提交
1518 1519
* 折半查找(迭代)
* 归并排序(迭代)
辉哈's avatar
辉哈 已提交
1520 1521 1522 1523 1524

#### 广义表

##### 头尾链表存储表示

1525
广义表的头尾链表存储表示和图片
1526

辉哈's avatar
辉哈 已提交
1527 1528 1529 1530 1531 1532 1533 1534 1535 1536
```cpp
// 广义表的头尾链表存储表示
typedef enum {ATOM, LIST} ElemTag;
// ATOM==0:原子,LIST==1:子表
typedef struct GLNode {
    ElemTag tag;
    // 公共部分,用于区分原子结点和表结点
    union {
        // 原子结点和表结点的联合部分
        AtomType atom;
1537
        // atom 是原子结点的值域,AtomType 由用户定义
辉哈's avatar
辉哈 已提交
1538 1539 1540
        struct {
            struct GLNode *hp, *tp;
        } ptr;
1541
        // ptr 是表结点的指针域,prt.hp 和 ptr.tp 分别指向表头和表尾
辉哈's avatar
辉哈 已提交
1542 1543 1544 1545
    } a;
} *GList, GLNode;
```

1546
![](https://gitee.com/huihut/interview/raw/master/images/GeneralizedList1.png)
辉哈's avatar
辉哈 已提交
1547 1548 1549

##### 扩展线性链表存储表示

1550
扩展线性链表存储表示和图片
1551

辉哈's avatar
辉哈 已提交
1552 1553 1554 1555 1556 1557 1558 1559 1560 1561 1562 1563 1564
```cpp
// 广义表的扩展线性链表存储表示
typedef enum {ATOM, LIST} ElemTag;
// ATOM==0:原子,LIST==1:子表
typedef struct GLNode1 {
    ElemTag tag;
    // 公共部分,用于区分原子结点和表结点
    union {
        // 原子结点和表结点的联合部分
        AtomType atom; // 原子结点的值域
        struct GLNode1 *hp; // 表结点的表头指针
    } a;
    struct GLNode1 *tp;
1565
    // 相当于线性链表的 next,指向下一个元素结点
辉哈's avatar
辉哈 已提交
1566 1567 1568
} *GList1, GLNode1;
```

1569
![](https://gitee.com/huihut/interview/raw/master/images/GeneralizedList2.png)
辉哈's avatar
辉哈 已提交
1570

辉哈's avatar
辉哈 已提交
1571 1572
### 二叉树

辉哈's avatar
辉哈 已提交
1573 1574
[BinaryTree.cpp](DataStructure/BinaryTree.cpp)

辉哈's avatar
辉哈 已提交
1575 1576
#### 性质

1577 1578 1579 1580 1581
1. 非空二叉树第 i 层最多 2<sup>(i-1)</sup> 个结点 (i >= 1)
2. 深度为 k 的二叉树最多 2<sup>k</sup> - 1 个结点 (k >= 1)
3. 度为 0 的结点数为 n<sub>0</sub>,度为 2 的结点数为 n<sub>2</sub>,则 n<sub>0</sub> = n<sub>2</sub> + 1
4. 有 n 个结点的完全二叉树深度 k = ⌊ log<sub>2</sub>(n) ⌋ + 1 
5. 对于含 n 个结点的完全二叉树中编号为 i (1 <= i <= n) 的结点
辉哈's avatar
辉哈 已提交
1582
    1. 若 i = 1,为根,否则双亲为 ⌊ i / 2 ⌋
1583
    2. 若 2i > n,则 i 结点没有左孩子,否则孩子编号为 2i
辉哈's avatar
辉哈 已提交
1584 1585 1586 1587
    3. 若 2i + 1 > n,则 i 结点没有右孩子,否则孩子编号为 2i + 1

#### 存储结构

1588
二叉树数据结构
1589

辉哈's avatar
辉哈 已提交
1590 1591 1592 1593 1594 1595 1596 1597
```cpp
typedef struct BiTNode
{
    TElemType data;
    struct BiTNode *lchild, *rchild;
}BiTNode, *BiTree;
```

辉哈's avatar
辉哈 已提交
1598 1599
##### 顺序存储

1600
二叉树顺序存储图片
1601

1602
![](https://gitee.com/huihut/interview/raw/master/images/SqBinaryTree.png)
辉哈's avatar
辉哈 已提交
1603 1604 1605

##### 链式存储

1606
二叉树链式存储图片
1607

1608
![](https://gitee.com/huihut/interview/raw/master/images/LinkBinaryTree.png)
辉哈's avatar
辉哈 已提交
1609 1610 1611 1612 1613 1614 1615 1616 1617 1618 1619 1620 1621 1622 1623 1624 1625 1626 1627 1628 1629

#### 遍历方式

* 先序遍历
* 中序遍历
* 后续遍历
* 层次遍历

#### 分类

* 满二叉树
* 完全二叉树(堆)
    * 大顶堆:根 >= 左 && 根 >= 右
    * 小顶堆:根 <= 左 && 根 <= 右
* 二叉查找树(二叉排序树):左 < 根 < 右
* 平衡二叉树(AVL树):| 左子树树高 - 右子树树高 | <= 1
* 最小失衡树:平衡二叉树插入新结点导致失衡的子树:调整:
    * LL型:根的左孩子右旋
    * RR型:根的右孩子左旋
    * LR型:根的左孩子左旋,再右旋
    * RL型:右孩子的左子树,先右旋,再左旋
辉哈's avatar
辉哈 已提交
1630

辉哈's avatar
辉哈 已提交
1631
### 其他树及森林
辉哈's avatar
辉哈 已提交
1632

辉哈's avatar
辉哈 已提交
1633 1634 1635 1636 1637 1638 1639 1640 1641 1642
#### 树的存储结构

* 双亲表示法
* 双亲孩子表示法
* 孩子兄弟表示法

#### 并查集

一种不相交的子集所构成的集合 S = {S1, S2, ..., Sn}

辉哈's avatar
辉哈 已提交
1643 1644
#### 平衡二叉树(AVL树)

辉哈's avatar
辉哈 已提交
1645 1646 1647 1648
##### 性质

* | 左子树树高 - 右子树树高 | <= 1
* 平衡二叉树必定是二叉搜索树,反之则不一定
1649
* 最小二叉平衡树的节点的公式:`F(n)=F(n-1)+F(n-2)+1` (1 是根节点,F(n-1) 是左子树的节点数量,F(n-2) 是右子树的节点数量)
辉哈's avatar
辉哈 已提交
1650

1651
平衡二叉树图片
1652

1653
![](https://gitee.com/huihut/interview/raw/master/images/Self-balancingBinarySearchTree.png)
辉哈's avatar
辉哈 已提交
1654 1655 1656 1657 1658 1659 1660

##### 最小失衡树

平衡二叉树插入新结点导致失衡的子树

调整:

1661 1662 1663 1664
* LL 型:根的左孩子右旋
* RR 型:根的右孩子左旋
* LR 型:根的左孩子左旋,再右旋
* RL 型:右孩子的左子树,先右旋,再左旋
辉哈's avatar
辉哈 已提交
1665

辉哈's avatar
辉哈 已提交
1666 1667
#### 红黑树

辉哈's avatar
辉哈 已提交
1668 1669
[RedBlackTree.cpp](DataStructure/RedBlackTree.cpp)

1670
##### 红黑树的特征是什么?
辉哈's avatar
辉哈 已提交
1671

1672 1673
1. 节点是红色或黑色。
2. 根是黑色。
1674
3. 所有叶子都是黑色(叶子是 NIL 节点)。
1675 1676
4. 每个红色节点必须有两个黑色的子节点。(从每个叶子到根的所有路径上不能有两个连续的红色节点。)(新增节点的父节点必须相同)
5. 从任一节点到其每个叶子的所有简单路径都包含相同数目的黑色节点。(新增节点必须为红)
辉哈's avatar
辉哈 已提交
1677

1678 1679 1680 1681 1682 1683 1684
##### 调整

1. 变色
2. 左旋
3. 右旋

##### 应用
辉哈's avatar
辉哈 已提交
1685

1686
* 关联数组:如 STL 中的 map、set
辉哈's avatar
辉哈 已提交
1687

1688
##### 红黑树、B 树、B+ 树的区别?
辉哈's avatar
辉哈 已提交
1689

1690 1691
* 红黑树的深度比较大,而 B 树和 B+ 树的深度则相对要小一些
* B+ 树则将数据都保存在叶子节点,同时通过链表的形式将他们连接在一起。
辉哈's avatar
辉哈 已提交
1692

1693
#### B 树(B-tree)、B+ 树(B+-tree)
辉哈's avatar
辉哈 已提交
1694

1695
B 树、B+ 树图片
1696

1697
![B 树(B-tree)、B+ 树(B+-tree)](https://i.stack.imgur.com/l6UyF.png)
辉哈's avatar
辉哈 已提交
1698 1699 1700 1701 1702 1703 1704 1705 1706 1707 1708 1709 1710 1711 1712 1713 1714 1715 1716 1717 1718

##### 特点

* 一般化的二叉查找树(binary search tree)
* “矮胖”,内部(非叶子)节点可以拥有可变数量的子节点(数量范围预先定义好)

##### 应用

* 大部分文件系统、数据库系统都采用B树、B+树作为索引结构

##### 区别

* B+树中只有叶子节点会带有指向记录的指针(ROWID),而B树则所有节点都带有,在内部节点出现的索引项不会再出现在叶子节点中。
* B+树中所有叶子节点都是通过指针连接在一起,而B树不会。

##### B树的优点

对于在内部节点的数据,可直接得到,不必根据叶子节点来定位。

##### B+树的优点

1719
* 非叶子节点不会带上 ROWID,这样,一个块中可以容纳更多的索引项,一是可以降低树的高度。二是一个内部节点可以定位更多的叶子节点。
辉哈's avatar
辉哈 已提交
1720 1721
* 叶子节点之间通过指针来连接,范围扫描将十分简单,而对于B树来说,则需要在叶子节点和内部节点不停的往返移动。

1722
> B 树、B+ 树区别来自:[differences-between-b-trees-and-b-trees](https://stackoverflow.com/questions/870218/differences-between-b-trees-and-b-trees)、[B树和B+树的区别](https://www.cnblogs.com/ivictor/p/5849061.html)
辉哈's avatar
辉哈 已提交
1723 1724 1725

#### 八叉树

1726
八叉树图片
1727

辉哈's avatar
辉哈 已提交
1728 1729 1730 1731 1732 1733 1734 1735 1736
![](https://upload.wikimedia.org/wikipedia/commons/thumb/3/35/Octree2.png/400px-Octree2.png)

八叉树(octree),或称八元树,是一种用于描述三维空间(划分空间)的树状数据结构。八叉树的每个节点表示一个正方体的体积元素,每个节点有八个子节点,这八个子节点所表示的体积元素加在一起就等于父节点的体积。一般中心点作为节点的分叉中心。

##### 用途

* 三维计算机图形
* 最邻近搜索

1737 1738
<a id="algorithm"></a>

1739
## ⚡️ 算法
辉哈's avatar
辉哈 已提交
1740

辉哈's avatar
辉哈 已提交
1741 1742
### 排序

1743 1744 1745 1746 1747 1748
排序算法 | 平均时间复杂度 | 最差时间复杂度 | 空间复杂度 | 数据对象稳定性
---|---|---|---|---
[冒泡排序](Algorithm/BubbleSort.h) | O(n<sup>2</sup>)|O(n<sup>2</sup>)|O(1)|稳定
[选择排序](Algorithm/SelectionSort.h) | O(n<sup>2</sup>)|O(n<sup>2</sup>)|O(1)|数组不稳定、链表稳定
[插入排序](Algorithm/InsertSort.h) | O(n<sup>2</sup>)|O(n<sup>2</sup>)|O(1)|稳定
[快速排序](Algorithm/QuickSort.h) | O(n*log<sub>2</sub>n) |  O(n<sup>2</sup>) | O(log<sub>2</sub>n) | 不稳定
1749 1750
[堆排序](Algorithm/HeapSort.cpp) | O(n*log<sub>2</sub>n)|O(n*log<sub>2</sub>n)|O(1)|不稳定
[归并排序](Algorithm/MergeSort.h) | O(n*log<sub>2</sub>n) | O(n*log<sub>2</sub>n)|O(n)|稳定
1751
[希尔排序](Algorithm/ShellSort.h) | O(n*log<sup>2</sup>n)|O(n<sup>2</sup>)|O(1)|不稳定
1752 1753
[计数排序](Algorithm/CountSort.cpp) | O(n+m)|O(n+m)|O(n+m)|稳定
[桶排序](Algorithm/BucketSort.cpp) | O(n)|O(n)|O(m)|稳定
1754
[基数排序](Algorithm/RadixSort.h) | O(k*n)|O(n<sup>2</sup>)| |稳定
辉哈's avatar
辉哈 已提交
1755

1756
> * 均按从小到大排列
1757
> * k:代表数值中的 “数位” 个数
1758 1759
> * n:代表数据规模
> * m:代表数据的最大值减最小值
辉哈's avatar
辉哈 已提交
1760
> * 来自:[wikipedia . 排序算法](https://zh.wikipedia.org/wiki/%E6%8E%92%E5%BA%8F%E7%AE%97%E6%B3%95)
1761

辉哈's avatar
辉哈 已提交
1762 1763
### 查找

1764 1765 1766 1767
查找算法 | 平均时间复杂度 | 空间复杂度 | 查找条件
---|---|---|---
[顺序查找](Algorithm/SequentialSearch.h) | O(n) | O(1) | 无序或有序
[二分查找(折半查找)](Algorithm/BinarySearch.h) | O(log<sub>2</sub>n)| O(1) | 有序
1768 1769 1770 1771 1772 1773 1774
[插值查找](Algorithm/InsertionSearch.h) | O(log<sub>2</sub>(log<sub>2</sub>n)) | O(1) | 有序
[斐波那契查找](Algorithm/FibonacciSearch.cpp) | O(log<sub>2</sub>n) | O(1) | 有序
[哈希查找](DataStructure/HashTable.cpp) | O(1) | O(n) | 无序或有序
[二叉查找树(二叉搜索树查找)](Algorithm/BSTSearch.h) |O(log<sub>2</sub>n) |   | 
[红黑树](DataStructure/RedBlackTree.cpp) |O(log<sub>2</sub>n) | |
2-3树 | O(log<sub>2</sub>n - log<sub>3</sub>n) |   | 
B树/B+树 |O(log<sub>2</sub>n) |   | 
辉哈's avatar
辉哈 已提交
1775

1776 1777 1778 1779 1780 1781 1782 1783 1784
### 图搜索算法

图搜索算法 |数据结构| 遍历时间复杂度 | 空间复杂度
---|---|---|---
[BFS广度优先搜索](https://zh.wikipedia.org/wiki/%E5%B9%BF%E5%BA%A6%E4%BC%98%E5%85%88%E6%90%9C%E7%B4%A2)|邻接矩阵<br/>邻接链表|O(\|v\|<sup>2</sup>)<br/>O(\|v\|+\|E\|)|O(\|v\|<sup>2</sup>)<br/>O(\|v\|+\|E\|)
[DFS深度优先搜索](https://zh.wikipedia.org/wiki/%E6%B7%B1%E5%BA%A6%E4%BC%98%E5%85%88%E6%90%9C%E7%B4%A2)|邻接矩阵<br/>邻接链表|O(\|v\|<sup>2</sup>)<br/>O(\|v\|+\|E\|)|O(\|v\|<sup>2</sup>)<br/>O(\|v\|+\|E\|)

### 其他算法

辉哈's avatar
辉哈 已提交
1785
算法 |思想| 应用
1786 1787 1788 1789 1790
---|---|---
[分治法](https://zh.wikipedia.org/wiki/%E5%88%86%E6%B2%BB%E6%B3%95)|把一个复杂的问题分成两个或更多的相同或相似的子问题,直到最后子问题可以简单的直接求解,原问题的解即子问题的解的合并|[循环赛日程安排问题](https://github.com/huihut/interview/tree/master/Problems/RoundRobinProblem)、排序算法(快速排序、归并排序)
[动态规划](https://zh.wikipedia.org/wiki/%E5%8A%A8%E6%80%81%E8%A7%84%E5%88%92)|通过把原问题分解为相对简单的子问题的方式求解复杂问题的方法,适用于有重叠子问题和最优子结构性质的问题|[背包问题](https://github.com/huihut/interview/tree/master/Problems/KnapsackProblem)、斐波那契数列
[贪心法](https://zh.wikipedia.org/wiki/%E8%B4%AA%E5%BF%83%E6%B3%95)|一种在每一步选择中都采取在当前状态下最好或最优(即最有利)的选择,从而希望导致结果是最好或最优的算法|旅行推销员问题(最短路径问题)、最小生成树、哈夫曼编码

1791 1792
<a id="problems"></a>

1793
## ❓ Problems
1794

辉哈's avatar
辉哈 已提交
1795 1796
### Single Problem

1797 1798 1799 1800 1801
* [Chessboard Coverage Problem(棋盘覆盖问题)](Problems/ChessboardCoverageProblem)
* [Knapsack Problem(背包问题)](Problems/KnapsackProblem)
* [Neumann Neighbor Problem(冯诺依曼邻居问题)](Problems/NeumannNeighborProblem)
* [Round Robin Problem(循环赛日程安排问题)](Problems/RoundRobinProblem)
* [Tubing Problem(输油管道问题)](Problems/TubingProblem)
辉哈's avatar
辉哈 已提交
1802

辉哈's avatar
辉哈 已提交
1803 1804
### Leetcode Problems

1805 1806
* [Github . haoel/leetcode](https://github.com/haoel/leetcode)
* [Github . pezy/LeetCode](https://github.com/pezy/LeetCode)
辉哈's avatar
辉哈 已提交
1807

辉哈's avatar
辉哈 已提交
1808 1809 1810 1811 1812 1813 1814 1815 1816 1817 1818 1819 1820 1821
### 剑指 Offer

* [Github . zhedahht/CodingInterviewChinese2](https://github.com/zhedahht/CodingInterviewChinese2)
* [Github . gatieme/CodingInterviews](https://github.com/gatieme/CodingInterviews)

### Cracking the Coding Interview 程序员面试金典

* [Github . careercup/ctci](https://github.com/careercup/ctci)
* [牛客网 . 程序员面试金典](https://www.nowcoder.com/ta/cracking-the-coding-interview)

### 牛客网

* [牛客网 . 在线编程专题](https://www.nowcoder.com/activity/oj)

1822 1823
<a id="os"></a>

1824
## 💻 操作系统
1825

辉哈's avatar
辉哈 已提交
1826 1827 1828 1829 1830 1831 1832 1833 1834 1835 1836
### 进程与线程

对于有线程系统:
* 进程是资源分配的独立单位
* 线程是资源调度的独立单位

对于无线程系统:
* 进程是资源调度、分配的独立单位

#### 进程之间的通信方式以及优缺点

辉哈's avatar
辉哈 已提交
1837
* 管道(PIPE)
辉哈's avatar
辉哈 已提交
1838 1839 1840 1841 1842 1843 1844 1845 1846 1847 1848
    * 有名管道:一种半双工的通信方式,它允许无亲缘关系进程间的通信
        * 优点:可以实现任意关系的进程间的通信
        * 缺点:
            1. 长期存于系统中,使用不当容易出错
            2. 缓冲区有限
    * 无名管道:一种半双工的通信方式,只能在具有亲缘关系的进程间使用(父子进程)
        * 优点:简单方便
        * 缺点:
            1. 局限于单向通信 
            2. 只能创建在它的进程以及其有亲缘关系的进程之间
            3. 缓冲区有限
辉哈's avatar
辉哈 已提交
1849
* 信号量(Semaphore):一个计数器,可以用来控制多个线程对共享资源的访问
辉哈's avatar
辉哈 已提交
1850 1851
    * 优点:可以同步进程
    * 缺点:信号量有限
辉哈's avatar
辉哈 已提交
1852 1853
* 信号(Signal):一种比较复杂的通信方式,用于通知接收进程某个事件已经发生
* 消息队列(Message Queue):是消息的链表,存放在内核中并由消息队列标识符标识
辉哈's avatar
辉哈 已提交
1854
    * 优点:可以实现任意进程间的通信,并通过系统调用函数来实现消息发送和接收之间的同步,无需考虑同步问题,方便
1855
    * 缺点:信息的复制需要额外消耗 CPU 的时间,不适宜于信息量大或操作频繁的场合
辉哈's avatar
辉哈 已提交
1856
* 共享内存(Shared Memory):映射一段能被其他进程所访问的内存,这段共享内存由一个进程创建,但多个进程都可以访问
辉哈's avatar
辉哈 已提交
1857 1858 1859 1860
    * 优点:无须复制,快捷,信息量大
    * 缺点:
        1. 通信是通过将共享空间缓冲区直接附加到进程的虚拟地址空间中来实现的,因此进程间的读写操作的同步问题
        2. 利用内存缓冲区直接交换信息,内存的实体存在于计算机中,只能同一个计算机系统中的诸多进程共享,不方便网络通信
姬小野 已提交
1861
* 套接字(Socket):可用于不同计算机间的进程通信
辉哈's avatar
辉哈 已提交
1862 1863 1864 1865 1866 1867 1868 1869 1870
    * 优点:
        1. 传输数据为字节级,传输数据可自定义,数据量小效率高
        2. 传输数据时间短,性能高
        3. 适合于客户端和服务器端之间信息实时交互
        4. 可以加密,数据安全性强
    * 缺点:需对传输的数据进行解析,转化成应用级的数据。

#### 线程之间的通信方式

辉哈's avatar
辉哈 已提交
1871 1872 1873
* 锁机制:包括互斥锁/量(mutex)、读写锁(reader-writer lock)、自旋锁(spin lock)、条件变量(condition)
    * 互斥锁/量(mutex):提供了以排他方式防止数据结构被并发修改的方法。
    * 读写锁(reader-writer lock):允许多个线程同时读共享数据,而对写操作是互斥的。
Q
勘误  
Qv Junping 已提交
1874
    * 自旋锁(spin lock)与互斥锁类似,都是为了保护共享资源。互斥锁是当资源被占用,申请者进入睡眠状态;而自旋锁则循环检测保持者是否已经释放锁。
辉哈's avatar
辉哈 已提交
1875
    * 条件变量(condition):可以以原子的方式阻塞进程,直到某个特定条件为真为止。对条件的测试是在互斥锁的保护下进行的。条件变量始终与互斥锁一起使用。
辉哈's avatar
辉哈 已提交
1876 1877 1878 1879
* 信号量机制(Semaphore)
    * 无名线程信号量
    * 命名线程信号量
* 信号机制(Signal):类似进程间的信号处理
辉哈's avatar
辉哈 已提交
1880
* 屏障(barrier):屏障允许每个线程等待,直到所有的合作线程都达到某一点,然后从该点继续执行。
辉哈's avatar
辉哈 已提交
1881 1882 1883

线程间的通信目的主要是用于线程同步,所以线程没有像进程通信中的用于数据交换的通信机制  

1884
> 进程之间的通信方式以及优缺点来源于:[进程线程面试题总结](http://blog.csdn.net/wujiafei_njgcxy/article/details/77098977)
辉哈's avatar
辉哈 已提交
1885

1886 1887 1888
#### 进程之间私有和共享的资源

* 私有:地址空间、堆、全局变量、栈、寄存器
1889
* 共享:代码段,公共数据,进程目录,进程 ID
1890 1891 1892

#### 线程之间私有和共享的资源

Z
zhjp0 已提交
1893
* 私有:线程栈,寄存器,程序计数器
1894 1895
* 共享:堆,地址空间,全局变量,静态变量

1896 1897 1898 1899 1900 1901 1902 1903 1904 1905 1906 1907 1908 1909 1910 1911 1912 1913 1914 1915 1916 1917 1918 1919 1920 1921 1922 1923 1924 1925
#### 多进程与多线程间的对比、优劣与选择

##### 对比

对比维度 | 多进程 | 多线程 | 总结
---|---|---|---
数据共享、同步|数据共享复杂,需要用 IPC;数据是分开的,同步简单|因为共享进程数据,数据共享简单,但也是因为这个原因导致同步复杂|各有优势
内存、CPU|占用内存多,切换复杂,CPU 利用率低|占用内存少,切换简单,CPU 利用率高|线程占优
创建销毁、切换|创建销毁、切换复杂,速度慢|创建销毁、切换简单,速度很快|线程占优
编程、调试|编程简单,调试简单|编程复杂,调试复杂|进程占优
可靠性|进程间不会互相影响|一个线程挂掉将导致整个进程挂掉|进程占优
分布式|适应于多核、多机分布式;如果一台机器不够,扩展到多台机器比较简单|适应于多核分布式|进程占优

##### 优劣

优劣|多进程|多线程
---|---|---
优点|编程、调试简单,可靠性较高|创建、销毁、切换速度快,内存、资源占用小
缺点|创建、销毁、切换速度慢,内存、资源占用大|编程、调试复杂,可靠性较差

##### 选择

* 需要频繁创建销毁的优先用线程
* 需要进行大量计算的优先使用线程
* 强相关的处理用线程,弱相关的处理用进程
* 可能要扩展到多机分布的用进程,多核分布的用线程
* 都满足需求的情况下,用你最熟悉、最拿手的方式

> 多进程与多线程间的对比、优劣与选择来自:[多线程还是多进程的选择及区别](https://blog.csdn.net/lishenglong666/article/details/8557215)

1926 1927 1928 1929
### Linux 内核的同步方式

#### 原因

D
DevOnLin 已提交
1930
在现代操作系统里,同一时间可能有多个内核执行流在执行,因此内核其实像多进程多线程编程一样也需要一些同步机制来同步各执行单元对共享数据的访问。尤其是在多处理器系统上,更需要一些同步机制来同步不同处理器上的执行单元对共享的数据的访问。
1931 1932 1933 1934 1935 1936 1937 1938 1939 1940 1941 1942 1943

#### 同步方式

* 原子操作
* 信号量(semaphore)
* 读写信号量(rw_semaphore)
* 自旋锁(spinlock)
* 大内核锁(BKL,Big Kernel Lock)
* 读写锁(rwlock)
* 大读者锁(brlock-Big Reader Lock)
* 读-拷贝修改(RCU,Read-Copy Update)
* 顺序锁(seqlock)

辉哈's avatar
辉哈 已提交
1944
> 来自:[Linux 内核的同步机制,第 1 部分](https://www.ibm.com/developerworks/cn/linux/l-synch/part1/)、[Linux 内核的同步机制,第 2 部分](https://www.ibm.com/developerworks/cn/linux/l-synch/part2/)
1945

辉哈's avatar
辉哈 已提交
1946 1947
### 死锁

1948 1949 1950 1951 1952 1953
#### 原因

* 系统资源不足
* 资源分配不当
* 进程运行推进顺序不合适

辉哈's avatar
辉哈 已提交
1954 1955 1956 1957 1958 1959 1960 1961 1962 1963 1964 1965 1966 1967 1968 1969 1970 1971
#### 产生条件

* 互斥
* 请求和保持
* 不剥夺
* 环路

#### 预防

* 打破互斥条件:改造独占性资源为虚拟资源,大部分资源已无法改造。
* 打破不可抢占条件:当一进程占有一独占性资源后又申请一独占性资源而无法满足,则退出原占有的资源。
* 打破占有且申请条件:采用资源预先分配策略,即进程运行前申请全部资源,满足则运行,不然就等待,这样就不会占有且申请。
* 打破循环等待条件:实现资源有序分配策略,对所有设备实现分类编号,所有进程只能采用按序号递增的形式申请资源。
* 有序资源分配法
* 银行家算法

### 文件系统

1972
* Windows:FCB 表 + FAT + 位图
1973
* Unix:inode + 混合索引 + 成组链接
辉哈's avatar
辉哈 已提交
1974

1975 1976
### 主机字节序与网络字节序

1977
#### 主机字节序(CPU 字节序)
1978 1979 1980

##### 概念

1981
主机字节序又叫 CPU 字节序,其不是由操作系统决定的,而是由 CPU 指令集架构决定的。主机字节序分为两种:
1982 1983 1984 1985 1986 1987

* 大端字节序(Big Endian):高序字节存储在低位地址,低序字节存储在高位地址
* 小端字节序(Little Endian):高序字节存储在高位地址,低序字节存储在低位地址

##### 存储方式

1988
32 位整数 `0x12345678` 是从起始位置为 `0x00` 的地址开始存放,则:
1989 1990 1991

内存地址 | 0x00 | 0x01 | 0x02 | 0x03
---|---|---|---|---
1992 1993 1994
大端|12|34|56|78
小端|78|56|34|12

1995
大端小端图片
1996

1997 1998
![大端序](https://gitee.com/huihut/interview/raw/master/images/CPU-Big-Endian.svg.png)
![小端序](https://gitee.com/huihut/interview/raw/master/images/CPU-Little-Endian.svg.png)
1999 2000 2001

##### 判断大端小端

2002
判断大端小端
2003

2004
可以这样判断自己 CPU 字节序是大端还是小端:
2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021

```cpp
#include <iostream>
using namespace std;

int main()
{
	int i = 0x12345678;

	if (*((char*)&i) == 0x12)
		cout << "大端" << endl;
	else	
		cout << "小端" << endl;

	return 0;
}
```
2022

2023 2024
##### 各架构处理器的字节序

2025 2026 2027
* x86(Intel、AMD)、MOS Technology 6502、Z80、VAX、PDP-11 等处理器为小端序;
* Motorola 6800、Motorola 68000、PowerPC 970、System/370、SPARC(除 V9 外)等处理器为大端序;
* ARM(默认小端序)、PowerPC(除 PowerPC 970 外)、DEC Alpha、SPARC V9、MIPS、PA-RISC 及 IA64 的字节序是可配置的。
2028 2029 2030

#### 网络字节序

L
linkwk7 已提交
2031
网络字节顺序是 TCP/IP 中规定好的一种数据表示格式,它与具体的 CPU 类型、操作系统等无关,从而可以保证数据在不同主机之间传输时能够被正确解释。
2032 2033 2034

网络字节顺序采用:大端(Big Endian)排列方式。

2035 2036 2037 2038 2039 2040 2041 2042 2043 2044 2045 2046 2047 2048 2049 2050 2051 2052 2053 2054 2055
### 页面置换算法

在地址映射过程中,若在页面中发现所要访问的页面不在内存中,则产生缺页中断。当发生缺页中断时,如果操作系统内存中没有空闲页面,则操作系统必须在内存选择一个页面将其移出内存,以便为即将调入的页面让出空间。而用来选择淘汰哪一页的规则叫做页面置换算法。

#### 分类

* 全局置换:在整个内存空间置换
* 局部置换:在本进程中进行置换

#### 算法

全局:
* 工作集算法
* 缺页率置换算法

局部:
* 最佳置换算法(OPT)
* 先进先出置换算法(FIFO)
* 最近最久未使用(LRU)算法
* 时钟(Clock)置换算法

2056 2057
<a id="computer-network"></a>

2058
## ☁️ 计算机网络
2059

辉哈's avatar
辉哈 已提交
2060 2061
> 本节部分知识点来自《计算机网络(第 7 版)》

Q
勘误  
Qv Junping 已提交
2062
计算机网络体系结构:
辉哈's avatar
辉哈 已提交
2063

2064
![计算机网络体系结构](https://gitee.com/huihut/interview/raw/master/images/计算机网络体系结构.png)
2065

2066 2067 2068 2069
### 各层作用及协议

分层 | 作用 | 协议
---|---|---
2070 2071 2072 2073 2074 2075 2076
物理层 | 通过媒介传输比特,确定机械及电气规范(比特 Bit) | RJ45、CLOCK、IEEE802.3(中继器,集线器)
数据链路层|将比特组装成帧和点到点的传递(帧 Frame)| PPP、FR、HDLC、VLAN、MAC(网桥,交换机)
网络层|负责数据包从源到宿的传递和网际互连(包 Packet)|IP、ICMP、ARP、RARP、OSPF、IPX、RIP、IGRP(路由器)
运输层|提供端到端的可靠报文传递和错误恢复( 段Segment)|TCP、UDP、SPX
会话层|建立、管理和终止会话(会话协议数据单元 SPDU)|NFS、SQL、NETBIOS、RPC
表示层|对数据进行翻译、加密和压缩(表示协议数据单元 PPDU)|JPEG、MPEG、ASII
应用层|允许访问OSI环境的手段(应用协议数据单元 APDU)|FTP、DNS、Telnet、SMTP、HTTP、WWW、NFS
2077

2078

辉哈's avatar
辉哈 已提交
2079 2080
### 物理层

辉哈's avatar
update  
辉哈 已提交
2081
* 传输数据的单位:比特
辉哈's avatar
辉哈 已提交
2082 2083 2084 2085
* 数据传输系统:源系统(源点、发送器) --> 传输系统 --> 目的系统(接收器、终点)

通道:
* 单向通道(单工通道):只有一个方向通信,没有反方向交互,如广播
Q
勘误  
Qv Junping 已提交
2086
* 双向交替通信(半双工通信):通信双方都可发消息,但不能同时发送或接收
辉哈's avatar
辉哈 已提交
2087 2088 2089 2090 2091 2092 2093 2094 2095 2096 2097 2098 2099 2100 2101 2102
* 双向同时通信(全双工通信):通信双方可以同时发送和接收信息

通道复用技术:
* 频分复用(FDM,Frequency Division Multiplexing):不同用户在不同频带,所用用户在同样时间占用不同带宽资源
* 时分复用(TDM,Time Division Multiplexing):不同用户在同一时间段的不同时间片,所有用户在不同时间占用同样的频带宽度
* 波分复用(WDM,Wavelength Division Multiplexing):光的频分复用
* 码分复用(CDM,Code Division Multiplexing):不同用户使用不同的码,可以在同样时间使用同样频带通信

### 数据链路层

主要信道:
* 点对点信道
* 广播信道

#### 点对点信道

辉哈's avatar
update  
辉哈 已提交
2103
* 数据单元:帧
辉哈's avatar
辉哈 已提交
2104 2105

三个基本问题:
2106
* 封装成帧:把网络层的 IP 数据报封装成帧,`SOH - 数据部分 - EOT`
辉哈's avatar
辉哈 已提交
2107 2108 2109 2110
* 透明传输:不管数据部分什么字符,都能传输出去;可以通过字节填充方法解决(冲突字符前加转义字符)
* 差错检测:降低误码率(BER,Bit Error Rate),广泛使用循环冗余检测(CRC,Cyclic Redundancy Check)

点对点协议(Point-to-Point Protocol):
2111
* 点对点协议(Point-to-Point Protocol):用户计算机和 ISP 通信时所使用的协议
辉哈's avatar
辉哈 已提交
2112 2113 2114 2115

#### 广播信道

广播通信:
2116 2117
* 硬件地址(物理地址、MAC 地址)
* 单播(unicast)帧(一对一):收到的帧的 MAC 地址与本站的硬件地址相同
辉哈's avatar
辉哈 已提交
2118 2119 2120 2121 2122 2123 2124 2125 2126 2127 2128 2129
* 广播(broadcast)帧(一对全体):发送给本局域网上所有站点的帧
* 多播(multicast)帧(一对多):发送给本局域网上一部分站点的帧

### 网络层

* IP(Internet Protocol,网际协议)是为计算机网络相互连接进行通信而设计的协议。
* ARP(Address Resolution Protocol,地址解析协议)
* ICMP(Internet Control Message Protocol,网际控制报文协议)
* IGMP(Internet Group Management Protocol,网际组管理协议)

#### IP 网际协议

2130 2131
IP 地址分类:
* `IP 地址 ::= {<网络号>,<主机号>}`
辉哈's avatar
辉哈 已提交
2132

2133
IP 地址类别 | 网络号 | 网络范围 | 主机号 | IP 地址范围
辉哈's avatar
辉哈 已提交
2134 2135 2136 2137 2138 2139 2140 2141 2142
---|---|---|---|---
A 类 | 8bit,第一位固定为 0 | 0 —— 127 | 24bit | 1.0.0.0 —— 127.255.255.255
B 类 | 16bit,前两位固定为  10 | 128.0 —— 191.255 | 16bit | 128.0.0.0 —— 191.255.255.255
C  类 | 24bit,前三位固定为  110 | 192.0.0 —— 223.255.255 | 8bit | 192.0.0.0 —— 223.255.255.255
D  类 | 前四位固定为 1110,后面为多播地址
E  类 | 前五位固定为 11110,后面保留为今后所用

IP 数据报格式:

2143
![IP 数据报格式](https://gitee.com/huihut/interview/raw/master/images/IP数据报格式.png)
辉哈's avatar
辉哈 已提交
2144 2145 2146 2147 2148

#### ICMP 网际控制报文协议

ICMP 报文格式:

2149
![ICMP 报文格式](https://gitee.com/huihut/interview/raw/master/images/ICMP报文格式.png)
辉哈's avatar
辉哈 已提交
2150 2151 2152

应用:
* PING(Packet InterNet Groper,分组网间探测)测试两个主机之间的连通性
辉哈's avatar
辉哈 已提交
2153
* TTL(Time To Live,生存时间)该字段指定 IP 包被路由器丢弃之前允许通过的最大网段数量
辉哈's avatar
辉哈 已提交
2154 2155 2156 2157 2158 2159 2160

#### 内部网关协议

* RIP(Routing Information Protocol,路由信息协议)
* OSPF(Open Sortest Path First,开放最短路径优先)

#### 外部网关协议
2161

辉哈's avatar
辉哈 已提交
2162
* BGP(Border Gateway Protocol,边界网关协议)
2163

辉哈's avatar
辉哈 已提交
2164
#### IP多播
2165

辉哈's avatar
辉哈 已提交
2166 2167
* IGMP(Internet Group Management Protocol,网际组管理协议)
* 多播路由选择协议
2168

辉哈's avatar
辉哈 已提交
2169
#### VPN 和 NAT
2170

辉哈's avatar
辉哈 已提交
2171 2172
* VPN(Virtual Private Network,虚拟专用网)
* NAT(Network Address Translation,网络地址转换)
2173

2174 2175
#### 路由表包含什么?

2176 2177 2178
1. 网络 ID(Network ID, Network number):就是目标地址的网络 ID。
2. 子网掩码(subnet mask):用来判断 IP 所属网络
3. 下一跳地址/接口(Next hop / interface):就是数据在发送到目标地址的旅途中下一站的地址。其中 interface 指向 next hop(即为下一个 route)。一个自治系统(AS, Autonomous system)中的 route 应该包含区域内所有的子网络,而默认网关(Network id: `0.0.0.0`, Netmask: `0.0.0.0`)指向自治系统的出口。
2179 2180 2181 2182 2183 2184 2185

根据应用和执行的不同,路由表可能含有如下附加信息:

1. 花费(Cost):就是数据发送过程中通过路径所需要的花费。
2. 路由的服务质量
3. 路由中需要过滤的出/入连接列表

辉哈's avatar
辉哈 已提交
2186
### 运输层
2187

辉哈's avatar
辉哈 已提交
2188 2189 2190 2191 2192 2193 2194
协议:

* TCP(Transmission Control Protocol,传输控制协议)
* UDP(User Datagram Protocol,用户数据报协议)

端口:

辉哈's avatar
辉哈 已提交
2195 2196 2197
应用程序 | FTP | TELNET | SMTP | DNS | TFTP | HTTP | HTTPS | SNMP  
--- | --- | --- |--- |--- |--- |--- |--- |---   
端口号 | 21 | 23 | 25 | 53 | 69 | 80 | 443 | 161  
辉哈's avatar
辉哈 已提交
2198 2199 2200 2201 2202 2203 2204 2205 2206 2207 2208 2209

#### TCP

* TCP(Transmission Control Protocol,传输控制协议)是一种面向连接的、可靠的、基于字节流的传输层通信协议,其传输的单位是报文段。

特征:
* 面向连接
* 只能点对点(一对一)通信
* 可靠交互
* 全双工通信
* 面向字节流

2210
TCP 如何保证可靠传输:
辉哈's avatar
辉哈 已提交
2211 2212
* 确认和超时重传
* 数据合理分片和排序
辉哈's avatar
辉哈 已提交
2213 2214
* 流量控制
* 拥塞控制
辉哈's avatar
辉哈 已提交
2215
* 数据校验
辉哈's avatar
辉哈 已提交
2216 2217 2218

TCP 报文结构

2219
![TCP 报文](https://gitee.com/huihut/interview/raw/master/images/TCP报文.png)
辉哈's avatar
辉哈 已提交
2220 2221 2222

TCP 首部

2223
![TCP 首部](https://gitee.com/huihut/interview/raw/master/images/TCP首部.png)
辉哈's avatar
辉哈 已提交
2224

2225 2226
TCP:状态控制码(Code,Control Flag),占 6 比特,含义如下:
* URG:紧急比特(urgent),当 `URG=1` 时,表明紧急指针字段有效,代表该封包为紧急封包。它告诉系统此报文段中有紧急数据,应尽快传送(相当于高优先级的数据), 且上图中的 Urgent Pointer 字段也会被启用。
辉哈's avatar
辉哈 已提交
2227 2228 2229 2230 2231
* ACK:确认比特(Acknowledge)。只有当 `ACK=1` 时确认号字段才有效,代表这个封包为确认封包。当 `ACK=0` 时,确认号无效。
* PSH:(Push function)若为 1 时,代表要求对方立即传送缓冲区内的其他对应封包,而无需等缓冲满了才送。
* RST:复位比特(Reset),当 `RST=1` 时,表明 TCP 连接中出现严重差错(如由于主机崩溃或其他原因),必须释放连接,然后再重新建立运输连接。
* SYN:同步比特(Synchronous),SYN 置为 1,就表示这是一个连接请求或连接接受报文,通常带有 SYN 标志的封包表示『主动』要连接到对方的意思。
* FIN:终止比特(Final),用来释放一个连接。当 `FIN=1` 时,表明此报文段的发送端的数据已发送完毕,并要求释放运输连接。
2232

辉哈's avatar
辉哈 已提交
2233 2234
#### UDP

2235
* UDP(User Datagram Protocol,用户数据报协议)是 OSI(Open System Interconnection 开放式系统互联) 参考模型中一种无连接的传输层协议,提供面向事务的简单不可靠信息传送服务,其传输的单位是用户数据报。
辉哈's avatar
辉哈 已提交
2236 2237 2238 2239 2240 2241 2242 2243 2244 2245 2246

特征:
* 无连接
* 尽最大努力交付
* 面向报文
* 没有拥塞控制
* 支持一对一、一对多、多对一、多对多的交互通信
* 首部开销小

UDP 报文结构

2247
![UDP 报文](https://gitee.com/huihut/interview/raw/master/images/UDP报文.png)
辉哈's avatar
辉哈 已提交
2248 2249 2250

UDP 首部

2251
![UDP 首部](https://gitee.com/huihut/interview/raw/master/images/UDP首部.png)
辉哈's avatar
辉哈 已提交
2252 2253 2254

> TCP/UDP 图片来源于:<https://github.com/JerryC8080/understand-tcp-udp>

2255 2256
#### TCP 与 UDP 的区别

2257 2258 2259 2260 2261 2262 2263
1. TCP 面向连接,UDP 是无连接的;
2. TCP 提供可靠的服务,也就是说,通过 TCP 连接传送的数据,无差错,不丢失,不重复,且按序到达;UDP 尽最大努力交付,即不保证可靠交付
3. TCP 的逻辑通信信道是全双工的可靠信道;UDP 则是不可靠信道
5. 每一条 TCP 连接只能是点到点的;UDP 支持一对一,一对多,多对一和多对多的交互通信
6. TCP 面向字节流(可能出现黏包问题),实际上是 TCP 把数据看成一连串无结构的字节流;UDP 是面向报文的(不会出现黏包问题)
7. UDP 没有拥塞控制,因此网络出现拥塞不会使源主机的发送速率降低(对实时应用很有用,如 IP 电话,实时视频会议等)
8. TCP 首部开销20字节;UDP 的首部开销小,只有 8 个字节
2264

2265
#### TCP 黏包问题
辉哈's avatar
辉哈 已提交
2266 2267 2268

##### 原因

2269
TCP 是一个基于字节流的传输服务(UDP 基于报文的),“流” 意味着 TCP 所传输的数据是没有边界的。所以可能会出现两个数据包黏在一起的情况。
辉哈's avatar
辉哈 已提交
2270 2271 2272 2273

##### 解决

* 发送定长包。如果每个消息的大小都是一样的,那么在接收对等方只要累计接收数据,直到数据等于一个定长的数值就将它作为一个消息。
2274 2275
* 包头加上包体长度。包头是定长的 4 个字节,说明了包体的长度。接收对等方先接收包头长度,依据包头长度来接收包体。
* 在数据包之间设置边界,如添加特殊符号 `\r\n` 标记。FTP 协议正是这么做的。但问题在于如果数据正文中也含有 `\r\n`,则会误判为消息的边界。
辉哈's avatar
辉哈 已提交
2276 2277
* 使用更加复杂的应用层协议。

辉哈's avatar
辉哈 已提交
2278 2279 2280 2281 2282 2283 2284 2285
#### TCP 流量控制

##### 概念

流量控制(flow control)就是让发送方的发送速率不要太快,要让接收方来得及接收。

##### 方法

2286
利用可变窗口进行流量控制
辉哈's avatar
辉哈 已提交
2287

2288
![](https://gitee.com/huihut/interview/raw/master/images/利用可变窗口进行流量控制举例.png)
辉哈's avatar
辉哈 已提交
2289 2290 2291 2292 2293 2294 2295 2296 2297 2298 2299 2300 2301 2302

#### TCP 拥塞控制

##### 概念

拥塞控制就是防止过多的数据注入到网络中,这样可以使网络中的路由器或链路不致过载。

##### 方法

* 慢开始( slow-start )
* 拥塞避免( congestion avoidance )
* 快重传( fast retransmit )
* 快恢复( fast recovery )

2303
TCP的拥塞控制图
辉哈's avatar
辉哈 已提交
2304

2305 2306 2307
![](https://gitee.com/huihut/interview/raw/master/images/TCP拥塞窗口cwnd在拥塞控制时的变化情况.png)
![](https://gitee.com/huihut/interview/raw/master/images/快重传示意图.png)
![](https://gitee.com/huihut/interview/raw/master/images/TCP的拥塞控制流程图.png)
辉哈's avatar
辉哈 已提交
2308

2309
#### TCP 传输连接管理
辉哈's avatar
辉哈 已提交
2310

2311
> 因为 TCP 三次握手建立连接、四次挥手释放连接很重要,所以附上《计算机网络(第 7 版)-谢希仁》书中对此章的详细描述:<https://gitee.com/huihut/interview/raw/master/images/TCP-transport-connection-management.png>
2312

辉哈's avatar
辉哈 已提交
2313 2314
##### TCP 三次握手建立连接

2315
![UDP 报文](https://gitee.com/huihut/interview/raw/master/images/TCP三次握手建立连接.png)
辉哈's avatar
辉哈 已提交
2316

2317
【TCP 建立连接全过程解释】
2318

2319 2320 2321 2322
1. 客户端发送 SYN 给服务器,说明客户端请求建立连接;
2. 服务端收到客户端发的 SYN,并回复 SYN+ACK 给客户端(同意建立连接);
3. 客户端收到服务端的 SYN+ACK 后,回复 ACK 给服务端(表示客户端收到了服务端发的同意报文);
4. 服务端收到客户端的 ACK,连接已建立,可以数据传输。
2323

2324
##### TCP 为什么要进行三次握手?
2325

2326
【答案一】因为信道不可靠,而 TCP 想在不可靠信道上建立可靠地传输,那么三次通信是理论上的最小值。(而 UDP 则不需建立可靠传输,因此 UDP 不需要三次握手。)
2327

2328
> [Google Groups . TCP 建立连接为什么是三次握手?{技术}{网络通信}](https://groups.google.com/forum/#!msg/pongba/kF6O7-MFxM0/5S7zIJ4yqKUJ)
2329 2330 2331 2332 2333 2334 2335

【答案二】因为双方都需要确认对方收到了自己发送的序列号,确认过程最少要进行三次通信。

> [知乎 . TCP 为什么是三次握手,而不是两次或四次?](https://www.zhihu.com/question/24853633/answer/115173386)

【答案三】为了防止已失效的连接请求报文段突然又传送到了服务端,因而产生错误。

2336
> [《计算机网络(第 7 版)-谢希仁》](https://gitee.com/huihut/interview/raw/master/images/TCP-transport-connection-management.png)
2337 2338 2339

##### TCP 四次挥手释放连接

2340
![UDP 报文](https://gitee.com/huihut/interview/raw/master/images/TCP四次挥手释放连接.png)
2341

2342
【TCP 释放连接全过程解释】
2343

2344 2345 2346
1. 客户端发送 FIN 给服务器,说明客户端不必发送数据给服务器了(请求释放从客户端到服务器的连接);
2. 服务器接收到客户端发的 FIN,并回复 ACK 给客户端(同意释放从客户端到服务器的连接);
3. 客户端收到服务端回复的 ACK,此时从客户端到服务器的连接已释放(但服务端到客户端的连接还未释放,并且客户端还可以接收数据);
2347
4. 服务端继续发送之前没发完的数据给客户端;
2348 2349 2350
5. 服务端发送 FIN+ACK 给客户端,说明服务端发送完了数据(请求释放从服务端到客户端的连接,就算没收到客户端的回复,过段时间也会自动释放);
6. 客户端收到服务端的 FIN+ACK,并回复 ACK 给客户端(同意释放从服务端到客户端的连接);
7. 服务端收到客户端的 ACK 后,释放从服务端到客户端的连接。
2351

2352
##### TCP 为什么要进行四次挥手?
2353

2354
【问题一】TCP 为什么要进行四次挥手? / 为什么 TCP 建立连接需要三次,而释放连接则需要四次?
2355

2356
【答案一】因为 TCP 是全双工模式,客户端请求关闭连接后,客户端向服务端的连接关闭(一二次挥手),服务端继续传输之前没传完的数据给客户端(数据传输),服务端向客户端的连接关闭(三四次挥手)。所以 TCP 释放连接时服务器的 ACK 和 FIN 是分开发送的(中间隔着数据传输),而 TCP 建立连接时服务器的 ACK 和 SYN 是一起发送的(第二次握手),所以 TCP 建立连接需要三次,而释放连接则需要四次。
2357

2358
【问题二】为什么 TCP 连接时可以 ACK 和 SYN 一起发送,而释放时则 ACK 和 FIN 分开发送呢?(ACK 和 FIN 分开是指第二次和第三次挥手)
2359

2360
【答案二】因为客户端请求释放时,服务器可能还有数据需要传输给客户端,因此服务端要先响应客户端 FIN 请求(服务端发送 ACK),然后数据传输,传输完成后,服务端再提出 FIN 请求(服务端发送 FIN);而连接时则没有中间的数据传输,因此连接时可以 ACK 和 SYN 一起发送。
2361

2362
【问题三】为什么客户端释放最后需要 TIME-WAIT 等待 2MSL 呢?
2363 2364 2365

【答案三】

2366 2367
1. 为了保证客户端发送的最后一个 ACK 报文能够到达服务端。若未成功到达,则服务端超时重传 FIN+ACK 报文段,客户端再重传 ACK,并重新计时。
2. 防止已失效的连接请求报文段出现在本连接中。TIME-WAIT 持续 2MSL 可使本连接持续的时间内所产生的所有报文段都从网络中消失,这样可使下次连接中不会出现旧的连接报文段。
辉哈's avatar
辉哈 已提交
2368

2369
#### TCP 有限状态机
辉哈's avatar
辉哈 已提交
2370

2371
TCP 有限状态机图片
2372

2373
![TCP 的有限状态机](https://gitee.com/huihut/interview/raw/master/images/TCP的有限状态机.png)
2374

辉哈's avatar
辉哈 已提交
2375 2376
### 应用层

辉哈's avatar
辉哈 已提交
2377 2378
#### DNS

2379
* DNS(Domain Name System,域名系统)是互联网的一项服务。它作为将域名和 IP 地址相互映射的一个分布式数据库,能够使人更方便地访问互联网。DNS 使用 TCP 和 UDP 端口 53。当前,对于每一级域名长度的限制是 63 个字符,域名总长度则不能超过 253 个字符。
辉哈's avatar
辉哈 已提交
2380 2381

域名:
2382
* `域名 ::= {<三级域名>.<二级域名>.<顶级域名>}`,如:`blog.huihut.com`
辉哈's avatar
辉哈 已提交
2383 2384 2385

#### FTP

2386
* FTP(File Transfer Protocol,文件传输协议)是用于在网络上进行文件传输的一套标准协议,使用客户/服务器模式,使用 TCP 数据报,提供交互式访问,双向传输。
辉哈's avatar
辉哈 已提交
2387 2388 2389 2390
* TFTP(Trivial File Transfer Protocol,简单文件传输协议)一个小且易实现的文件传输协议,也使用客户-服务器方式,使用UDP数据报,只支持文件传输而不支持交互,没有列目录,不能对用户进行身份鉴定

#### TELNET

2391
* TELNET 协议是 TCP/IP 协议族中的一员,是 Internet 远程登陆服务的标准协议和主要方式。它为用户提供了在本地计算机上完成远程主机工作的能力。
辉哈's avatar
辉哈 已提交
2392

2393
* HTTP(HyperText Transfer Protocol,超文本传输协议)是用于从 WWW(World Wide Web,万维网)服务器传输超文本到本地浏览器的传送协议。
辉哈's avatar
辉哈 已提交
2394

2395 2396
* SMTP(Simple Mail Transfer Protocol,简单邮件传输协议)是一组用于由源地址到目的地址传送邮件的规则,由它来控制信件的中转方式。SMTP 协议属于 TCP/IP 协议簇,它帮助每台计算机在发送或中转信件时找到下一个目的地。
* Socket 建立网络通信连接至少要一对端口号(Socket)。Socket 本质是编程接口(API),对 TCP/IP 的封装,TCP/IP 也要提供可供程序员做网络开发所用的接口,这就是 Socket 编程接口。
2397

辉哈's avatar
辉哈 已提交
2398 2399 2400 2401 2402 2403 2404 2405 2406 2407
#### WWW

* WWW(World Wide Web,环球信息网,万维网)是一个由许多互相链接的超文本组成的系统,通过互联网访问

##### URL

* URL(Uniform Resource Locator,统一资源定位符)是因特网上标准的资源的地址(Address)

标准格式:

2408
* `协议类型:[//服务器地址[:端口号]][/资源层级UNIX文件路径]文件名[?查询][#片段ID]`
辉哈's avatar
辉哈 已提交
2409 2410 2411
    
完整格式:

2412
* `协议类型:[//[访问资源需要的凭证信息@]服务器地址[:端口号]][/资源层级UNIX文件路径]文件名[?查询][#片段ID]`
辉哈's avatar
辉哈 已提交
2413 2414

> 其中【访问凭证信息@;:端口号;?查询;#片段ID】都属于选填项  
2415
> 如:`https://github.com/huihut/interview#cc`
辉哈's avatar
辉哈 已提交
2416 2417 2418

##### HTTP

2419
HTTP(HyperText Transfer Protocol,超文本传输协议)是一种用于分布式、协作式和超媒体信息系统的应用层协议。HTTP 是万维网的数据通信的基础。
辉哈's avatar
辉哈 已提交
2420 2421 2422 2423 2424 2425 2426

请求方法

方法 | 意义
--- | ---
OPTIONS | 请求一些选项信息,允许客户端查看服务器的性能
GET | 请求指定的页面信息,并返回实体主体
2427
HEAD | 类似于 get 请求,只不过返回的响应中没有具体的内容,用于获取报头
辉哈's avatar
辉哈 已提交
2428 2429 2430 2431 2432
POST | 向指定资源提交数据进行处理请求(例如提交表单或者上传文件)。数据被包含在请求体中。POST请求可能会导致新的资源的建立和/或已有资源的修改
PUT | 从客户端向服务器传送的数据取代指定的文档的内容
DELETE | 请求服务器删除指定的页面
TRACE | 回显服务器收到的请求,主要用于测试或诊断

辉哈's avatar
辉哈 已提交
2433
状态码(Status-Code)
辉哈's avatar
辉哈 已提交
2434 2435 2436

* 1xx:表示通知信息,如请求收到了或正在进行处理
    * 100 Continue:继续,客户端应继续其请求
2437
    * 101 Switching Protocols 切换协议。服务器根据客户端的请求切换协议。只能切换到更高级的协议,例如,切换到 HTTP 的新版本协议
辉哈's avatar
辉哈 已提交
2438 2439 2440
* 2xx:表示成功,如接收或知道了
    * 200 OK: 请求成功
* 3xx:表示重定向,如要完成请求还必须采取进一步的行动
2441
    * 301 Moved Permanently: 永久移动。请求的资源已被永久的移动到新 URL,返回信息会包括新的 URL,浏览器会自动定向到新 URL。今后任何新的请求都应使用新的 URL 代替
辉哈's avatar
辉哈 已提交
2442 2443 2444
* 4xx:表示客户的差错,如请求中有错误的语法或不能完成
    * 400 Bad Request: 客户端请求的语法错误,服务器无法理解
    * 401 Unauthorized: 请求要求用户的身份认证
2445
    * 403 Forbidden: 服务器理解请求客户端的请求,但是拒绝执行此请求(权限不够)
2446
    * 404 Not Found: 服务器无法根据客户端的请求找到资源(网页)。通过此代码,网站设计人员可设置 “您所请求的资源无法找到” 的个性页面
辉哈's avatar
辉哈 已提交
2447 2448 2449
    * 408 Request Timeout: 服务器等待客户端发送的请求时间过长,超时
* 5xx:表示服务器的差错,如服务器失效无法完成请求
    * 500 Internal Server Error: 服务器内部错误,无法完成请求
2450
    * 503 Service Unavailable: 由于超载或系统维护,服务器暂时的无法处理客户端的请求。延时的长度可包含在服务器的 Retry-After 头信息中
辉哈's avatar
辉哈 已提交
2451 2452
    * 504 Gateway Timeout: 充当网关或代理的服务器,未及时从远端服务器获取请求

辉哈's avatar
辉哈 已提交
2453
> 更多状态码:[菜鸟教程 . HTTP状态码](http://www.runoob.com/http/http-status-codes.html)
辉哈's avatar
辉哈 已提交
2454 2455 2456

##### 其他协议

2457 2458 2459
* SMTP(Simple Main Transfer Protocol,简单邮件传输协议)是在 Internet 传输 Email 的标准,是一个相对简单的基于文本的协议。在其之上指定了一条消息的一个或多个接收者(在大多数情况下被确认是存在的),然后消息文本会被传输。可以很简单地通过 Telnet 程序来测试一个 SMTP 服务器。SMTP 使用 TCP 端口 25。
* DHCP(Dynamic Host Configuration Protocol,动态主机设置协议)是一个局域网的网络协议,使用 UDP 协议工作,主要有两个用途:
    * 用于内部网络或网络服务供应商自动分配 IP 地址给用户
辉哈's avatar
辉哈 已提交
2460
    * 用于内部网络管理员作为对所有电脑作中央管理的手段
2461
* SNMP(Simple Network Management Protocol,简单网络管理协议)构成了互联网工程工作小组(IETF,Internet Engineering Task Force)定义的 Internet 协议族的一部分。该协议能够支持网络管理系统,用以监测连接到网络上的设备是否有任何引起管理上关注的情况。
辉哈's avatar
辉哈 已提交
2462

2463 2464
<a id="network-programming"></a>

2465
## 🌩 网络编程
2466

2467 2468
### Socket

2469
> [Linux Socket 编程(不限 Linux)](https://www.cnblogs.com/skynet/archive/2010/12/12/1903949.html)
2470

2471
![Socket 客户端服务器通讯](https://gitee.com/huihut/interview/raw/master/images/socket客户端服务器通讯.jpg)
2472 2473 2474 2475 2476 2477 2478 2479 2480


#### Socket 中的 read()、write() 函数

```cpp
ssize_t read(int fd, void *buf, size_t count);
ssize_t write(int fd, const void *buf, size_t count);
```

2481 2482 2483 2484 2485 2486 2487 2488 2489 2490 2491 2492 2493 2494 2495
##### read()

* read 函数是负责从 fd 中读取内容。
* 当读成功时,read 返回实际所读的字节数。
* 如果返回的值是 0 表示已经读到文件的结束了,小于 0 表示出现了错误。
* 如果错误为 EINTR 说明读是由中断引起的;如果是 ECONNREST 表示网络连接出了问题。

##### write()

* write 函数将 buf 中的 nbytes 字节内容写入文件描述符 fd。
* 成功时返回写的字节数。失败时返回 -1,并设置 errno 变量。
* 在网络程序中,当我们向套接字文件描述符写时有俩种可能。
* (1)write 的返回值大于 0,表示写了部分或者是全部的数据。
* (2)返回的值小于 0,此时出现了错误。
* 如果错误为 EINTR 表示在写的时候出现了中断错误;如果为 EPIPE 表示网络连接出现了问题(对方已经关闭了连接)。
2496

2497
#### Socket 中 TCP 的三次握手建立连接
2498

2499
我们知道 TCP 建立连接要进行 “三次握手”,即交换三个分组。大致流程如下:
2500

2501 2502 2503
1. 客户端向服务器发送一个 SYN J
2. 服务器向客户端响应一个 SYN K,并对 SYN J 进行确认 ACK J+1
3. 客户端再想服务器发一个确认 ACK K+1
2504

2505
只有就完了三次握手,但是这个三次握手发生在 Socket 的那几个函数中呢?请看下图:
2506

2507
![socket 中发送的 TCP 三次握手](http://images.cnblogs.com/cnblogs_com/skynet/201012/201012122157467258.png)
2508 2509

从图中可以看出:
2510 2511 2512 2513
1. 当客户端调用 connect 时,触发了连接请求,向服务器发送了 SYN J 包,这时 connect 进入阻塞状态;  
2. 服务器监听到连接请求,即收到 SYN J 包,调用 accept 函数接收请求向客户端发送 SYN K ,ACK J+1,这时 accept 进入阻塞状态;  
3. 客户端收到服务器的 SYN K ,ACK J+1 之后,这时 connect 返回,并对 SYN K 进行确认;  
4. 服务器收到 ACK K+1 时,accept 返回,至此三次握手完毕,连接建立。
2514

2515
#### Socket 中 TCP 的四次握手释放连接
2516

2517
上面介绍了 socket 中 TCP 的三次握手建立过程,及其涉及的 socket 函数。现在我们介绍 socket 中的四次握手释放连接的过程,请看下图:
2518

2519
![socket 中发送的 TCP 四次握手](http://images.cnblogs.com/cnblogs_com/skynet/201012/201012122157487616.png)
2520 2521 2522

图示过程如下:

2523 2524 2525 2526
1. 某个应用进程首先调用 close 主动关闭连接,这时 TCP 发送一个 FIN M;
2. 另一端接收到 FIN M 之后,执行被动关闭,对这个 FIN 进行确认。它的接收也作为文件结束符传递给应用进程,因为 FIN 的接收意味着应用进程在相应的连接上再也接收不到额外数据;
3. 一段时间之后,接收到文件结束符的应用进程调用 close 关闭它的 socket。这导致它的 TCP 也发送一个 FIN N;
4. 接收到这个 FIN 的源发送端 TCP 对它进行确认。
2527

2528
这样每个方向上都有一个 FIN 和 ACK。
2529

2530 2531
<a id="database"></a>

2532
## 💾 数据库
2533

辉哈's avatar
辉哈 已提交
2534 2535 2536 2537 2538
> 本节部分知识点来自《数据库系统概论(第 5 版)》

### 基本概念

* 数据(data):描述事物的符号记录称为数据。
辉哈's avatar
辉哈 已提交
2539
* 数据库(DataBase,DB):是长期存储在计算机内、有组织的、可共享的大量数据的集合,具有永久存储、有组织、可共享三个基本特点。
辉哈's avatar
辉哈 已提交
2540 2541 2542 2543 2544 2545 2546 2547 2548 2549 2550 2551 2552 2553 2554 2555 2556 2557 2558 2559 2560 2561 2562 2563 2564 2565 2566 2567 2568 2569
* 数据库管理系统(DataBase Management System,DBMS):是位于用户与操作系统之间的一层数据管理软件。
* 数据库系统(DataBase System,DBS):是有数据库、数据库管理系统(及其应用开发工具)、应用程序和数据库管理员(DataBase Administrator DBA)组成的存储、管理、处理和维护数据的系统。
* 实体(entity):客观存在并可相互区别的事物称为实体。
* 属性(attribute):实体所具有的某一特性称为属性。
* 码(key):唯一标识实体的属性集称为码。
* 实体型(entity type):用实体名及其属性名集合来抽象和刻画同类实体,称为实体型。
* 实体集(entity set):同一实体型的集合称为实体集。
* 联系(relationship):实体之间的联系通常是指不同实体集之间的联系。
* 模式(schema):模式也称逻辑模式,是数据库全体数据的逻辑结构和特征的描述,是所有用户的公共数据视图。
* 外模式(external schema):外模式也称子模式(subschema)或用户模式,它是数据库用户(包括应用程序员和最终用户)能够看见和使用的局部数据的逻辑结构和特征的描述,是数据库用户的数据视图,是与某一应用有关的数据的逻辑表示。
* 内模式(internal schema):内模式也称为存储模式(storage schema),一个数据库只有一个内模式。他是数据物理结构和存储方式的描述,是数据库在数据库内部的组织方式。

### 常用数据模型

* 层次模型(hierarchical model)
* 网状模型(network model)
* 关系模型(relational model)
    * 关系(relation):一个关系对应通常说的一张表
    * 元组(tuple):表中的一行即为一个元组
    * 属性(attribute):表中的一列即为一个属性
    * 码(key):表中可以唯一确定一个元组的某个属性组
    * 域(domain):一组具有相同数据类型的值的集合
    * 分量:元组中的一个属性值
    * 关系模式:对关系的描述,一般表示为 `关系名(属性1, 属性2, ..., 属性n)`
* 面向对象数据模型(object oriented data model)
* 对象关系数据模型(object relational data model)
* 半结构化数据模型(semistructure data model)

### 常用 SQL 操作

辉哈's avatar
辉哈 已提交
2570
<table>
辉哈's avatar
辉哈 已提交
2571 2572 2573 2574 2575 2576 2577 2578 2579 2580 2581 2582 2583 2584 2585 2586 2587 2588 2589 2590 2591 2592 2593 2594 2595 2596 2597 2598 2599 2600 2601 2602 2603 2604 2605 2606 2607 2608 2609 2610 2611 2612
  <tr>
    <th>对象类型</th>
    <th>对象</th>
    <th>操作类型</th>
  </tr>
  <tr>
    <td rowspan="4">数据库模式</td>
    <td>模式</td>
    <td><code>CREATE SCHEMA</code></td>
  </tr>
  <tr>
    <td>基本表</td>
    <td><code>CREATE SCHEMA</code><code>ALTER TABLE</code></td>
  </tr>
    <tr>
    <td>视图</td>
    <td><code>CREATE VIEW</code></td>
  </tr>
    <tr>
    <td>索引</td>
    <td><code>CREATE INDEX</code></td>
  </tr>
    <tr>
    <td rowspan="2">数据</td>
    <td>基本表和视图</td>
    <td><code>SELECT</code><code>INSERT</code><code>UPDATE</code><code>DELETE</code><code>REFERENCES</code><code>ALL PRIVILEGES</code></td>
  </tr>
    <tr>
    <td>属性列</td>
    <td><code>SELECT</code><code>INSERT</code><code>UPDATE</code><code>REFERENCES</code><code>ALL PRIVILEGES</code></td>
  </tr>
</table>

> SQL 语法教程:[runoob . SQL 教程](http://www.runoob.com/sql/sql-tutorial.html)

### 关系型数据库

* 基本关系操作:查询(选择、投影、连接(等值连接、自然连接、外连接(左外连接、右外连接))、除、并、差、交、笛卡尔积等)、插入、删除、修改
* 关系模型中的三类完整性约束:实体完整性、参照完整性、用户定义的完整性

#### 索引

2613
* 数据库索引:顺序索引、B+ 树索引、hash 索引
辉哈's avatar
辉哈 已提交
2614 2615 2616 2617 2618 2619 2620 2621 2622 2623 2624 2625 2626 2627 2628 2629 2630 2631
* [MySQL 索引背后的数据结构及算法原理](http://blog.codinglabs.org/articles/theory-of-mysql-index.html)

### 数据库完整性

* 数据库的完整性是指数据的正确性和相容性。
    * 完整性:为了防止数据库中存在不符合语义(不正确)的数据。
    * 安全性:为了保护数据库防止恶意破坏和非法存取。
* 触发器:是用户定义在关系表中的一类由事件驱动的特殊过程。

### 关系数据理论

* 数据依赖是一个关系内部属性与属性之间的一种约束关系,是通过属性间值的相等与否体现出来的数据间相关联系。
* 最重要的数据依赖:函数依赖、多值依赖。

#### 范式

* 第一范式(1NF):属性(字段)是最小单位不可再分。
* 第二范式(2NF):满足 1NF,每个非主属性完全依赖于主键(消除 1NF 非主属性对码的部分函数依赖)。
2632
* 第三范式(3NF):满足 2NF,任何非主属性不依赖于其他非主属性(消除 2NF 非主属性对码的传递函数依赖)。
辉哈's avatar
辉哈 已提交
2633 2634 2635 2636
* 鲍依斯-科得范式(BCNF):满足 3NF,任何非主属性不能对主键子集依赖(消除 3NF 主属性对码的部分和传递函数依赖)。
* 第四范式(4NF):满足 3NF,属性之间不能有非平凡且非函数依赖的多值依赖(消除 3NF 非平凡且非函数依赖的多值依赖)。

### 数据库恢复
辉哈's avatar
辉哈 已提交
2637

辉哈's avatar
辉哈 已提交
2638 2639 2640 2641
* 事务:是用户定义的一个数据库操作序列,这些操作要么全做,要么全不做,是一个不可分割的工作单位。
* 事物的 ACID 特性:原子性、一致性、隔离性、持续性。
* 恢复的实现技术:建立冗余数据 -> 利用冗余数据实施数据库恢复。
* 建立冗余数据常用技术:数据转储(动态海量转储、动态增量转储、静态海量转储、静态增量转储)、登记日志文件。
辉哈's avatar
辉哈 已提交
2642

辉哈's avatar
辉哈 已提交
2643 2644 2645 2646 2647 2648 2649 2650 2651 2652 2653 2654 2655
### 并发控制

* 事务是并发控制的基本单位。
* 并发操作带来的数据不一致性包括:丢失修改、不可重复读、读 “脏” 数据。
* 并发控制主要技术:封锁、时间戳、乐观控制法、多版本并发控制等。
* 基本封锁类型:排他锁(X 锁 / 写锁)、共享锁(S 锁 / 读锁)。
* 活锁死锁:
    * 活锁:事务永远处于等待状态,可通过先来先服务的策略避免。
    * 死锁:事物永远不能结束
        * 预防:一次封锁法、顺序封锁法;
        * 诊断:超时法、等待图法;
        * 解除:撤销处理死锁代价最小的事务,并释放此事务的所有的锁,使其他事务得以继续运行下去。
* 可串行化调度:多个事务的并发执行是正确的,当且仅当其结果与按某一次序串行地执行这些事务时的结果相同。可串行性时并发事务正确调度的准则。
辉哈's avatar
辉哈 已提交
2656

2657 2658
<a id="design-pattern"></a>

2659
## 📏 设计模式
2660

Y
Yang Yang 已提交
2661
> 各大设计模式例子参考:[CSDN专栏 . C++ 设计模式](https://blog.csdn.net/liang19890820/article/details/66974516) 系列博文
2662

辉哈's avatar
辉哈 已提交
2663
[设计模式工程目录](DesignPattern)
2664

2665 2666
### 单例模式

2667
[单例模式例子](DesignPattern/SingletonPattern)
2668

2669 2670 2671 2672 2673 2674 2675 2676 2677 2678 2679 2680 2681 2682 2683
### 抽象工厂模式

[抽象工厂模式例子](DesignPattern/AbstractFactoryPattern)

### 适配器模式

[适配器模式例子](DesignPattern/AdapterPattern)

### 桥接模式

[桥接模式例子](DesignPattern/BridgePattern)

### 观察者模式

[观察者模式例子](DesignPattern/ObserverPattern)
2684

辉哈's avatar
辉哈 已提交
2685 2686 2687 2688 2689 2690 2691 2692 2693
### 设计模式的六大原则

* 单一职责原则(SRP,Single Responsibility Principle)
* 里氏替换原则(LSP,Liskov Substitution Principle)
* 依赖倒置原则(DIP,Dependence Inversion Principle)
* 接口隔离原则(ISP,Interface Segregation Principle)
* 迪米特法则(LoD,Law of Demeter)
* 开放封闭原则(OCP,Open Close Principle)

2694 2695
<a id="link-loading-library"></a>

2696
## ⚙️ 链接装载库
2697

辉哈's avatar
辉哈 已提交
2698 2699
> 本节部分知识点来自《程序员的自我修养——链接装载库》

辉哈's avatar
辉哈 已提交
2700 2701 2702 2703
### 内存、栈、堆

一般应用程序内存空间有如下区域:

辉哈's avatar
辉哈 已提交
2704 2705
* 栈:由操作系统自动分配释放,存放函数的参数值、局部变量等的值,用于维护函数调用的上下文
* 堆:一般由程序员分配释放,若程序员不释放,程序结束时可能由操作系统回收,用来容纳应用程序动态分配的内存区域
辉哈's avatar
辉哈 已提交
2706
* 可执行文件映像:存储着可执行文件在内存中的映像,由装载器装载是将可执行文件的内存读取或映射到这里
2707
* 保留区:保留区并不是一个单一的内存区域,而是对内存中受到保护而禁止访问的内存区域的总称,如通常 C 语言讲无效指针赋值为 0(NULL),因此 0 地址正常情况下不可能有效的访问数据
辉哈's avatar
辉哈 已提交
2708 2709 2710 2711 2712 2713 2714 2715 2716 2717 2718 2719 2720 2721 2722 2723 2724

#### 栈

栈保存了一个函数调用所需要的维护信息,常被称为堆栈帧(Stack Frame)或活动记录(Activate Record),一般包含以下几方面:

* 函数的返回地址和参数
* 临时变量:包括函数的非静态局部变量以及编译器自动生成的其他临时变量
* 保存上下文:包括函数调用前后需要保持不变的寄存器

#### 堆

堆分配算法:

* 空闲链表(Free List)
* 位图(Bitmap)
* 对象池

2725
#### “段错误(segment fault)” 或 “非法操作,该内存地址不能 read/write”
辉哈's avatar
辉哈 已提交
2726 2727 2728 2729 2730

典型的非法指针解引用造成的错误。当指针指向一个不允许读写的内存地址,而程序却试图利用指针来读或写该地址时,会出现这个错误。

普遍原因:

2731
* 将指针初始化为 NULL,之后没有给它一个合理的值就开始使用指针
辉哈's avatar
辉哈 已提交
2732 2733 2734 2735
* 没用初始化栈中的指针,指针的值一般会是随机数,之后就直接开始使用指针

### 编译链接

2736 2737 2738 2739 2740 2741 2742 2743
#### 各平台文件格式

平台 | 可执行文件 | 目标文件 | 动态库/共享对象 | 静态库
---|---|---|---|---
Windows|exe|obj|dll|lib
Unix/Linux|ELF、out|o|so|a
Mac|Mach-O|o|dylib、tbd、framework|a、framework

辉哈's avatar
辉哈 已提交
2744 2745
#### 编译链接过程

2746 2747 2748 2749
1. 预编译(预编译器处理如 `#include``#define` 等预编译指令,生成 `.i``.ii` 文件)
2. 编译(编译器进行词法分析、语法分析、语义分析、中间代码生成、目标代码生成、优化,生成 `.s` 文件)
3. 汇编(汇编器把汇编码翻译成机器码,生成 `.o` 文件)
4. 链接(连接器进行地址和空间分配、符号决议、重定位,生成 `.out` 文件)
辉哈's avatar
辉哈 已提交
2750

2751
> 现在版本 GCC 把预编译和编译合成一步,预编译编译程序 cc1、汇编器 as、连接器 ld
辉哈's avatar
辉哈 已提交
2752

2753
> MSVC 编译环境,编译器 cl、连接器 link、可执行文件查看器 dumpbin
辉哈's avatar
辉哈 已提交
2754 2755 2756 2757 2758

#### 目标文件

编译器编译源代码后生成的文件叫做目标文件。目标文件从结构上讲,它是已经编译后的可执行文件格式,只是还没有经过链接的过程,其中可能有些符号或有些地址还没有被调整。

2759
> 可执行文件(Windows 的 `.exe` 和 Linux 的 `ELF`)、动态链接库(Windows 的 `.dll` 和 Linux 的 `.so`)、静态链接库(Windows 的 `.lib` 和 Linux 的 `.a`)都是按照可执行文件格式存储(Windows 按照 PE-COFF,Linux 按照 ELF)
辉哈's avatar
辉哈 已提交
2760 2761 2762

##### 目标文件格式

2763 2764 2765 2766 2767
* Windows 的 PE(Portable Executable),或称为 PE-COFF,`.obj` 格式
* Linux 的 ELF(Executable Linkable Format),`.o` 格式
* Intel/Microsoft 的 OMF(Object Module Format)
* Unix 的 `a.out` 格式
* MS-DOS 的 `.COM` 格式
辉哈's avatar
辉哈 已提交
2768

2769
> PE 和 ELF 都是 COFF(Common File Format)的变种
辉哈's avatar
辉哈 已提交
2770 2771 2772 2773 2774 2775 2776 2777

##### 目标文件存储结构

段 | 功能
--- | ---
File Header | 文件头,描述整个文件的文件属性(包括文件是否可执行、是静态链接或动态连接及入口地址、目标硬件、目标操作系统等)
.text section | 代码段,执行语句编译成的机器代码 
.data section | 数据段,已初始化的全局变量和局部静态变量
2778 2779
.bss section | BSS 段(Block Started by Symbol),未初始化的全局变量和局部静态变量(因为默认值为 0,所以只是在此预留位置,不占空间)
.rodata section | 只读数据段,存放只读数据,一般是程序里面的只读变量(如 const 修饰的变量)和字符串常量
辉哈's avatar
辉哈 已提交
2780 2781 2782 2783 2784 2785 2786 2787 2788 2789 2790 2791 2792 2793 2794 2795 2796
.comment section | 注释信息段,存放编译器版本信息
.note.GNU-stack section | 堆栈提示段 

> 其他段略

#### 链接的接口————符号

在链接中,目标文件之间相互拼合实际上是目标文件之间对地址的引用,即对函数和变量的地址的引用。我们将函数和变量统称为符号(Symbol),函数名或变量名就是符号名(Symbol Name)。

如下符号表(Symbol Table):

Symbol(符号名) | Symbol Value (地址)
--- | ---
main| 0x100
Add | 0x123
... | ...

2797
### Linux 的共享库(Shared Library)
辉哈's avatar
辉哈 已提交
2798

2799
Linux 下的共享库就是普通的 ELF 共享对象。
辉哈's avatar
辉哈 已提交
2800

2801
共享库版本更新应该保证二进制接口 ABI(Application Binary Interface)的兼容
辉哈's avatar
辉哈 已提交
2802 2803 2804 2805 2806 2807 2808 2809 2810 2811 2812

#### 命名

`libname.so.x.y.z`

* x:主版本号,不同主版本号的库之间不兼容,需要重新编译
* y:次版本号,高版本号向后兼容低版本号
* z:发布版本号,不对接口进行更改,完全兼容

#### 路径

2813
大部分包括 Linux 在内的开源系统遵循 FHS(File Hierarchy Standard)的标准,这标准规定了系统文件如何存放,包括各个目录结构、组织和作用。
辉哈's avatar
辉哈 已提交
2814

2815
* `/lib`:存放系统最关键和最基础的共享库,如动态链接器、C 语言运行库、数学库等
辉哈's avatar
辉哈 已提交
2816 2817
* `/usr/lib`:存放非系统运行时所需要的关键性的库,主要是开发库
* `/usr/local/lib`:存放跟操作系统本身并不十分相关的库,主要是一些第三方应用程序的库
辉哈's avatar
辉哈 已提交
2818

2819
> 动态链接器会在 `/lib`、`/usr/lib` 和由 `/etc/ld.so.conf` 配置文件指定的,目录中查找共享库
辉哈's avatar
辉哈 已提交
2820 2821 2822

#### 环境变量

辉哈's avatar
辉哈 已提交
2823 2824 2825
* `LD_LIBRARY_PATH`:临时改变某个应用程序的共享库查找路径,而不会影响其他应用程序
* `LD_PRELOAD`:指定预先装载的一些共享库甚至是目标文件
* `LD_DEBUG`:打开动态链接器的调试功能
辉哈's avatar
辉哈 已提交
2826

2827 2828
#### so 共享库的编写

2829
使用 CLion 编写共享库
2830 2831 2832 2833 2834 2835 2836 2837 2838 2839 2840 2841 2842 2843 2844 2845 2846 2847 2848 2849 2850 2851 2852 2853 2854 2855 2856 2857 2858 2859 2860 2861 2862 2863 2864 2865 2866 2867 2868 2869 2870 2871 2872 2873 2874 2875 2876 2877 2878 2879 2880

创建一个名为 MySharedLib 的共享库

CMakeLists.txt

```cmake
cmake_minimum_required(VERSION 3.10)
project(MySharedLib)

set(CMAKE_CXX_STANDARD 11)

add_library(MySharedLib SHARED library.cpp library.h)
```

library.h

```cpp
#ifndef MYSHAREDLIB_LIBRARY_H
#define MYSHAREDLIB_LIBRARY_H

// 打印 Hello World!
void hello();

// 使用可变模版参数求和
template <typename T>
T sum(T t)
{
    return t;
}
template <typename T, typename ...Types>
T sum(T first, Types ... rest)
{
    return first + sum<T>(rest...);
}

#endif
```

library.cpp

```cpp
#include <iostream>
#include "library.h"

void hello() {
    std::cout << "Hello, World!" << std::endl;
}
```

#### so 共享库的使用(被可执行项目调用)

2881
使用 CLion 调用共享库
2882 2883 2884 2885 2886 2887 2888 2889 2890 2891 2892 2893 2894 2895 2896 2897 2898 2899 2900 2901 2902 2903 2904 2905 2906 2907 2908 2909 2910 2911 2912 2913 2914 2915 2916 2917 2918 2919 2920 2921 2922 2923 2924 2925 2926 2927 2928 2929 2930 2931 2932 2933 2934 2935 2936 2937 2938 2939

创建一个名为 TestSharedLib 的可执行项目

CMakeLists.txt

```cmake
cmake_minimum_required(VERSION 3.10)
project(TestSharedLib)

# C++11 编译
set(CMAKE_CXX_STANDARD 11)

# 头文件路径
set(INC_DIR /home/xx/code/clion/MySharedLib)
# 库文件路径
set(LIB_DIR /home/xx/code/clion/MySharedLib/cmake-build-debug)

include_directories(${INC_DIR})
link_directories(${LIB_DIR})
link_libraries(MySharedLib)

add_executable(TestSharedLib main.cpp)

# 链接 MySharedLib 库
target_link_libraries(TestSharedLib MySharedLib)
```

main.cpp

```cpp
#include <iostream>
#include "library.h"
using std::cout;
using std::endl;

int main() {

    hello();
    cout << "1 + 2 = " << sum(1,2) << endl;
    cout << "1 + 2 + 3 = " << sum(1,2,3) << endl;

    return 0;
}
```

执行结果

```
Hello, World!
1 + 2 = 3
1 + 2 + 3 = 6
```

### Windows 应用程序入口函数

* GUI(Graphical User Interface)应用,链接器选项:`/SUBSYSTEM:WINDOWS`
* CUI(Console User Interface)应用,链接器选项:`/SUBSYSTEM:CONSOLE`

2940
_tWinMain 与 _tmain 函数声明
2941 2942 2943 2944 2945 2946 2947 2948 2949 2950 2951 2952 2953 2954 2955 2956 2957 2958 2959 2960 2961 2962

```cpp
Int WINAPI _tWinMain(
    HINSTANCE hInstanceExe,
    HINSTANCE,
    PTSTR pszCmdLine,
    int nCmdShow);

int _tmain(
    int argc,
    TCHAR *argv[],
    TCHAR *envp[]);
```

应用程序类型|入口点函数|嵌入可执行文件的启动函数
---|---|---
处理ANSI字符(串)的GUI应用程序|_tWinMain(WinMain)|WinMainCRTSartup
处理Unicode字符(串)的GUI应用程序|_tWinMain(wWinMain)|wWinMainCRTSartup
处理ANSI字符(串)的CUI应用程序|_tmain(Main)|mainCRTSartup
处理Unicode字符(串)的CUI应用程序|_tmain(wMain)|wmainCRTSartup
动态链接库(Dynamic-Link Library)|DllMain|_DllMainCRTStartup 

2963
### Windows 的动态链接库(Dynamic-Link Library)
辉哈's avatar
辉哈 已提交
2964

辉哈's avatar
辉哈 已提交
2965
> 部分知识点来自《Windows 核心编程(第五版)》
2966

2967 2968 2969 2970 2971 2972 2973 2974 2975 2976 2977 2978 2979 2980 2981 2982 2983 2984 2985 2986 2987 2988 2989 2990 2991 2992 2993
#### 用处

* 扩展了应用程序的特性
* 简化了项目管理
* 有助于节省内存
* 促进了资源的共享
* 促进了本地化
* 有助于解决平台间的差异
* 可以用于特殊目的

#### 注意

* 创建 DLL,事实上是在创建可供一个可执行模块调用的函数
* 当一个模块提供一个内存分配函数(malloc、new)的时候,它必须同时提供另一个内存释放函数(free、delete)
* 在使用 C 和 C++ 混编的时候,要使用 extern "C" 修饰符
* 一个 DLL 可以导出函数、变量(避免导出)、C++ 类(导出导入需要同编译器,否则避免导出)
* DLL 模块:cpp 文件中的 __declspec(dllexport) 写在 include 头文件之前
* 调用 DLL 的可执行模块:cpp 文件的 __declspec(dllimport) 之前不应该定义 MYLIBAPI

#### 加载 Windows 程序的搜索顺序

1. 包含可执行文件的目录
2. Windows 的系统目录,可以通过 GetSystemDirectory 得到
3. 16 位的系统目录,即 Windows 目录中的 System 子目录
4. Windows 目录,可以通过 GetWindowsDirectory 得到
5. 进程的当前目录
6. PATH 环境变量中所列出的目录
2994

2995 2996
#### DLL 入口函数

2997
DllMain 函数
2998 2999 3000 3001 3002 3003 3004 3005 3006 3007 3008 3009 3010 3011 3012 3013 3014 3015 3016 3017 3018 3019 3020 3021 3022 3023 3024 3025 3026

```cpp
BOOL WINAPI DllMain(HINSTANCE hinstDLL, DWORD fdwReason, LPVOID lpvReserved)
{
    switch(fdwReason)
    {
    case DLL_PROCESS_ATTACH:
        // 第一次将一个DLL映射到进程地址空间时调用
        // The DLL is being mapped into the process' address space.
        break;
    case DLL_THREAD_ATTACH:
        // 当进程创建一个线程的时候,用于告诉DLL执行与线程相关的初始化(非主线程执行)
        // A thread is bing created.
        break;
    case DLL_THREAD_DETACH:
        // 系统调用 ExitThread 线程退出前,即将终止的线程通过告诉DLL执行与线程相关的清理
        // A thread is exiting cleanly.
        break;
    case DLL_PROCESS_DETACH:
        // 将一个DLL从进程的地址空间时调用
        // The DLL is being unmapped from the process' address space.
        break;
    }
    return (TRUE); // Used only for DLL_PROCESS_ATTACH
}
```

#### 载入卸载库

3027
LoadLibrary、LoadLibraryExA、LoadPackagedLibrary、FreeLibrary、FreeLibraryAndExitThread 函数声明
3028 3029 3030 3031 3032 3033 3034 3035 3036 3037 3038 3039 3040 3041 3042 3043 3044 3045 3046 3047 3048 3049 3050 3051 3052 3053 3054 3055 3056 3057

```cpp
// 载入库
HMODULE WINAPI LoadLibrary(
  _In_ LPCTSTR lpFileName
);
HMODULE LoadLibraryExA(
  LPCSTR lpLibFileName,
  HANDLE hFile,
  DWORD  dwFlags
);
// 若要在通用 Windows 平台(UWP)应用中加载 Win32 DLL,需要调用 LoadPackagedLibrary,而不是 LoadLibrary 或 LoadLibraryEx
HMODULE LoadPackagedLibrary(
  LPCWSTR lpwLibFileName,
  DWORD   Reserved
);

// 卸载库
BOOL WINAPI FreeLibrary(
  _In_ HMODULE hModule
);
// 卸载库和退出线程
VOID WINAPI FreeLibraryAndExitThread(
  _In_ HMODULE hModule,
  _In_ DWORD   dwExitCode
);
```

#### 显示地链接到导出符号

3058
GetProcAddress 函数声明
3059 3060 3061 3062 3063 3064 3065 3066 3067 3068 3069 3070 3071 3072 3073 3074 3075

```cpp
FARPROC GetProcAddress(
  HMODULE hInstDll,
  PCSTR pszSymbolName  // 只能接受 ANSI 字符串,不能是 Unicode
);
```

#### DumpBin.exe 查看 DLL 信息

`VS 的开发人员命令提示符` 使用 `DumpBin.exe` 可查看 DLL 库的导出段(导出的变量、函数、类名的符号)、相对虚拟地址(RVA,relative virtual address)。如:
```
DUMPBIN -exports D:\mydll.dll
```

#### LoadLibrary 与 FreeLibrary 流程图

3076
LoadLibrary 与 FreeLibrary 流程图
3077 3078 3079

##### LoadLibrary

3080
![WindowsLoadLibrary](https://gitee.com/huihut/interview/raw/master/images/WindowsLoadLibrary.png)
3081 3082 3083

##### FreeLibrary

3084
![WindowsFreeLibrary](https://gitee.com/huihut/interview/raw/master/images/WindowsFreeLibrary.png)
3085 3086 3087

#### DLL 库的编写(导出一个 DLL 模块)

3088
DLL 库的编写(导出一个 DLL 模块)
3089
DLL 头文件
3090

辉哈's avatar
辉哈 已提交
3091
```cpp
3092 3093 3094 3095 3096 3097
// MyLib.h

#ifdef MYLIBAPI

// MYLIBAPI 应该在全部 DLL 源文件的 include "Mylib.h" 之前被定义
// 全部函数/变量正在被导出
辉哈's avatar
辉哈 已提交
3098 3099 3100

#else

3101 3102
// 这个头文件被一个exe源代码模块包含,意味着全部函数/变量被导入
#define MYLIBAPI extern "C" __declspec(dllimport)
辉哈's avatar
辉哈 已提交
3103 3104

#endif
3105 3106 3107 3108 3109 3110 3111 3112

// 这里定义任何的数据结构和符号

// 定义导出的变量(避免导出变量)
MYLIBAPI int g_nResult;

// 定义导出函数原型
MYLIBAPI int Add(int nLeft, int nRight);
辉哈's avatar
辉哈 已提交
3113 3114
```

3115
DLL 源文件
3116

辉哈's avatar
辉哈 已提交
3117
```cpp
3118 3119 3120 3121 3122 3123 3124
// MyLibFile1.cpp

// 包含标准Windows和C运行时头文件
#include <windows.h>

// DLL源码文件导出的函数和变量
#define MYLIBAPI extern "C" __declspec(dllexport)
辉哈's avatar
辉哈 已提交
3125

3126 3127 3128 3129 3130 3131 3132
// 包含导出的数据结构、符号、函数、变量
#include "MyLib.h"

// 将此DLL源代码文件的代码放在此处
int g_nResult;

int Add(int nLeft, int nRight)
辉哈's avatar
辉哈 已提交
3133
{
3134 3135 3136 3137 3138 3139 3140
    g_nResult = nLeft + nRight;
    return g_nResult;
}
```

#### DLL 库的使用(运行时动态链接 DLL)

3141
DLL 库的使用(运行时动态链接 DLL)
3142 3143 3144 3145 3146 3147 3148 3149 3150 3151 3152 3153 3154 3155 3156 3157 3158 3159 3160 3161 3162 3163 3164 3165 3166 3167 3168 3169 3170 3171 3172 3173 3174 3175 3176 3177 3178 3179 3180 3181 3182 3183

```cpp
// A simple program that uses LoadLibrary and 
// GetProcAddress to access myPuts from Myputs.dll. 
 
#include <windows.h> 
#include <stdio.h> 
 
typedef int (__cdecl *MYPROC)(LPWSTR); 
 
int main( void ) 
{ 
    HINSTANCE hinstLib; 
    MYPROC ProcAdd; 
    BOOL fFreeResult, fRunTimeLinkSuccess = FALSE; 
 
    // Get a handle to the DLL module.
 
    hinstLib = LoadLibrary(TEXT("MyPuts.dll")); 
 
    // If the handle is valid, try to get the function address.
 
    if (hinstLib != NULL) 
    { 
        ProcAdd = (MYPROC) GetProcAddress(hinstLib, "myPuts"); 
 
        // If the function address is valid, call the function.
 
        if (NULL != ProcAdd) 
        {
            fRunTimeLinkSuccess = TRUE;
            (ProcAdd) (L"Message sent to the DLL function\n"); 
        }
        // Free the DLL module.
 
        fFreeResult = FreeLibrary(hinstLib); 
    } 

    // If unable to call the DLL function, use an alternative.
    if (! fRunTimeLinkSuccess) 
        printf("Message printed from executable\n"); 

辉哈's avatar
辉哈 已提交
3184 3185 3186 3187
    return 0;
}
```

辉哈's avatar
辉哈 已提交
3188 3189 3190 3191 3192 3193
### 运行库(Runtime Library)

#### 典型程序运行步骤

1. 操作系统创建进程,把控制权交给程序的入口(往往是运行库中的某个入口函数)
2. 入口函数对运行库和程序运行环境进行初始化(包括堆、I/O、线程、全局变量构造等等)。
3194 3195
3. 入口函数初始化后,调用 main 函数,正式开始执行程序主体部分。
4. main 函数执行完毕后,返回到入口函数进行清理工作(包括全局变量析构、堆销毁、关闭I/O等),然后进行系统调用结束进程。
辉哈's avatar
辉哈 已提交
3196

3197
> 一个程序的 I/O 指代程序与外界的交互,包括文件、管程、网络、命令行、信号等。更广义地讲,I/O 指代操作系统理解为 “文件” 的事物。
辉哈's avatar
辉哈 已提交
3198 3199 3200 3201 3202

#### glibc 入口

`_start -> __libc_start_main -> exit -> _exit`

3203
其中 `main(argc, argv, __environ)` 函数在 `__libc_start_main` 里执行。
辉哈's avatar
辉哈 已提交
3204 3205 3206 3207 3208 3209 3210

#### MSVC CRT 入口

`int mainCRTStartup(void)`

执行如下操作:

3211
1. 初始化和 OS 版本有关的全局变量。
辉哈's avatar
辉哈 已提交
3212
2. 初始化堆。
3213
3. 初始化 I/O。
辉哈's avatar
辉哈 已提交
3214
4. 获取命令行参数和环境变量。
3215 3216 3217
5. 初始化 C 库的一些数据。
6. 调用 main 并记录返回值。
7. 检查错误并将 main 的返回值返回。
辉哈's avatar
辉哈 已提交
3218

3219
#### C 语言运行库(CRT)
辉哈's avatar
辉哈 已提交
3220

辉哈's avatar
辉哈 已提交
3221
大致包含如下功能:
辉哈's avatar
辉哈 已提交
3222 3223

* 启动与退出:包括入口函数及入口函数所依赖的其他函数等。
3224 3225
* 标准函数:有 C 语言标准规定的C语言标准库所拥有的函数实现。
* I/O:I/O 功能的封装和实现。
辉哈's avatar
辉哈 已提交
3226 3227 3228 3229 3230 3231 3232 3233 3234 3235 3236 3237 3238 3239 3240 3241 3242 3243 3244 3245 3246
* 堆:堆的封装和实现。
* 语言实现:语言中一些特殊功能的实现。
* 调试:实现调试功能的代码。

#### C语言标准库(ANSI C)

包含:

* 标准输入输出(stdio.h)
* 文件操作(stdio.h)
* 字符操作(ctype.h)
* 字符串操作(string.h)
* 数学函数(math.h)
* 资源管理(stdlib.h)
* 格式转换(stdlib.h)
* 时间/日期(time.h)
* 断言(assert.h)
* 各种类型上的常数(limits.h & float.h)
* 变长参数(stdarg.h)
* 非局部跳转(setjmp.h)

3247 3248
<a id="books"></a>

3249
## 📚 书籍
辉哈's avatar
辉哈 已提交
3250

辉哈's avatar
辉哈 已提交
3251
> [huihut/CS-Books](https://github.com/huihut/CS-Books):📚 Computer Science Books 计算机技术类书籍 PDF
3252

辉哈's avatar
辉哈 已提交
3253 3254 3255
### 语言

* 《C++ Primer》
辉哈's avatar
辉哈 已提交
3256 3257
* 《Effective C++》
* 《More Effective C++》
辉哈's avatar
辉哈 已提交
3258
* 《深度探索 C++ 对象模型》
3259 3260
* 《深入理解 C++11》
* 《STL 源码剖析》
辉哈's avatar
辉哈 已提交
3261 3262 3263 3264 3265 3266 3267 3268 3269

### 算法

* 《剑指 Offer》
* 《编程珠玑》
* 《程序员面试宝典》

### 系统

辉哈's avatar
辉哈 已提交
3270
* 《深入理解计算机系统》
辉哈's avatar
辉哈 已提交
3271 3272 3273 3274 3275 3276 3277 3278 3279 3280
* 《Windows 核心编程》
* 《Unix 环境高级编程》

### 网络

* 《Unix 网络编程》
* 《TCP/IP 详解》

### 其他

辉哈's avatar
辉哈 已提交
3281 3282
* 《程序员的自我修养》

3283 3284
<a id="cc-development-direction"></a>

3285
## 🔱 C/C++ 发展方向
3286

3287
> C/C++ 发展方向甚广,包括不限于以下方向, 以下列举一些大厂校招岗位要求。
3288 3289 3290 3291 3292 3293 3294 3295 3296 3297 3298 3299 3300 3301 3302 3303 3304 3305 3306 3307 3308 3309 3310 3311 3312 3313 3314 3315 3316 3317 3318 3319 3320 3321 3322 3323 3324 3325 3326 3327 3328 3329 3330 3331 3332 3333 3334 3335 3336 3337 3338 3339 3340 3341 3342 3343 3344 3345 3346

### 后台/服务器

【后台开发】

* 编程基本功扎实,掌握 C/C++/JAVA 等开发语言、常用算法和数据结构;
* 熟悉 TCP/UDP 网络协议及相关编程、进程间通讯编程;
* 了解 Python、Shell、Perl 等脚本语言;
* 了解 MYSQL 及 SQL 语言、编程,了解 NoSQL, key-value 存储原理;
* 全面、扎实的软件知识结构,掌握操作系统、软件工程、设计模式、数据结构、数据库系统、网络安全等专业知识;
* 了解分布式系统设计与开发、负载均衡技术,系统容灾设计,高可用系统等知识。

### 桌面客户端

【PC 客户端开发】

* 计算机软件相关专业本科或以上学历,热爱编程,基础扎实,理解算法和数据结构相关知识;  
* 熟悉 windows 操作系统的内存管理、文件系统、进程线程调度; 
* 熟悉 MFC/windows 界面实现机制,熟练使用 VC,精通 C/C++,熟练使用 STL,以及 Windows 下网络编程经验;
* 熟练掌握 Windows 客户端开发、调试,有 Windows 应用软件开发经验优先;
* 对于创新及解决具有挑战性的问题充满激情,具有良好的算法基础及系统分析能力。

### 图形学/游戏/VR/AR

【游戏客户端开发】

* 计算机科学/工程相关专业本科或以上学历,热爱编程,基础扎实,理解算法、数据结构、软件设计相关知识;
* 至少掌握一种游戏开发常用的编程语言,具 C++/C# 编程经验优先;
* 具游戏引擎(如 Unity、Unreal)使用经验者优先;
* 了解某方面的游戏客户端技术(如图形、音频、动画、物理、人工智能、网络同步)者优先考虑;
* 对于创新及解决具有挑战性的问题充满激情,有较强的学习能力、分析及解决问题能力,具备良好的团队合作意识;
* 具阅读英文技术文档能力;
* 热爱游戏。

### 测试开发

【测试开发】

* 计算机或相关专业本科及以上学历;
* 一至两年的 C/C++/Python 或其他计算机语言的编程经验;
* 具备撰写测试计划、测试用例、以及实现性能和安全等测试的能力;
* 具备实现自动化系统的能力;
* 具备定位调查产品缺陷能力、以及代码级别调试缺陷的能力;
* 工作主动积极,有责任心,具有良好的团队合作精神。

### 网络安全/逆向

【安全技术】

* 热爱互联网,对操作系统和网络安全有狂热的追求,专业不限;
* 熟悉漏洞挖掘、网络安全攻防技术,了解常见黑客攻击手法;  
* 掌握基本开发能力,熟练使用 C/C++ 语言;
* 对数据库、操作系统、网络原理有较好掌握;  
* 具有软件逆向,网络安全攻防或安全系统开发经验者优先。

### 嵌入式/物联网

【嵌入式应用开发】

辉哈's avatar
辉哈 已提交
3347
* 有良好的编程基础,熟练掌握 C/C++ 语言;
3348 3349
* 掌握操作系统、数据结构等软件开发必备知识;
* 具备较强的沟通理解能力及良好的团队合作意识;
辉哈's avatar
辉哈 已提交
3350
* 有 Linux/Android 系统平台的开发经验者优先。
3351 3352 3353 3354 3355 3356 3357 3358 3359 3360 3361 3362 3363 3364 3365 3366 3367 3368 3369 3370

### 音视频/流媒体/SDK

【音视频编解码】

1. 硕士及以上学历,计算机、信号处理、数学、信息类及相关专业和方向; 
2. 视频编解码基础扎实,熟常用的 HEVC 或 H264,有较好的数字信号处理基础; 
3. 掌握 C/C++,代码能力强, 熟悉一种汇编语言尤佳; 
4. 较强的英文文献阅读能力; 
5. 学习能力强,具有团队协作精神,有较强的抗压能力。

### 计算机视觉/机器学习

【计算机视觉研究】

* 计算机、应用数学、模式识别、人工智能、自控、统计学、运筹学、生物信息、物理学/量子计算、神经科学、社会学/心理学等专业,图像处理、模式识别、机器学习相关研究方向,本科及以上,博士优先;
* 熟练掌握计算机视觉和图像处理相关的基本算法及应用;
* 较强的算法实现能力,熟练掌握 C/C++ 编程,熟悉 Shell/Python/Matlab 至少一种编程语言;
* 在计算机视觉、模式识别等学术会议或者期刊上发表论文、相关国际比赛获奖、及有相关专利者优先。

3371 3372
<a id="review-of-brush-questions-website"></a>

3373
## 💯 复习刷题网站
辉哈's avatar
辉哈 已提交
3374 3375 3376 3377 3378 3379 3380 3381

* [cplusplus](http://www.cplusplus.com/)
* [cppreference](https://zh.cppreference.com/w/%E9%A6%96%E9%A1%B5)
* [runoob](http://www.runoob.com/cplusplus/cpp-tutorial.html)
* [leetcode](https://leetcode.com/) | [leetcode-cn](https://leetcode-cn.com/)
* [lintcode](https://www.lintcode.com/)
* [nowcoder](https://www.nowcoder.net/)

3382 3383
<a id="interview-questions-experience"></a>

3384
## 📝 面试题目经验
3385

辉哈's avatar
辉哈 已提交
3386 3387
* [牛客网 . 2020秋招面经大汇总!(岗位划分)](https://www.nowcoder.com/discuss/205497)
* [牛客网 . 【备战秋招】2020届秋招备战攻略](https://www.nowcoder.com/discuss/197116)
3388 3389 3390
* [牛客网 . 2019校招面经大汇总!【每日更新中】](https://www.nowcoder.com/discuss/90907)
* [牛客网 . 2019校招技术类岗位面经汇总【技术类】](https://www.nowcoder.com/discuss/146655)
* [牛客网 . 2018校招笔试真题汇总](https://www.nowcoder.com/discuss/68802)
辉哈's avatar
辉哈 已提交
3391
* [牛客网 . 2017秋季校园招聘笔经面经专题汇总](https://www.nowcoder.com/discuss/12805)
3392 3393
* [牛客网 . 史上最全2017春招面经大合集!!](https://www.nowcoder.com/discuss/25268)
* [牛客网 . 面试题干货在此](https://www.nowcoder.com/discuss/57978)
辉哈's avatar
辉哈 已提交
3394
* [知乎 . 互联网求职路上,你见过哪些写得很好、很用心的面经?最好能分享自己的面经、心路历程。](https://www.zhihu.com/question/29693016)
辉哈's avatar
辉哈 已提交
3395 3396 3397 3398 3399
* [知乎 . 互联网公司最常见的面试算法题有哪些?](https://www.zhihu.com/question/24964987)
* [CSDN . 全面整理的C++面试题](http://blog.csdn.net/ljzcome/article/details/574158)
* [CSDN . 百度研发类面试题(C++方向)](http://blog.csdn.net/Xiongchao99/article/details/74524807?locationNum=6&fps=1)
* [CSDN . c++常见面试题30道](http://blog.csdn.net/fakine/article/details/51321544)
* [CSDN . 腾讯2016实习生面试经验(已经拿到offer)](http://blog.csdn.net/onever_say_love/article/details/51223886)
3400 3401 3402
* [cnblogs . C++面试集锦( 面试被问到的问题 )](https://www.cnblogs.com/Y1Focus/p/6707121.html)
* [cnblogs . C/C++ 笔试、面试题目大汇总](https://www.cnblogs.com/fangyukuan/archive/2010/09/18/1829871.html)
* [cnblogs . 常见C++面试题及基本知识点总结(一)](https://www.cnblogs.com/LUO77/p/5771237.html)
3403 3404
* [segmentfault . C++常见面试问题总结](https://segmentfault.com/a/1190000003745529)

3405 3406
<a id="recruitment-time-post"></a>

3407
## 📆 招聘时间岗位
辉哈's avatar
辉哈 已提交
3408

辉哈's avatar
辉哈 已提交
3409
* [牛客网 . 名企校招日程](https://www.nowcoder.com/school/schedule)
辉哈's avatar
辉哈 已提交
3410

3411 3412
<a id="recommend"></a>

3413
## 👍 内推
辉哈's avatar
辉哈 已提交
3414

3415 3416
* [Github . CyC2018/Job-Recommend](https://github.com/CyC2018/Job-Recommend):🔎 互联网内推信息(社招、校招、实习)
* [Github . amusi/AI-Job-Recommend](https://github.com/amusi/AI-Job-Recommend):国内公司人工智能方向(含机器学习、深度学习、计算机视觉和自然语言处理)岗位的招聘信息(含全职、实习和校招)
辉哈's avatar
辉哈 已提交
3417

3418 3419
<a id="contributor"></a>

3420
## 👬 贡献者
3421

3422
<a href="https://github.com/huihut/interview/graphs/contributors"><img src="https://opencollective.com/interview/contributors.svg?button=false" /></a>
3423

3424
<a id="support-sponsor"></a>
3425

3426
## 🍭 支持赞助
辉哈's avatar
辉哈 已提交
3427

3428
**[Avalive](https://store.steampowered.com/app/1137770/Avalive/)**:一个面部捕捉的虚拟形象扮演软件。
辉哈's avatar
辉哈 已提交
3429

3430
<a id="license"></a>
辉哈's avatar
辉哈 已提交
3431

3432
## 📜 License
3433

辉哈's avatar
辉哈 已提交
3434
本仓库遵循 CC BY-NC-SA 4.0(署名 - 非商业性使用 - 相同方式共享) 协议,转载请注明出处,不得用于商业目的。
3435

3436 3437
[![CC BY-NC-SA 4.0](https://i.creativecommons.org/l/by-nc-sa/4.0/88x31.png)](https://github.com/huihut/interview/blob/master/LICENSE)