Question

与this question类似，但我不想完成一个对象的转发成员，而是想知道如何完善STL容器的转发元素，即类似于

struct X {};
void f(X&);
void f(X&&);

template <typename Vector>
void g(Vector&& v, size_t i) {
  if (is_lvalue_reference<Vector>::value) {
    f(v[i]);
  } else {
    f(move(v[i]));
  }
}

Answer 1

namespace detail {
    template<class T, class U>
    using forwarded_type = std::conditional_t<std::is_lvalue_reference<T>::value,
                                              std::remove_reference_t<U>&, 
                                              std::remove_reference_t<U>&&>;
}
template<class T, class U>
detail::forwarded_type<T,U> forward_like(U&& u) {
    return std::forward<detail::forwarded_type<T,U>>(std::forward<U>(u));
}

template <typename Vector>
void g(Vector&& v, size_t i) {
  f(forward_like<Vector>(v[i]));
}

Demo。在实现中使用std::forward会自动阻止您将左值作为左值进行危险转发。

对于您的实际用例

我想从vector<T>，vector<U1>，....创建vector<U2>，其中每个元素T都是从U1, U2, ...构造的。每个阵列 vector<Ui>可以是&或&&，我希望Ui成为template<class T, class...Vectors> std::vector<T> make_vector(Vectors&&...vectors){ auto n = std::min({vectors.size()...}); std::vector<T> ret; ret.reserve(n); for(decltype(n) i = 0; i < n; ++i) ret.emplace_back(forward_like<Vectors>(vectors[i])...); return ret; } 完美转发。

这就像

{{1}}

完美的转发容器元素

1 个答案: