欢迎您访问程序员文章站本站旨在为大家提供分享程序员计算机编程知识!
您现在的位置是: 首页  >  IT编程

C++标准库第二版笔记 3 和异常的理解 1

程序员文章站 2022-10-19 14:51:50
C++标准库第二版笔记 3 和异常的理解 1 差错和异常(error and exception)的处理 标准异常类(exception class) 定义于 分为: 1、语言本身支持的异常 2、标准库发出的异常 3、程序作用域(scope of a program)之外发出的异常 程序作用域内的错 ......

C++标准库第二版笔记 3 和异常的理解 1


差错和异常(error and exception)的处理

标准异常类(exception class)

定义于

分为: 1、语言本身支持的异常 2、标准库发出的异常 3、程序作用域(scope of a program)之外发出的异常

程序作用域内的错误通常可以被避免(代码的逻辑错误,俗称bug)。程序外的错误,例如资源不足等列为第三种。

栈解旋(stack unwinding)

异常被抛出后,从进入try块起,到异常被抛掷前,这期间在栈上的构造的所有对象,都会被自动析构。析构的顺序与构造的顺序相反。这一过程称为栈的解旋(unwinding)。

自注:这也是effective c++中提到的,延后局部变量声明的原因。

异常接口声明(exception interface)

1)为了加强程序的可读性,可以在函数声明中列出可能抛出的所有异常类型,例如:

void func() throw (A, B, C , D); //这个函数func()

能够且只能抛出类型A B C D及其子类型的异常。 2)如果在函数声明中没有包含异常接口声明,则次函数可以抛掷任何类型的异常,例如:

void func();

3)一个不抛掷任何类型异常的函数可以声明为:

void func() throw();

4) 如果一个函数抛出了它的异常接口声明所不允许抛出的异常,unexpected函数会被调用,该函数默认行为调用terminate函数中止程序。

自注:由此引发了之前所没有解决的关键字noexcept的讨论。

关键字 noexcept

void foo() noexcept; // 表面函数foo不准备也不打算抛出异常

字面意思

不打算抛出异常有两层意思。

1、该函数中任意原子操作都绝不抛出异常。
2、所有的异常都会在该函数中得到捕获并妥善解决。

如果在noexcept关键字下的函数中有异常或还尚未处理,程序将调用std terminate并且将默认调用std abort。

原因

他瞄准了空异常明细(empty exception specification)的各种问题。

有三,运行时检验(会直接abort)、开销和无法用于泛型码中

(runtime checking)
(runtime overhead)
(unusable in generic code)

指定何时不抛出异常

void swap(type& x, type& y) noexcept(noexcept(x.swap(y))) {
    x.swap(y);
}

因此noexcept等价于noexcept(true)

设计珠玑

1、析构函数应当提供一个隐式供应的(nonthrowing)异常明细。 2、可被标注来说明与c兼容。 3、不适用于带有危险的(若违反会导致不明确行为)的函数。