C++常考问题

最新推荐文章于 2021-10-13 19:40:29 发布

kangshuaibing

最新推荐文章于 2021-10-13 19:40:29 发布

阅读量387

点赞数 1

分类专栏：面试

原文链接：https://www.jianshu.com/p/3a3b6b5b9331

版权

面试专栏收录该内容

9 篇文章 1 订阅

订阅专栏

链接：https://www.jianshu.com/p/3a3b6b5b9331

1. 多态是什么（语义上什么意思，语法怎么实现）？虚函数是什么？虚函数底层怎么实现的?

多态字面上即为多种形态，具体到C++中即为面向对象程序设计中针对一个接口进行多种实现，比如使用同一个成员名来调用类对象的成员函数产生不同的行为。
静态多态是指编译时候的多态，通过函数重载或者运算符重载实现。
真正的多态应该是动态（运行期）多态，语法上通过虚函数与基类指针共同作用实现。

虚函数通过关键字virtual声明，告知编译器不要在编译阶段将此函数静态绑定到具体某个函数上，派生类可以重写override基类的方法，运行期间根据具体的对象来决定函数调用。
底层实现上每个含有虚函数的类在内存中多一根指针，指向虚函数表的位置，虚函数表存放当前类各个函数的入口地址，虚表在编译阶段就构造完毕（每个类一个）。调用虚函数时，通过虚指针vptr找到具体所调用的虚函数的入口地址，进而调用具体的虚函数。

延伸

析构函数可以是虚函数吗？

可以，最好是虚的

构造函数可以是虚函数吗？

不可以，构造开始还没有虚表，没法调用虚函数

内联函数可以是虚函数吗？

不可以，内联函数是个静态行为，编译时处理

静态函数可以是虚函数吗？

不可以，static不属于任何类实例，没有this指针

构造函数可以调用虚函数吗？

不可以，构造是按继承顺序的，先基类，后派生类，如果构造期间调用了一个子类的虚函数，但是子类还未构造出来，未定义行为

静态函数能定义为常函数吗？为什么？

不可以，因为常函数是操作成员变量的，而静态函数没有成员变量可说

2. 指针和引用的区别？

内存角度：指针是个存放地址的变量，有内存，引用是个别名，没有内存
现象角度：指针运行时可以改变值，引用初始化之后不能改变指向
引用没有const，指针有const
引用不能为空，指针可以为空（所以需要检查是否为空指针）所以引用效率高
在参数传递时，引用会做类型检查，而指针不会
从编译上看，程序在编译时分别将指针和引用添加到符号表上，符号表上记录的是变量名及变量所对应地址。指针变量在符号表上对应的地址值为指针变量的地址值，而引用在符号表上对应的地址值为引用对象的地址值。符号表生成后就不会再改，因此指针可以改变指向的对象（指针变量中的值可以改），而引用对象不能改。这是使用指针不安全而使用引用安全的主要原因。从某种意义上来说引用可以被认为是不能改变的指针。

3. new和malloc的区别？

new是一个操作符，可以重载，malloc是一个库函数
new按照数据类型分配内存，malloc按照大小分配
new不仅仅分配内存，还调用构造函数，对于内置对象需要显示调用构造函数new int()
new返回的是指定对象的指针，malloc返回的是void*，所以malloc返回值要类型转换
new对应delete销毁内存（调用析构函数），malloc用free销毁

4. vector实现原理，list, map, set底层的数据结构？unordered_set unordered_map底层数据结构？

vector即一块动态数组，如果数组长度不足以存放数据就会动态扩容，其过程为重新new一块更大的空间(教科书上写2倍，实际不同编译器不一样，如1.5等)，再将原有元素一一拷贝过去，同时添上新增的元素
list 底层数据结构为双向链表，支持快速增删
map 底层数据结构为红黑树，有序，不重复
set 底层数据结构为红黑树，有序，不重复
deque 底层数据结构为一个中央控制器和多个缓冲区，详细见STL源码剖析P146，支持首尾（中间不能）快速增删，也支持随机访问
stack/queue 底层一般用list或deque实现，封闭头部/尾部即可，不用vector的原因应该是容量大小有限制，扩容耗时
unordered_map/unordered_set: 哈希表

5. static关键字有哪些作用？ (c语言中本来就有的，c++中有的)

C语言中

修饰局部变量
static修饰局部变量时，使得被修饰的变量成为静态变量，存储在静态区。存储在静态区的数据生命周期与程序相同，在main函数之前初始化，在程序退出时销毁。（无论是局部静态还是全局静态）
局部静态变量使得该变量在退出函数后，不会被销毁，因此再次调用该函数时，该变量的值与上次退出函数时值相同。值得注意的是，生命周期并不代表其可以一直被访问，因为变量的访问还受到其作用域的限制。
修饰全局变量
全局变量本来就存储在静态区，因此static并不能改变其存储位置。但是，static限制了其链接属性。被static修饰的全局变量只能被该包含该定义的文件访问
static修饰函数：使得函数只能在包含该函数定义的文件中被调用

C++中
静态类成员，所有同类型的对象唯一共享
静态成员函数，与任何对象都无瓜葛，不访问任何non-static member

6. const关键字有哪些作用？

