C++常见面试题

C++ 程序编译过程

编译过程分为四个过程：编译（编译预处理、编译、优化），汇编，链接。
编译预处理：处理以 # 开头的指令，这个过程会得到不包含#指令的.i文件。这个过程会拷贝#include 包含的文件代码，进行#define 宏定义的替换 ， 处理条件编译指令 （#ifndef #ifdef #endif）等。

编译、优化：将源码 .cpp 文件翻译成 .s 汇编代码；
通过预编译输出的.i文件中，只有常量：数字、字符串、变量的定义，以及c语言的关键字：main、if、else、for、while等。这阶段要做的工作主要是，通过语法分析和词法分析，确定所有指令是否符合规则，之后翻译成汇编代码。这个过程将.i文件转化位.s文件。

汇编：将汇编代码 .s 翻译成机器指令，生成目标文件（.obj .o等）
目标文件中存放的也就是与源程序等效的目标的机器语言代码。
目标文件由段组成，通常至少有两个段：
代码段：包换主要程序的指令。该段是可读和可执行的，一般不可写
数据段：存放程序用到的全局变量或静态数据。可读、可写、可执行。

链接：汇编程序生成的目标文件，即 .o 文件，并不会立即执行，因为可能会出现：
（1）.cpp 文件中的函数引用了另一个 .cpp 文件中定义的符号
（2）调用了某个库文件中的函数。
链接的目的就是将这些文件对应的目标文件连接成一个整体，从而生成可执行的程序 .exe 文件，链接分为两种：
静态链接：代码从其所在的静态链接库中拷贝到最终的可执行程序中，在该程序被执行时，这些代码会被装入到该进程的虚拟地址空间中。

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

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

描述内存分配方式以及它们的区别

在C++中，内存区分为5个区，分别是堆、栈、全局/静态存储区、常量存储区、代码区。

1） 从栈区分配。在执行函数时，存放函数的局部变量、函数参数、返回地址等，由编译器自动分配和释放。

2） 从堆上分配，亦称动态内存分配。malloc在堆上分配的内存，使用free释放内存。动态内存的生存期由程序员控制它的分配和释放，如果程序执行结束还没有释放，操作系统会自动回收

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

4）常量存储区（.data 段）：存放的是常量，不允许修改，程序运行结束由系统释放。

5）代码区（.text 段）：存放代码，不允许修改，但可以执行。编译后的二进制文件存放在这里。

从操作系统的本身来讲，以上存储区在内存中的分布是如下形式(从低地址到高地址)：.text 段 --> .data 段 --> .bss 段 --> 堆 --> unused --> 栈 --> env

#include <iostream>
using namespace std;

/*
说明：C++ 中不再区分初始化和未初始化的全局变量、静态变量的存储区，如果非要区分下述程序标注在了括号中
*/

int g_var = 0; // g_var 在全局区（.data 段）
char *gp_var;  // gp_var 在全局区（.bss 段）

int main()
{
    int var;                    // var 在栈区
    char *p_var;                // p_var 在栈区
    char arr[] = "abc";         // arr 为数组变量，存储在栈区；"abc"为字符串常量，存储在常量区
    char *p_var1 = "123456";    // p_var1 在栈区；"123456"为字符串常量，存储在常量区
    static int s_var = 0;       // s_var 为静态变量，存在静态存储区（.data 段）
    p_var = (char *)malloc(10); // 分配得来的 10 个字节的区域在堆区
    free(p_var);
    return 0;
}

栈和堆的区别

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

new、delete、malloc、free关系

new和delete对应，malloc和free对应。
new调用构造函数，delete会调用对象的析构函数。
malloc与free是C++/C语言的标准库函数，new/delete是C++的运算符。
它们都可用于申请动态内存和释放内存。对于非内部数据类型的对象而言，光用maloc/free无法满足动态对象的要求。对象在创建的同时要自动执行构造函数，对象在消亡之前要自动执行析构函数。由于malloc/free是库函数而不是运算符，不在编译器控制权限之内，不能够把执行构造函数和析构函数的任务强加于malloc/free。因此C++语言需要一个能完成动态内存分配和初始化工作的运算符new，以及一个能完成清理与释放内存工作的运算符delete。注意new/delete不是库函数。

delete与 delete []区别

