📚 C/C++ 技术面试基础知识总结,包括语言、程序库、数据结构、算法、系统、网络、链接装载库等知识及面试经验、招聘、内推等信息。
Go to file
2018-04-16 13:30:03 +08:00
.vscode 添加插入、堆、归并、希尔、计数、桶、基数排序算法及其实现 2018-04-16 13:30:03 +08:00
Algorithm 添加插入、堆、归并、希尔、计数、桶、基数排序算法及其实现 2018-04-16 13:30:03 +08:00
DataStructure 更新数据结构代码 2018-02-16 23:58:28 +08:00
images 修改CPU字节序大端小端图片为内链 2018-04-08 21:31:59 +08:00
Problems 添加C++、计算机网络、音视频、Leetcode118、119、122 2018-02-28 17:36:34 +08:00
README.md 添加插入、堆、归并、希尔、计数、桶、基数排序算法及其实现 2018-04-16 13:30:03 +08:00

目录

C/C++

const

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

public:
    // 构造函数
    A() { };
    A(int x) : a(x) { };        // 初始化列表

    // const可用于对重载函数的区分
    int getValue();             // 普通成员函数
    int getValue() const;       // 常成员函数,不得修改类中的任何数据成员的值
};

void function()
{
    // 对象
    A b;                        // 普通对象,可以调用全部成员函数
    const A a;                  // 常对象,只能调用常成员函数、更新常成员变量
    canst A *p = &a;            // 常指针
    canst A &q = a;             // 常引用

    // 指针
    char greeting[] = "Hello";
    char* p1 = greeting;                // 指针变量,指向字符数组变量
    const char* p2 = greeting;          // 指针变量,指向字符数组常量
    char* const p3 = greeting;          // 常指针,指向字符数组变量
    const char* const p4 = greeting;    // 常指针,指向字符数组常量
}

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

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

作用

  1. 修饰变量,说明该变量不可以被改变;
  2. 修饰指针,分为指向常量的指针和指针常量;
  3. 常量引用,经常用于形参类型,即避免了拷贝,又避免了函数对值的修改;
  4. 修饰成员函数,说明该成员函数内不能修改成员变量。

volatile

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

static

作用

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

this 指针

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

inline 内联函数

特征

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

使用

// 声明1加inline建议使用
inline int functionName(int first, int secend,...);

// 声明2不加inline
int functionName(int first, int secend,...);

// 定义
inline int functionName(int first, int secend,...) {/****/};

编译器对inline函数的处理步骤

  1. 将inline函数体复制到inline函数调用点处
  2. 为所用inline函数中的局部变量分配内存空间
  3. 将inline函数的的输入参数和返回值映射到调用方法的局部变量空间中
  4. 如果inline函数有多个返回点将其转变为inline函数代码块末尾的分支使用GOTO

优缺点

优点

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

缺点

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

虚函数virtual可以是内联函数inline

Are "inline virtual" member functions ever actually "inlined"?

  • 虚函数可以是内联函数,内联是可以修饰虚函数的,但是当虚函数表现多态性的时候不能内联。
  • 内联是在编译器建议编译器内联,而虚函数的多态性在运行期,编译器无法知道运行期调用哪个代码,因此虚函数表现为多态性时(运行期)不可以内联。
  • inline virtual 唯一可以内联的时候是:编译器知道所调用的对象是哪个类(如 Base::who()),这只有在编译器具有实际对象而不是对象的指针或引用时才会发生。
#include <iostream>  
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()
{
	// 此处的虚函数who()是通过类Base的具体对象b来调用的编译期间就能确定了所以它可以是内联的但最终是否内联取决于编译器。 
	Base b;
	b.who();

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

	// 因为Base有虚析构函数virtual ~Base() {}所以delete时会先调用派生类Derived析构函数再调用基类Base析构函数防止内存泄漏。
	delete ptr;
	ptr = nullptr;

	system("pause");
	return 0;
} 

assert()

断言是宏而非函数。assert宏的原型定义在<assert.h>C<cassert>C++)中,其作用是如果它的条件返回错误,则终止程序执行。

assert( p != NULL );

sizeof()

  • sizeof对数组得到整个数组所占空间大小。
  • sizeof对指针得到指针本身所占空间大小。

#pragma pack(n)

设定结构体、联合以及类成员变量以n字节方式对齐

#pragma pack(push)  //保存对齐状态
#pragma pack(4)     //设定为4字节对齐

struct test
{
    char m1;
    double m4;
    int m3;
};

#pragma pack(pop)   //恢复对齐状态

extern "C"

  • 被extern限定的函数或变量是extern类型的
  • 被extern "C"修饰的变量和函数是按照C语言方式编译和连接的

extern "C" 的作用是让C++编译器将 extern "C" 声明的代码当作C语言代码处理可以避免C++因符号修饰导致代码不能和C语言库中的符号进行链接的问题。

#ifdef __cplusplus
extern "C" {
#endif

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

#ifdef __cplusplus
}
#endif

struct 和 typedef struct

C 中

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

等价于

// 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
struct Student { 
    int age; 
};

void f( Student me );       // 正确,"struct" 关键字可省略

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

typedef struct Student { 
    int age; 
} S;

void Student() {}           // 正确,定义后 "Student" 只代表此函数

//void S() {}               // 错误,符号 "S" 已经被定义为一个 "struct Student" 的别名

int main() {
    Student(); 
    struct Student me;      // 或者 "S me";
    return 0;
}

C++ 中 struct 和 class

总的来说struct更适合看成是一个数据结构的实现体class更适合看成是一个对象的实现体。

区别

  • 最本质的一个区别就是默认的访问控制
    1. 默认的继承访问权限。struct是public的class是private的。
    2. struct作为数据结构的实现体它默认的数据访问控制是public的而class作为对象的实现体它默认的成员变量访问控制是private的。

