首页 > C++春招实习 C++部分
头像
灯又烬
编辑于 2021-04-16 13:22
+ 关注

C++春招实习 C++部分

[toc]

static关键字

1.全局static变量

存储位置:静态存储区,在程序运行期间一直存在

初始化: 未手动初始化的变量自动初始化为0

作用域: 从定义之处开始,到文件结束,仅能在本文件中使用

2.局部static变量

存储位置:静态存储区,在程序运行期间一直存在

初始化: 未手动初始化的变量自动初始化为0

作用域: 为局部作用域, 当函数或语句块结束,静态变量仍然存在于内存区,再次调用函数或进入语句块时,可以再次被访问,且值保持不变

3.静态函数

静态函数只在声明他的文件内可见,无法被其他文件使用,若想在其他文件服用复用函数,最好把它写在头文件中,否则一般加static关键字

4.类的静态成员&静态函数

类的静态成员不属于任何一个类,可以在对象间共享,对于多个对象来说, 静态成员存储于一处,供所有对象访问,对静态函数/静态成员的访问不需要使用对象名。

类的静态函数不能直接引用类的非静态成员,可以引用静态成员,若要引用非静态成员,则需要使用对象名。

总的来说,static的作用

一是隐藏,当static修饰变量的时候,能够将变量或函数对本文件外的文件进行隐藏,无法在其他文件中访问。

二是初始化,静态存储区分为DATA段和BSS段,DATA段存放已经初始化了的全局变量,BSS段存放未初始化的全局变量和静态变量,在程序执行前,BSS段会被清零,从而所有静态变量都被初始化为0.

三是延长变量的生命周期,若想延长一个变量的生命周期,可以把它声明为static,比如对于一个函数中的变量,在函数下次调用的时候若想仍然使用这个变量,

常量指针和指针常量

常量指针:表示const修饰的为所申明的类型。 也就是指向常量的指针。也是底层const

int const *p1 = &b;*//const 在前,定义为常量指针*

指针常量:表示指针是一个常量,无法改变其指向的内存空间。 即顶层const

int *const p2 = &c;*// *在前,定义为指针常量*

C和C++的区别

c++是c的超集

设计思想不同: C是面向过程的结构化编程语言,c++是面向对象的语言。

在语法上也存在差别:比如c++可以使用引用,c仅支持指针操作。比如c++有三种特性,继承封装多态,也对c进行了许多类型安全的封装,比如强制类型转换这些。而且c++支持范式编程,支持模板类等等。但是c++的高级特性大都是建立在降低效率的基础上实现的,c能够以最简便的方式编译,处理低级存储器,因此更适用于偏底层的设计,像嵌入式,单片机这些。

浮点数的存储方式

四种强制类型转换

static_cast 可以用于任何有明确定义的类型转换,只要不包含底层const, 都可以使用static_cast。

const_cast 只能改变运算对象的底层const,即去掉const性质

reinterpret_cast 从运算对象底层的位模式提供低层次上的重新解释,不建议使用,若使用必须对涉及的类型和编译器的转换过程都十分了解。

dynamic_cast 动态类型转换,一般用于含有虚函数的类,用于类层次间的向下(基类向子类的转换)或向上转化(子类向基类的转换),只能转化指针或者引用。

c++强制类型转换相对c语言的类型强转相比,虽然看起来c语言的强制类型转换功能更强大一些,但c++封装了更多保证内存安全性的操作,因此大多时候最好使用c++的强制类型转换。

左值和右值

左值是持久化的变量,一般的具名变量都是左值,而右值是当前表达式运行结束就销毁的临时对象,区分左值右值得简单方法,能进行取址符操作的都是左值,其他的都是右值。

std::move语义

  1. std::move的本质就强制类型转换,它无条件地将实参转为右值引用类型

  2. std::move 是将对象的状态或者所有权从一个对象转移到另一个对象,只是转移,没有内存的搬迁或者内存拷贝。