修饰变量，局部变量，全局变量，成员变量（必须初始值列表）
修饰引用作为函数参数，保护值不会改变
修饰成员函数，类的成员函数加上const限定可以声明此函数不会更改类对象的内容（并不牢靠）
修饰返回值，表明返回的数据是不可修改的
修饰指针，左定值，右定向，const在*左侧表示所指内容是常量，在*右侧表示指针本身是常量不可变

成员函数能否同时修饰为static和const？

成员变量可以，成员函数不行， static不依赖于任何对象，而const成员函数强调不修改对象的成员，这两者针对的点不同，不能同时修饰
C++编译器在实现const的成员函数的时候为了确保该函数不能修改类的中参数的值，会在函数中添加一个隐式的参数const this*。但当一个成员为static的时候，该函数是没有this指针的。也就是说此时const的用法和static是冲突的。

static函数能否调用非static函数呢？

否， static函数操作的整个类的，不依赖于某个对象，非static函数改变的是某个对象的成员变量，static不可以调用非static函数

7. 智能指针的原理是什么？C++11中有哪些智能指针？

通过将指针封装成对象，从而能自动处理堆上对象的释放问题。
可以解决资源泄露，空悬指针等问题。

unique_ptr实现独占式拥有（exclusive ownership）或严格拥有（strict ownership）概念，保证同一时间内只有一个智能指针可以指向该对象。它对于避免资源泄露（resourece leak）——例如“以new创建对象后因为发生异常而忘记调用delete”——特别有用。
shared_ptr实现共享式拥有（shared ownership）概念。多个智能指针可以指向相同对象，该对象和其相关资源会在“最后一个引用（reference）被销毁”时候释放。为了在结构复杂的情境中执行上述工作，标准库提供了weak_ptr等辅助类。
注：C++98中的Class auto_ptr在C++11中已不再建议使用。
weak_ptr指向由一个shared_ptr管理的对象。将一个weak_ptr绑定到一个shared_ptr不会改变shared_ptr的引用计数。从而解决share_ptr可能导致的循环引用问题。

8. C++几种强制类型转换？

四种

const_cast将const变量转为非const
static_cast内置基本数据类型之间的相互转换,void*转指针，没有运行时类型检查
reinterpret_cast: 转化任何内置的数据类型为其他任何的数据类型，也可以转化指针类型为其他类型，甚至可以转化内置的数据类型为指针，无需考虑类型安全或者常量的情形。不到万不得已绝对不用
dynamic_cast: 运行时类型转化，只能转换多态类的指针和引用，比如基类型与派生类类型指针的相互转换，成功返回转换成功的指针，失败返回NULL或者抛异常

9. 栈上的对象和堆上的对象有什么不同？

生命期不同，栈上的对象在定义对象时即在栈空间生成，离开作用域（右大括号）后即自动调用析构函数销毁
堆上的空间需要进行动态内存分配（new）且需要手动释放(delete)，否则会一直存在，造成内存泄露

10. const 和 define有什么不同？

编译器处理方式：const编译时，define预处理时
类型检查：const有数据类型检查，define无
内存空间：const在静态区分配内存，只有一个拷贝，define多个立即数替换
范围：const可以通过extern多个文件共享，define仅限于当前文件

11. 了解C++11哪些新特性？

提高运行效率的语言特性：右值引、移动语义、完美转发，泛化常量表达式，emplace_back减少内存拷贝和移动
原有语法的使用性增强：初始化列表、统一的初始化语法、类型推导、范围for循环、Lambda表达式、final和override、构造函数委托
语言能力的提升：空指针nullptr、default和delete、长整数、静态assert
C++标准库的更新：智能指针、正则表达式、无序容器（哈希表）等

12. C++写一个线程安全的单例模式

Eager Singleton（饿汉模式）自身线程安全

这种实现在程序开始(静态属性instance初始化)的时就完成了实例的创建。

//头文件中
class Singleton  
{
    public:
        static Singleton& Instance()
        {
            return instance;
        }
    private:
        Singleton();
        ~Singleton();
        Singleton(const Singleton&);
        Singleton& operator=(const Singleton&);
    private:
        static Singleton instance;
}
//实现文件中
Singleton Singleton::instance;

懒汉模式（加锁）

class singleton{
public:
    static pthread_mutex_t mutex;
    static singleton* initance();
private:
    singleton(){
        pthread_mutex_init(&mutex); //初始化
    }
    static singleton* p;
    static singleton* initance();
}
pthread_mutex_t singleton::mutex;
singleton* singleton::p = NULL;
singleton* singleton::initance(){
    if(p == NULL){
        pthread_mutex_lock(&mutex); //加锁
        if(p == NULL)
            p = new singleton();
        pthread_mutex_unlock(&mutex);
    }
    return p;
}

Meyers Singleton

class Singleton  
{  
    public:  
        static Singleton& Instance()                  //Instance()作为静态成员函数提供里全局访问点  
        {  
            static Singleton instance;  
            return instance;  
        }  
  
    private:  
        Singleton();                                  //这里将构造，析构，拷贝构造，赋值函数设为私有，杜绝了生成新例  
        ~Singleton();  
        Singleton(const Singleton&);  
        Singleton& operator=(const Singleton&);       
};