C实现C++类

C语言实现封装、继承和多态

explicit (显式)构造函数

explicit修饰的构造函数可用来防止隐式转换

如下

class Test1
{
public:
    Test1(int n)            //普通构造函数
    {
        num=n;
    }
private:
    int num;
};

class Test2
{
public:
    explicit Test2(int n)   //explicit(显式)构造函数
    {
        num=n;
    }
private:
    int num;
};

int main()
{
    Test1 t1=12;            //隐式调用其构造函数,成功
    Test2 t2=12;            //编译错误,不能隐式调用其构造函数
    Test2 t2(12);           //显式调用成功
    return 0;
}

frend 友元类和友元函数

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

using 引入命名空间成员

using namespace_name::name

尽量不要使用using namespace std;污染命名空间

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

尽量不要使用

using namespace std;

应该使用

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

或者

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

:: 范围解析运算符

:: 可以加在类型名称(类、类成员、成员函数、变量等)前,表示作用域为全局命名空间

int count = 0;      // global count

int main() {
  int count = 0;    // local count
  ::count = 1;      // set global count to 1
  count = 2;        // set local count to 2
  return 0;
}

  • 宏定义可以实现类似于函数的功能,但是它终归不是函数,而宏定义中括弧中的“参数”也不是真的参数,在宏展开的时候对“参数”进行的是一对一的替换。

初始化列表

好处

  • 更高效:少了一次调用默认构造函数的过程。
  • 有些场合必须要用初始化列表:
    1. 常量成员,因为常量只能初始化不能赋值,所以必须放在初始化列表里面
    2. 引用类型,引用必须在定义的时候初始化,并且不能重新赋值,所以也要写在初始化列表里面
    3. 没有默认构造函数的类类型,因为使用初始化列表可以不必调用默认构造函数来初始化,而是直接调用拷贝构造函数初始化。

面向对象

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

面向对象特征

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

封装

  • 把客观事物封装成抽象的类,并且类可以把自己的数据和方法只让可信的类或者对象操作,对不可信的进行信息隐藏。
  • 关键字public, protected, friendly, private。不写默认为 friendly。
关键字 当前类 包内 子孙类 包外
public
protected ×
friendly × ×
private × × ×

继承

  • 基类(子类)——> 派生类(父类)

多态

  • 多态即多种状态在面向对象语言中接口的多种不同的实现方式即为多态。多态性在C++中是通过虚函数来实现的。
  • 多态是以封装和继承为基础的。

静态多态(早绑定)

class A
{
public:
    void do(int a);
    void do(int a, int b);
};

动态多态(晚绑定)

  • 用 virtual 修饰成员函数,使其成为虚函数

注意:

  • 普通函数(非类成员函数)不能是虚函数
  • 静态函数static不能是虚函数
  • 构造函数不能是虚函数(因为在调用构造函数时,虚表指针并没有在对象的内存空间中,必须要构造函数调用完成后才会形成虚表指针)
  • 内联函数不能是表现多态性时的虚函数,解释见:虚函数virtual可以是内联函数inline
class Shape     //形状类
{
public:
    virtual double calcArea()
    {
        ...
    }
};
class Circle : public Shape     //圆形类
{
public:
    virtual double calcArea();
    ...
};
class Rect : public Shape       //矩形类
{
public:
    virtual double calcArea();
    ...
};
int main()
{
    Shape * shape1 = new Circle(4.0);
    Shape * shape2 = new Rect(5.0, 6.0);
    shape1->calcArea();         //调用圆形类里面的方法
    shape2->calcArea();         //调用矩形类里面的方法
    return 0
}
  • 虚析构函数
class Shape
{
public:
    Shape();                //构造函数不能是虚函数
    virtual double calcArea();
    virtual ~Shape();       //虚析构函数
};
class Circle : public Shape //圆形类
{
public:
    virtual double calcArea();
    ...
};
int main()
{
    Shape * shape1 = new Circle(4.0);
    shape1->calcArea();    
    delete shape1;  //因为Shape有虚析构函数所以delete释放内存时先调用子类析构函数再调用基类析构函数防止内存泄漏。
    shape1 = NULL;
    return 0
}
  • 纯虚函数 (含有纯虚函数的类叫做抽象类)
virtual int A() = 0;

抽象类、接口类、聚合类

  • 抽象类:含有纯虚函数的类
  • 接口类:仅含有纯虚函数的抽象类
  • 聚合类:用户可以直接访问其成员,并且具有特殊的初始化语法形式。满足如下特点:
    • 所有成员都是public
    • 没有有定于任何构造函数
    • 没有类内初始化
    • 没有基类也没有virtual函数
    • 如:
      //定义:
      struct Date 
      {
          int ival;
          string s;
      }
      //初始化:
      Data vall = { 0, "Anna" };
      

虚函数、纯虚函数

CSDN . C++中的虚函数、纯虚函数区别和联系

  • 类里如果声明了虚函数,这个函数是实现的,哪怕是空实现,它的作用就是为了能让这个函数在它的子类里面可以被覆盖,这样的话,这样编译器就可以使用后期绑定来达到多态了。纯虚函数只是一个接口,是个函数的声明而已,它要留到子类里去实现。
  • 虚函数在子类里面也可以不重载的;但纯虚函数必须在子类去实现。
  • 虚函数的类用于“实作继承”,继承接口的同时也继承了父类的实现。当然大家也可以完成自己的实现。纯虚函数关注的是接口的统一性,实现由子类完成。
  • 带纯虚函数的类叫虚基类这种基类不能直接生成对象而只有被继承并重写其虚函数后才能使用。这样的类也叫抽象类。抽象类和大家口头常说的虚基类还是有区别的在C#中用abstract定义抽象类而在C++中有抽象类的概念,但是没有这个关键字。抽象类被继承后,子类可以继续是抽象类,也可以是普通类,而虚基类,是含有纯虚函数的类,它如果被继承,那么子类就必须实现虚基类里面的所有纯虚函数,其子类不能是抽象类。

