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

1. 问题一

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

1.1 指针的判别

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

#include 
#include 
using namespace std;void test(int i) {cout << "void test(int i)" << endl;
}template

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 
#include using namespace std;class Test
{
public:Test(){}virtual ~Test(){}
};template

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;    // truecout << "i is a pointer: " << ISPTR(i) << endl;    // falseTest t;Test* pt = &t;cout << "pt is a pointer: " << ISPTR(pt) << endl;    // truecout << "t is a pointer: " << ISPTR(t) << endl;    // falsereturn 0;
}

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

2. 问题二

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

2.1 构造函数中抛出异常

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

2.2 工程项目中的建议

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

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

#include 
#include 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(1);try{p = new Test();}catch(...){cout << "Exception..." << endl;}cout << "p = " << p << endl;return 0;
}

注：reinterpret 是“重新解释”的意思，顾名思义，reinterpret_cast 这种转换仅仅是对二进制位的重新解释，不会借助已有的转换规则对数据进行调整，非常简单粗暴。
http://c.biancheng.net/view/2343.html

2.4 析构中的异常

• 避免在析构中抛出异常
• 析构函数的异常将导致：对象所使用的资源无法完全释放

3. 小结

• C++中依然支持变参函数
• 变参函数无法很好的处理对象参数
• 利用函数模板和变参函数能够判断指针变量
• 构造函数和析构函数中不要抛出异常