如何判断变量是指针/构造函数抛异常

Posted 2021-10-05 学习只为旅行

基本类型可以识别，但是自定义类类型呢？不能识别

核心思想：只匹配，不运行！！！这样就不会崩溃了

#include <iostream>
#include <string>

using namespace std;

class Test
{
public:
    Test()
    {
    }
    virtual ~Test()
    {
    }
};

template
<typename T>
char IsPtr(T* v) // match pointer
{
    return 'd';
}

int IsPtr(...)  // match non-pointer
{
    return 0;
}

#define ISPTR(p) (sizeof(IsPtr(p)) == sizeof(char))
//编译器在编译期间，就知道实际匹配哪一个函数，而不会实际去调用！
//通过确认这个函数将会返回的数据类型的大小确认调用了哪一个函数

int main(int argc, char *argv[])
{
    int i = 0;
    int* p = &i;
    
    cout << "p is a pointer: " << ISPTR(p) << endl;    // true
    cout << "i is a pointer: " << ISPTR(i) << endl;    // false
    
    Test t;
    Test* pt = &t;
    
    cout << "pt is a pointer: " << ISPTR(pt) << endl;    // true
    cout << "t is a pointer: " << ISPTR(t) << endl;    // false
    
    return 0;
}

但是面试官就想在构造函数中抛出异常，那么怎么处理呢？

#include <iostream>
#include <string>

using namespace std;

class Test
{
public:
    Test()
    {
        cout << "Test()" << endl;
        
        throw 0;
    }
    virtual ~Test()
    {
        cout << "~Test()" << endl;
    }
};

int main(int argc, char *argv[])
{
    Test* p = reinterpret_cast<Test*>(1);
    
    try
    {
        p = new Test();
    }
    catch(...)
    {
        cout << "Exception..." << endl;
    }
    
    cout << "p = " << p << endl;
    
    return 0;
}

对象创建失败，连空指针都不会返回
使用内存泄漏查看工具：

0 bytes in 0 blocks，说明没有泄漏，对象被回收了

小结