（P51）异常：异常与继承，异常与指针，异常规格说明，C++标准库异常层次

2024-06-08 05:58
文章标签 c++ 指针 异常 说明 层次 继承 标准 规格 p51

本文主要是介绍（P51）异常：异常与继承，异常与指针，异常规格说明，C++标准库异常层次，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

文章目录

    • 1.异常与继承
    • 2.异常与指针
    • 3.异常规格说明
    • 4.C++标准库异常层次

1.异常与继承

  • 如果异常类型为C++的类，并且该类有其基类（基类也是一个异常类），则应该将派生类的错误处理程序放在前面，基类的错误处理程序放在后面
  • eg：P51\01.cpp
#include <iostream>
#include <string>using  namespace std;class MyException
{
public:MyException( const  char *message): message_(message){cout <<  "MyException ..." << endl;}MyException( const MyException &other) : message_(other.message_){cout <<  "Copy MyException ..." << endl;}//因为是继承，最好声明为虚析构函数virtual ~MyException(){cout <<  "~MyException ..." << endl;}const  char *what()  const{return message_.c_str();}
private:string message_;
};class MyExceptionD :  public MyException
{
public:MyExceptionD( const  char *message): MyException(message){cout <<  "MyExceptionD ..." << endl;}MyExceptionD( const MyExceptionD &other): MyException(other){cout <<  "Copy MyExceptionD ..." << endl;}~MyExceptionD(){cout <<  "~MyExceptionD ..." << endl;}
};int main( void)
{try{MyExceptionD t;MyExceptionD e( "test exception");//抛出一个派生类异常，是可以被基类类型捕获的，因为派生类也是一种基类对象throw e;//先调用派生类构造函数，构造MyExceptionD对象}catch (MyExceptionD &e)//最好将派生类的异常处理程序放在前面，为了减少对象拷贝，最好声明为引用，这样就少一次对象的拷贝{                       //这里是引用是不会调用拷贝构造函数，相当于是一种参数传递，传递到catch语句块中输出异常对象的适合要进行栈展开，会寻找合适的catch语句块来处理,此时，局部对象t会调用析构函数进行自动销毁cout <<  "catch MyExceptionD ..." << endl;cout << e.what() << endl;}/*派生类的异常能够被基类所捕获，且前面的异常处理程序能够匹配的话首先catch，如果把基类的放在最前面，而且不是引用的形式，如 catch (MyException e); 那么将会被这个所catch 到，而且在构造e 的过程会有object slicing 的问题。*/catch (MyException &e)//基类的异常处理程序放在后面，如果这里不是引用传递，这里会被切割成基类对象，引用传递{                       //是不会构造一个新的对象出来的，所以最好将派生类的异常处理程序放在前面，以便类型完全匹配cout <<  "catch MyException ..." << endl;cout << e.what() << endl;}return  0;
}
  • 测试：
    在这里插入图片描述

2.异常与指针

  • 抛出指针通常是一个坏主意，因为抛出指针要求在对应处理代码存在的任意地方都存在指针所指向的对象(注意此时throw抛出时复制的是指针本身，不会去复制指针指向的内容)
    指针不能指向一个栈上的对象，因为栈上的对象会被销毁，它所指向的对象在指针存在的时候生命周期是不能结束的，否则指针则会出现空悬指针，指针所指向的对象已经被销毁了
  • eg：P51\02.cpp
#include <iostream>
#include <string>using  namespace std;class MyException
{
public:MyException( const  char *message): message_(message){cout <<  "MyException ..." << endl;}MyException( const MyException &other) : message_(other.message_){cout <<  "Copy MyException ..." << endl;}//因为是继承，最好声明为虚析构函数virtual ~MyException(){cout <<  "~MyException ..." << endl;}const  char *what()  const{return message_.c_str();}
private:string message_;
};class MyExceptionD :  public MyException
{
public:MyExceptionD( const  char *message): MyException(message){cout <<  "MyExceptionD ..." << endl;}MyExceptionD( const MyExceptionD &other): MyException(other){cout <<  "Copy MyExceptionD ..." << endl;}~MyExceptionD(){cout <<  "~MyExceptionD ..." << endl;}
};int main( void)
{try{/*即抛出局部对象的指针，由于在catch 时MyExeptionD 对象已经被析构了，所以访问不到e->what(); 即e是空悬指针。还有一点是，任何类型的指针都能被void* 指针所捕获，如果将catch (void* e);注释打开，那么由于排在前面，异常首先将被它所捕获。*/MyExceptionD e("test exception");throw &e;//抛出一个指针，此时抛出的是指针本身，不会去复制指针所指向的内容，通常不要//抛出指针，因为抛出指针还需要自己去释放指针对象，该对象不能是栈上的对象//如果是栈上的对象，那么在栈展开的时候这个局部对象会被销毁，会导致e指针是一个空悬指针，因为抛出一个指针//不是一个好主意}catch (void* e)//抛出的任何指针异常，都能被void*类型的指针所捕获{cout<<"catch void* ..."<<endl;cout<<((MyExceptionD*)e)->what()<<endl;delete (MyExceptionD*)e;}catch (MyExceptionD *e){cout <<  "catch MyExceptionD ..." << endl;cout << e->what() << endl;delete e;}catch (MyException &e){cout <<  "catch MyException ..." << endl;cout << e.what() << endl;}return  0;
}

  • 测试：
    在这里插入图片描述

  • eg：P51\03.cpp

#include <iostream>
#include <string>using  namespace std;class MyException
{
public:MyException( const  char *message): message_(message){cout <<  "MyException ..." << endl;}MyException( const MyException &other) : message_(other.message_){cout <<  "Copy MyException ..." << endl;}//因为是继承，最好声明为虚析构函数virtual ~MyException(){cout <<  "~MyException ..." << endl;}const  char *what()  const{return message_.c_str();}
private:string message_;
};class MyExceptionD :  public MyException
{
public:MyExceptionD( const  char *message): MyException(message){cout <<  "MyExceptionD ..." << endl;}MyExceptionD( const MyExceptionD &other): MyException(other){cout <<  "Copy MyExceptionD ..." << endl;}~MyExceptionD(){cout <<  "~MyExceptionD ..." << endl;}
};int main( void)
{try{//MyExceptionD e("test exception");//throw &e;//抛出一个指针/*现在MyExeptionD 对象是在堆上分配的，所以在catch 的时候还没释放，还可以访问到e->what(); 但需要自己在catch 末尾delete e;*/throw  new MyExceptionD( "test exception");}/*catch (void* e)//抛出的任何指针，都能被void*类型的指针所捕获{cout<<"catch void* ..."<<endl;cout<<((MyExceptionD*)e)->what()<<endl;delete (MyExceptionD*)e;}*/catch (MyExceptionD *e){cout <<  "catch MyExceptionD ..." << endl;cout << e->what() << endl;delete e;}catch (MyException &e){cout <<  "catch MyException ..." << endl;cout << e.what() << endl;}return  0;
}
  • 测试：
    在这里插入图片描述

3.异常规格说明

  • （1）异常规格说明的目的是为了让函数使用者知道该函数可能抛出的异常有哪些。
  • （2）可以在函数的声明中列出这个函数可能抛掷的所有异常类型。
    例如：
void fun() throw(A，B，C，D);
  • （3）若无异常接口声明，则此函数可以抛掷任何类型的异常。
  • （4）不抛掷任何类型异常的函数声明如下：
void fun() throw();
  • eg：P51\04.cpp
#include <iostream>
#include <string>using  namespace std;class MyException
{
public:MyException( const  char *message): message_(message){cout <<  "MyException ..." << endl;}MyException( const MyException &other) : message_(other.message_){cout <<  "Copy MyException ..." << endl;}//因为是继承，最好声明为虚析构函数virtual ~MyException(){cout <<  "~MyException ..." << endl;}const  char *what()  const{return message_.c_str();}
private:string message_;
};class MyExceptionD :  public MyException
{
public:MyExceptionD( const  char *message): MyException(message){cout <<  "MyExceptionD ..." << endl;}MyExceptionD( const MyExceptionD &other): MyException(other){cout <<  "Copy MyExceptionD ..." << endl;}~MyExceptionD(){cout <<  "~MyExceptionD ..." << endl;}
};void fun( int n)  throw ( int, MyException, MyExceptionD)
{if (n ==  1){throw  1;}else  if (n ==  2){throw MyException( "test Exception");}else  if (n ==  3){throw MyExceptionD( "test ExceptionD");}}void fun2()  throw()
{}int main( void)
{try{fun( 2);}catch ( int n){cout <<  "catch int ..." << endl;cout <<  "n=" << n << endl;}catch (MyExceptionD &e){cout <<  "catch MyExceptionD ..." << endl;cout << e.what() << endl;}catch (MyException &e){cout <<  "catch MyException ..." << endl;cout << e.what() << endl;}return  0;
}
  • 测试：
    就是说VC++编译器现在还不怎么支持异常规格说明，举个例子说，void fun(int n) throw (int, MyException, MyExceptionD); 没有声明double 类型的异常，但在函数内throw 1.0; 在外部catch (double) 还是会成功。
    在这里插入图片描述

4.C++标准库异常层次

  • 比如dynamic_cast 执行错误会产生bad_cast 异常，new 分配内存错误会产生bad_alloc 异常，其实这些异常类都继承自exception类，但内部的实现都没有有效的代码，只是用来标识当前程序产生了哪种类型的异常而已。
    在这里插入图片描述

  • 参考：从零开始学C++之异常（三）：异常与继承、异常与指针、异常规格说明

这篇关于（P51）异常：异常与继承，异常与指针，异常规格说明，C++标准库异常层次的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！


http://www.chinasem.cn/article/1041366。

相关文章

深入理解C++ 空类大小

深入理解C++ 空类大小

《深入理解C++空类大小》本文主要介绍了C++空类大小,规定空类大小为1字节,主要是为了保证对象的唯一性和可区分性,满足数组元素地址连续的要求,下面就来了解一下... 目录1. 保证对象的唯一性和可区分性2. 满足数组元素地址连续的要求3. 与C++的对象模型和内存管理机制相适配查看类对象内存在C++中，规
阅读更多...
Redis分布式锁使用及说明

Redis分布式锁使用及说明

《Redis分布式锁使用及说明》本文总结了Redis和Zookeeper在高可用性和高一致性场景下的应用,并详细介绍了Redis的分布式锁实现方式,包括使用Lua脚本和续期机制,最后,提到了RedLo... 目录Redis分布式锁加锁方式怎么会解错锁？举个小案例吧解锁方式续期总结Redis分布式锁如果追求
阅读更多...
结构体和联合体的区别及说明

结构体和联合体的区别及说明

《结构体和联合体的区别及说明》文章主要介绍了C语言中的结构体和联合体,结构体是一种自定义的复合数据类型,可以包含多个成员,每个成员可以是不同的数据类型,联合体是一种特殊的数据结构,可以在内存中共享同一... 目录结构体和联合体的区别1. 结构体(Struct)2. 联合体(Union)3. 联合体与结构体的
阅读更多...
在 VSCode 中配置 C++ 开发环境的详细教程

在 VSCode 中配置 C++ 开发环境的详细教程

《在VSCode中配置C++开发环境的详细教程》本文详细介绍了如何在VisualStudioCode（VSCode）中配置C++开发环境,包括安装必要的工具、配置编译器、设置调试环境等步骤,通... 目录如何在 VSCode 中配置 C++ 开发环境：详细教程1. 什么是 VSCode？2. 安装 VSCo
阅读更多...
Python中异常类型ValueError使用方法与场景

Python中异常类型ValueError使用方法与场景

《Python中异常类型ValueError使用方法与场景》：本文主要介绍Python中的ValueError异常类型,它在处理不合适的值时抛出,并提供如何有效使用ValueError的建议,文中... 目录前言什么是 ValueError？什么时候会用到 ValueError？场景 1: 转换数据类型场景
阅读更多...
Spring中Bean有关NullPointerException异常的原因分析

Spring中Bean有关NullPointerException异常的原因分析

《Spring中Bean有关NullPointerException异常的原因分析》在Spring中使用@Autowired注解注入的bean不能在静态上下文中访问,否则会导致NullPointerE... 目录Spring中Bean有关NullPointerException异常的原因问题描述解决方案总结
阅读更多...
关于SpringBoot的spring.factories文件详细说明

关于SpringBoot的spring.factories文件详细说明

《关于SpringBoot的spring.factories文件详细说明》spring.factories文件是SpringBoot自动配置机制的核心部分之一,它位于每个SpringBoot自动配置模... 目录前言一、基本结构二、常见的键EnableAutoConfigurationAutoConfigu
阅读更多...
Python中的异步:async 和 await以及操作中的事件循环、回调和异常

Python中的异步:async 和 await以及操作中的事件循环、回调和异常

《Python中的异步:async和await以及操作中的事件循环、回调和异常》在现代编程中,异步操作在处理I/O密集型任务时,可以显著提高程序的性能和响应速度,Python提供了asyn... 目录引言什么是异步操作？python 中的异步编程基础async 和 await 关键字asyncio 模块理论
阅读更多...
详解Python中通用工具类与异常处理

详解Python中通用工具类与异常处理

《详解Python中通用工具类与异常处理》在Python开发中,编写可重用的工具类和通用的异常处理机制是提高代码质量和开发效率的关键,本文将介绍如何将特定的异常类改写为更通用的ValidationEx... 目录1. 通用异常类：ValidationException2. 通用工具类：Utils3. 示例文
阅读更多...
C++11的函数包装器std::function使用示例

C++11的函数包装器std::function使用示例

《C++11的函数包装器std::function使用示例》C++11引入的std::function是最常用的函数包装器,它可以存储任何可调用对象并提供统一的调用接口,以下是关于函数包装器的详细讲解... 目录一、std::function 的基本用法1. 基本语法二、如何使用 std::function
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2