根据 C++ 标准，类构造函数上的 noexcept noexcept-specification 究竟适用于什么？

1. 函数体？
   1. 在可选的 ctor-initializer 中初始化成员？
      1. 在可选的mem-initializer中初始化基类？
      2. 在可选的mem-initializer中初始化类成员？
   2. 复合语句？
   3. 函数尝试 block ？
2. 未在 ctor-initializer 中初始化对象基类的初始化？
3. 未在 ctor-initializer 中初始化对象类成员的初始化？
4. 还有什么吗？

换句话说，noexcept noexcept-specification 包含以上哪些内容(即触发 std::terminate() 时如果 noexcept(true))?

请提供对标准的引用。也欢迎对构造函数使用 noexcept 的任何注意事项提供提示。谢谢!

最佳答案

In other words, which of the above are encompassed by the noexcept noexcept-specification...?

异常规范(noexcept 和动态异常规范)涉及基类的构造、成员的构造和初始化以及构造函数主体中的代码。 基本上，在对象构造过程中执行的所有函数 - 这是有道理的，因为异常规范与对象的构造函数相关联，因此它应该涵盖在对象构造过程中执行的代码；如果构造的任何部分未包含在其中，那将是违反直觉的。

支持标准引号...

如果在构造过程中抛出异常(并且可能未处理)怎么办？

[except.spec]/9

Whenever an exception of type E is thrown and the search for a handler ([except.handle]) encounters the outermost block of a function with an exception specification that does not allow E, then,

• if the function definition has a dynamic-exception-specification, the function std::unexpected() is called ([except.unexpected]),
• otherwise, the function std::terminate() is called ([except.terminate]).

“函数的最外层 block ”是什么意思？ 函数体。¹

exception specification以上包括 noexcept-specification。

如何根据隐式声明的构造函数确定隐式声明的异常规范？

[except.spec]/15

An implicitly-declared special member function f of some class X is considered to have an implicit exception specification that consists of all the members from the following sets:

• if f is a constructor,

  • the sets of potential exceptions of the constructor invocations

    • for X's non-variant non-static data members,
    • for X's direct base classes, and

    • if X is non-abstract ([class.abstract]), for X's virtual base classes,

      (including default argument expressions used in such invocations) as selected by overload resolution for the implicit definition of f ([class.ctor])...

  • the sets of potential exceptions of the initialization of non-static data members from brace-or-equal-initializers that are not ignored ([class.base.init]);

这对编译器将使用什么来确定(并因此考虑涵盖)异常规范提供了非常有用的说明。

¹“函数的最外层 block ”是什么意思？有人评论关注函数 block 的定义。该标准没有对函数 block 的正式定义。短语block of a function 仅用于Exception Handling [except] .该短语早在 C++98 就包含在标准中。

为了进一步澄清这一点，我们需要寻找替代来源并得出一些合理的结论。

来自 Stroustrup C++ glossary ;

function body - the outermost block of a function. See also: try-block, function definition. TC++PL 2.7, 13.

来自[dcl.fct.def.general]/1 function-body 的语法，它覆盖了 ctor-initializer 和 compound-statement 以及 function-try-block;

Function definitions have the form;

...

  function-body:
    ctor-initializer_opt compound-statement
    function-try-block

...

Any informal reference to the body of a function should be interpreted as a reference to the non-terminal function-body...

同样重要的是要记住，异常规范与函数相关联，而不是通用代码块(作用域 block 等)。

考虑到异常处理子句和 Stroustrup FAQ 中短语的存在时间，函数 block 与函数体 相同，标准可以可能会更新异常(exception)条款中使用的语言。

一些经验证据，给出下面的代码，用于构建a1、a2 和a3(当其他的被注释掉时) ，导致 std::terminate 被调用。结果适用于 g++, clang和 MSVC .

struct Thrower { Thrower() { std::cout << "throwing..." << std::endl; throw 42; } };

struct AsMember { Thrower t_; AsMember() noexcept : t_{} { std::cout << "ctor" << std::endl; } };

struct AsBase : Thrower { AsBase() noexcept { std::cout << "ctor" << std::endl; } };

struct AsNSDMI { Thrower t_ {}; AsNSDMI() noexcept { std::cout << "ctor" << std::endl; } };

int main()
{
    std::set_terminate([](){ std::cout << "terminating..." << std::endl; });
    try {
        //AsMember a1{};
        //AsBase a2{};
        AsNSDMI a3{};
    }
    catch (...) { std::cout << "caught..." << std::endl; }
    return 0;
}

关于c++ - noexcept 究竟包含什么构造函数？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/36295738/