[英]Perfect forwarding container element
Similar to this question , but instead of perfect forwarding member of an object, I would like to know how to perfect forwarding elements of an STL container, ie similar to 与此问题类似,但我不是想完善对象的转发成员,而是想知道如何完善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]));
}
}
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 . 演示 Using
std::forward
in the implementation automatically prevents you from doing a dangerous forward of rvalue as lvalue. 在实现中使用
std::forward
自动阻止您将rvalue作为lvalue进行危险的转发。
For your actual use case 对于您的实际用例
I'd like to create
vector<T>
fromvector<U1>
,vector<U2>
, ...., where each elementT
is constructed fromU1, U2, ...
.我想从
vector<U1>
,vector<U2>
,...创建一个vector<T>
,其中每个元素T
由U1, U2, ...
。 Each array ofvector<Ui>
could be either&
or&&
, and I'd like theUi
to be perfectly forwarded.vector<Ui>
每个数组可以是&
或&&
,我希望Ui
能够完美转发。
this becomes something like 这变成像
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;
}
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.