使用唯一指针的向量 class 的 C++ 下标运算符 []

Question

我正在使用malloc 。 特别是，为了提供一个最小的例子，我只展示了构造函数和下标运算符[]

#include <iostream>
#include <algorithm>
#include <utility>
#include <cstdlib>

template<typename T>
class Vector{
  std::unique_ptr<T,decltype(&free)> elem{nullptr,free}; 
  std::size_t _size{};
  std::size_t _capacity{};

public:
      
  Vector() = default;
  ~Vector(){
    for(auto i = 0; i <_size; ++i){
      // invoke the destructor
    }

  }

  Vector(std::initializer_list<T> list): // pass by value
    elem{static_cast<T*>(malloc(list.size()*sizeof(T))), free},
    _size{list.size()},
    _capacity{list.size()}{

    std::uninitialized_copy(list.begin(), list.end(), elem.get());
  }


  auto& operator[](const std::size_t i){
    return elem[i];
  }

 const auto& operator[](const std::size_t i) const{
    return elem[i];
  }
  
  
  
};

然后我实现了经典的push_back() ，但我得到的所有错误都来自以下：

error: no match for ‘operator[]’ (operand types are ‘const std::unique_ptr<int, void (*)(void*)>’ and ‘const size_t’ {aka ‘const long unsigned int’})
   80 |     return elem[i];

似乎问题在于我无法访问我的unique_ptr的第i个元素，但我真的无法理解问题所在！ 我该如何解决这个问题，以便我实现的所有其他功能都可以工作？ 另外，我的elem[i]的问题是elem是unique_prt吗？

Answer 1

std::unique_ptr<T>没有operator[] ，但std::unique_ptr<T[]>有。

所以你可以使用

std::unique_ptr<T[], decltype(&free)> elem{nullptr,free}; 

注意：使用 class 作为删除器允许空基优化 (EBO)，并简化调用站点：

struct Free
{
    void operator()(void* p) const { free(p); }
};


std::unique_ptr<T[], Free> elem{nullptr};