虚函数指针、虚函数表

  • 虚函数指针:在含有虚函数类的对象中,指向虚函数表,在运行时确定。
  • 虚函数表:在程序只读数据段(.rodate section存放虚函数指针如果派生类实现了基类的某个虚函数则在虚表中覆盖原本基类的那个虚函数指针在编译时根据类的声明创建。

虚继承、虚函数

虚继承

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

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

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

虚继承与虚函数

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

内存分配和管理

malloc、calloc、realloc、alloca

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

malloc、free

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

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

释放内存后指针置空

free(p); 
p = nullptr;

new、delete

  1. new/new[]完成两件事先底层调用malloc分了配内存然后创建一个对象调用构造函数
  2. delete/delete[]也完成两件事先调用析构函数清理资源然后底层调用free释放空间。
  3. new在申请内存时会自动计算所需字节数而malloc则需我们自己输入申请内存空间的字节数。
int main()
{
    T* t = new T();     // 先内存分配 ,再构造函数
    delete t;           // 先析构函数,再内存释放
    return 0;
}
delete this 合法吗?

Is it legal (and moral) for a member function to say delete this?

合法,但:

  1. 必须保证 this 对象是通过 new不是 new[]、不是 placement new、不是栈上、不是全局、不是其他对象成员分配的
  2. 必须保证调用 delete this 的成员函数是最后一个调用 this 的成员函数
  3. 必须保证成员函数的 delete this 后面没有调用 this 了
  4. 必须保证 delete this 后,没有人使用了

智能指针

C++标准库STL

头文件:#include <memory>

C++98

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

C++11

  1. shared_ptr
  2. unique_ptr
  3. weak_ptr
  4. auto_ptr被c++11弃用
  • 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——特别有用。
shared_ptr

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

  • 支持定制型删除器custom deleter可防范 Cross-DLL 问题对象在动态链接库DLL中被 new 创建,却在另一个 DLL 内被 delete 销毁)、自动解除互斥锁
weak_ptr

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

  • 可打破环状引用cycles of references两个其实已经没有被使用的对象彼此互指使之看似还在 “被使用” 的状态)的问题
unique_ptr

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

  • unique_ptr 用于取代 auto_ptr
auto_ptr

被c++11弃用原因是缺乏语言特性如“针对构造和赋值”的std::move语义以及其他瑕疵。

强制类型转换运算符

MSDN . 强制转换运算符

static_cast

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

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

dynamic_cast

  • 用于多态类型的转换
  • 执行行运行时类型检查
  • 只适用于指针或引用
  • 对不明确的指针的转换将失败返回nullptr但不引发异常
  • 可以在整个类层次结构中移动指针,包括向上转换、向下转换

const_cast

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

reinterpret_cast

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

bad_cast

  • 由于强制转换为引用类型失败dynamic_cast 运算符引发 bad_cast 异常。
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

例子

class Flyable                       //【能飞的】
{
public:
    virtual void takeoff() = 0;     // 起飞
    virtual void land() = 0;        // 降落
};
class Bird : public Flyable         //【鸟】
{
public:
    void foraging() {...}           // 觅食
    virtual void takeoff() {...}
    virtual void land() {...}
};
class Plane : public Flyable        //【飞机】
{
public:
    void carry() {...}              // 运输
    virtual void take off() {...}
    virtual void land() {...}
};

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:
    ...
};

class doSomething(Flyable *obj)                 //【做些事情】
{
    obj->takeoff();

    cout << typeid(*obj).name() << endl;        //输出传入对象类型("class Bird" or "class Plane"

    if(typeid(*obj) == typeid(Bird))            //判断对象类型
    {
        Bird *bird = dynamic_cast<Bird *>(obj); //对象转化
        bird->foraging();
    }

    obj->land();
};

