前言
在上篇文章介绍what() 函数的时候提了一下:
函数是这样的:
virtual const char* what() const throw()
- throw(): 这个部分表示这个函数不会抛出任何异常。在C++03标准中,这个部分被用于声明函数不会抛出任何异常。然而,在C++11及之后的标准中,throw() 被替代为 noexcept 关键字。
在介绍noexcept之前,这里先讲一下throw关键字,也就是异常接口声明
异常接口声明
为了加强程序的可读性,可以在函数声明中列出可能抛出的所有异常类型,常用的有如下三种书写方式:
1. 显示指定可以抛出的异常类型
#include <iostream>
using namespace std;
struct MyException
{
MyException(string s) :msg(s) {}
string msg;
};
double divisionMethod(int a, int b) throw(MyException, int)
{
if (b == 0)
{
throw MyException("division by zero!!!");
// throw 100;
}
return a / b;
}
void test01()
{
try
{
double v = divisionMethod(100, 0);
cout << "value: " << v << endl;
}
catch (int e)
{
cout << "catch except: " << e << endl;
}
catch (MyException e)
{
cout << "catch except: " << e.msg << endl;
}
}
int main()
{
test01();
return 0;
}
这段代码的运行结果:
当把throw 100 上面那段代码注释后,把throw放出来,代码运行结果为:
解释:
divisionMethod函数接收两个参数进行除法操作,在操作之前需要对第二个参数进行判断,如果为0的话会抛出异常。在函数声明阶段,最后有一段代码:throw(MyException, int),这句话的意思为这个函数可能会有两种类型的异常被抛出,即int类型或者MyException类型。
在test01函数中分别对两种异常进行了catch,不同类型或输出不同结果。
2. 抛出任意类型异常
struct MyException
{
MyException(string s) :msg(s) {}
string msg;
};
double divisionMethod(int a, int b)
{
if (b == 0)
{
throw MyException("division by zero!!!");
// throw 100;
}
return a / b;
}
这里没有对可能抛出的异常做类型说明,也就是说里面可能会throw出任意类型,可能为字符串等等。
3. 不抛出任何异常
struct MyException
{
MyException(string s) :msg(s) {}
string msg;
};
double divisionMethod(int a, int b) throw()
{
if (b == 0)
{
cout << "division by zero!!!" << endl;
}
return a / b;
}
代码在divisionMethod 函数后添加了throw异常接口声明,其参数列表为空,表示该函数不允许抛出异常。
也就是上篇文章what() 函数那种类型。
温馨提示:以上程序在VS上的测试结果和在Linux上基于G++的测试结果是不同的,如果违反了规则VS只会给出警告,而G++则会直接终止程序的运行。(PS:VS使用的不是G++编译器)
noexcept
noexcept 是C++11引入的一个关键字,用于指示函数不会引发异常。在函数声明或定义中使用 noexcept 关键字,可以告诉编译器该函数不会抛出异常,从而允许编译器进行一些优化。
在C++11之前,函数声明的异常规范(exception specification)被用于说明函数是否抛出异常,如 void foo() throw(std::exception)。然而,这种方法在实际使用中往往引发了一些问题,例如异常规范的正确性难以保证,而且在某些情况下限制了函数的灵活性。
C++11引入了 noexcept 关键字,它不再是一个异常规范,而是一个表达式。当你在函数声明或定义中使用 noexcept 关键字时,它表示该函数不会抛出异常。例如:
void myFunction() noexcept {
// 函数体,不会抛出异常
}
或者在函数模板中使用 noexcept:
template <typename T>
void myTemplateFunction(T value) noexcept {
// 函数体,不会抛出异常
}
使用 noexcept 有几个好处:
- 性能优化: 编译器可以对标有 noexcept 关键字的函数进行一些优化,因为它知道这些函数不会引发异常,从而提高程序的性能。
- 移动语义(Move Semantics): 在使用移动语义的情况下,如果一个对象的移动构造函数和移动赋值运算符被声明为 noexcept,则在进行移动操作时可以更高效,因为标有 noexcept 的移动操作在标准库中会被更频繁地使用。
- 编译时检查: 使用 noexcept 可以在编译时检查函数是否会引发异常,提高了代码的安全性和可靠性。
需要注意的是,如果一个函数被标记为 noexcept,但实际上在函数体内抛出了异常,程序会调用 std::terminate() 来终止,这比基于异常机制的 throw() 在效率上会高一些。这是因为异常机制会带来一些额外开销,比如函数抛出异常,会导致函数栈被依次地展开(栈解旋),并自动调用析构函数释放栈上的所有对象。因此,在使用 noexcept 时,确保函数体内不会引发异常,以免导致未定义的行为。
所以上述代码如果要使用noexcept关键字的话可以这样写:
double divisionMethod(int a, int b) noexcept
{
if (b == 0)
{
// throw MyException("division by zero!!!");
// throw 100;
cout << "division by zero!!!" << endl;
return -1;
}
return a / b;
}
扩展
从语法上讲,noexcept 修饰符有两种形式:
简单地在函数声明后加上 noexcept 关键字
可以接受一个常量表达式作为参数,如下所示∶
double divisionMethod(int a, int b) noexcept(常量表达式);
常量表达式的结果会被转换成一个bool类型的值:
- 值为 true,表示函数不会抛出异常
- 值为 false,表示有可能抛出异常这里
- 不带常量表达式的noexcept相当于声明了noexcept(true),即不会抛出异常。