delete只会调用一次析构函数，而delete[]会调用每一个成员的析构函数。
delete与new配套，delete []与new []配套。
对于内建简单数据类型，delete和delete[]功能是相同的。
对于自定义的复杂数据类型，delete和delete[]不能互用。
delete[]删除一个数组，delete删除一个指针。简单来说，用new分配的内存用delete删除；用new[]分配的内存用delete[]删除。delete[]会调用数组元素的析构函数。内部数据类型没有析构函数，所以问题不大。如果你在用delete时没用括号，delete就会认为指向的是单个对象，否则，它就会认为指向的是一个数组。

MemTest *mTest1=new MemTest[10];

MemTest *mTest2=new MemTest;

Int *pInt1=new int [10];

Int *pInt2=new int;

delete[]pInt1; //正常

delete[]pInt2; //正常

delete[]mTest1;// 正常

delete[]mTest2;// 报错

变量的区别

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

从作用域看：
1、全局变量：具有全局作用域。全局变量只需在一个源文件中定义，就可以作用于所有的源文件。当然，其他不包含全局变量定义的源文件需要用 extern 关键字再次声明这个全局变量。
2、静态全局变量：具有文件作用域。它与全局变量的区别在于如果程序包含多个文件的话，它作用于定义它的文件里，不能作用到其它文件里，即被 static 关键字修饰过的变量具有文件作用域。这样即使两个不同的源文件都定义了相同名字的静态全局变量，它们也是不同的变量。
3、局部变量：具有局部作用域。它是自动对象（auto），在程序运行期间不是一直存在，而是只在函数执行期间存在，函数的一次调用执行结束后，变量被撤销，其所占用的内存也被收回。
4、静态局部变量：具有局部作用域。它只被初始化一次，自从第一次被初始化直到程序运行结束都一直存在，它和全局变量的区别在于全局变量对所有的函数都是可见的，而静态局部变量只对定义自己的函数体始终可见。

从分配内存空间看：
1、静态存储区：全局变量，静态局部变量，静态全局变量。
2、栈：局部变量。

说明：
静态变量和栈变量（存储在栈中的变量）、堆变量（存储在堆中的变量）的区别：静态变量会被放在程序的静态数据存储区（.data 段）中（静态变量会自动初始化），这样可以在下一次调用的时候还可以保持原来的赋值。而栈变量或堆变量不能保证在下一次调用的时候依然保持原来的值。
静态变量和全局变量的区别：静态变量用 static 告知编译器，自己仅仅在变量的作用范围内可见。

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

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

哪些时候用到const？与宏定义有什么差异？

const的目的就是定义一个“不会被修改的常量”，可以修饰变量、引用、指针，可以用于函数参数、成员函数修饰、函数返回值。

使用const的作用：
（1）可以减少代码出错的概率。
（2）可以节省空间，避免不必要的内存分配。另外编译器通常不为普通const常量分配存储空间，而是将它们保存在符号表中，这使得它成为一个编译期间的常量，没有了存储与读内存的操作，使得它的效率也很高

#define PI 3.14159         //常量宏
const doulbe  Pi=3.14159;  //此时并未将Pi放入ROM中
 ......
 double i=Pi;   //此时为Pi分配内存，以后不再分配！
 double I=PI;  //编译期间进行宏替换，分配内存
 double j=Pi;  //没有内存分配
 double J=PI;  //再进行宏替换，又一次分配内存！

const与define的区别：
（1）#define定义的常量没有类型，所给出的是一个立即数，只进行字符替换，没有类型安全检查，并且在字符替换可能会产生意料不到的错误。const定义的常量有类型名字，存放在静态区域
（2）处理阶段不同，#define定义的宏变量在预处理时进行替换，可能有多个拷贝，const所定义的变量在编译时确定其值，只有一个拷贝。
（3）#define定义的常量是不可以用指针去指向，const定义的常量可以用指针去指向该常量的地址
（4）#define可以定义简单的函数，const不可以定义函数
（5）const作用：定义常量、修饰函数参数、修饰函数返回值三个作用。被Const修饰的东西都受到强制保护，可以预防意外的变动，能提高程序的健壮性。

有以下几个地方用到const
（1）const修饰变量
我们通常要注意的是区分常量指针（指向常量的指针）和指针常量（地址是常量，指针指向的地址不变）以及合理的在函数参数里面使用。如下示例：

(a)指针本身是常量不可变，指向指向的地址不能变。
    char* const pContent;
(b)指针所指向的内容是常量不可变
    const char *pContent;