Effective C++

  1. 视 C++ 为一个语言联邦C、Object-Oriented C++、Template C++、STL
  2. 尽量以constenuminline替换#define(宁可以编译器替换预处理器)
  3. 尽可能使用 const
  4. 确定对象被使用前已先被初始化构造时赋值copy 构造函数)比 default 构造后赋值copy assignment效率高
  5. 了解 C++ 默默编写并调用哪些函数(编译器暗自为 class 创建 default 构造函数、copy 构造函数、copy assignment 操作符、析构函数)
  6. 若不想使用编译器自动生成的函数,就应该明确拒绝(将不想使用的成员函数声明为 private并且不予实现
  7. 为多态基类声明 virtual 析构函数(如果 class 带有任何 virtual 函数,它就应该拥有一个 virtual 析构函数)
  8. 别让异常逃离析构函数(析构函数应该吞下不传播异常,或者结束程序,而不是吐出异常;如果要处理异常应该在非析构的普通函数处理)
  9. 绝不在构造和析构过程中调用 virtual 函数(因为这类调用从不下降至 derived class
  10. 令 operator= 返回一个 reference to *this (用于连锁赋值)
  11. 在 operator= 中处理 “自我赋值”
  12. 赋值对象时应确保复制“对象内的所有成员变量”及“所有 base class 成分”(调用基类复制构造函数)
  13. 以对象管理资源资源在构造函数获得在析构函数释放建议使用智能指针资源取得时机便是初始化时机Resource Acquisition Is InitializationRAII
  14. 在资源管理类中小心 copying 行为(普遍的 RAII class copying 行为是:抑制 copying、引用计数、深度拷贝、转移底部资源拥有权类似auto_ptr
  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、机能扩充性
  24. 若所有参数包括被this指针所指的那个隐喻参数皆须要类型转换请为此采用 non-member 函数
  25. 考虑写一个不抛异常的 swap 函数
  26. 尽可能延后变量定义式的出现时间(可增加程序清晰度并改善程序效率)

Google C++ Style Guide

Google C++ Style Guide

图片来源于:CSDN . 一张图总结Google C++编程规范(Google C++ Style Guide)

STL

容器底层数据结构实现

  • vector底层数据结构为数组支持快速随机访问
  • list底层数据结构为双向链表支持快速增删
  • deque底层数据结构为一个中央控制器和多个缓冲区支持首尾中间不能快速增删也支持随机访问
    • deque是一个双端队列(double-ended queue),也是在堆中保存内容的.它的保存形式如下:
    • [堆1] --> [堆2] -->[堆3] --> ...
    • 每个堆保存好几个元素,然后堆和堆之间有指针指向,看起来像是list和vector的结合品.
  • stack底层一般用list或deque实现封闭头部即可不用vector的原因应该是容量大小有限制扩容耗时
  • queue底层一般用list或deque实现封闭头部即可不用vector的原因应该是容量大小有限制扩容耗时
    • stack和queue其实是适配器,而不叫容器,因为是对容器的再封装)
  • priority_queue底层数据结构一般为vector为底层容器堆heap为处理规则来管理底层容器实现
  • set底层数据结构为红黑树有序不重复
  • multiset底层数据结构为红黑树有序可重复
  • map底层数据结构为红黑树有序不重复
  • multimap底层数据结构为红黑树有序可重复
  • hash_set底层数据结构为hash表无序不重复
  • hash_multiset底层数据结构为hash表无序可重复
  • hash_map底层数据结构为hash表无序不重复
  • hash_multimap底层数据结构为hash表无序可重复

STL空间配置器如何处理内存的能说一下它的大概实现方案吗为什么是8bytes的倍数

  • 大于128bytes用malloc直接申请
  • 小于128bytes使用一个8bytes倍数的数组来进行申请原因是为了提高效率同时对于64位的机器而言地址大小为8bytes

数据结构

顺序结构

顺序栈Sequence Stack

SqStack.cpp

typedef struct {
	ElemType *elem;
	int top;
	int size;
	int increment;
} SqSrack;

队列Sequence Queue

typedef struct {
	ElemType * elem;
	int front;
	int rear;
	int maxSize;
}SqQueue;
非循环队列

SqQueue.rear++

循环队列

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

顺序表Sequence List

SqList.cpp

typedef struct {
	ElemType *elem;
	int length;
	int size;
	int increment;
} SqList;

链式结构

LinkList.cpp

LinkList_with_head.cpp

typedef struct LNode {
    ElemType data;
    struct LNode *next;
} LNode, *LinkList; 

线性表的链式表示

哈希表

HashTable.cpp

概念

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

构造方法

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

冲突处理方法

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

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


typedef char KeyType;

typedef struct {
	KeyType key;
}RcdType;

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

递归

概念

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

递归与分治

  • 分治法
    • 问题的分解
    • 问题规模的分解
  • 折半查找(递归)
  • 归并查找(递归)
  • 快速排序(递归)

递归与迭代

  • 迭代:反复利用变量旧值推出新值
  • 折半查找(迭代)
  • 归并查找(迭代)

广义表

头尾链表存储表示
// 广义表的头尾链表存储表示
typedef enum {ATOM, LIST} ElemTag;
// ATOM==0原子LIST==1子表
typedef struct GLNode {
    ElemTag tag;
    // 公共部分,用于区分原子结点和表结点
    union {
        // 原子结点和表结点的联合部分
        AtomType atom;
        // atom是原子结点的值域AtomType由用户定义
        struct {
            struct GLNode *hp, *tp;
        } ptr;
        // ptr是表结点的指针域prt.hp和ptr.tp分别指向表头和表尾
    } a;
} *GList, GLNode;

扩展线性链表存储表示
// 广义表的扩展线性链表存储表示
typedef enum {ATOM, LIST} ElemTag;
// ATOM==0原子LIST==1子表
typedef struct GLNode1 {
    ElemTag tag;
    // 公共部分,用于区分原子结点和表结点
    union {
        // 原子结点和表结点的联合部分
        AtomType atom; // 原子结点的值域
        struct GLNode1 *hp; // 表结点的表头指针
    } a;
    struct GLNode1 *tp;
    // 相当于线性链表的next指向下一个元素结点
} *GList1, GLNode1;

二叉树

BinaryTree.cpp

性质

  1. 非空二叉树第 i 层最多 2^(i-1) 个结点 (i >= 1)
  2. 深度为 k 的二叉树最多 2^k - 1 个结点 (k >= 1)
  3. 度为 0 的结点数为 n0度为 2 的结点数为 n2则 n0 = n2 + 1
  4. 有 n 个结点的完全二叉树深度 k = ⌊ log2(n) ⌋ + 1
  5. 对于含 n 个结点的完全二叉树中编号为 i (1 <= i <= n) 的结点
    1. 若 i = 1为根否则双亲为 ⌊ i / 2 ⌋
    2. 若 2i > n则 i 结点没有左孩子,否则孩子编号为 2i + 1
    3. 若 2i + 1 > n则 i 结点没有右孩子,否则孩子编号为 2i + 1

存储结构

typedef struct BiTNode
{
    TElemType data;
    struct BiTNode *lchild, *rchild;
}BiTNode, *BiTree;
顺序存储

链式存储

遍历方式

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

分类

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

其他树及森林

树的存储结构

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

并查集

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

平衡二叉树AVL树

性质
  • | 左子树树高 - 右子树树高 | <= 1
  • 平衡二叉树必定是二叉搜索树,反之则不一定
  • 最小二叉平衡树的节点的公式:F(n)=F(n-1)+F(n-2)+1 1是根节点F(n-1)是左子树的节点数量F(n-2)是右子树的节点数量)

最小失衡树

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

调整:

  • LL型根的左孩子右旋
  • RR型根的右孩子左旋
  • LR型根的左孩子左旋再右旋
  • RL型右孩子的左子树先右旋再左旋

红黑树

红黑树的特征是什么?
  1. 节点是红色或黑色。
  2. 根是黑色。
  3. 所有叶子都是黑色叶子是NIL节点
  4. 每个红色节点必须有两个黑色的子节点。(从每个叶子到根的所有路径上不能有两个连续的红色节点。)(新增节点的父节点必须相同)
  5. 从任一节点到其每个叶子的所有简单路径都包含相同数目的黑色节点。(新增节点必须为红)
调整
  1. 变色
  2. 左旋
  3. 右旋
应用
  • 关联数组如STL中的map、set
红黑树、B树、B+的区别?
  • 红黑树的深度比较大而B树和B+树的深度则相对要小一些
  • 而B树和B+树则将数据都保存在叶子节点,同时通过链表的形式将他们连接在一起。

B树B-tree、B+树B+-tree

B树(B-tree)、B+树(B+-tree)

特点
  • 一般化的二叉查找树binary search tree
  • “矮胖”,内部(非叶子)节点可以拥有可变数量的子节点(数量范围预先定义好)
应用
  • 大部分文件系统、数据库系统都采用B树、B+树作为索引结构
区别
  • B+树中只有叶子节点会带有指向记录的指针ROWID而B树则所有节点都带有在内部节点出现的索引项不会再出现在叶子节点中。
  • B+树中所有叶子节点都是通过指针连接在一起而B树不会。
B树的优点

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

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

B树、B+树区别来自:differences-between-b-trees-and-b-treesB树和B+树的区别

八叉树

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

用途
  • 三维计算机图形
  • 最邻近搜索

算法

排序

排序算法 平均时间复杂度 最差时间复杂度 空间复杂度 数据对象稳定性 描述
冒泡排序 O(n2) O(n2) O(1) 稳定 (无序区,有序区)。从无序区通过交换找出最大元素放到有序区前端。
选择排序 O(n2) O(n2) O(1) 数组不稳定、链表稳定 (有序区,无序区)。在无序区里找一个最小的元素跟在有序区的后面。对数组:比较得多,换得少。
插入排序 O(n2) O(n2) O(1) 稳定 (有序区,无序区)。把无序区的第一个元素插入到有序区的合适的位置。对数组:比较得少,换得多。
快速排序 O(n*log2n) O(n2) O(log2n) 不稳定 (小数,基准元素,大数)。在区间中随机挑选一个元素作基准,将小于基准的元素放在基准之前,大于基准的元素放在基准之后,再分别对小数区与大数区进行排序。
堆排序 O(n*log2n) O(n2) O(1) 不稳定 (最大堆,有序区)。从堆顶把根卸出来放在有序区之前,再恢复堆。
归并排序 O(n*log2n) O(n*log2n) O(1) 稳定 把数据分为两段,从两段中逐个选最小的元素移入新数据段的末尾。可从上到下或从下到上进行。
希尔排序 O(n*log2n) O(n2) O(1) 不稳定 每一轮按照事先决定的间隔进行插入排序间隔会依次缩小最后一次一定要是1。
计数排序 O(n+m) O(n+m) O(n+m) 稳定 统计小于等于该元素值的元素的个数i于是该元素就放在目标数组的索引i位i≥0
桶排序 O(n) O(n) O(m) 稳定 将值为i的元素放入i号桶最后依次把桶里的元素倒出来。
基数排序 O(k*n) O(n2) 稳定 一种多关键字的排序算法,可用桶排序实现。
文件排序
  • 均按从小到大排列
  • k代表数值中的"数位"个数
  • n代表数据规模
  • m代表数据的最大值减最小值
  • 来自 wikipedia . 排序算法

查找

查找算法 平均时间复杂度 空间复杂度 查找条件
顺序查找 O(n) O(1) 无序或有序
二分查找(折半查找) O(log2n) O(1) 有序
蛮力字符串匹配 O(n*m)
文件查找

Problems

Single Problem

Leetcode Problems

Array

操作系统

进程与线程

对于有线程系统:

  • 进程是资源分配的独立单位
  • 线程是资源调度的独立单位

对于无线程系统:

  • 进程是资源调度、分配的独立单位

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

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

线程之间的通信方式

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

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

进程线程部分知识点来源于:进程线程面试题总结

进程之间私有和共享的资源

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

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

  • 私有:线程栈,寄存器,程序寄存器
  • 共享:堆,地址空间,全局变量,静态变量

Linux 内核的同步方式

原因

在现代操作系统里,同一时间可能有多个内核执行流在执行,因此内核其实象多进程多线程编程一样也需要一些同步机制来同步各执行单元对共享数据的访问。尤其是在多处理器系统上,更需要一些同步机制来同步不同处理器上的执行单元对共享的数据的访问。

同步方式

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

来自Linux 内核的同步机制,第 1 部分Linux 内核的同步机制,第 2 部分

死锁

原因

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

产生条件

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

预防

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

文件系统

  • WindowsFCB表 + FAT + 位图
  • Unixinode + 混合索引 + 成组连接

主机字节序与网络字节序

主机字节序CPU字节序

概念

主机字节序又叫CPU字节序其不是由操作系统决定的而是由CPU指令集架构决定的。主机字节序分为两种

  • 大端字节序Big Endian高序字节存储在低位地址低序字节存储在高位地址
  • 小端字节序Little Endian高序字节存储在高位地址低序字节存储在低位地址
存储方式

32位整数0x12345678是从起始位置为0x00的地址开始存放

内存地址 0x00 0x01 0x02 0x03
大端 12 34 56 78
小端 78 56 34 12

大端序 小端序

判断大端小端

可以这样判断自己CPU字节序是大端还是小端

#include <iostream>
using namespace std;

int main()
{
	int i = 0x12345678;

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

	return 0;
}
各架构处理器的字节序
  • x86Intel、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的字节序是可配置的。

网络字节序

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

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

页面置换算法

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

分类

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

算法

全局:

  • 工作集算法
  • 缺页率置换算法

局部:

  • 最佳置换算法OPT
  • 先进先出置换算法FIFO
  • 最近最久未使用LRU算法
  • 时钟Clock置换算法

计算机网络

计算机经网络体系结构:

计算机经网络体系结构

各层作用及协议

分层 作用 协议
物理层 通过媒介传输比特确定机械及电气规范比特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

物理层

  • 传输数据的单位 ———— 比特
  • 数据传输系统:源系统(源点、发送器) --> 传输系统 --> 目的系统(接收器、终点)

通道:

  • 单向通道(单工通道):只有一个方向通信,没有反方向交互,如广播
  • 双向交替通行(半双工通信):通信双方都可发消息,但不能同时发送或接收
  • 双向同时通信(全双工通信):通信双方可以同时发送和接收信息

通道复用技术:

  • 频分复用FDMFrequency Division Multiplexing不同用户在不同频带所用用户在同样时间占用不同带宽资源
  • 时分复用TDMTime Division Multiplexing不同用户在同一时间段的不同时间片所有用户在不同时间占用同样的频带宽度
  • 波分复用WDMWavelength Division Multiplexing光的频分复用
  • 码分复用CDMCode Division Multiplexing不同用户使用不同的码可以在同样时间使用同样频带通信

数据链路层

主要信道:

  • 点对点信道
  • 广播信道

点对点信道

  • 数据单元 ———— 帧

三个基本问题:

  • 封装成帧把网络层的IP数据报封装成帧SOH - 数据部分 - EOT
  • 透明传输:不管数据部分什么字符,都能传输出去;可以通过字节填充方法解决(冲突字符前加转义字符)
  • 差错检测降低误码率BERBit Error Rate广泛使用循环冗余检测CRCCyclic Redundancy Check

点对点协议Point-to-Point Protocol

  • 点对点协议Point-to-Point Protocol用户计算机和ISP通信时所使用的协议

广播信道

广播通信:

  • 硬件地址物理地址、MAC地址
  • 单播unicast一对一收到的帧的MAC地址与本站的硬件地址相同
  • 广播broadcast一对全体发送给本局域网上所有站点的帧
  • 多播multicast一对多发送给本局域网上一部分站点的帧

网络层

  • IPInternet Protocol网际协议是为计算机网络相互连接进行通信而设计的协议。
  • ARPAddress Resolution Protocol地址解析协议
  • ICMPInternet Control Message Protocol网际控制报文协议
  • IGMPInternet Group Management Protocol网际组管理协议

IP 网际协议

IP地址分类

  • IP地址 ::= {<网络号>,<主机号>}
IP地址类别 网络号 网络范围 主机号 IP地址范围
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 数据报格式:

IP数据报格式

ICMP 网际控制报文协议

ICMP 报文格式:

ICMP报文格式

应用:

  • PINGPacket InterNet Groper分组网间探测测试两个主机之间的连通性
    • TTLTime To Live生存时间该字段指定IP包被路由器丢弃之前允许通过的最大网段数量

内部网关协议

  • RIPRouting Information Protocol路由信息协议
  • OSPFOpen Sortest Path First开放最短路径优先

外部网关协议

  • BGPBorder Gateway Protocol边界网关协议

IP多播

  • IGMPInternet Group Management Protocol网际组管理协议
  • 多播路由选择协议

VPN 和 NAT

  • VPNVirtual Private Network虚拟专用网
  • NATNetwork Address Translation网络地址转换

路由表包含什么?

  1. 网络IDNetwork 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)指向自治系统的出口。

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

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

