C++ 新特性noexcept

/*
抛出异常，则调用栈对应的自动变量相应的析构函数都会调用
c++11中引用noexcept关键字主要用于对一个函数做出不抛出异常的说明，不抛出异常可以优化函数代码
在函数声明或定义后面加上noexcept或noexcept(false)（参数为false代表可以抛异常，否则反之）
*/
#include <iostream>

struct Throw_0_Exception{
    std::string what(){
       return "The divisible cannot be 0";
    }
};
template <typename T>
auto func(T a, T b) noexcept(false)
{
    if (b == 0)
    {
        throw Throw_0_Exception();
    }
    auto res = (a)/(b);
    
    return res;
}

void test1()
{
    int a = 2;
    int b = 0;
    std::cout<<func<int>(a,b)<<std::endl;
}

// 为了让程序安全性，正常运行，类的析构函数默认就是不抛出异常
// 抛出异常会调用std::terminate来终止程序

struct Test{
~Test(){} // default noexcept(true)
};
// 原始new/delete操作符重载默认也是不抛出异常
void* opeartor new(size_t) noexcept(false);
void* operator new[](size_t) noexcept(false);
void* operator delete(void*) noexcept(false);
void* operator delete[](void*) noexcept(false);
int main()
{
    try
    {
        test1();
    }
    catch(Throw_0_Exception & e)
    {
        std::cout << e.what() << '\n';
    }
    
}