Use a virtual destructor with virtual methods.

diff --git a/include/deal.II/base/memory_space.h b/include/deal.II/base/memory_space.h
index 8a475d320c234d5da80da374761b67355d7ced89..56c60844984cd30fe39ebb2b6e5bc86e5d598236 100644 (file)
--- a/include/deal.II/base/memory_space.h
+++ b/include/deal.II/base/memory_space.h
@@ -117,6 +117,13 @@ namespace MemorySpace
       : values(nullptr, &std::free)
     {}
 
+    virtual ~MemorySpaceData() = default;
+
+    MemorySpaceData(MemorySpaceData &&) noexcept = default;
+
+    MemorySpaceData &
+    operator=(MemorySpaceData &&) noexcept = default;
+
     virtual void
     copy_to(Number *begin, std::size_t n_elements)
     {
@@ -157,6 +164,13 @@ namespace MemorySpace
       , values_dev(nullptr, Utilities::CUDA::delete_device_data<Number>)
     {}
 
+    virtual ~MemorySpaceData() = default;
+
+    MemorySpaceData(MemorySpaceData &&) noexcept = default;
+
+    MemorySpaceData &
+    operator=(MemorySpaceData &&) noexcept = default;
+
     virtual void
     copy_to(Number *begin, std::size_t n_elements)
     {