c++ - 统一 const T& 和 T&& 重载

Question

我有以下两个函数模板重载:

template<typename T>
optional<T> some(const T& x)
{
    return optional<T>(x);
}

template<typename T>
typename std::enable_if<std::is_rvalue_reference<T&&>::value, optional<T> >::type
some(T&& x)
{
    return optional<T>(std::move(x));
}

我第一次尝试通过完美转发统一重载失败了:

template<typename T>
optional<T> some(T&& x)
{
    return optional<T>(std::forward<T>(x));
}

error: forming pointer to reference type 'const std::basic_string<char>&'

我的第二次尝试也是如此:

template<typename T>
optional<typename std::remove_reference<T>::type> some(T&& x)
{
    return optional<typename std::remove_reference<T>::type>(std::forward<T>(x));
}

error: no matching function for call to
'std::basic_string<char>::basic_string(gpa::optional<const std::basic_string<char> >)'

是否有一种干净的方法来统一重载，或者我应该忍受拥有它们？

Answer 1

我不熟悉你的optional ，但也许您需要添加:

typename remove_const< ... >::type

围绕你的remove_reference在两个地方。 (因为你的 2 重载解决方案的第一个重载 - 我假设它通过了你的所有测试 - 在声明 remove_const 时有效地执行了 optional<T> )。