运输层

协议:

  • TCPTransmission Control Protocol传输控制协议
  • UDPUser Datagram Protocol用户数据报协议

端口:

应用程序 FTP TELNET SMTP DNS TFTP HTTP HTTPS SNMP
端口号 21 23 25 53 69 80 443 161

TCP

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

特征:

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

TCP如何保证可靠传输

  • 确认和超时重传
  • 数据合理分片和排序
  • 流量控制
  • 拥塞控制
  • 数据校验

TCP 报文结构

TCP报文

TCP 首部

TCP首部

TCP状态控制码CodeControl Flag占6比特含义如下

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

UDP

  • UDPUser Datagram Protocol用户数据报协议是OSIOpen System Interconnection 开放式系统互联) 参考模型中一种无连接的传输层协议,提供面向事务的简单不可靠信息传送服务,其传输的单位是用户数据报。

特征:

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

UDP 报文结构

UDP报文

UDP 首部

UDP首部

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

TCP 与 UDP 的区别

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

TCP黏包问题

原因

TCP是一个基于字节流的传输服务UDP基于报文的“流”意味着TCP所传输的数据是没有边界的。所以可能会出现两个数据包黏在一起的情况。

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

TCP传输连接管理

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

TCP 三次握手建立连接

UDP报文

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

  1. 客户端发送SYN给服务器说明客户端请求建立连接
  2. 服务端收到客户端发的SYN并回复SYN+ACK给客户端同意建立连接
  3. 客户端收到服务端的SYN+ACK后回复ACK给服务端表示客户端收到了服务端发的同意报文
  4. 服务端收到客户端的ACK连接已建立可以数据传输。
