[leni536]

> Especially since there is no way to mark a function pointer as noexcept.

There is, noexcept is part of the type since C++17. In fact, I prefer noexcept function pointer parameters for C library wrappers, as I don't expect most libraries written in C to deal with stack unwinding at all.

[tsimionescu]

Oops, you're right, I hadn't checked that this had changed in C++ 17.