(c)两者都不可变
    const char* const pContent;

（2）const修饰函数参数
const关键字修饰函数参数，对参数起限定作用，防止其在函数内部被修改。所限定的函数参数可以是普通变量，也可以是指针变量。

(a)传递过来的参数在函数内不可以改变(无意义，因为Var本身就是形参)
   void function(const int Var);
(b)参数指针所指内容为常量不可变
   void function(const char* Var);
(c)参数指针本身为常量不可变(也无意义，因为char* Var也是形参)
   void function(char* const Var);
(d)参数为引用，为了增加效率同时防止修改。修饰引用参数时：
   void function(const Class& Var); //引用参数在函数内不可以改变
   void function(const TYPE& Var); //引用参数在函数内为常量不可变
   这样的一个const引用传递和最普通的函数按值传递的效果是一模一样的，禁止对引用的对象的一切修改。
   不同的是按值传递会先建立一个类对象的副本, 然后传递过去,而它直接传递地址,所以这种传递比按值传递更有效。另外只有引用的const传递可以传递一个临时对象，因为临时对象都是const属性, 且是不可见的，他短时间存在一个局部域中,所以不能使用指针,只有引用的const传递能够捕捉到这个家伙。

(3) const 修饰函数返回值
const修饰函数返回值含义和const修饰普通变量以及指针的含义基本相同。

(a) const int fun1()    
    //这个其实无意义，因为参数返回本身就是赋值。
(b) const int * fun2() 
     //调用时 const int *pValue = fun2();
     //我们可以把fun2()看作成一个变量，即指针内容不可变。
(c) int* const fun3()   
     //调用时 int * const pValue = fun2();
     //我们可以把fun2()看作成一个变量，即指针本身不可变。

函数的返回值为某个对象时，如果将其声明为const时，多用于操作符的重载。
不建议用const修饰函数的返回值类型为某个对象或对某个对象引用的情况。
原因是：如果返回值为某个对象为const（const A test = A 实例）或某个对象的引用为const（const A& test = A实例） ，则返回值具有const属性，则返回实例只能访问类A中的公有（保护）数据成员和const成员函数，并且不允许对其进行赋值操作，这在一般情况下很少用到。

(4)const修饰成员变量
const修饰类的成员函数，表示成员常量，不能被修改，同时它只能在初始化列表中赋值。

class A
{
    …
    const int nValue;         //成员常量不能被修改
    …
    A(int x): nValue(x) { } ; //只能在初始化列表中赋值
 }

(5)const修饰成员函数
const修饰类的成员函数，则该成员函数不能修改类中任何非const成员函数。一般写在函数的最后来修饰。

class A
{
    …
   void function()const; 
   //常成员函数, 它不改变对象的成员变量.                        
   //也不能调用类中任何非const成员函数。
}

对于const类对象/指针/引用，只能调用类的const成员函数，因此，const修饰成员函数的最重要作用就是限制对于const对象的使用。

const成员函数不被允许修改它所在对象的任何一个数据成员。
const成员函数能够访问对象的const成员，而其他成员函数不可以。

(6)const修饰类对象/对象指针/对象引用

const修饰类对象表示该对象为常量对象，其中的任何成员都不能被修改。对于对象指针和对象引用也是一样。

const修饰的对象，该对象的任何非const成员函数都不能被调用，因为任何非const成员函数会有修改成员变量的企图。

class AAA
{
   void func1();
   void func2() const;
}
const AAA aObj;
aObj.func1(); ×
aObj.func2(); 正确
const AAA* aObj = new AAA();
aObj-> func1(); ×
aObj-> func2(); 正确

总结：
在参数中使用const应该使用引用或指针，而不是一般的对象实例；
const在成员函数中的三种用法（参数、返回值、函数）要很好的使用；
不要轻易的将函数的返回值类型定为const;
除了重载操作符外一般不要将返回值类型定为对某个对象的const引用;
任何不会修改数据成员的函数都应该声明为const 类型。

5、什么是引用、引用与指针有什么区别？

引用和指针的区别：
（1）指针是一个新变量，存储了另一个变量的地址，我们可以通过访问这个地址来修改另一个变量；引用只是一个别名，还是变量本身，对引用的任何操作就是对变量本身进行操作，以达到修改变量的目的
（2）引用必须被初始化，指针不必。
（3）引用初始化以后不能被改变，指针可以改变所指的对象。
（4）不存在指向空值的引用，但是存在指向空值的指针。