c++指针和引用的区别

指针

指针是指向另外一种类型的复合类型,用于实现数据的间接访问,指针本身同样是一个对象,它存储指向变量的地址值,当需要修改指针指向的变量时,需要使用解引用符,从而访问修改其指向的地址空间。

引用:

相当于给对象起了另外一个名字,定义引用时,程序把引用和初始值绑定在一起,而不是和其他变量一样把初始值拷贝给变量,一旦初始化完成,则与引用绑定的对象无法进行修改,因此定义引用时必须绑定一个初始值。

指针和引用的区别在于:

  1. 指针拥有属于自己的内存空间,是一个实实在在的对象,若想操作其指向的对象,需要解引用。而引用只是一个别名,当对引用使用任何操作符时,都是对和它绑定的对象进行操作。

  2. 指针不必在定义时赋值初始化,而引用必须进行初始化绑定。但是指针使用前必须进行赋值,否则会产生野指针从而出现问题。

  3. 指针在它的生命周期内,可以指向多个类型符合的对象,但引用只能与一个对象绑定。

  4. 指针可以存在 多级指针,但引用只能存在一级,因为引用就是该对象的别名。

  5. 指针和引用自增自减的效果不同,指针自增是指其内存中的地址增加一个指向对象类型单位大小的字节,而引用自增就只是与其绑定的对象的自增。

  6. 其实对于大多数编译器而言,引用可以被解释为const指针,低级语言的特性较少,表达的概念有限,所以编译器要将高级语言的概念映射到低级语言,可能会有很多种解释方式,但目前主流编译器都将引用与指针使用相同的方式来描述,即分配给引用一个地址空间存储绑定对象的地址,当使用引用时,就是对它存储的地址解引用后进行操作,我们无法访问引用的地址空间。

右值引用

c++11增加了一种引用叫右值引用,平时我们所指的引用就是左值引用,所谓右值引用,就是必须绑定到右值的引用,使用&&来定义。

右值引用拥有一个最重要的性质,只能绑定到一个将要销毁的对象,这样 我们可以将一个右值引用的资源直接移中存在一个std::move函数,可以显式的将一个左值变量转换为对应的右值引用类型,交给一个右值引用接收。

调用std::move则意味着除了对源对象进行重新赋值或者销毁,我们不再使用它,即我们不能对移后源对象作任何假设

c++的三种智能指针

c++11标准引入了三种智能指针,均定义在<memory>头文件下,其本质上是一个模板类,拥有构造函数和析构函数,在超出其作用域后,它会主动释放其管理的内存。</memory>

shared_ptr

shared_ptr是一种共享式指针,它引入了一个引用计数的概念,对于一块内存,每增加一个shared_ptr指向,其引用计数+1,每有一个shared_ptr释放对内存的使用权,即销毁指针或指向其他内存,则引用计数-1,当引用计数为0时,则自动释放其之前指向的内存。shared_ptr可以使用方法use_count()查看拥有管理权的shared_ptr的个数,可以使用release()方法释放其所有权,此时引用计数-1。

unique_ptr

为了保证同一时间仅能有一个指针来管理一块内存,c++11引入了unique_ptr,它是一种独占式指针,仅支持一个指针指向该内存。可以使用std::move来移动unique_ptr指向的内存。

weak_ptr

当有两个shared_ptr相互指向发生循环引用时,会产生死锁导致内存泄漏,因此c++11为了防止死锁现象的发生,引入了弱引用的概念,它的存在不会改变内存的引用计数,仅仅用于辅助shared_ptr来管理内存,提供一个访问内存的方式,可用于核查指针类,即检查该对象是否已经被释放。

智能指针的实现

template<typename SmartPointer,typename Type>
class Ref{
    friend SmartPointer;
    Ref(Type* _p) :p(_p), count(1){}
    ~Ref(){ delete p; }
    Type *p;
    size_t count;
};

