From: Martin Kronbichler <martin.kronbichler@uni-a.de>
Date: Mon, 23 May 2022 21:06:04 +0000 (+0200)
Subject: Fix compilation of Utilities::pack with std::vector<bool>
X-Git-Tag: v9.4.0-rc1~166^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=de74f9791c0326cb5eb1c1e7295fe4a347cf7c86;p=dealii.git

Fix compilation of Utilities::pack with std::vector<bool>
---

diff --git a/include/deal.II/base/utilities.h b/include/deal.II/base/utilities.h
index 92b3df3cd8..9ff8ff10eb 100644
--- a/include/deal.II/base/utilities.h
+++ b/include/deal.II/base/utilities.h
@@ -1233,16 +1233,16 @@ namespace Utilities
     template <typename T>
     struct IsVectorOfTriviallyCopyable<std::vector<T>>
     {
-      static constexpr bool value = std::is_trivially_copyable<T>::value;
+      static constexpr bool value =
+        std::is_trivially_copyable<T>::value && !std::is_same<T, bool>::value;
     };
 
 
 
     /**
-     * A function that is used to append the contents of a
-     * std::vector<T> (where T is a type that
-     * satisfies std::is_trivially_copyable<T>::value == true)
-     * bit for bit to a character array.
+     * A function that is used to append the contents of a std::vector<T>
+     * (where T is a type that satisfies std::is_trivially_copyable<T>::value
+     * == true but not T==bool) bit for bit to a character array.
      *
      * If the type is not such a vector of T, then the function
      * throws an exception.
@@ -1258,7 +1258,8 @@ namespace Utilities
 
 
     template <typename T,
-              typename = std::enable_if_t<std::is_trivially_copyable<T>::value>>
+              typename = std::enable_if_t<!std::is_same<T, bool>::value &&
+                                          std::is_trivially_copyable<T>::value>>
     inline void
     append_vector_of_trivially_copyable_to_buffer(
       const std::vector<T> &object,
@@ -1296,7 +1297,8 @@ namespace Utilities
 
 
     template <typename T,
-              typename = std::enable_if_t<std::is_trivially_copyable<T>::value>>
+              typename = std::enable_if_t<!std::is_same<T, bool>::value &&
+                                          std::is_trivially_copyable<T>::value>>
     inline void
     create_vector_of_trivially_copyable_from_buffer(
       const std::vector<char>::const_iterator &cbegin,