TCP为什么要进行三次握手

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

Google Groups . TCP建立连接为什么是三次握手{技术}{网络通信}

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

知乎 . TCP 为什么是三次握手,而不是两次或四次?

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

《计算机网络第7版-谢希仁》

TCP 四次挥手释放连接

UDP报文

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

  1. 客户端发送FIN给服务器说明客户端不必发送数据给服务器了请求释放从客户端到服务器的连接
  2. 服务器接收到客户端发的FIN并回复ACK给客户端同意释放从客户端到服务器的连接
  3. 客户端收到服务端回复的ACK此时从客户端到服务器的连接已释放但服务端到客户端的连接还未释放并且客户端还可以接收数据
  4. 服务端继续发送之前没发完的数据给客户端;
  5. 服务端发送FIN+ACK给客户端说明服务端发送完了数据请求释放从服务端到客户端的连接就算没收到客户端的回复过段时间也会自动释放
  6. 客户端收到服务端的FIN+ACK并回复ACK给客户端同意释放从服务端到客户端的连接
  7. 服务端收到客户端的ACK后释放从服务端到客户端的连接。
TCP为什么要进行四次挥手

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

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

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

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

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

【答案三】

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

TCP 有限状态机

TCP的有限状态机

应用层

DNS

  • DNSDomain Name System域名系统是互联网的一项服务。它作为将域名和IP地址相互映射的一个分布式数据库能够使人更方便地访问互联网。DNS使用TCP和UDP端口53。当前对于每一级域名长度的限制是63个字符域名总长度则不能超过253个字符。