template <typename T>
class myPointer{
private:
    Ref<myPointer, T> *rf;
public:        
    myPointer(T *p) : rf(new Ref<myPointer, T>(p)) {}
    myPointer(const myPointer &a) : rf(a->rf){}
    ~myPointer()
    {
        if(--rf->count == 0){
            delete rf;
        }
    }
    myPointer& operator=(const myPointer &rhs) {
        ++rhs->count;
        if(--rf->count == 0){
            delete rf;
        }
        rf = rhs.rf;
        if(--rhs->rf->count == 0){
            delete rhs;
        }
        return *this;
    }
    T operator *(const myPointer &p) const{
        return *(rf->p);
    }

};

shared_ptr是线程安全的吗

不是线程安全的,单独的修改引用计数是原子操作。

C++多态的原理和实现

C++可以使用两种方法实现多态

其一是使用函数重载(overload),也就是编译时多态,要求两函数有不同的参数列表

其二是使用虚函数进行函数重写(override),维护一个虚函数表vtbl,每个类存在vptr指针指向其vtbl对应的函数。

C语言如何实现多态,如何实现继承

实现多态,使用函数指针手动维护一个虚函数表,每个类都使用一个函数指针标记其函数表对应的函数。

继承: 将父类作为成员变量封装进子类。

菱形继承的问题

菱形继承就是指: 一个派生类有多个基类,多个基类又由同一个类派生, 这样就会造成一个派生类中同时存在多个基类的基类, 编译器无法确定要调用哪个

解决方法: 虚继承

C++中引入了虚基类,其作用是 在间接继承共同基类时只保留一份基类成员

虚继承是声明类时的一种继承方式,在继承属性前面添加virtual关键字。

class A//A 基类
{ ... };

//类B是类A的公用派生类, 类A是类B的虚基类
class B : virtual public A
{  ... };

//类C是类A的公用派生类, 类A是类C的虚基类
class C : virtual public A
{  ... };

什么是虚函数,为什么析构函数必须是虚函数,为什么c++默认构造函数不是虚函数

虚函数是在某个基类中声明,在其派生类中被重写的成员函数。用于实现多态性,简单来说就是,对于不同的类,相同的方法可以采用不同的策略。

如果析构函数不是虚函数,那么当一个派生类经由一个基类指针删除的时候,其结果是未定义的,实际实行的时候,通常是对象的派生类部分没有被销毁,而其中基类部分被销毁掉了,就产生了一种局部销毁的现象, 从而造成资源泄漏。

为了消除这个问题,就必须在基类中定义virtual的析构函数,从而销毁对象时,才能完整销毁。

如果class是不带虚函数的,通常表示它并不意图作为一个基类,当class不意图作为一个基类时,使用它作为基类往往不是一个好主意。因为想要实现虚函数,该对象必须要携带更多的信息,用来在运行期决定哪个虚函数被调用,这份信息一般由vptr(virtual table pointer)指出,vptr指向一个函数指针构成的数组(virtual table),每一个带有虚函数的都存在一个相应的vtbl。当程序运行某个虚函数,则实际被调用的函数取决于vptr当前指向的函数。这样为每个类都添加一个虚函数表可能会增加对象大小到50%-100%。因此,一般情况下,只有当一个class存在至少一个虚函数,才认为它可以被当作base class,然后为他添加virtual的析构函数。比如stl中的所有模板类,就都是不被设计作为base class的

当定义某个对象的时候,首先要为它分配空间,然后执行构造函数,而vptr就是在构造函数中初始化的,而又需要查找vptr来决定执行哪个函数,这时就陷入了循环。所以不能将构造函数设置为虚函数。

什么是函数指针

函数指针是指向函数的指针变量,作为一个可调用对象,他能指向所有返回值和参数匹配的函数,从而可以传入其他函数,分情况调用不同的函数。

int (*fp)(args)

typedef int (*fun)(int a,int b);

说一下c++的三大特性

