C++面试八股文:如何在堆上和栈上分配一块内存?

某日二师兄参加XXX科技公司的C++工程师开发岗位6面:

面试官: 如何在堆上申请一块内存?

二师兄:常用的方法有malloc,new等。

面试官:两者有什么区别?

二师兄:malloc是向操作系统申请一块内存,这块内存没有经过初始化,通常需要使用memset手动初始化。而new一般伴随三个动作,向操作系统申请一块内存,并执行类型的默认构造函数,然后返回类的指针。

面试官:嗯,那你知道calloc和realloc吗?

二师兄:calloc比malloc多做了一步,就是把申请的内存初始化成0。而realloc则可以改变当前指针所指向的内存块的大小。

面试官:好的。那么你知道这些api/操作符失败会发生什么吗?

二师兄:malloc/calloc/realloc失败会返回NULL,而new失败则会抛出异常。

面试官:有没有让new失败不抛出异常的方法?

二师兄:好像有,但是我不记得了。。。

面试官:没关系。。。我们都知道new和delete成对出现,new[]和delete[]也是成对出现,那么我想问,如果使用new[]创建的对象用delete释放了会发生什么?为什么?

二师兄:额。。。内存泄漏?对,会发生内存泄漏。因为内存没有被释放。

面试官:好的。我们都知道C++中的内存管理是一个比较麻烦的事情,现在有个需求,需要在程序中记录主动申请的内存和主动释放的内存,以确保没有发生内存泄漏。有什么好的方法吗?

二师兄:可以重载new和delete运算符。

面试官:如何重载new和delete运算符?

二师兄:我得查一下资料,这个重载用的很少。。。

面试官:(笑)好吧,最后一个问题,咱们上面一直在讨论堆中的内存的分配和释放,请问一下,如果在栈上分配一块固定的内存?栈中的内存如何释放?

二师兄:额。。。(思考)使用 char[size] ? 应该不需要手动释放。

面试官:好的,回去等通知吧。

对于二师兄的表现,小伙伴们能给打几分呢?我们先看看二师兄在面试中表现不太好的地方:

面试官:有没有让new失败不抛出异常的方法?

在C++中我们可以使用以下方法使得new运算符不抛出异常,

int* p = new (std::nothrow) int(42);
if(p == nullptr)
{
    //分配失败
}

这个特性需要C++11支持。

再看下一个问题:

如果使用new[]创建的对象用delete释放了会发生什么?

一定会发生内存泄漏吗?答案是,不一定。这取决于类型T。我们先看第一种情况:

class Foo
{
public:
    Foo():num_(42){}
private:
    int num_;
};

Foo* pf = new Foo[1024];
delete pf;

当类型T没有管理资源时,delete pf会把整个申请的1024个Foo所占用的内存全部归还给操作系统,此时并没有内存泄漏。再看下一种情况:

class Foo
{
public:
    Foo():num_(new int(42)){}
    ~Foo(){delete num_;}
private:
    int* num_;
};

Foo* pf = new Foo[1024];
delete pf; 

此时会造成内存泄漏,原因很简单。在执行delete[]时,首先逆序执行每个元素的析构函数,然后再把整块内存归还给操作系统。而delete只会把内存还给操作系统,没有执行析构函数。当类没有资源需要管理时,执行与不执行析构函数都无关紧要,但是当类中需要管理资源时,析构函数的执行就至关重要了。

如何重载new和delete运算符?

#include <iostream>
#include <cstdlib>
#include <map>
struct MemoryInfo {
    size_t size;
    const char* file;
    int line;
};

std::map<void*, MemoryInfo> memoryMap;

void* operator new(size_t size, const char* file, int line) {
    void* ptr = std::malloc(size);
    memoryMap[ptr] = {size, file, line};
    return ptr;
}

void operator delete(void* ptr) noexcept {
    auto it = memoryMap.find(ptr);
    if (it != memoryMap.end()) {
        std::free(ptr);
        memoryMap.erase(it);
    }
}

#define new new(__FILE__, __LINE__)

int main() {
    int* p = new int(42);

    for (const auto& [ptr, info] : memoryMap) {
        std::cout << "Memory allocated at " << ptr << " with size " << info.size
                  << " in file " << info.file << " at line " << info.line << std::endl;
    }
    
    delete p;
    
    for (const auto& [ptr, info] : memoryMap) {
        std::cout << "Memory allocated at " << ptr << " with size " << info.size
                  << " in file " << info.file << " at line " << info.line << std::endl;
    }
    return 0;
}

最后一个问题:

如果在栈上分配一块固定的内存?栈中的内存如何释放?

使用alloca,虽然简单,但是很多人可能都没有接触过:

int* p = (int*)alloca(4);
*p = 42;

栈上申请的内存不需要手动释放。注意,如果栈溢出,alloca的行为时未定义的。

好了,今日份面试到这里就结束了,小伙伴们,对于今天二师兄的面试,能打几分呢?

关注我,带你21天“精通”C++!(狗头)

热门相关:帝少的专属:小甜心,太缠人   横行霸道   修仙界最后的单纯   横行霸道   修仙界最后的单纯