C++ 如何允许程序中存在 BUG，却还能继续运行 _C++

今天我们就来聊一聊 C++ 中的异常机制吧。
在学校期间，我们很少会用得上异常机制。然而，工作之后，很多时候却不得不引入异常机制。因为一般情况下，使用函数的返回值来确定函数的运行状态有缺陷：比如有些函数返回1表示成功，有些函数返回0表示成功。而且，一旦用一个整型表示错误码，函数结果就不能返回了（当然用指针和引用可以解决）。
1 如何正确访问 vector 中指定下标的元素
#include <IOStream>#include <vector>#include <stdexcept>int main() {std::vector<int> vec{1,2,3};try {char val1 = vec[100];//数组下标越界访问std::cout << val1 << "n";} catch (std::exception e) {std::cout << "[1]out of bound!" << "n";}try {char val2 = vec.at(100);std::cout << val2 << "n";} catch (std::exception &e) {std::cout << "[2]out of bound!" << "n";}}执行结果：

文章插图

第一个 try 没有捕获到异常，输出了一个没有意义的字符（垃圾值）。因为[ ]不会检查下标越界，不会抛出异常，所以即使有错误，try 也检测不到。换句话说，发生异常时必须将异常明确地抛出，try 才能检测到；如果不抛出来，即使有异常 try 也检测不到。所谓抛出异常，就是明确地告诉程序发生了什么错误。
第二个 try 检测到了异常，并交给 catch 处理，执行 catch 中的语句。需要说明的是，异常一旦抛出，会立刻被 try 检测到，并且不会再执行异常点（异常发生位置）后面的语句。本例中抛出异常的位置是 at() 函数，它后面的 cout 语句就不会再被执行，所以看不到它的输出。
2 自定义异常消息

#include <iostream>#include <stdexcept>#include <vector>double f(int a, int b){if (b == 0) {throw "Division by zero";}return (a/b);}int main() {try {int a = 10;int b = 0;int v = f(1, b);} catch (const char* msg) {std::cerr << msg<< "n";}return 0;}

文章插图

3 关键字 throw()
成员函数声明后面跟上throw()，表示告诉类的使用者：我的这个方法不会抛出异常，所以，在使用该方法的时候，不必把它至于 try/catch 异常处理块中。
声明一个不抛出异常的函数后，你有责任保证在你的函数的实现里面不会抛出异常。
最后，如果你想自定义一个异常，直接继承 exception 类，写个派生类即可。

#include <iostream>#include <stdexcept>#include <vector>class Myexception:public std::exception{};int f(int a, int b) throw() {if(b == 0) throw Myexception();// 程序会在这里崩溃.（如果该异常被处理，不会崩溃）return a / b;}int main() {try {int a = 10;int b = 0;int v = f(1, b);} catch (const char* msg) {std::cerr << msg<< "n";}return 0;}

执行结果：