11

此代码编译并运行，抛出int：

#include <functional>

void r( std::function<void() noexcept> f ) { f(); }

void foo() { throw 1; }

int main()
{
    r(foo);
}

但是我希望编译器拒绝该行r(foo);，因为r应该只传递一个noexcept函数。说明noexcept符似乎被忽略了。有没有办法做到这一点？

编辑：这个问题不同于传递函数指针时是否应该转发关于 noexcept-ness 的知识？因为我正在寻求补救措施，特别是在std::function.

4

1 回答 1

1

我也偶然发现了这个问题。我的解决方案是使用委托对象（委托给std::function）。委托具有无例外规范。它仍然可以改进（添加移动等）。

它是这样的：

#include <functional>

template <class FuncT>
struct NoExceptDelegate;

template <class R, class ... Args >
struct NoExceptDelegate<R(Args...)>
{
    NoExceptDelegate(std::function<R(Args...)>&& callback)
      : callback_(move(callback))
    {
        if (!callback_)
        {
            throw std::invalid_argument( "NoExceptDelegate requires a valid callback");
        }
    }

    template <class...ArgsU>
    R operator()(ArgsU&&... args) noexcept
    {
        return callback_(std::forward<ArgsU>(args)...);
    }

  private:
      std::function<R(Args...)> callback_;
};

这通常用作异步接口中的合同，以指示提供的处理程序不应抛出，例如：

struct Interface
{
    virtual void doSomethingAsynchronous(
        NoExceptDelegate<void(int)> onCompletionResult) = 0;
    //...etc
};

由于客户端是回调提供者，NoExceptDelegate因此提供者承诺不会失败。提供者应确保至少std::function提供的是可调用的。

于 2015-07-28T11:29:27.503 回答