From b03d1e9458ea6da0574c96c86378edaa0d101575 Mon Sep 17 00:00:00 2001
From: Kohei Takahashi <flast@flast.jp>
Date: Mon, 7 May 2018 23:17:25 +0900
Subject: [PATCH] Added utility for forcing to be non trivial copyable

---
 .../support/detail/propagate_trivialness.hpp  |  37 ++++
 test/Jamfile                                  |   2 +
 test/support/is_trivially_copyable.cpp        |  35 +---
 test/support/propagate_trivialness.cpp        | 179 ++++++++++++++++++
 test/support/trivial.hpp                      |  56 ++++++
 5 files changed, 275 insertions(+), 34 deletions(-)
 create mode 100644 include/boost/fusion/support/detail/propagate_trivialness.hpp
 create mode 100644 test/support/propagate_trivialness.cpp
 create mode 100644 test/support/trivial.hpp

diff --git a/include/boost/fusion/support/detail/propagate_trivialness.hpp b/include/boost/fusion/support/detail/propagate_trivialness.hpp
new file mode 100644
index 00000000..fdb6b57a
--- /dev/null
+++ b/include/boost/fusion/support/detail/propagate_trivialness.hpp
@@ -0,0 +1,37 @@
+/*=============================================================================
+    Copyright (c) 2018 Kohei Takahashi
+
+    Distributed under the Boost Software License, Version 1.0. (See accompanying
+    file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+==============================================================================*/
+#ifndef BOOST_FUSION_SUPPORT_DETAIL_PROPAGATE_TRIVIALNESS
+#define BOOST_FUSION_SUPPORT_DETAIL_PROPAGATE_TRIVIALNESS
+
+#include <boost/fusion/support/config.hpp>
+#include <boost/fusion/support/detail/and.hpp>
+#include <boost/fusion/support/detail/is_trivially_copyable.hpp>
+#include <boost/mpl/if.hpp>
+
+namespace boost { namespace fusion { namespace detail
+{
+
+struct trivial_base { };
+
+struct non_trivial_base
+{
+    BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
+    non_trivial_base(non_trivial_base const&) BOOST_NOEXCEPT { }
+};
+
+template <typename... T>
+struct propagate_trivialness
+  : mpl::if_c<and_<is_trivially_copyable<T>...>::value
+      , trivial_base
+      , non_trivial_base
+    >::type
+{ };
+
+}}} // namespace boost::fusion::detail
+
+#endif
+
diff --git a/test/Jamfile b/test/Jamfile
index 00e7208b..1cdb9d53 100644
--- a/test/Jamfile
+++ b/test/Jamfile
@@ -269,6 +269,8 @@ project
     [ compile support/tag_of.cpp ]
     [ compile support/unused.cpp ]
     [ compile support/is_trivially_copyable.cpp ]
+    [ compile support/propagate_trivialness.cpp
+        : [ requires cxx11_variadic_templates ] ]
 
 #   [ compile-fail xxx.cpp  ]
 
diff --git a/test/support/is_trivially_copyable.cpp b/test/support/is_trivially_copyable.cpp
index d4c4ce84..38f1d6e5 100644
--- a/test/support/is_trivially_copyable.cpp
+++ b/test/support/is_trivially_copyable.cpp
@@ -8,18 +8,7 @@
 
 #include <boost/fusion/support/detail/is_trivially_copyable.hpp>
 #include <boost/mpl/assert.hpp>
-
-#ifndef BOOST_FUSION_DETAIL_VOLATILE_SCALAR_IS_NON_TRIVIALLY_COPYABLE
-#   define BOOST_FUSION_ASSERT_WA BOOST_MPL_ASSERT
-#else
-#   define BOOST_FUSION_ASSERT_WA BOOST_MPL_ASSERT_NOT
-#endif
-
-#ifdef BOOST_FUSION_DETAIL_IS_TRIVIALLY_COPYABLE_CONFORMING
-#   define BOOST_FUSION_ASSERT_FALLBACK BOOST_MPL_ASSERT
-#else
-#   define BOOST_FUSION_ASSERT_FALLBACK(cond) BOOST_MPL_ASSERT((mpl::true_))
-#endif
+#include "trivial.hpp"
 
 using namespace boost;
 using namespace boost::fusion::detail;
