From: Wolfgang Bangerth <bangerth@colostate.edu>
Date: Thu, 8 Jun 2023 21:02:44 +0000 (-0600)
Subject: Inherit iterator traits from the underlying class.
X-Git-Tag: v9.5.0-rc1~132^2~2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f8284b7e458192284ec9ca0eea606d93edbaab85;p=dealii.git

Inherit iterator traits from the underlying class.
---

diff --git a/include/deal.II/hp/collection.h b/include/deal.II/hp/collection.h
index 6e8e89f2da..acc5860f6e 100644
--- a/include/deal.II/hp/collection.h
+++ b/include/deal.II/hp/collection.h
@@ -21,6 +21,7 @@
 #include <deal.II/base/memory_consumption.h>
 #include <deal.II/base/subscriptor.h>
 
+#include <iterator>
 #include <memory>
 #include <vector>
 
@@ -306,11 +307,9 @@ namespace std
    */
   template <class T>
   struct iterator_traits<dealii::hp::CollectionIterator<T>>
-  {
-    using iterator_category = random_access_iterator_tag;
-    using value_type        = T;
-    using difference_type   = std::ptrdiff_t;
-  };
+    : public iterator_traits<
+        typename std::vector<std::shared_ptr<const T>>::iterator>
+  {};
 } // namespace std
 
 #endif