在重载如[]符号的时候，建议返回引用，这样便于我们书写习惯也方便理解。因为平时我们都是这样使用， a[10] = 10;而不是 *a[10] = 10;

引用是什么：
引用就是某个目标变量的“别名”(alias)，对应用的操作与对变量直接操作效果完全相同。
声明一个引用的时候，必须要对其进行初始化。
声明一个引用，不是新定义了一个变量，它只表示该引用名是目标变量名的一个别名，它本身不是一种数据类型，因此引用本身不占存储单元，系统也不给引用分配存储单元。不能建立数组的引用。
引用声明完毕后，相当于目标变量名有两个名称，即该目标原名称和引用名，不能再把该引用名作为其他变量名的别名。

将“引用”作为函数参数有哪些特点：

（1）传递引用给函数与传递指针的效果是一样的。这时，被调函数的形参就成为原来主调函数中的实参变量或对象的一个别名来使用，所以在被调函数中对形参变量的操作就是对其相应的目标对象（在主调函数中）的操作。

（2）使用引用传递函数的参数，在内存中并没有产生实参的副本，它是直接对实参操作；而使用一般变量传递函数的参数，当发生函数调用时，需要给形参分配存储单元，形参变量是实参变量的副本；如果传递的是对象，还将调用拷贝构造函数。因此，当参数传递的数据较大时，用引用比用一般变量传递参数的效率和所占空间都好。

（3）使用指针作为函数的参数虽然也能达到与使用引用的效果，但是，在被调函数中同样要给形参分配存储单元，且需要重复使用"*指针变量名"的形式进行运算，这很容易产生错误且程序的阅读性较差；另一方面，在主调函数的调用点处，必须用变量的地址作为实参。而引用更容易使用，更清晰。

6、结构体struct和共同体union（联合）的区别

结构体：将不同类型的数据组合成一个整体，是自定义类型

共同体：不同类型的几个变量共同占用一段内存

1）存储不同。
结构体中的每个成员都有自己独立的地址，它们是同时存在的；
共同体中的所有成员占用同一段内存，它们不能同时存在；

所以，对于联合的不同成员赋值, 将会对其它成员重写, 原来成员的值就不存在了, 而对于结构的不同成员赋值是互不影响的。

2）sizeof结果不同。
sizeof(struct)是内存对齐后所有成员长度的总和
sizeof(union)是内存对齐后最长数据成员的长度

7、重载overload，覆盖override，重写overwrite，这三者之间的区别

（1）overload，将语义相近的几个函数用同一个名字表示，但是参数和返回值不同，这就是函数重载

特征：相同范围（同一个类中）、函数名字相同、参数不同、virtual关键字可有可无

（2）override，派生类覆盖基类的虚函数，实现接口的重用

特征：不同范围（基类和派生类）、函数名字相同、参数相同、基类中必须有virtual关键字（必须是虚函数）

（3）overwrite，派生类屏蔽了其同名的基类函数

特征：不同范围（基类和派生类）、函数名字相同、参数不同或者参数相同且无virtual关键字

8、C++有哪些性质（面向对象特点）

封装，继承和多态。

9、子类析构时要调用父类的析构函数吗？

定义一个对象时先调用基类的构造函数、然后调用派生类的构造函数；
析构的时候恰好相反：先调用派生类的析构函数、然后调用基类的析构函数。
所以析构函数调用的次序是先派生类的析构后基类的析构，也就是说在基类的的析构调用的时候,派生类的信息已经全部销毁了。

10、关于虚函数
（1）定义和作用
C++中的虚函数的作用主要是实现了多态的机制。基类定义虚函数，子类可以重写该函数；在派生类中对基类定义的虚函数进行重写时，需要在派生类中声明该方法为虚方法。

（2）实现原理：虚函数表+虚表指针

编译器处理虚函数的方法是：为每个类对象添加一个隐藏成员，隐藏成员中保存了一个指向函数地址数组的指针，称为虚表指针（vptr），这种数组成为虚函数表（virtual function table, vtbl），即，每个类使用一个虚函数表，每个类对象用一个虚表指针。

举个例子：基类对象包含一个虚表指针，指向基类中所有虚函数的地址表。派生类对象也将包含一个虚表指针，指向派生类虚函数表。看下面两种情况：

