67 - 经典问题解析五（指针的判别 & 构造中的异常）

本文链接：https://blog.csdn.net/weixin_36098975/article/details/128116787

---- 整理自狄泰软件唐佐林老师课程

1. 问题一

编写程序判断一个变量是不是指针？

1.1 指针的判别

C++中仍然支持C语言中的可变参数函数
C++编译器的匹配调用 优先级：重载函数 > 函数模板 > 变参函数

#include <iostream>
#include <string>
using namespace std;

void test(int i) {
    cout << "void test(int i)" << endl;
}

template
<typename T>
void test(T v) {
    cout << "void test(T v)" << endl;
}

void test(...) {
    cout << "void test(...)" << endl;
}

int main(int argc, char *argv[]) {
    int i = 0;

    test(i);
    
    return 0;
}

在这里插入图片描述

1.2 思路

将变量分为两类：指针 VS 非指针

编写函数：
指针变量调用时返回true
非指针变量调用时返回false

1.3 函数模板与变参函数的化学反应

在这里插入图片描述

根据参数的匹配，返回true就是指针，变参函数返回false就不是指针。

1.4 编程实验：指针判断

在这里插入图片描述

1.5 存在的缺陷

变参函数无法解析对象参数，可能造成程序崩溃

如何让编译器精确匹配函数，但不进行实际的调用？只去进行匹配而不运行?

#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;
}

在这里插入图片描述

注解：编译器编译阶段根据参数类型，判断使用哪个函数，sizeof可以根据函数类型给出相应计算结果(没有调用函数)。

2. 问题二

如果构造函数中抛出异常会发生什么情况？

2.1 构造函数中抛出异常

构造过程立即停止
当前对象无法生成
析构函数不会被调用
对象所占用的空间立即收回

2.2 工程项目中的建议

不要在构造函数中抛出异常
当构造函数可能产生异常时，使用二阶构造模式

2.3 编程实验：构造中的异常

#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;
}