由函数指针初始化的 std::function 的异常安全

Question

std::function的构造函数没有声明noexcept：

template< class F > function( F f );

另一方面，C++ 参考提到以下内容：

如果 f 是函数指针或 std::reference_wrapper 则不抛出， 否则可能抛出 std::bad_alloc 或副本抛出的任何异常 存储的可调用对象的构造函数。

这是否意味着可以安全地声明以下类的构造函数noexcept，因为我使用指向静态成员函数的指针初始化std::function？

class Worker
{
public:    
    Worker() noexcept {} // ok?
    void test() { reporter("test"); }
private:
    static void dummy(const std::string& ) {};
    std::function<void (const std::string&)> reporter = &dummy; // doesn't throw an exception?
};

int main()
{
    Worker w;
    w.test();
}

如果 std::function 成员是从 lambda 构造的，那么声明构造函数 noexcept 会出错吗？

class Worker
{
public:    
    Worker() noexcept {} // bad?
    void test() { reporter("Test"); }
private:
    std::function<void (const std::string&)> reporter = [](const std::string& ){}; // may throw?
};

我还注意到，当声明 noexcept 的构造函数默认时，GCC 会出错，因为它的异常规范与隐式异常规范不匹配，即 noexcept(false) 由于 std::function 构造函数未声明为 noexcept。

class Worker
{
public:
    Worker() noexcept = default; // this won't compile    
    void test() { reporter("test"); }
private:
    static void dummy(const std::string& ) {};
    std::function<void (const std::string&)> reporter = &dummy;
};

Answer 1

这是否意味着可以安全地声明以下类的构造函数noexcept，因为我使用指向静态成员函数的指针初始化std::function？

请注意，声明函数noexcept 始终是“安全的”。如果抛出异常，程序将终止，但这不是未定义的行为。

但是是的，在您的情况下，不应抛出异常，因此不应发生程序终止。标准说：“Throws：如果f 是……函数指针……”

如果 std::function 成员是从 lambda 构造的，那么声明构造函数 noexcept 会出错吗？

是的，在你想要的意义上它是“错误的”（如果它抛出程序将终止），因为 lambda 不是函数指针。相反，在 lambda 前面加上一元 operator+ 以使其成为函数指针：

std::function<void (const std::string&)> reporter = +[](const std::string& ){};

我可能会在评论中提到这一点，特别是如果你没有评论为什么构造函数是noexcept。

我还注意到，当声明 noexcept 的构造函数被默认时，GCC 会出错

GCC 和 Clang 的最新版本都没有给出错误，所以如果这是真的，那么可能是根据标准发布的缺陷报告。