C++异常
异常是处理程序中的错误。所谓的错误时指程序运行的过程中发生的一些异常事件(如:除零错误,数组下标越界,所要读取的文件不存在,空指针,内存不足等)
C++异常机制相比C语言异常处理的优势:
- 函数返回值可以忽略,但是异常不可以忽略,并且容易和正常结果混淆;
- 如果程序出现异常,但是没有被捕获,程序就会终止;
异常语法
代码示例
#include <iostream>
#include <string>
#include <iostream>
using namespace std;
int test01()
{
throw 0;
return 0;
}
void test02()
{
try
{
test01();
}
catch (int e)
{
std::cout << "int exception " << e << std::endl;
}
catch (char e)
{
std::cout << "char exception " << e << std::endl;
}
catch (...)
{
std::cout << "normal exception " << std::endl;
}
}
int main(int argc, char* argv[])
{
test02();
return 0;
}
栈解旋
异常抛出后,从try起,到异常被抛出前,这期间在栈上构造的所有对象都会被自动析构。析构的顺序与构造的顺序相反,这一过程称为栈的解旋。
示例代码
#include <iostream>
#include <string>
#include <iostream>
using namespace std;
class Person
{
public:
Person(string name1)
{
name = name1;
cout << "Person " << name << endl;
}
~Person()
{
cout << "~Person" << name << endl;
}
string name;
};
void test()
{
try {
Person p("1");
Person p1("2");
Person p2("3");
throw 10;
}
catch (...)
{
cout << "exception" << endl;
}
}
int main(int argc, char* argv[])
{
test();
return 0;
}
noexcept
- 为了加强程序可读性,可以在函数声明中指定是否可以抛出异常。
例如:void func() noexcept(true);表示函数函数无法抛出异常, 后面的true可省略
例如:void func() noexcept(false);表示函数函数可能抛出异常
代码示例
#include <iostream>
#include <string>
#include <iostream>
using namespace std;
void test() noexcept(false)
{
// throw 10;
}
void test01() noexcept(true)
{
throw 10;
}
int main(int argc, char* argv[])
{
try {
test();
test01();
}
catch (...)
{
cout << "exception" << endl;
}
return 0;
}
异常的声明周期
throw 的异常是有类型的,可以是数字、字符串、类对象。throw的异常是有类型的,catch需要严格匹配异常的类型。
示例代码
#include <iostream>
#include <string>
#include <iostream>
using namespace std;
class MyException
{
public:
MyException()
{
cout << "MyException" << endl;
}
MyException(const MyException &other)
{
cout << "MyException2" << endl;
}
~MyException()
{
cout << "~MyException" << endl;
}
};
int test1()
{
try {
throw MyException();
}
catch (MyException e)
{
cout << "exception" << endl;
}
return 0;
}
int test2()
{
try {
throw MyException();
}
catch (const MyException &e)
{
cout << "exception" << endl;
}
return 0;
}
int test3()
{
try {
throw new MyException();
}
catch (MyException *e)
{
cout << "exception" << endl;
delete e;
e = nullptr;
}
return 0;
}
int test4()
{
try {
MyException ob;
throw ob;
}
catch (MyException &e)
{
cout << "exception" << endl;
}
return 0;
}
int test5()
{
try {
throw MyException();
}
catch (MyException &e)
{
cout << "exception" << endl;
}
return 0;
}
int main(int argc, char* argv[])
{
test5();
return 0;
}
注意: 抛出指针的时候记得析构, 推荐test5()的这种方式,可以提高效率。
异常的多态使用
与正常多态使用无差别
代码示例
#include <iostream>
#include <string>
#include <iostream>
using namespace std;
class BaseException
{
public:
virtual void printLog() = 0;
};
class DeriveException1 : public BaseException
{
public:
void printLog() override
{
cout << "exception1" << endl;
}
};
void test()
{
try {
throw DeriveException1();
}
catch (BaseException &e)
{
e.printLog();
}
}
int main(int argc, char* argv[])
{
test();
return 0;
}
C++标准异常库
标准库中有很多的异常类,它们是通过类继承组织起来的。
exception 类的直接派生类:
异常名称 | 说 明 |
---|---|
logic_error | 逻辑错误。 |
runtime_error | 运行时错误。 |
bad_alloc | 使用 new 或 new[ ] 分配内存失败时抛出的异常。 |
bad_typeid | 使用 typeid 操作一个 NULL 指针,而且该指针是带有虚函数的类,这时抛出 bad_typeid 异常。 |
bad_cast | 使用 dynamic_cast 转换失败时抛出的异常。 |
ios_base::failure | io 过程中出现的异常。 |
bad_exception | 这是个特殊的异常,如果函数的异常列表里声明了 bad_exception 异常,当函数内部抛出了异常列表中没有的异常时,如果调用的 unexpected() 函数中抛出了异常,不论什么类型,都会被替换为 bad_exception 类型。 |
logic_error 的派生类:
异常名称 | 说 明 |
---|---|
length_error | 试图生成一个超出该类型最大长度的对象时抛出该异常,例如 vector 的 resize 操作。 |
domain_error | 参数的值域错误,主要用在数学函数中,例如使用一个负值调用只能操作非负数的函数。 |
out_of_range | 超出有效范围。 |
invalid_argument | 参数不合适。在标准库中,当利用string对象构造 bitset 时,而 string 中的字符不是 0 或1 的时候,抛出该异常。 |
runtime_error 的派生类:
异常名称 | 说 明 |
---|---|
range_error | 计算结果超出了有意义的值域范围。 |
overflow_error | 算术计算上溢。 |
underflow_error | 算术计算下溢。 |
代码示例
#include <iostream>
#include <string>
#include <iostream>
using namespace std;
void test(int i)
{
try {
if(i > 50)
{
throw out_of_range("越界");
}
else
{
throw exception("exception");
}
}
catch (exception &e)
{
cout << e.what() << endl;
}
}
int main(int argc, char* argv[])
{
test(60);
return 0;
}
重写自己的异常
使用继承实现一个自己的异常(我这里是一个简单的实现)
示例代码
#include <iostream>
#include <string>
#include <iostream>
using namespace std;
class MyException : public exception
{
public:
MyException(const char *data) noexcept
: exception(data)
{
}
};
void test(int i)
{
try {
throw MyException("my exception");
}
catch (exception &e)
{
cout << e.what() << endl;
}
}
int main(int argc, char* argv[])
{
test(60);
return 0;
}