如果派生类重写了基类的虚方法，该派生类虚函数表将保存重写的虚函数的地址，而不是基类的虚函数地址。

如果基类中的虚方法没有在派生类中重写，那么派生类将继承基类中的虚方法，而且派生类中虚函数表将保存基类中未被重写的虚函数的地址。注意，如果派生类中定义了新的虚方法，则该虚函数的地址也将被添加到派生类虚函数表中。

（a） 基类方法中声明了方法为虚后，该方法在基类派生类中是虚的。
（b） 若使用指向对象的引用或指针调用虚方法，程序将根据对象类型来调用方法，而不是指针的类型。
（c）如果定义的类被用作基类，则应将那些要在派生类中重新定义的类方法声明为虚。

（3）使用虚函数后的变化：
对象将增加一个存储地址的空间（32位系统为4字节，64位为8字节）。
每个类编译器都创建一个虚函数地址表
对每个函数调用都需要增加在表中查找地址的操作

（4）构造函数一般不定义为虚函数

 因为创建一个对象时需要确定对象的类型，而虚函数是在运行时确定其类型的。而在构造一个对象时，由于对象还未创建成功，编译器无法知道对象的实际类型，是类本身还是类的派生类等等
    
 虚函数的调用需要虚函数表指针，而该指针存放在对象的内存空间中；
 若构造函数声明为虚函数，那么由于对象还未创建，还没有内存空间，更没有虚函数表地址用来调用虚函数即构造函数了

（5）析构函数最好声明为虚函数

当析构一个指向派生类的基类指针时，最好将基类的析构函数声明为虚函数，否则可能存在内存泄露的问题。

如果析构函数不被声明成虚函数，则编译器实施静态绑定。
在删除指向派生类的基类指针时，只会调用基类的析构函数而不调用派生类析构函数，这样就会造成派生类对象析构不完全。

11、多态，虚函数，纯虚函数

多态：是对于不同对象接收相同消息时产生不同的动作。C++的多态性具体体现在运行和编译两个方面：在程序运行时的多态性通过继承和虚函数来体现；

在程序编译时多态性体现在函数和运算符的重载上；

虚函数：在基类中冠以关键字 virtual 的成员函数。 它提供了一种接口界面。允许在派生类中对基类的虚函数重新定义。

纯虚函数的作用：在基类中为其派生类保留一个函数的名字，以便派生类根据需要对它进行定义。作为接口而存在 纯虚函数不具备函数的功能，一般不能直接被调用。

从基类继承来的纯虚函数，在派生类中仍是虚函数。如果一个类中至少有一个纯虚函数，那么这个类被称为抽象类（abstract class）。

抽象类中不仅包括纯虚函数，也可包括虚函数。抽象类必须用作派生其他类的基类，而不能用于直接创建对象实例。但仍可使用指向抽象类的指针支持运行时多态性。

12、求下面函数的返回值（微软）

int func(x)

{

int countx = 0;

while(x)

{

countx ++;

x = x&(x-1);

}

return countx;

}

假定x = 9999。 答案：8

思路：将x转化为2进制，看含有的1的个数。

13、在什么时候需要使用“常引用”？

如果既要利用引用提高程序的效率，又要保护传递给函数的数据不在函数中被改变，就应使用常引用。常引用声明方式：const 类型标识符 &引用名=目标变量名；

例1

int a ;

const int &ra=a;

ra=1; //错误

a=1; //正确

例2

string foo( );

void bar(string & s);

那么下面的表达式将是非法的：

bar(foo( ));

bar(“hello world”);

原因在于foo( )和"hello world"串都会产生一个临时对象，而在C++中，这些临时对象都是const类型的。因此上面的表达式就是试图将一个const类型的对象转换为非const类型，这是非法的。引用型参数应该在能被定义为const的情况下，尽量定义为const 。

14、将“引用”作为函数返回值类型的格式、好处和需要遵守的规则?

