fix: control array and element life cycle

Author: proost

tuple/include/array_tuple_sketch.hpp

@@ -34,27 +34,38 @@ class array {
 public:
   using value_type = T;
   using allocator_type = Allocator;
+  using alloc_traits = std::allocator_traits<Allocator>;
 
-  explicit array(uint8_t size, T value, const Allocator& allocator = Allocator()):
-  allocator_(allocator), size_(size), array_(allocator_.allocate(size_)) {
-    std::fill(array_, array_ + size_, value);
+  explicit array(uint8_t size, const T& value, const Allocator& allocator = Allocator()):
+  allocator_(allocator), size_(size), array_(size_ == 0 ? nullptr : allocator_.allocate(size_)) {
+    for (uint8_t i = 0; i < size_; ++i) {
+      alloc_traits::construct(allocator_, array_ + i, value);
+    }
   }
   array(const array& other):
     allocator_(other.allocator_),
     size_(other.size_),
-    array_(allocator_.allocate(size_))
+    array_(size_ == 0 ? nullptr : allocator_.allocate(size_))
   {
-    std::copy(other.array_, other.array_ + size_, array_);
+    for (uint8_t i = 0; i < size_; ++i) {
+      alloc_traits::construct(allocator_, array_ + i, other.array_[i]);
+    }
   }
   array(array&& other) noexcept:
     allocator_(std::move(other.allocator_)),
     size_(other.size_),
     array_(other.array_)
   {
     other.array_ = nullptr;
+    other.size_ = 0;
   }
   ~array() {
-    if (array_ != nullptr) allocator_.deallocate(array_, size_);
+    if (array_ != nullptr) {
+      for (uint8_t i = 0; i < size_; ++i) {
+        alloc_traits::destroy(allocator_, array_ + i);
+      }
+      allocator_.deallocate(array_, size_);
+    }
   }
   array& operator=(const array& other) {
     array copy(other);