创建“std::forward”别名-意外的结果

Creating an `std::forward` alias - unexpected results

本文关键字：意外 结果 别名 std forward 创建      更新时间：2023-10-16

我创建了一个std::forward别名，其行为应与std::forward完全相同。

template<class T> 
constexpr decltype(auto) fwd(T mValue) noexcept
{ 
    return std::forward<T>(mValue); 
}

然后，我在我的代码库中用fwd<...>替换了所有出现的std::forward<...>。

用g++ 4.9编译了所有项目——所有测试都通过了，一切正常。

然后我尝试使用clang++ 3.5进行编译。一些测试似乎随机失败，原因是fwd<...>。用std::forward<...>替换它再次修复了失败的测试。

我尝试使用尾随返回类型语法编写fwd<...>，因为我认为decltype(auto)不起作用：

template<class T> 
constexpr auto fwd(T mValue) noexcept -> decltype(std::forward<T>(mValue)) 
{ 
    return std::forward<T>(mValue); 
}

相同的结果：g++有效，clang++无效。

然后，我在cppreference上查找了std::forward的签名，并实现了我的别名，如下所示：

template<class T> 
constexpr T&& fwd(std::remove_reference_t<T>& t) { return std::forward<T>(t); }
template<class T> 
constexpr T&& fwd(std::remove_reference_t<T>&& t) { return std::forward<T>(t); }

这在g++和clang++上都有效（所有测试都通过）。

为什么decltype(auto)版本不起作用？它不应该返回与std::forward完全相同的返回类型吗

您忘记将mValue声明为移动引用

template <typename T>
constexpr decltype(auto) fwd(std::remove_reference_t<T> &&mValue)
{
    return std::forward<T>(mValue);
}
template <typename T>
constexpr decltype(auto) fwd(std::remove_reference_t<T> &mValue)
{
    return std::forward<T>(mValue);
}
相关文章：