c++的三大特性是封装继承和多态。

封装,就是隐藏对象的内部细节,只留给使用者几个接口,来按设计者的规范来使用该对象。可以隔离开外部使用者对内部数据的干扰,提高了安全性,同样也便于使用者操作。

继承,就是从一个对象继承它的属性和方法,可以减少重复代码,同时继承也是多态的前提,也增加了类的耦合性。

多态,就是不同的对象,对于相同的方法有不同的操作逻辑,一般使用虚函数来实现。它大大提高了代码的可复用性,可维护性和可扩充性,三大特性是c++面向对象的基础,正是c++与c的最大区别。

c++如何定义常量,常量存放在哪个位置

对于const定义的常变量,其本质上就是个只读变量。

对于局部常量,在运行前不会为其分配内存,会在运行时进行栈上分配。

对于全局常量,在运行前就已经存储在了.DATA段中。

如何让一个函数在main函数执行前先执行

写在类的构造函数中,定义全局对象,在构造时运行。

隐式类型转换

对于内置类型,当运算符两端类型不同时,编译器会自动使低精度的类型向高精度类型转换。

在类的构造函数中,可以直接传入参数,编译器会为其生成一个临时对象用于构造。

虽然隐式类型转换很多情况下很方便,但是有的时候也会得到我们不想得到的结果,所以可以使用explicit关键字禁止编译器进行隐式类型转换。

new/delete与malloc/free的区别

new和delete是c++的关键字,而malloc和free是内置函数,当使用new对对象进行分配空间时,编译器会自动得到该对象的大小,但是malloc需要显式给出需要分配的空间大小

对于自定义的类来说,new会先调用operator new申请足够的空间,然后调用类类型的构造函数,最后返回该类型的指针,delete会先调用类的析构函数,然后调用operator delete释放内存空间。而malloc和free是内置函数,无法要求他们调用构造函数和析构函数。

什么是RTTI

RTTI(Run Time Type Identification)即运行时对类型进行识别,即程序在运行中可以根据基类的指针或者引用来识别所指对象的实际派生类,它的实际用处主要是在当我们想要使用基类对象的指针或引用来操作它的派生类对象的方法,但此方法由于一些原因无法被设置为虚函数。

RTTI机制的功能由两个运算符实现。

一个是typeid运算符,返回指针或引用指向的对象的实际类型。但是其操作时作用于对象的,所以需要使用取址符,当typeid作用于指针的时候,将返回该指针的编译时静态类型。

另一个时dynamic_cast 运算符,他有三种形式,可以传入指针,引用与右值引用,可以用于类类型的向上或向下转换。

RTTI在有些情况下作用十分明显,比如我们需要实现一个有继承关系的类之间的相等运算符,我们可以先使用typeid比较两个对象类型是否一致,一致则进行每个函数的内置equal函数判断。

inline跨文件使用

内联函数必须在调用它的每个文件中定义, 若想在所有文件中使用,最好在头文件中定义,且一旦内联函数在多个头文件中定义,则会产生内联函数的重定义

虚函数表具体怎样实现运行时多态

所谓虚函数表是一个类的虚函数地址表,在每个对象创建的时候,都会有一个vptr指向虚函数表,当继承它的子类对虚函数进行重写时,虚函数表中的对应函数地址将被新地址覆盖,所以当父类指针调用子类的成员函数时,虚函数指针就可以指向对应的函数。

