错误:声明'noreturn'的函数不应该返回

Question

在我的工作场所,我们有一个不同的noreturn属性内部名称.假设它是INTERNAL_DONT_RETURN

我正在写一个类的成员函数,我在那里做类似的事情

INTERNAL_DONT_RETURN void foo() const
{
    if(!*this)
    {
       throw CoolException();
    }
    m_call_throw();
}

这个m_call_throw()是一个私有类成员std::function<void()>m_call_throw ,它作为lambda填充在类的构造函数中.这个lambda什么也没做

m_call_throw([uncoolID]() { throw UncoolException(uncoolID); })

现在两者,gcc-4.9.3和clang都给了我以下警告

error: function declared 'noreturn' should not return [-Werror,-Winvalid-noreturn] } ^

我已经咨询了这个和这个问题,但没有人解释上述警告的原因.

1)编译器隐加入return作为解释在这里？

2)即使我抛出异常,为什么编译器认为我的函数会返回？

3)noreturn属性提到

当适用时,noreturn关键字不会影响异常路径:noreturn-marked函数仍然可以通过抛出异常或调用longjmp返回给调用者.

这与我的问题有关吗？

Answer 1

但你确实回来了!如果if语句为false,则通过函数结尾的下降返回.您可能知道这种情况永远不会发生,因为m_call_throw()永远不会返回(是吗？),但编译器显然不理解这种逻辑.

被m_call_throw()标记为noreturn？如果没有,请添加它.如果编译器没有接收到它,你可以在函数的末尾添加一个额外的throw,你知道它永远不会到达但是应该使警告静音.