格式：类型标识符 &函数名（形参列表及类型说明）{ //函数体 }

好处：在内存中不产生被返回值的副本；（注意：正是因为这点原因，所以返回一个局部变量的引用是不可取的。因为随着该局部变量生存期的结束，相应的引用也会失效，产生runtime error!

注意事项：

（1）不能返回局部变量的引用。这条可以参照Effective C++[1]的Item 31。主要原因是局部变量会在函数返回后被销毁，因此被返回的引用就成为了"无所指"的引用，程序会进入未知状态。

（2）不能返回函数内部new分配的内存的引用。这条可以参照Effective C++[1]的Item 31。虽然不存在局部变量的被动销毁问题，可对于这种情况（返回函数内部new分配内存的引用），又面临其它尴尬局面。例如，被函数返回的引用只是作为一个临时变量出现，而没有被赋予一个实际的变量，那么这个引用所指向的空间（由new分配）就无法释放，造成memory leak。

（3）可以返回类成员的引用，但最好是const。这条原则可以参照Effective C++[1]的Item 30。主要原因是当对象的属性是与某种业务规则（business rule）相关联的时候，其赋值常常与某些其它属性或者对象的状态有关，因此有必要将赋值操作封装在一个业务规则当中。如果其它对象可以获得该属性的非常量引用（或指针），那么对该属性的单纯赋值就会破坏业务规则的完整性。

（4）流操作符重载返回值申明为“引用”的作用：

流操作符<<和>>，这两个操作符常常希望被连续使用，例如：cout << “hello” << endl;　因此这两个操作符的返回值应该是一个仍然支持这两个操作符的流引用。可选的其它方案包括：返回一个流对象和返回一个流对象指针。但是对于返回一个流对象，程序必须重新（拷贝）构造一个新的流对象，也就是说，连续的两个<<操作符实际上是针对不同对象的！这无法让人接受。对于返回一个流指针则不能连续使用<<操作符。因此，返回一个流对象引用是惟一选择。这个唯一选择很关键，它说明了引用的重要性以及无可替代性，也许这就是C++语言中引入引用这个概念的原因吧。

赋值操作符=。这个操作符象流操作符一样，是可以连续使用的，例如：x = j = 10;或者(x=10)=100;赋值操作符的返回值必须是一个左值，以便可以被继续赋值。因此引用成了这个操作符的惟一返回值选择。

＃include<iostream.h>

int &put(int n);

int vals[10];

int error=-1;

void main()

{
put(0)=10; //以put(0)函数值作为左值，等价于vals[0]=10;

put(9)=20; //以put(9)函数值作为左值，等价于vals[9]=20;

cout<<vals[0];

cout<<vals[9];

}

int &put(int n)

{
if (n>=0 && n<=9 ) return vals[n];

else { cout<<“subscript error”; return error; }

}

（5）在另外的一些操作符中，却千万不能返回引用：±*/ 四则运算符。它们不能返回引用，Effective C++[1]的Item23详细的讨论了这个问题。主要原因是这四个操作符没有side effect，因此，它们必须构造一个对象作为返回值，可选的方案包括：返回一个对象、返回一个局部变量的引用，返回一个new分配的对象的引用、返回一个静态对象引用。根据前面提到的引用作为返回值的三个规则，第2、3两个方案都被否决了。静态对象的引用又因为((a+b) == (c+d))会永远为true而导致错误。所以可选的只剩下返回一个对象了。

15、试写出程序结果：

int a=4;

int &f(int x)

{ a=a+x;

  return  a;

}

int main(void)

{ int t=5;

 cout<<f(t)<<endl;  a = 9

f(t)=20;             a = 20

cout<<f(t)<<endl;     t = 5,a = 20  a = 25

 t=f(t);                a = 30 t = 30

cout<<f(t)<<endl;  }    t = 60

}

16、有哪几种情况只能用intialization list 而不能用assignment?

答案：当类中含有const、reference 成员变量；基类的构造函数都需要初始化表。

17、 C++是不是类型安全的？

答案：不是。两个不同类型的指针之间可以强制转换（用reinterpret cast)。C#是类型安全的。

18、 main 函数执行以前，还会执行什么代码？

答案：全局对象的构造函数会在main 函数之前执行。

19、分别写出BOOL,int,float,指针类型的变量a 与“零”的比较语句。

答案：

BOOL : if ( !a ) or if(a)

int : if ( a == 0)

float : const EXPRESSION EXP = 0.000001

if ( a < EXP && a >-EXP)

pointer : if ( a != NULL) or if(a == NULL)

20、简述数组与指针的区别？

数组要么在静态存储区被创建（如全局数组），要么在栈上被创建。指针可以随时指向任意类型的内存块。

(1)修改内容上的差别

char a[] = “hello”;

a[0] = ‘X’;

char *p = “world”; // 注意p 指向常量字符串