当调用虚函数时过程如下(引自More Effective C++):

  • 通过对象的 vptr 找到类的 vtbl
    这是一个简单的操作,因为编译器知道在对象内 哪里能找到 vptr(毕竟是由编译器放置的它们)。因此这个代价只是一个偏移调整(以得到 vptr)和一个指针的间接寻址(以得到 vtbl)。
  • 找到对应 vtbl 内的指向被调用函数的指针
    这也是很简单的, 因为编译器为每个虚函数在 vtbl 内分配了一个唯一的索引。这步的代价只是在 vtbl 数组内的一个偏移。
  • 调用第二步找到的的指针所指向的函数。
    • 在单继承的情况下
      调用虚函数所需的代价基本上和非虚函数效率一样,在大多数计算机上它多执行了很少的一些指令,所以有很多人一概而论说虚函数性能不行是不太科学的。
    • 在多继承的情况
      由于会根据多个父类生成多个vptr,在对象里为寻找 vptr 而进行的偏移量计算会变得复杂一些,但这些并不是虚函数的性能瓶颈。虚函数运行时所需的代价主要是虚函数不能是内联函数。这也是非常好理解的,是因为内联函数是指在编译期间用被调用的函数体本身来代替函数调用的指令,但是虚函数的“虚”是指“直到运行时才能知道要调用的是哪一个函数。”但虚函数的运行时多态特性就是要在运行时才知道具体调用哪个虚函数,所以没法在编译时进行内联函数展开。当然如果通过对象直接调用虚函数它是可以被内联,但是大多数虚函数是通过对象的指针或引用被调用的,这种调用不能被内联。 因为这种调用是标准的调用方式,所以虚函数实际上不能被内联。

C语言如何进行函数调用

对于每个函数,c++都会为它分配一个栈,在进行函数调用之前,先将当前指令的esp指针压入栈中,并将参数入栈,跳转到函数存储的地址,函数执行结束后,恢复esp指针,回到原地址继续运行。

拷贝构造函数的调用时机

1.直接初始化和拷贝初始化

2.将一个对象作为实参传递给一个非引用或非指针类型的形参时

3.从一个返回类型为非引用或非指针的函数返回一个对象时

4.用花括号列表初始化一个数组的元素或者一个聚合类(很少使用)中的成员时。

当C++定义类时,编译器会为类自动生成哪些函数?这些函数各自都有什么特点?

  1. 默认构造函数
  2. 默认析构函数
  3. 拷贝构造函数
  4. 默认赋值函数

静态函数和虚函数的区别

静态函数是在编译时就已经确定好了运行的时机,而虚函数是使用动态绑定,虚函数使用了虚函数表机制,调用会增加一次的内存开销。

STL由什么组成

容器:容纳,包含一种元素或元素集合。

迭代器: 用于遍历,访问容器中的元素,一般作为泛型算法的参数。

仿函数:

泛型算法:用来操作容器中元素的方法。

分配器:为容器等分配空间。

配接器:将一个class的接口转换为另一个class的接口,使原本因接口不兼容不能合作的两个class共同运作。

map 和set的区别,它们是如何实现的

map和set都是c++的关联容器,其底层实现都是红黑树,他们所有的接口都由红黑树给出,所以几乎所有的操作行为都是转调红黑树的操作。

区别:

map是映射,其中的元素是key-value的,可以按key值来索引value值。

set是集合,其中元素只是一个值,仅包含一个关键字。

set的迭代器是const的,它不支持使用迭代器修改元素,而map允许修改value的值,他们的元素都是根据关键字来保证有序的,所以不能轻易修改,只能将原关键字删除,重新插入,但是对于这些操作都是O(logn)的,所以时间开销较大。

另外,map支持下标操作,set不支持。

vector 和list的区别,它们是如何实现的

vector和list都是c++中的容器,vector是向量,底层存储空间是连续的,也就是数组,所以对于随机读取修改所需时间较低,为O(1),但插入的复杂度较低,每次插入要将其后面的元素向后移动,所以最坏时间复杂度是O(n)的。且在可分配空间不足时,可能需要将所有的数据移动到另一块内存。

list底层实现是双向链表,底层存储时非连续的,随机读取只能从头节点向后查找,所以最坏时间复杂度是O(n)的,但插入仅需 O(1)。

有哪些内存泄漏?如何判断内存泄漏?如何定位内存泄漏?