@@ -81,9 +70,6 @@ BOOST_MPL_ASSERT_NOT((is_trivially_copyable<function_type volatile&&>));
 BOOST_MPL_ASSERT_NOT((is_trivially_copyable<function_type const volatile&&>));
 #endif
 
-struct S;
-typedef int (S::*member_type);
-typedef int (S::*member_function_type)();
 
 BOOST_MPL_ASSERT((is_trivially_copyable<member_type>));
 BOOST_MPL_ASSERT((is_trivially_copyable<member_type const>));
@@ -96,8 +82,6 @@ BOOST_FUSION_ASSERT_WA((is_trivially_copyable<member_function_type volatile>));
 BOOST_FUSION_ASSERT_WA((is_trivially_copyable<member_function_type const volatile>));
 
 
-struct trivial { };
-
 BOOST_FUSION_ASSERT_FALLBACK((is_trivially_copyable<trivial>));
 BOOST_FUSION_ASSERT_FALLBACK((is_trivially_copyable<trivial const>));
 BOOST_FUSION_ASSERT_FALLBACK((is_trivially_copyable<trivial volatile>));
@@ -124,12 +108,6 @@ BOOST_MPL_ASSERT_NOT((is_trivially_copyable<trivial const volatile&&>));
 #endif
 
 
-struct user_provided_copy
-{
-    user_provided_copy(user_provided_copy const&);
-    user_provided_copy& operator=(user_provided_copy const&);
-};
-
 BOOST_MPL_ASSERT_NOT((is_trivially_copyable<user_provided_copy>));
 BOOST_MPL_ASSERT_NOT((is_trivially_copyable<user_provided_copy const>));
 BOOST_MPL_ASSERT_NOT((is_trivially_copyable<user_provided_copy volatile>));
