From: Wolfgang Bangerth <bangerth@colostate.edu>
Date: Tue, 23 Jul 2024 22:27:40 +0000 (-0600)
Subject: Obey the rule of 5 or 7.
X-Git-Tag: v9.6.0-rc2~9^2~1
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2dfd096092773f988506ec1219e356a9ddfef39c;p=dealii.git

Obey the rule of 5 or 7.
---

diff --git a/include/deal.II/base/task_result.h b/include/deal.II/base/task_result.h
index fa62e99f0a..54f706b7cf 100644
--- a/include/deal.II/base/task_result.h
+++ b/include/deal.II/base/task_result.h
@@ -182,6 +182,22 @@ namespace Threads
      */
     ~TaskResult();
 
+    /**
+     * Copy operator. Like the copy constructor, this function is deleted
+     * because TaskResult corresponds to the output of a specific task,
+     * not a copy of that tasks's outcome.
+     */
+    TaskResult &
+    operator=(const TaskResult &) = delete;
+
+    /**
+     * Move assignment operator. Following this call, the newly created object
+     * represents the task's result, whereas the old object no longer
+     * represents anything and is left as if default-constructed.
+     */
+    TaskResult &
+    operator=(TaskResult &&);
+
     /**
      * Copy assignment operator from a Task object. By assigning the Task
      * object to the current object, the current object is set to represent
@@ -426,6 +442,33 @@ namespace Threads
   }
 
 
+  template <typename T>
+  inline TaskResult<T> &
+  TaskResult<T>::operator=(TaskResult<T> &&other)
+  {
+    // First clear the current object before we put new content into it:
+    clear();
+
+    // Then lock the other object and move the members of the other
+    // object, and finally reset it. Note that we do not have to wait for
+    // the other object's task to finish (nor should we): We may simply
+    // inherit the other object's task.
+    std::lock_guard<std::mutex> lock(other.mutex);
+
+    result_is_available       = other.result_is_available.load();
+    other.result_is_available = false;
+
+    task = std::move(other.task);
+    other.task.reset();
+
+    task_result = std::move(other.task_result);
+    other.task_result.reset();
+
+    return *this;
+  }
+
+
+
   template <typename T>
   template <typename Callable>
   void