内存泄漏是指对内存的泄露,堆内存在程序中由程序动态分配的内存,使用过后需要显示释放,有些时候忘记释放已使用完的内存,就会发生内存泄漏。若运行过久,可能会导致栈溢出致使程序崩溃。

c++无法检测内存泄漏,但是可以依靠top命令查看进程的动态内存总额,也可以使用mtrace来检测定位内存泄漏。

动态链接和静态链接的区别

  • 静态链接

    所谓静态链接就是在编译链接时直接将代码拷贝至链接处,他的优点是可以独立于库进行发布,但是若静态库文件过大,容易造成资源的浪费。

  • 动态链接

    动态链接就是编译的时候不将代码拷贝到文件,而是只复制了一些重定位信息和符号表信息,在程序运行或加载时,将这些信息传递给操作系统,操作系统负责将动态库加载到内存中,程序运行到指定代码时,再去执行已经加载到内存中的函数。

  • 静态链接存在着明显的缺点,一是资源的浪费,对于多个可执行文件均调用同一个模块时,需要将每个模块都要拷贝到内存中。二是当静态库文件过大时,若想更新静态库存在着诸多不便。而动态库就是为了解决这两个问题而生。

  • 动态链接将程序按模块拆分,在构建可执行程序时,发现该函数十几个外部符号,则将其放到运行时进行处理,运行时对其进行重定位。动态链接相比静态链接更加灵活,解决了模块拷贝到内存时的资源浪费,虽然性能相对存在一定的下降,但是相比灵活性的提升,显然是更值得的。

    如何让一个类不能实例化?

将类定义为抽象基类或者将构造函数声明为private

C++如何创建一个类,使得他只能在堆或者栈上创建?

  • 只能在堆上生成对象:将析构函数设置为私有
    原因:C++是静态绑定语言,编译器管理栈上对象的生命周期,编译器在为类对象分配栈空间时,会先检查类的析构函数的访问性。若析构函数不可访问,则不能在栈上创建对象。
  • 只能在栈上生成对象:将new 和 delete 重载为私有
    原因:在堆上生成对象,使用new关键词操作,其过程分为两阶段:第一阶段,使用new在堆上寻找可用内存,分配给对象;第二阶段,调用构造函数生成对象。将new操作设置为私有,那么第一阶段就无法完成,就不能够再堆上生成对象。

c++内存管理

c++中内存分为五个区域

  • 堆区, 程序需要主动申请分配,主动释放的区域。可以使用malloc申请
  • 栈区, 当创建对象时由程序主动分配
  • 全局变量区, 创建的静态变量或全局变量
  • 文字常量区, 字面值常量以及字符常量,比如printf中的格式化输出字符
  • 代码区,代码区段

介绍一下allocator

new是有局限性的,每次new一个对象的时候,会将分配空间和构造对象组合在一起,,有的时候可能会产生一些灵活性上的局限。allocator正是为了解决这个问题而产生的。

一个allocator类调用allocate来分配空间,调用construct来构造对象,destroy来销毁对象。

STL迭代器删除元素

对于顺序容器,当使用erase删除元素后,会导致排在后面的迭代器失效,每个元素向前移动一位,但是erase会指向下一个迭代器。

对于关联容器,由于底层总是树形结构或者哈希结构,对后面的迭代器是没有影响的。

介绍一下模板

模板的目的就是编写与类型无关的代码。

可以使用它来编写函数模板以及类模板。

模板的使用,可以增加代码的灵活性和可重用性,减少开发时间,且模板来模拟多态比类继承实现多态效率会更高一些

但是模板也存在一定问题,比如可读性较差,调试较困难,因为模板的类型只有编译时才能确定,所以编译时间会稍长一点。

resize和reserve的区别

resize是对改变当前容器元素的数量,若resize大小小于当前容器元素的数量,则删除后面的元素。

reserve是改变其预留空间,保证内存空间可容纳的元素数量,并不生成新的对象,若参数小于当前容器元素数量,则不改变当前的元素数量。

