矢量<unique_ptr使用<A>初始化列表>

vector<unique_ptr<A> > using initialization list

本文关键字：lt gt 初始化 列表 unique 矢量 ptr 使用      更新时间：2023-10-16

我遇到了一个错误unique_ptr>：使用C++ -std=C++14 unique_ptr_vector.cpp -o main

这是一个简化版本：

头文件 'my_header.h'：

#include <iostream>
#include <string>
#include <memory>
#include <vector>
class A{
public:
    A() : n(0) {}
    A(int val) : n(val) {} 
    A(const A &rhs): n(rhs.n) {}
    A(A &&rhs) : n(std::move(rhs.n)) {}
    A& operator=(const A &rhs) { n = rhs.n; return *this; }
    A& operator=(A &&rhs) { n = std::move(rhs.n); return *this; }
    ~A() {}
    void print() const { std::cout << "class A: " << n << std::endl; }
private:
    int n;
};
namespace {
    std::vector<std::unique_ptr<A>> vecA = {
        std::make_unique<A>(1),
        std::make_unique<A>(2),
        std::make_unique<A>(3),
        std::make_unique<A>(4)
    };
}

我的 src 文件unique_ptr_vector.cpp：

#include "my_header.h"
using namespace std;
int main()
{
    for(const auto &ptrA : vecA){
        ptrA->print();
    }
    return 0;
}

我真的需要为每个组件单独使用push_back(std::make_unique<A>(<some_number>))吗？或者在标头中填充容器的首选方法是什么？或者这通常是一个坏主意？

我见过像这样的问题，这个，还有这个。

我知道现在初始化列表似乎是不可能的。 但是人们通常如何处理container<unique_ptr>.我应该简单地避免在标头中初始化它吗？

初始化列表是const数组的包装器。

const unique_ptr无法移动。

我们可以像这样（以完全合法的方式）解决这个问题：

template<class T>
struct movable_il {
  mutable T t;
  operator T() const&& { return std::move(t); }
  movable_il( T&& in ): t(std::move(in)) {}
};
template<class T, class A=std::allocator<T>>
std::vector<T,A> vector_from_il( std::initializer_list< movable_il<T> > il ) {
  std::vector<T,A> r( std::make_move_iterator(il.begin()), std::make_move_iterator(il.end()) );
  return r;
}

活生生的例子。

用：

auto v = vector_from_il< std::unique_ptr<int> >({
  std::make_unique<int>(7), 
  std::make_unique<int>(3)
});

如果你想知道为什么初始值设定项列表引用常量数据，你必须追踪并阅读委员会会议记录或询问在场的人。 我猜这是关于最不惊讶的原则和/或对可变数据和视图类型（例如将array_view重命名为 span）有错误的人。

如果您想要的不仅仅是矢量：

template<class C, class T=typename C::value_type>
C container_from_il( std::initializer_list< movable_il<T> > il ) {
  C r( std::make_move_iterator(il.begin()), std::make_move_iterator(il.end()) );
  return r;
}

这仍然需要按摩才能与关联容器一起使用，因为我们也想移动密钥。

template<class VT>
struct fix_vt {
  using type=VT;
};
template<class VT>
using fix_vt_t = typename fix_vt<VT>::type;
template<class VT>
struct fix_vt<const VT>:fix_vt<VT>{};
template<class K, class V>
struct fix_vt<std::pair<K,V>>{
  using type=std::pair<
    typename std::remove_cv<K>::type,
    typename std::remove_cv<V>::type
  >;
};
template<class C, class T=fix_vt_t<typename C::value_type>>
C container_from_il( std::initializer_list< movable_il<T> > il ) {
  C r( std::make_move_iterator(il.begin()), std::make_move_iterator(il.end()) );
  return r;
}
相关文章：