6

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

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> >)'

有没有一种干净的方法来统一重载，还是我应该忍受它们？

4

2 回答 2

4

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

typename remove_const< ... >::type

在你周围的remove_reference两个地方。（因为你的 2-overload 解决方案的第一次重载 - 我假设它通过了你的所有测试 -remove_const在声明时有效地做了 a optional<T>）。

于 2012-04-18T15:11:41.053 回答
1

一般来说，最好的方法是按值获取对象，让调用者决定是复制还是移动它：

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

如果调用者使用临时值调用它或使用std::move它们的值，那么它会被移动。否则会被复制。

是的，这确实意味着您将进行一次额外的移动（如果移动与复制相同，则意味着进行两次复制）。如果这对您来说是一个重大的性能问题，那么您将不得不使用两个重载实现。

于 2012-04-18T18:36:16.713 回答