C++ standard fobids specializations of is_trivially_copyable

Author: aalkin

Common/MathUtils/include/MathUtils/Cartesian.h

@@ -284,25 +284,14 @@ GPUdi() SMatrix<T, D1, D1, MatRepSym<T, D1>> Similarity(const SMatrix<T, D1, D2,
 #if (!defined(GPUCA_STANDALONE) || !defined(DGPUCA_NO_ROOT)) && !defined(GPUCA_GPUCODE) && !defined(GPUCOMMONRTYPES_H_ACTIVE)
 std::ostream& operator<<(std::ostream& os, const o2::math_utils::Rotation2Df_t& t);
 std::ostream& operator<<(std::ostream& os, const o2::math_utils::Rotation2Dd_t& t);
+namespace o2::framework {
+template <typename T>
+struct is_forced_trivially_copyable;
 
-namespace std
-{
-
-/// Defining Point3D explicitly as trivially copyable
-///
-/// std::is_trivially_copyable<ROOT::Math::Cartesian3D<T>> fails because the class
-/// implements a copy constructor, although it does not much more than the default copy
-/// constructor. We need Point3D to fulfill the condition in order to make types
-/// inheriting from it or using it as member can be safely detected as messageable.
-///
-/// We believe that Point3D is messageable and explicitly specialize the type trait.
-/// There is a unit test for checking trivial copy
-/// This is a workaround, we will also make suggestions to fix the cause in ROOT itself
-/// TODO: delete once it is fixed in ROOT
 template <typename T>
-struct is_trivially_copyable<o2::math_utils::Point3D<T>> : std::true_type {
+struct is_forced_trivially_copyable<o2::math_utils::Point3D<T>> : std::true_type {
 };
-} // namespace std
+} // namespace o2::framework
 #endif // Disable for GPU
 
 #endif

Common/MathUtils/test/testCartesian.cxx

@@ -77,7 +77,7 @@ BOOST_AUTO_TEST_CASE(Cartesian_test)
 BOOST_AUTO_TEST_CASE(Point3D_messageable)
 {
   using ElementType = math_utils::Point3D<int>;
-  static_assert(std::is_trivially_copyable<ElementType>::value == true);
+  static_assert(o2::framework::is_forced_trivially_copyable<ElementType>::value == true);
   std::vector<ElementType> pts(10);
   auto makeElement = [](int idx) {
     return ElementType{idx, idx + 10, idx + 20};

Detectors/DCS/include/DetectorsDCS/DataPointCompositeObject.h

@@ -312,11 +312,13 @@ struct is_messageable<o2::dcs::DataPointCompositeObject> : std::true_type {
 } // namespace o2
 
 /// Defining DataPointCompositeObject explicitly as copiable
-namespace std
-{
+namespace o2::framework {
+template <typename T>
+struct is_forced_trivially_copyable;
+
 template <>
-struct is_trivially_copyable<o2::dcs::DataPointCompositeObject> : std::true_type {
+struct is_forced_trivially_copyable<o2::dcs::DataPointCompositeObject> : std::true_type {
 };
-} // namespace std
+} // namespace o2::framework
 
 #endif /* O2_DCS_DATAPOINT_COMPOSITE_OBJECT_H */

Detectors/DCS/include/DetectorsDCS/DataPointIdentifier.h

@@ -243,11 +243,15 @@ struct hash<o2::dcs::DataPointIdentifier> {
     return std::hash<uint64_t>{}(dpid.hash_code());
   }
 };
+} // namespace std
+namespace o2::framework {
+template <typename T>
+struct is_forced_trivially_copyable;
 
 template <>
-struct is_trivially_copyable<o2::dcs::DataPointIdentifier> : std::true_type {
+struct is_forced_trivially_copyable<o2::dcs::DataPointIdentifier> : std::true_type {
 };
 
-} // namespace std
+} // namespace o2::framework
 
 #endif /* O2_DCS_DATAPOINT_IDENTIFIER_H */

Detectors/DCS/test/testDataPointTypes.cxx

@@ -26,7 +26,7 @@ typedef boost::mpl::list<o2::dcs::DataPointIdentifier, o2::dcs::DataPointValue,
 
 BOOST_AUTO_TEST_CASE_TEMPLATE(DataPointCompositeObjectTypeTraits, T, testTypes)
 {
-  BOOST_CHECK_EQUAL(std::is_trivially_copyable<T>::value, true);
+  BOOST_CHECK_EQUAL(o2::framework::is_forced_trivially_copyable<T>::value, true);
   BOOST_CHECK_EQUAL(std::is_polymorphic<T>::value, false);
   BOOST_CHECK_EQUAL(std::is_pointer<T>::value, false);
   BOOST_CHECK_EQUAL(o2::framework::is_forced_non_messageable<T>::value, false);

Framework/Core/include/Framework/TypeTraits.h

@@ -38,10 +38,15 @@ struct is_forced_non_messageable<
   typename std::enable_if<std::is_same<typename T::non_messageable, MarkAsNonMessageable>::value>::type> : public std::true_type {
 };
 
+template <typename T>
+struct is_forced_trivially_copyable: std::false_type {
+};
+
 // TODO: extend this to exclude structs with pointer data members
 // see e.g. https://stackoverflow.com/questions/32880990/how-to-check-if-class-has-pointers-in-c14
 template <typename T>
-struct is_messageable : std::conditional<std::is_trivially_copyable<T>::value && //
+struct is_messageable : std::conditional<(std::is_trivially_copyable<T>::value || //
+                                          framework::is_forced_trivially_copyable<T>::value) && //
                                            !std::is_polymorphic<T>::value &&     //
                                            !std::is_pointer<T>::value &&         //
                                            !is_forced_non_messageable<T>::value, //