Идеальных экспедиторская элемент контейнера

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 в реализации автоматически предотвращает выполнение опасного перехода от rvalue как lvalue.

Для вашего фактического случая использования

Я хотел бы создать 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; 
}