c++11新特性篇-noexcept

前言

在上篇文章介绍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），即不会抛出异常。