Tasks: Wait in destructor

tiledb/common/thread_pool/thread_pool.h

@@ -100,6 +100,31 @@ class ThreadPool {
         : ThreadPoolTask(tp)
         , f_(std::move(f)){};
 
+    /**
+     * Move is supported
+     */
+    Task(Task&&) = default;
+    Task& operator=(Task&&) = default;
+
+    /**
+     * Disable copy and copy assignment
+     */
+    Task(const Task&) = delete;
+    Task& operator=(const Task&) = delete;
+
+    /*
+     * Destructor waits for the task to be ready
+     */
+    ~Task() {
+      if (f_.valid()) {
+        try {
+          f_.wait();
+        } catch (...) {
+          return;
+        }
+      }
+    }
+
     /**
      * Wait in the threadpool for this task to be ready.
      */
@@ -158,6 +183,14 @@ class ThreadPool {
      */
     SharedTask() = default;
 
+    /**
+     * Both copy and move are supported
+     */
+    SharedTask(SharedTask&& t) = default;
+    SharedTask& operator=(SharedTask&& t) = default;
+    SharedTask(const SharedTask& t) = default;
+    SharedTask& operator=(const SharedTask& t) = default;
+
     /**
      * Constructor from std::future or std::shared_future
      */
@@ -172,6 +205,19 @@ class ThreadPool {
         : ThreadPoolTask(t.tp_)
         , f_(std::move(t.f_)){};
 
+    /*
+     * Destructor waits for the task to be ready
+     */
+    ~SharedTask() {
+      if (f_.valid()) {
+        try {
+          f_.wait();
+        } catch (...) {
+          return;
+        }
+      }
+    }
+
     /**
      * Wait in the threadpool for this task to be ready.
      */