编辑:由于@Johannes似乎不想发布最佳解决方案作为答案,所以我会做。
#include <iterator>
#include <vector>
#include <memory>
int main(){
using move_only = std::unique_ptr<int>;
move_only init[] = { move_only(), move_only(), move_only() };
std::vector<move_only> v{std::make_move_iterator(std::begin(init)),
std::make_move_iterator(std::end(init))};
}
返回的迭代器std::make_move_iterator
在取消引用时将移动指向的元素。
原始答案:
我们将在此处使用一些辅助类型:
#include <utility>
#include <type_traits>
template<class T>
struct rref_wrapper
{ // CAUTION - very volatile, use with care
explicit rref_wrapper(T&& v)
: _val(std::move(v)) {}
explicit operator T() const{
return T{ std::move(_val) };
}
private:
T&& _val;
};
// only usable on temporaries
template<class T>
typename std::enable_if<
!std::is_lvalue_reference<T>::value,
rref_wrapper<T>
>::type rref(T&& v){
return rref_wrapper<T>(std::move(v));
}
// lvalue reference can go away
template<class T>
void rref(T&) = delete;
可悲的是,这里的简单代码无法正常工作:
std::vector<move_only> v{ rref(move_only()), rref(move_only()), rref(move_only()) };
由于该标准,无论出于何种原因,都没有定义这样的转换副本构造函数:
// in class initializer_list
template<class U>
initializer_list(initializer_list<U> const& other);
该initializer_list<rref_wrapper<move_only>>
由大括号初始化列表(创建{...}
)将不会转换为initializer_list<move_only>
的vector<move_only>
发生。因此,我们需要在此处进行两步初始化:
std::initializer_list<rref_wrapper<move_only>> il{ rref(move_only()),
rref(move_only()),
rref(move_only()) };
std::vector<move_only> v(il.begin(), il.end());