域名:

  • 域名 ::= {<三级域名>.<二级域名>.<顶级域名>}blog.huihut.com

FTP

  • FTPFile Transfer Protocol文件传输协议是用于在网络上进行文件传输的一套标准协议使用客户/服务器模式使用TCP数据报提供交互式访问双向传输。
  • TFTPTrivial File Transfer Protocol简单文件传输协议一个小且易实现的文件传输协议也使用客户-服务器方式使用UDP数据报只支持文件传输而不支持交互没有列目录不能对用户进行身份鉴定

TELNET

  • TELNET协议是TCP/IP协议族中的一员是Internet远程登陆服务的标准协议和主要方式。它为用户提供了在本地计算机上完成远程主机工作的能力。

  • HTTPHyperText Transfer Protocol超文本传输协议是用于从WWWWorld Wide Web万维网服务器传输超文本到本地浏览器的传送协议。

  • SMTPSimple Mail Transfer Protocol简单邮件传输协议是一组用于由源地址到目的地址传送邮件的规则由它来控制信件的中转方式。SMTP协议属于TCP/IP协议簇它帮助每台计算机在发送或中转信件时找到下一个目的地。

  • Socket 建立网络通信连接至少要一对端口号(socket)。socket本质是编程接口(API)对TCP/IP的封装TCP/IP也要提供可供程序员做网络开发所用的接口这就是Socket编程接口。

WWW

  • WWWWorld Wide Web环球信息网万维网是一个由许多互相链接的超文本组成的系统通过互联网访问
URL
  • URLUniform Resource Locator统一资源定位符是因特网上标准的资源的地址Address

