Explicitly disallow copying or moving TaskData objects.

diff --git a/include/deal.II/base/thread_management.h b/include/deal.II/base/thread_management.h
index e5bcc12e0a4e51cc084692617910ddf8ca5bd5b9..265768f35df3b5233e20f9719a2dc4c2f55b78c9 100644 (file)
--- a/include/deal.II/base/thread_management.h
+++ b/include/deal.II/base/thread_management.h
@@ -1296,6 +1296,31 @@ namespace Threads
         , task_has_finished(false)
       {}
 
+      /**
+       * There can only be one TaskData object referencing
+       * a task. Make sure that these objects are not copied.
+       */
+      TaskData(const TaskData &) = delete;
+
+      /**
+       * There can only be one TaskData object referencing
+       * a task. Make sure that these objects are not moved.
+       */
+      TaskData(TaskData &&) = delete;
+
+      /**
+       * There can only be one TaskData object referencing
+       * a task. Make sure that these objects are not copied.
+       */
+      TaskData &
+      operator=(const TaskData &) = delete;
+
+      /**
+       * There can only be one TaskData object referencing
+       * a task. Make sure that these objects are not moved.
+       */
+      TaskData &
+      operator=(TaskData &&) = delete;
 
       /**
        * Destructor. Wait for the results to be ready. This ensures that the