c++内存对齐

内存对齐就是计算机系统对数据存放位置的限制。

大部分处理器的内存存取粒度是4字节8字节这样的,如果不进行内存对齐,可能会产生一个整数的存储位置被分到两块内存,需要cpu进行两次读取再拼接,需要做的工作十分复杂,而对齐后可以将一个数据一次直接读取出来,提高cpu的读取效率,一般编译器默认的内存对齐系数是4,在结构体或类中,内存对齐系数一般为其成员变量的最大内存对齐系数。

可以使用#pragma pack(n)来改变默认对齐系数

结构体的对齐,为什么要对齐

内存对齐主要遵从以下三个原则

  1. 结构体变量的起始地址能够被其最宽的成员大小整除
  2. 结构体每个成员相对于起始地址的偏移能够被其自身大小整除,如果不能则在前一个成员后面补充字节
  3. 结构体总体大小能够被最宽的成员的大小整除,如不能则在后面补充字节

为什么需要对齐?

1.平台原因(移植原因):不是所有的硬件平台都能访问任意地址上的任意数据的;某些硬件平台只能在某些地址处取某些特定类型的数据,否则抛出硬件异常。
2.性能原因:数据结构(尤其是栈)应该尽可能地在自然边界上对齐。原因在于,为了访问未对齐的内存,处理器需要作两次内存访问;而对齐的内存访问仅需要一次访问。

说一下c++的编译过程

  1. 编译预处理
    预处理阶段主要是做一些代码替换的工作,处理预处理指令,解包头文件,替换宏定义,删掉注释等等。

  2. 编译、优化阶段

    通过词法语法分析,将代码文件转换为汇编代码

  3. 汇编过程

    将汇编代码转换为指定目标的机器指令,以便在目标机器上运行。

  4. 链接程序

    链接程序就是将代码所用到的模块,代码片段等连接起来,使其可以运行。

深拷贝与浅拷贝

深拷贝是直接将内存拷贝出一份

浅拷贝只是将指针拷贝指向同一块内存

当类成员存在指针时,若使用默认构造函数使用简单的浅拷贝,那么当使用析构函数释放资源时,会提前释放成员指针指向的数据,可能造成空悬指针多次释放导致内存泄漏。

c++ 11/14/17新特性

11:

  • 智能指针

  • override关键字

  • =delete/=default

  • auto

  • for each语法

  • 无序容器

  • nullptr

  • lambda匿名函数

  • 右值引用 和 移动语义

  • explicit/override/final/noexcept

  • std::function

14:

  • 泛型lambda
  • 二进制字面值
  • 数字分隔符

17:

  • 扩展了auto的推断范围
  • 嵌套命名空间
  • 条件分支语句初始化

零拷贝

所谓的零拷贝(Zero-Copy)是指将数据直接从磁盘文件复制到网卡设备中,而不需要经由应用程序之手 。零拷贝大大提高了应用程序的性能,减少了内核和用户模式之间的上下文切换 。 对 Linux操作系统而言,零拷贝技术依赖于底层的 sendfile() 方法实现 。

ssize_t sendfile(int out_fd,int in_fd,off_t* offset,size_t count); \

in_fd参数是待读出内容的文件描述符,out_fd参数是待写入内容的文件描述符。offset参数指定从读入文件流的哪个位置开始读,如果为空,则使用读入文件流默认的起始位置。count参数指定文件描述符in_fd和out_fd之间传输的字节数。

工作原理

系统调用直接通过DMA将数据拷贝到内核缓冲区,然后被内核直接转发到与另一个文件相关的内核缓冲区,其中一直都是内核态,不需要进入用户态。

零拷贝在c++中的使用

ssize_t sendfile(int out_fd, int in_fd, off_t *offset, size_t count)

ssize_t splice(int fd_in, loff_t *off_in, int fd_out, loff_t *off_out, size_t len, unsigned int flags);