标准格式:

  • 协议类型:[//服务器地址[:端口号]][/资源层级UNIX文件路径]文件名[?查询][#片段ID]

完整格式:

  • 协议类型:[//[访问资源需要的凭证信息@]服务器地址[:端口号]][/资源层级UNIX文件路径]文件名[?查询][#片段ID]

其中【访问凭证信息@:端口号;?查询;#片段ID】都属于选填项
如:https://github.com/huihut/interview#cc

HTTP

HTTPHyperText Transfer Protocol超文本传输协议是一种用于分布式、协作式和超媒体信息系统的应用层协议。HTTP是万维网的数据通信的基础。

请求方法

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

状态吗Status-Code

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

菜鸟教程 . HTTP状态码

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

网络编程

Socket

Linux Socket编程不限Linux

Socket客户端服务器通讯

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

ssize_t read(int fd, void *buf, size_t count);
ssize_t write(int fd, const void *buf, size_t count);
  • read函数是负责从fd中读取内容.当读成功时read返回实际所读的字节数。如果返回的值是0表示已经读到文件的结束了小于0表示出现了错误。如果错误为EINTR说明读是由中断引起的如果是ECONNREST表示网络连接出了问题。
  • write函数将buf中的nbytes字节内容写入文件描述符fd。成功时返回写的字节数。失败时返回-1并设置errno变量。在网络程序中当我们向套接字文件描述符写时有俩种可能。1write的返回值大于0表示写了部分或者是全部的数据。2返回的值小于0此时出现了错误。我们要根据错误类型来处理。如果错误为EINTR表示在写的时候出现了中断错误。如果为EPIPE表示网络连接出现了问题对方已经关闭了连接

socket中TCP的三次握手建立连接

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

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

只有就完了三次握手但是这个三次握手发生在socket的那几个函数中呢请看下图

socket中发送的TCP三次握手

从图中可以看出:

  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返回至此三次握手完毕连接建立。

socket中TCP的四次握手释放连接

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

socket中发送的TCP四次握手

图示过程如下:

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

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

数据库

范式

  • 第一范式1NF属性字段是最小单位不可再分
  • 第二范式2NF满足1NF每个非主属性完全依赖于主键消除1NF非主属性对码的部分函数依赖
  • 第三范式3NF满足2NF任何非主属性不依赖于其他非主属性消除2NF主属性对码的传递函数依赖
  • 鲍依斯-科得范式BCNF满足3NF任何非主属性不能对主键子集依赖消除3NF主属性对码的部分和传递函数依赖
  • 第四范式4NF满足3NF属性之间不能有非平凡且非函数依赖的多值依赖消除3NF非平凡且非函数依赖的多值依赖

设计模式

设计模式的六大原则

  • 单一职责原则SRPSingle Responsibility Principle
  • 里氏替换原则LSPLiskov Substitution Principle
  • 依赖倒置原则DIPDependence Inversion Principle
  • 接口隔离原则ISPInterface Segregation Principle
  • 迪米特法则LoDLaw of Demeter
  • 开放封闭原则OCPOpen Close Principle

单例模式

// 懒汉式单例模式
class Singleton
{
private:
	Singleton() { }
	static Singleton * pInstance;
public:
	static Singleton * GetInstance()
	{
		if (pInstance == nullptr)
			pInstance = new Singleton();
		return pInstance;
	}
};

// 线程安全的单例模式
class Singleton
{
private:
	Singleton() { }
	~Singleton() { }
	Singleton(const Singleton &);
	Singleton & operator = (const Singleton &);
public:
	static Singleton & GetInstance()
	{
		static Singleton instance;
		return instance;
	}
};

链接装载库

内存、栈、堆

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

  • 栈:由操作系统自动分配释放,存放函数的参数值、局部变量等的值,用于维护函数调用的上下文
  • 堆:一般由程序员分配释放,若程序员不释放,程序结束时可能由操作系统回收,用来容纳应用程序动态分配的内存区域
  • 可执行文件映像:存储着可执行文件在内存中的映像,由装载器装载是将可执行文件的内存读取或映射到这里
  • 保留区保留区并不是一个单一的内存区域而是对内存中受到保护而禁止访问的内存区域的总称如通常C语言讲无效指针赋值为0NULL因此0地址正常情况下不可能有效的访问数据

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

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

堆分配算法:

  • 空闲链表Free List
  • 位图Bitmap
  • 对象池

“段错误segment fault” 或 “非法操作该内存地址不能read/write”

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

普遍原因:

  • 将指针初始化位NULL之后没有给它一个合理的值就开始使用指针
  • 没用初始化栈中的指针,指针的值一般会是随机数,之后就直接开始使用指针

编译链接

编译链接过程

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

现在版本GCC把预编译和编译合成一步预编译编译程序cc1、汇编器as、连接器ld

MSVC编译环境编译器cl、连接器link、可执行文件查看器dumpbin

目标文件

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

可执行文件Windows的.exe和Linux的ELF、动态链接库Windows的.dll和Linux的.so、静态链接库Windows的.lib和Linux的.a都是按照可执行文件格式存储Windows按照PE-COFFLinux按照ELF

目标文件格式
  • Windows的PEPortable Executable或称为PE-COFF.obj格式
  • Linux的ELFExecutable Linkable Format.o格式
  • Intel/Microsoft的OMFObject Module Format
  • Unix的a.out格式
  • MS-DOS的.COM格式

PE和ELF都是COFFCommon File Format的变种

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

其他段略

链接的接口————符号

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

如下符号表Symbol Table

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

Linux的共享库Shared Library

Linux下的共享库就是普通的ELF共享对象。

共享库版本更新应该保证二进制接口ABIApplication Binary Interface的兼容

命名

libname.so.x.y.z

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

路径

大部分包括Linux在内的开源系统遵循FHSFile Hierarchy Standard的标准这标准规定了系统文件如何存放包括各个目录结构、组织和作用。

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

动态链接器会在/lib/usr/lib和由/etc/ld.so.conf配置文件指定的,目录中查找共享库

环境变量

  • LD_LIBRARY_PATH:临时改变某个应用程序的共享库查找路径,而不会影响其他应用程序
  • LD_PRELOAD:指定预先装载的一些共享库甚至是目标文件
  • LD_DEBUG:打开动态链接器的调试功能

DLL头文件

#ifdef __cplusplus
extern "C" {
#endif

#ifdef _WIN32
#  ifdef MODULE_API_EXPORTS
#    define MODULE_API __declspec(dllexport)
#  else
#    define MODULE_API __declspec(dllimport)
#  endif
#else
#  define MODULE_API
#endif

MODULE_API int module_init();

#ifdef __cplusplus
}
#endif

DLL源文件

#define MODULE_API_EXPORTS
#include "module.h"

MODULE_API int module_init()
{
    /* do something useful */
    return 0;
}

运行库Runtime Library

典型程序运行步骤

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

一个程序的I/O指代程序与外界的交互包括文件、管程、网络、命令行、信号等。更广义地讲I/O指代操作系统理解为“文件”的事物。

glibc 入口

_start -> __libc_start_main -> exit -> _exit

其中main(argc, argv, __environ)函数在__libc_start_main里执行。

MSVC CRT 入口

int mainCRTStartup(void)

执行如下操作:

  1. 初始化和OS版本有关的全局变量。
  2. 初始化堆。
  3. 初始化I/O。
  4. 获取命令行参数和环境变量。
  5. 初始化C库的一些数据。
  6. 调用main并记录返回值。
  7. 检查错误并将main的返回值返回。

C语言运行库CRT

大致包含如下功能:

  • 启动与退出:包括入口函数及入口函数所依赖的其他函数等。
  • 标准函数有C语言标准规定的C语言标准库所拥有的函数实现。
  • I/OI/O功能的封装和实现。
  • 堆:堆的封装和实现。
  • 语言实现:语言中一些特殊功能的实现。
  • 调试:实现调试功能的代码。

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

海量数据处理

音视频

其他

书籍

  • 《剑指Offer》
  • 《编程珠玑》
  • 《深度探索C++对象模型》
  • 《Effective C++》
  • 《More Effective C++》
  • 《深入理解C++11》
  • 《STL源码剖析》
  • 《深入理解计算机系统》
  • 《TCP/IP网络编程》
  • 《程序员的自我修养》

复习刷题网站

招聘时间岗位

面试题目经验

牛客网

知乎

CSDN

cnblogs

Segmentfault