第 9 章 其他杂项

    9.2 noexcept 的修饰和操作

    C++ 相比于 C 的一大优势就在于 C++ 本身就定义了一套完整的异常处理机制。 然而在 C++11 之前，几乎没有人去使用在函数名后书写异常声明表达式， 从 C++11 开始，这套机制被弃用，所以我们不去讨论也不去介绍以前这套机制是如何工作如何使用， 你更不应该主动去了解它。

    C++11 将异常的声明简化为以下两种情况：

    1. 函数可能抛出任何异常
    2. 函数不能抛出任何异常

    并使用 noexcept 对这两种行为进行限制，例如：

    使用 noexcept 修饰过的函数如果抛出异常，编译器会使用 std::terminate() 来立即终止程序运行。

    noexcept 还能够做操作符，用于操作一个表达式，当表达式无异常时，返回 true，否则返回 false。

    1. #include <iostream>
    2. void may_throw() {
    3.     throw true;
    4. }
    5. auto non_block_throw = []{
    6.     may_throw();
    7. };
    8.     return;
    9. }
    11. auto block_throw = []() noexcept {
    12.     no_throw();
    14. int main()
    15. {
    16.     std::cout << std::boolalpha
    17.         << "may_throw() noexcept? " << noexcept(may_throw()) << std::endl
    18.         << "no_throw() noexcept? " << noexcept(no_throw()) << std::endl
    19.         << "lmay_throw() noexcept? " << noexcept(non_block_throw()) << std::endl
    20.         << "lno_throw() noexcept? " << noexcept(block_throw()) << std::endl;
    21.     return 0;
    22. }

    最终输出为：

    1. 捕获异常, 来自 my_throw()
    2. 捕获异常, 来自 non_block_throw()

    传统 C++ 里面要编写一个充满特殊字符的字符串其实是非常痛苦的一件事情， 比如一个包含 HTML 本体的字符串需要添加大量的转义符， 例如一个Windows 上的文件路径经常会：C:\\File\\To\\Path。

    C++11 提供了原始字符串字面量的写法，可以在一个字符串前方使用 R 来修饰这个字符串， 同时，将原始字符串使用括号包裹，例如：

    C++11 引进了自定义字面量的能力，通过重载双引号后缀运算符实现：

    1. // 字符串字面量自定义必须设置如下的参数列表
    2.     return std::string(wow1)+"woooooooooow, amazing";
    3. }
    5. std::string operator"" _wow2 (unsigned long long i) {
    6.     return std::to_string(i)+"woooooooooow, amazing";
    7. }
    10.     auto str = "abc"_wow1;
    11.     auto num = 1_wow2;
    12.     std::cout << str << std::endl;
    13.     std::cout << num << std::endl;
    14.     return 0;
    15. }

    自定义字面量支持四种字面量：

    1. 整型字面量：重载时必须使用 unsigned long long、const char *、模板字面量算符参数，在上面的代码中使用的是前者；
    2. 浮点型字面量：重载时必须使用 long double、const char *、模板字面量算符；
    3. 字符串字面量：必须使用 (const char *, size_t) 形式的参数表；
    4. 字符字面量：参数只能是 char, wchar_t, char16_t, char32_t 这几种类型。

    9.4 内存对齐

    其中 std::max_align_t 要求每个标量类型的对齐方式严格一样，因此它几乎是最大标量没有差异， 进而大部分平台上得到的结果为 long double，因此我们这里得到的 AlignasStorage 的对齐要求是 8 或 16。

    本节介绍的几个特性是从仍未介绍的现代 C++ 新特性里使用频次较靠前的特性了， 是最为重要的特性，它的一个功能在于能够阻止异常的扩散传播，有效的让编译器最大限度的优化我们的代码。

    | 上一章 |

    许可

    本教程由撰写，采用知识共享署名-非商业性使用-禁止演绎 4.0 国际许可协议许可。项目中代码使用 MIT 协议开源，参见。