p[0] = ‘X’; // 编译器不能发现该错误，运行时错误

(2) 用运算符sizeof 可以计算出数组的容量（字节数）。sizeof§,p 为指针得到的是一个指针变量的字节数，而不是p 所指的内存容量。C++/C 语言没有办法知道指针所指的内存容量，除非在申请内存时记住它。注意当数组作为函数的参数进行传递时，该数组自动退化为同类型的指针。

char a[] = “hello world”;

char *p = a;

cout<< sizeof(a) << endl; // 12 字节

cout<< sizeof§ << endl; // 4 字节

计算数组和指针的内存容量

void Func(char a[100])

{
cout<< sizeof(a) << endl; // 4 字节而不是100 字节

}

21、 int (*s[10])(int) 表示的是什么？

int (*s[10])(int) 函数指针数组，每个指针指向一个int func(int param)的函数。

22、栈内存与文字常量区

       char str1[] = "abc";

char str2[] = “abc”;

const char str3[] = “abc”;
　　const char str4[] = “abc”;

const char *str5 = “abc”;
　　const char *str6 = “abc”;

char *str7 = “abc”;
　　char *str8 = “abc”;

cout << ( str1 == str2 ) << endl;//0 分别指向各自的栈内存
　　cout << ( str3 == str4 ) << endl;//0 分别指向各自的栈内存
　　cout << ( str5 == str6 ) << endl;//1指向文字常量区地址相同

cout << ( str7 == str8 ) << endl;//1指向文字常量区地址相同

结果是：0 0 1 1

解答：str1,str2,str3,str4是数组变量，它们有各自的内存空间；而str5,str6,str7,str8是指针，它们指向相同的常量区域。

23、将程序跳转到指定内存地址

要对绝对地址0x100000赋值，我们可以用(unsigned int*)0x100000 = 1234;那么要是想让程序跳转到绝对地址是0x100000去执行，应该怎么做？

((void ()( ))0x100000 ) ( );
　　首先要将0x100000强制转换成函数指针,即:
　　(void ()())0x100000
　　然后再调用它:
　　((void ()())0x100000)();
　　用typedef可以看得更直观些:
　　typedef void()() voidFuncPtr;
　　*((voidFuncPtr)0x100000)();

24、int id[sizeof(unsigned long)];这个对吗？为什么？

答案:正确 这个 sizeof是编译时运算符，编译时就确定了 ,可以看成和机器有关的常量。

25、复杂声明

void * ( * (*fp1)(int))[10];

float (( fp2)(int,int,int))(int);

int (* ( * fp3)())10;

分别表示什么意思？
【标准答案】

1.void * ( * (fp1)(int))[10]; fp1是一个指针，指向一个函数，这个函数的参数为int型，函数的返回值是一个指针，这个指针指向一个数组，这个数组有10个元素，每个元素是一个void型指针。

2.float (( fp2)(int,int,int))(int); fp2是一个指针，指向一个函数，这个函数的参数为3个int型，函数的返回值是一个指针，这个指针指向一个函数，这个函数的参数为int型，函数的返回值是float型。

3.int (* ( * fp3)())10; fp3是一个指针，指向一个函数，这个函数的参数为空，函数的返回值是一个指针，这个指针指向一个数组，这个数组有10个元素，每个元素是一个指针，指向一个函数，这个函数的参数为空，函数的返回值是int型。

26、基类的析构函数不是虚函数，会带来什么问题？

【参考答案】派生类的析构函数用不上，会造成资源的泄漏。

27、全局变量和局部变量有什么区别？是怎么实现的？操作系统和编译器是怎么知道的？

【参考答案】

生命周期不同：

全局变量随主程序创建和创建，随主程序销毁而销毁；局部变量在局部函数内部，甚至局部循环体等内部存在，退出就不存在；

使用方式不同：通过声明后全局变量程序的各个部分都可以用到；局部变量只能在局部使用；分配在栈区。

操作系统和编译器通过内存分配的位置来知道的，全局变量分配在全局数据段并且在程序开始运行的时候被加载。局部变量则分配在堆栈里面 。

参考：
https://blog.csdn.net/weixin_43778179/article/details/90236445
https://blog.csdn.net/Eric_Jo/article/details/4138548
https://www.cnblogs.com/zkfopen/p/11061414.html
https://leetcode-cn.com/leetbook/read/cpp-interview-highlights/e4ns5g/