为什么在 C++11/14 中没有 std::move_if_noexcept 对应的 std::forward？

Question

我看过 Scott Meyers 在 GoingNative2013 “An Effective C++11/14 Sampler”上的演讲，他解释了std::move_if_noexcept 的用法。

所以我认为应该有一个std::forward_if_noexcept 来保证forward 的异常安全？为什么标准库中没有这样的东西？有没有其他保证的可能？

Answer 1

前向语义已经是有条件的，即它们保留其参数的值类别。另一方面，移动无条件地将其参数的值类别（从左值到右值）更改为右值（引用），std::move_if_noexcept 根据是否获得结果值类别移动构造函数不会抛出异常，实际上也使其成为条件。

简而言之，std::forward 不会改变任何东西，它保留了值类别。另一方面，std::move 确实改变了值类别。所以引入std::move_if_noexcept是说如果std::move的改变会导致异常，那么什么都不要改变；不要动它。

我认为这里的基本原理也适用于所有事物 std::move 和 std::forward 的预期惯用用法。在 Scott 关于“通用引用”、转发和移动的其他演讲之一（可能在 C++ 和 Beyond 2012）中，他非常强调转发的惯用用法，我认为这支持了很多 std::forward 是什么以及如何它被使用。它也可能像从未考虑过的那样简单。

我认为没有必要，或者至少当std::forward 生效时需求减少了。

鉴于它可能有一个用例，实施一个不会太难；但我不确定一般用例。可以说，与可能的异常相关的条件以及所需的异常保证应该在执行转发的函数之外进行测试和处理。

template <class U, class T>
U wrapper(T&& arg)
{
    return U(forward<T>(arg));
}

template <class U, class T>
U method() 
{
  T t;
  // work with t
  return wrapper<U>(move_if_noexcept(t));
}

诚然，这其中很多都处于“早期”阶段，因此可能会发生变化。