正常函数的返回类型扣除问题？

Question

在 Eric Niebler 的 Proto-0x 演讲的最后，有一个关于 C++1y 特性的讨论。在讨论return type deduction for normal functions 时，他说，（我想，使用当前的 C++1y 规范），他将无法对普通函数使用返回类型推导（这将允许他替换他的一些RETURN try_call聪明）。我希望我理解了这一点。如果我没有，请纠正我。

遗憾的是，视频中没有捕捉到这一断言背后的基本原理（我几乎听不到任何声音）。我能听到的唯一原因是函数没有被推断为noexcept。但似乎还有另一个更重要的原因。

有没有人知道原因或能够转录讨论内容？

Answer 1

如果不看视频（如果相关部分听不见，那么无论如何都没有意义！）我会冒险猜测问题在于返回类型推导不允许在返回类型中使用 SFINAE 技巧。 RETURNS 宏（来自 David Abrahams）的使用方式如下：

    template<typename T>
      auto foo( T&& t ) RETURNS( some-expression-using-t ); 

扩展至：

    template<typename T>
      auto foo( T&& t ) noexcept(noexcept( some-expression-using-t ))
      -> decltype( some-expression-using-t )
      { return some-expression-using-t; }

这会从表达式中推导出返回类型和异常规范，如果 <i>some-expression-using-t</i> 不是有效的表达式，SFINAE 还会导致函数从重载集中删除。

但是在 C++1y 中，像这样重写它以使用返回类型推导：

    template<typename T>
      decltype(auto) foo( T&& t )
      { return some-expression-using-t; }

您失去了自动异常规范和 SFINAE 行为。要恢复这些功能，您必须再次多次写出<i>some-expression-using-t</i> 部分（或使用宏），而不是使用（否则非常好）返回类型推导功能。

注意Concepts Lite 将为 SFINAE 功能提供更好的替代方案，但我们可能仍希望 noexcept(auto) 再次恢复自动异常规范行为。