异常的捕获是严格按照数据类型匹配实现的,不允许类型转换,因此catch的参数必须有严格的数据类型。
try{
throw 20;
}
catch(unsigned int)
{
//...
}
由于常量20的类型为int,而不是unsigned int 所以无法捕获,。
如果函数抛出的异常找不到匹配的catch,则程序通常以abort()函数终止。
异常使用方法
1 异常枚举族系
例:
enum FileErrors{nonExist,wrongFormat,disSeekError,...}
int f()
{
try
{
//...
throw wrongFormat;
}
catch(FileErrors fe)
{
switch(fe)
{
case nonExist:
//...
case wrongFormat:
//...
case disSeekErro:
//...
}
}
//...
}
2 异常派生层次结构
上例改成派生层次结构如下:
class FileErrors{};
class NonExist:Public FileErrors{};
class WrongFormat:Public FileErrors{};
class DisSeekError:Public FileErrors{};
int f()
{
try
{
//...
throw wrongFormat;
}
catch(NonExist)
{
//...
}
catch(WrongFormat)
{
//...
}
catch(DisSeekError)
{
//...
}
//...
}
对于派生类下列情况可以捕获异常:
(1)异常处理的数据类型是共有基类,抛掷异常的数据类型是派生类;
(2)异常处理的数据类型是只想共有基类的指针,抛掷异常的数据类型是指向派生类的指针;
由于catch(基类)总能捕获throw派生类对象,所以catch(基类)应该放在catch(派生类)的后面,以避免catch(派生类)不能捕获异常。
try{
throw 20;
}
catch(unsigned int)
{
//...
}
由于常量20的类型为int,而不是unsigned int 所以无法捕获,。
如果函数抛出的异常找不到匹配的catch,则程序通常以abort()函数终止。
异常使用方法
1 异常枚举族系
例:
enum FileErrors{nonExist,wrongFormat,disSeekError,...}
int f()
{
try
{
//...
throw wrongFormat;
}
catch(FileErrors fe)
{
switch(fe)
{
case nonExist:
//...
case wrongFormat:
//...
case disSeekErro:
//...
}
}
//...
}
2 异常派生层次结构
上例改成派生层次结构如下:
class FileErrors{};
class NonExist:Public FileErrors{};
class WrongFormat:Public FileErrors{};
class DisSeekError:Public FileErrors{};
int f()
{
try
{
//...
throw wrongFormat;
}
catch(NonExist)
{
//...
}
catch(WrongFormat)
{
//...
}
catch(DisSeekError)
{
//...
}
//...
}
对于派生类下列情况可以捕获异常:
(1)异常处理的数据类型是共有基类,抛掷异常的数据类型是派生类;
(2)异常处理的数据类型是只想共有基类的指针,抛掷异常的数据类型是指向派生类的指针;
由于catch(基类)总能捕获throw派生类对象,所以catch(基类)应该放在catch(派生类)的后面,以避免catch(派生类)不能捕获异常。