c++ - 从 noexcept 函数参数的构造函数中抛出的异常会立即导致对 std::terminate() 的调用吗？

Question

给定以下类声明:

class phone_number
{
public:
    explicit phone_number( std::string number ) noexcept( std::is_nothrow_move_constructible< std::string >::value );
}

phone_number::phone_number( std::string number ) noexcept( std::is_nothrow_move_constructible< std::string >::value )
    : m_originalNumber{ std::move( number ) }
{

}

如果从字符串构造函数中抛出异常，由于 noexcept 规范，以下代码行是否会立即调用 std::terminate()？

const phone_number phone("(123) 456-7890");

Answer 1

由于所有参数都在调用函数之前被评估，因此参数的构造函数发出的异常不会违反函数本身的 noexcept 契约。

为了证实这一点，这是我尝试过的，近似于您的示例:

class A
{
public:
    A(const char *)
    {
        throw std::exception();
    }
};

void f(A a) noexcept
{

}

int main()
{   
    try
    {
        f("hello");
    }
    catch(std::exception&)
    {
        cerr<< "Fizz..." << endl;
    }
    return 0;
}

不出所料，输出是 Fizz... 并且程序正常退出。