什么是线程安全

线程安全是指内存安全,也就是保证本线程所使用的数据,不被其他线程暗改,导致得到的数据不是自己想要的数据。

解决线程安全的办法

  1. 使用线程自己的栈内存,每个线程都存在自己所独有的栈,其他线程无法影响,可以把需要保证安全的数据存放在自己的栈区中,这样其他线程无法访问,也就保证了线程安全
  2. 对于所需数据copy一份自己的,每个线程都copy一份原数据,每个线程只访问属于自己的那部分数据,也就保证了线程安全
  3. 定义常变量,也就是只读变量,保证变量无法被修改。
  4. 使用互斥锁,保证内存中的数据互斥访问。

异常处理 栈展开

在C++里,当有异常被抛出,调用栈(call stack),即栈中用来储存函数调用信息的部分,会被按次序搜索,直到找到对应类型的处理程序(exception handler)。而这里的搜索顺序就是f1->f2->f3。f1没有对应类型的catch块,因此跳到了f2,但f2也没有对应类型的catch块,因此跳到f3才能处理掉这个异常。 这个寻找异常相应类型处理器的过程就叫做栈展开

析构函数能否抛出异常

不能

  1. 如果析构函数抛出异常,则异常点之后的程序不会执行,如果析构函数在异常点之后执行了某些必要的动作比如释放某些资源,则这些动作不会执行,会造成诸如资源泄漏的问题。
  2. 通常异常发生时,c++的异常处理机制在异常的传播过程中会进行栈展开(stack-unwinding)在栈展开的过程中 会释放局部对象所占用的内存并运行类类型局部对象的析构函数 ,此时若其他析构函数本身也抛出异常,则前一个异常尚未处理,又有新的异常,会造成程序崩溃。

解决方法

  • 直接结束程序
  • 把可能产生异常的代码移出析构函数
  • 直接消化处理异常

单例模式

class sigleton
{
private: 
    sigleton(){};
    static sigleton* _instance;
public:
    sigleton* instance(){
        if(!_instance){
            _instance = new sigleton;
        }
        return _instance;
    }

};
sigleton* sigleton::_instance = 0;

多线程安全单例模式

std::mutex mt;
class sigleton
{
private: 
    sigleton(){};
    static sigleton* _instance;
public:
    sigleton* instance(){
        if(!_instance){
            mt.lock();
            if(!_instance) _instance = new sigleton;
            mt.unlock();
        }
        return _instance;
    }

};
sigleton* sigleton::_instance = 0;

std::sort源码剖析

https://feihu.me/blog/2014/sgi-std-sort/#%E5%A0%86%E6%8E%92%E5%BA%8F%E7%9A%84%E4%BC%98%E7%82%B9

  • 递归调用和循环调用相结合

    std::sort 在内部使用使用快速排序, 但是为了优化时间复杂度,sort将整个序列分为两部分后,对于右子区间执行递归调用,而对左子区间,直接将其分为两部分进行循环调用。这样可以节省一半时间的函数调用,节省掉函数调用的时间。

  • 三点中值法

    对于快排的基准值,sort采用三点中值法,取首尾和中间三个值中的中间值作为基准值执行快排。

  • 递归深度阈值

    sort设定了一个递归深度阈值,初始值是nlogn,当达到递归深度阈值时,说明该序列存在着恶化倾向,函数调用堆排序,将该区间进行严格的nlogn复杂度的排序。

  • 最小分段阈值

    sort还设定了一个最小分段阈值, 一般定义为16, 当序列长度达到这个阈值,且经过了多次的快速排序的分段,序列是存在一定程度的有序的,这时调用插入排序,可以最优化的处理该子段。

lambda表达式底层实现

编译器会把一个lambda表达式生成一个匿名类的匿名对象,并在类中重载函数调用运算符。

全部评论

(2) 回帖
加载中...
话题 回帖

推荐话题

相关热帖

热门推荐