@@ -157,12 +135,6 @@ BOOST_MPL_ASSERT_NOT((is_trivially_copyable<user_provided_copy const volatile&&>
 
 
 #ifndef BOOST_NO_CXX11_RVALUE_REFERENCES
-struct user_provided_move
-{
-    user_provided_move(user_provided_move const&);
-    user_provided_move& operator=(user_provided_move const&);
-};
-
 BOOST_MPL_ASSERT_NOT((is_trivially_copyable<user_provided_move>));
 BOOST_MPL_ASSERT_NOT((is_trivially_copyable<user_provided_move const>));
 BOOST_MPL_ASSERT_NOT((is_trivially_copyable<user_provided_move volatile>));
@@ -188,11 +160,6 @@ BOOST_MPL_ASSERT_NOT((is_trivially_copyable<user_provided_move const volatile&&>
 #endif
 
 
-struct user_provided_dtor
-{
-    ~user_provided_dtor();
-};
-
 BOOST_MPL_ASSERT_NOT((is_trivially_copyable<user_provided_dtor>));
 BOOST_MPL_ASSERT_NOT((is_trivially_copyable<user_provided_dtor const>));
 BOOST_MPL_ASSERT_NOT((is_trivially_copyable<user_provided_dtor volatile>));
diff --git a/test/support/propagate_trivialness.cpp b/test/support/propagate_trivialness.cpp
new file mode 100644
index 00000000..e4d90af2
--- /dev/null
+++ b/test/support/propagate_trivialness.cpp
@@ -0,0 +1,179 @@
+/*=============================================================================
+    Copyright (c) 2018 Kohei Takahashi
+
+    Distributed under the Boost Software License, Version 1.0. (See accompanying
+    file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+==============================================================================*/
+
+#include <boost/config.hpp>
+#include <boost/fusion/support/detail/propagate_trivialness.hpp>
+#include <boost/fusion/support/detail/is_trivially_copyable.hpp>
+#include <boost/mpl/assert.hpp>
+#include <boost/type_traits/is_convertible.hpp>
+#include <boost/type_traits/is_base_of.hpp>
+#include "trivial.hpp"
+
+using namespace boost;
+using namespace boost::fusion::detail;
+
+
+BOOST_FUSION_ASSERT_FALLBACK((is_trivially_copyable<trivial_base>));
+BOOST_MPL_ASSERT_NOT((is_trivially_copyable<non_trivial_base>));
+
+BOOST_MPL_ASSERT((is_base_of<trivial_base, propagate_trivialness<> >));
+
+BOOST_MPL_ASSERT((is_base_of<trivial_base, propagate_trivialness<int> >));
+BOOST_MPL_ASSERT((is_base_of<trivial_base, propagate_trivialness<int const> >));
+BOOST_FUSION_ASSERT_WA((is_base_of<trivial_base, propagate_trivialness<int volatile> >));
+BOOST_FUSION_ASSERT_WA((is_base_of<trivial_base, propagate_trivialness<int const volatile> >));
+
+BOOST_MPL_ASSERT((is_base_of<trivial_base, propagate_trivialness<int*> >));
+BOOST_MPL_ASSERT((is_base_of<trivial_base, propagate_trivialness<int const*> >));
+BOOST_MPL_ASSERT((is_base_of<trivial_base, propagate_trivialness<int volatile*> >));
+BOOST_MPL_ASSERT((is_base_of<trivial_base, propagate_trivialness<int const volatile*> >));
+BOOST_MPL_ASSERT((is_base_of<trivial_base, propagate_trivialness<int* const> >));
+BOOST_FUSION_ASSERT_WA((is_base_of<trivial_base, propagate_trivialness<int* volatile> >));
+BOOST_FUSION_ASSERT_WA((is_base_of<trivial_base, propagate_trivialness<int* const volatile> >));
+
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<int&> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<int const&> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<int volatile&> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<int const volatile&> >));
+
+#ifndef BOOST_NO_CXX11_RVALUE_REFERENCES
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<int&&> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<int const&&> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<int volatile&&> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<int const volatile&&> >));
+#endif
+
+
+BOOST_FUSION_ASSERT_FALLBACK((is_base_of<trivial_base, propagate_trivialness<trivial> >));
+BOOST_FUSION_ASSERT_FALLBACK((is_base_of<trivial_base, propagate_trivialness<trivial const> >));
+BOOST_FUSION_ASSERT_FALLBACK((is_base_of<trivial_base, propagate_trivialness<trivial volatile> >));
+BOOST_FUSION_ASSERT_FALLBACK((is_base_of<trivial_base, propagate_trivialness<trivial const volatile> >));
+
+BOOST_MPL_ASSERT((is_base_of<trivial_base, propagate_trivialness<trivial*> >));
+BOOST_MPL_ASSERT((is_base_of<trivial_base, propagate_trivialness<trivial const*> >));
+BOOST_MPL_ASSERT((is_base_of<trivial_base, propagate_trivialness<trivial volatile*> >));
+BOOST_MPL_ASSERT((is_base_of<trivial_base, propagate_trivialness<trivial const volatile*> >));
+BOOST_MPL_ASSERT((is_base_of<trivial_base, propagate_trivialness<trivial* const> >));
+BOOST_FUSION_ASSERT_WA((is_base_of<trivial_base, propagate_trivialness<trivial* volatile> >));
+BOOST_FUSION_ASSERT_WA((is_base_of<trivial_base, propagate_trivialness<trivial* const volatile> >));
+
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<trivial&> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<trivial const&> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<trivial volatile&> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<trivial const volatile&> >));
+
+#ifndef BOOST_NO_CXX11_RVALUE_REFERENCES
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<trivial&&> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<trivial const&&> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<trivial volatile&&> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<trivial const volatile&&> >));
+#endif
+
+
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<user_provided_copy> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<user_provided_copy const> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<user_provided_copy volatile> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<user_provided_copy const volatile> >));
+
+BOOST_MPL_ASSERT((is_base_of<trivial_base, propagate_trivialness<user_provided_copy*> >));
+BOOST_MPL_ASSERT((is_base_of<trivial_base, propagate_trivialness<user_provided_copy const*> >));
+BOOST_MPL_ASSERT((is_base_of<trivial_base, propagate_trivialness<user_provided_copy volatile*> >));
+BOOST_MPL_ASSERT((is_base_of<trivial_base, propagate_trivialness<user_provided_copy const volatile*> >));
+BOOST_MPL_ASSERT((is_base_of<trivial_base, propagate_trivialness<user_provided_copy* const> >));
+BOOST_FUSION_ASSERT_WA((is_base_of<trivial_base, propagate_trivialness<user_provided_copy* volatile> >));
+BOOST_FUSION_ASSERT_WA((is_base_of<trivial_base, propagate_trivialness<user_provided_copy* const volatile> >));
+
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<user_provided_copy&> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<user_provided_copy const&> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<user_provided_copy volatile&> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<user_provided_copy const volatile&> >));
+
+#ifndef BOOST_NO_CXX11_RVALUE_REFERENCES
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<user_provided_copy&&> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<user_provided_copy const&&> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<user_provided_copy volatile&&> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<user_provided_copy const volatile&&> >));
+#endif
+
+
+#ifndef BOOST_NO_CXX11_RVALUE_REFERENCES
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<user_provided_move> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<user_provided_move const> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<user_provided_move volatile> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<user_provided_move const volatile> >));
+
+BOOST_MPL_ASSERT((is_base_of<trivial_base, propagate_trivialness<user_provided_move*> >));
+BOOST_MPL_ASSERT((is_base_of<trivial_base, propagate_trivialness<user_provided_move const*> >));
+BOOST_MPL_ASSERT((is_base_of<trivial_base, propagate_trivialness<user_provided_move volatile*> >));
+BOOST_MPL_ASSERT((is_base_of<trivial_base, propagate_trivialness<user_provided_move const volatile*> >));
+BOOST_MPL_ASSERT((is_base_of<trivial_base, propagate_trivialness<user_provided_move* const> >));
+BOOST_FUSION_ASSERT_WA((is_base_of<trivial_base, propagate_trivialness<user_provided_move* volatile> >));
+BOOST_FUSION_ASSERT_WA((is_base_of<trivial_base, propagate_trivialness<user_provided_move* const volatile> >));
+
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<user_provided_move&> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<user_provided_move const&> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<user_provided_move volatile&> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<user_provided_move const volatile&> >));
+
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<user_provided_move&&> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<user_provided_move const&&> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<user_provided_move volatile&&> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<user_provided_move const volatile&&> >));
+#endif
+
+
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<user_provided_dtor> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<user_provided_dtor const> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<user_provided_dtor volatile> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<user_provided_dtor const volatile> >));
+
+BOOST_MPL_ASSERT((is_base_of<trivial_base, propagate_trivialness<user_provided_dtor*> >));
+BOOST_MPL_ASSERT((is_base_of<trivial_base, propagate_trivialness<user_provided_dtor const*> >));
+BOOST_MPL_ASSERT((is_base_of<trivial_base, propagate_trivialness<user_provided_dtor volatile*> >));
+BOOST_MPL_ASSERT((is_base_of<trivial_base, propagate_trivialness<user_provided_dtor const volatile*> >));
+BOOST_MPL_ASSERT((is_base_of<trivial_base, propagate_trivialness<user_provided_dtor* const> >));
+BOOST_FUSION_ASSERT_WA((is_base_of<trivial_base, propagate_trivialness<user_provided_dtor* volatile> >));
+BOOST_FUSION_ASSERT_WA((is_base_of<trivial_base, propagate_trivialness<user_provided_dtor* const volatile> >));
+
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<user_provided_dtor&> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<user_provided_dtor const&> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<user_provided_dtor volatile&> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<user_provided_dtor const volatile&> >));
+
+#ifndef BOOST_NO_CXX11_RVALUE_REFERENCES
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<user_provided_dtor&&> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<user_provided_dtor const&&> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<user_provided_dtor volatile&&> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<user_provided_dtor const volatile&&> >));
+#endif
+
+
+BOOST_MPL_ASSERT((is_base_of<trivial_base, propagate_trivialness<int, float, void*> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<int, float&, void*> >));
+BOOST_FUSION_ASSERT_FALLBACK((is_base_of<trivial_base, propagate_trivialness<int, float, trivial> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<int, float, user_provided_copy> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<int, float, user_provided_move> >));
+BOOST_MPL_ASSERT((is_base_of<non_trivial_base, propagate_trivialness<int, float, user_provided_dtor> >));
+
+
+struct S1 : private propagate_trivialness<int, float, void*> { };
+BOOST_MPL_ASSERT((is_trivially_copyable<S1>));
+
+struct S2 : private propagate_trivialness<int, float&, void*> { };
+BOOST_MPL_ASSERT_NOT((is_trivially_copyable<S2>));
+
+struct S3 : private propagate_trivialness<int, float, trivial> { };
+BOOST_FUSION_ASSERT_FALLBACK((is_trivially_copyable<S3>));
+
+struct S4 : private propagate_trivialness<int, float, user_provided_copy> { };
+BOOST_MPL_ASSERT_NOT((is_trivially_copyable<S4>));
+
+struct S5 : private propagate_trivialness<int, float, user_provided_move> { };
+BOOST_MPL_ASSERT_NOT((is_trivially_copyable<S5>));
+
+struct S6 : private propagate_trivialness<int, float, user_provided_dtor> { };
+BOOST_MPL_ASSERT_NOT((is_trivially_copyable<S6>));
diff --git a/test/support/trivial.hpp b/test/support/trivial.hpp
new file mode 100644
index 00000000..77c14905
--- /dev/null
+++ b/test/support/trivial.hpp
@@ -0,0 +1,56 @@
+/*=============================================================================
+    Copyright (c) 2018 Kohei Takahashi
+
+    Distributed under the Boost Software License, Version 1.0. (See accompanying
+    file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+==============================================================================*/
+#ifndef TRIVIAL_HPP
+#define TRIVIAL_HPP
+
+#include <boost/fusion/support/detail/is_trivially_copyable.hpp>
+#include <boost/mpl/assert.hpp>
+
+#ifndef BOOST_FUSION_DETAIL_VOLATILE_SCALAR_IS_NON_TRIVIALLY_COPYABLE
+#   define BOOST_FUSION_ASSERT_WA BOOST_MPL_ASSERT
+#else
+#   define BOOST_FUSION_ASSERT_WA BOOST_MPL_ASSERT_NOT
+#endif
+
+#ifdef BOOST_FUSION_DETAIL_IS_TRIVIALLY_COPYABLE_CONFORMING
+#   define BOOST_FUSION_ASSERT_FALLBACK BOOST_MPL_ASSERT
+#else
+#   define BOOST_FUSION_ASSERT_FALLBACK(cond) BOOST_MPL_ASSERT((mpl::true_))
+#endif
+
+
+struct S;
+typedef int (S::*member_type);
+typedef int (S::*member_function_type)();
+
+
+struct trivial { };
+
+
+struct user_provided_copy
+{
+    user_provided_copy(user_provided_copy const&);
+    user_provided_copy& operator=(user_provided_copy const&);
+};
+
+
+#ifndef BOOST_NO_CXX11_RVALUE_REFERENCES
+struct user_provided_move
+{
+    user_provided_move(user_provided_move const&);
+    user_provided_move& operator=(user_provided_move const&);
+};
+#endif
+
+
+struct user_provided_dtor
+{
+    ~user_provided_dtor();
+};
+
+#endif
+