C++四种类型转换
static_cast
C++静态类型转换,c语言隐式类型可以转换的,基本上都可以
//语法: type a = static_cast<type>(b); //b不为type类型
reinterpret_cast
指针类型不可以这么转化;指针需要强制类型转换:
char* p1 = "hello"; int* p2 = NULL; p2 = reinterpret_cast<int*>(p1);
dynamic_cast
用于继承中多态时候的类型识别,在子类对象传给父类指针后,可以对父类指针使用dynamic_cast进行向下类型转换
Dog *pDog = dynamic_cast<Dog*>(base); if(pDog != NULL) { 转换成功; }
const_cast去除变量的只读属性(去除const属性)注意:实参是可读可写才行;通过字符数组是在堆中分配内存空间;而char*指向的字符串是字符串常量,不可改变。
void printBuf(const char* p) { char* p1 = NULL; p1 = const_cast<char*>(p); p1[0] = ‘z‘; //通过类型转换就可以改变指针指向的内存空间的值 } char buf[] = "afdasdf"; //栈 中分配内存 printBuf(buf); // ok char *my_p = "fsjljsf"; //字符常量,在 全局数据区 ,本身就不能改变; printBuf(my_p); //error
- 首先字符串是在静态常量区分配的内存,然后指针my_p在栈里分配的内存,然后将指针指向”abacd”所在的内存块。指针存放的是"fsjljsf"的地址,而这个地址所在内存是在静态常量区中,是不可改变的。
- char buf[]数组是在栈中,数组栈中分配了内存,是局部变量,也就是说,由于char buf[]是分配了内存的,所以这里只是将"afdasdf"复制到char buf[]在栈中分配的内存中去,是可读可写的。这里就和指针区别出来了,指针是不分配内存的,指针指向的是一块静态常量区中的内存。
异常处理机制:
发生异常后,跨函数,从throw直接到catch
可能有异常:
void divide(int x, int y) { if(y == 0) throw x; } //测试案例: try { divide(10,0); } catch(int e) cout<<"10除以"<< e << endl; // throw; //接到异常不处理 }
处理了异常,程序就不终止。catch到异常,但继续抛出去,由程序自己报错处理,或者其他catch处理
1、如有异常通过throw操作创建一个异常对象并抛掷;
2、将可能抛出异常的程序段放在try中。
3、try的保护段没有异常,try后catch不执行,直到try后跟随的随后一个catch后面的语句继续执行下去。
4、catch子句按照try后顺序执行,捕获或继续抛出异常。
5、未找到匹配,函数terminate将被自动调用,其缺省功能即调用abort终止程序;
6、异常处理不了,通过最后一个catch,使用throw语法,向上仍。
重点:
构造函数没有返回类型,无法通过返回值来报告运行状态,所以只能通过一种非函数机制的途径,
即:异常机制,来解决构造函数的出错问题!!!
异常是严格按照类型匹配,不会隐式类型转换
try { throw ‘z‘; } catch(int e) { cout << "捕获int类型异常" << endl; } catch(...) { cout << "未知异常" << endl; }
结论:
1、C++异常处理机制使得 异常引发 和 异常处理不必在同一个函数,
底层更注重解决具体问题,而不必过多考虑异常的处理,上层调用者可以
在适当位置设置 对不同类型异常的处理
2、异常时专门针对抽象编程中一系列错误处理的,C++不能借助函数机制,因为栈结构
先进后出,依次访问,但异常处理要跳级处理,跨越函数
栈解旋:(重要)
异常被抛出后,从进入try起,到异常被抛掷前,这期间栈上的
构造的所有对象都会被自动析构,析构顺序与构造相反
这一过程叫,栈解旋
异常变量的生命周期:
从try到异常抛掷前,其中的对象会自动析构。
三种类型: int char* 类对象
char*主要是 常字符串()全局数据区
抛出(无参)构造函数
throw Text(); //要加()
用 元素 来接 catch(Text e) //此时,调用拷贝构造函数,析构时,先析构拷贝出来的e,再执行返回的元素
用 引用 来接 catch(Text &e)//同一个元素
用 指针 来接 catch(Text *e) //接不到异常,因为抛出的是元素,异常机制严格按照类型匹配
异常的层次结构:继承中的异常
类A中包含其他判断len的类,类A的构造函数根据讨论抛掷异常,即包含的那些类的构造函数。
这些类使用同一个基类size,catch时,使用类A的引用产生多态。