glob headers

CMakeLists.txt

@@ -3,6 +3,8 @@
 # Distributed under the Boost Software License, Version 1.0.
 # https://www.boost.org/LICENSE_1_0.txt
 
+if(NOT DEFINED IDF_TARGET)
+
 cmake_minimum_required(VERSION 3.8...3.20)
 
 project(boost_variant2 VERSION "${BOOST_SUPERPROJECT_VERSION}" LANGUAGES CXX)
@@ -26,3 +28,22 @@ if(BUILD_TESTING AND EXISTS "${CMAKE_CURRENT_SOURCE_DIR}/test/CMakeLists.txt")
   add_subdirectory(test)
 
 endif()
+
+else()
+
+FILE(GLOB_RECURSE headers include/*.h include/*.hpp)
+
+idf_component_register(
+    SRCS
+        ${headers}
+    INCLUDE_DIRS
+        include
+    REQUIRES
+        boost_assert
+        boost_config
+        boost_mp11
+)
+
+endif()
+
+

doc/variant2/changelog.adoc

@@ -8,6 +8,10 @@ https://www.boost.org/LICENSE_1_0.txt
 # Revision History
 :idprefix: changelog_
 
+## Changes in 1.79.0
+
+* Added `operator<<` for `monostate`.
+
 ## Changes in 1.78.0
 
 * Added `<boost/variant2.hpp>`.

doc/variant2/reference.adoc

@@ -144,12 +144,6 @@ template<class... T>
 template<class... T>
   constexpr bool operator>=(const variant<T...>& v, const variant<T...>& w);
 
-// stream insertion (extension)
-
-template<class Ch, class Tr, class... T>
-  std::basic_ostream<Ch, Tr>&
-    operator<<( std::basic_ostream<Ch, Tr>& os, variant<T...> const& v );
-
 // swap
 
 template<class... T>
@@ -176,6 +170,16 @@ constexpr bool operator>(monostate, monostate) noexcept { return false; }
 constexpr bool operator<=(monostate, monostate) noexcept { return true; }
 constexpr bool operator>=(monostate, monostate) noexcept { return true; }
 
+// stream insertion (extension)
+
+template<class Ch, class Tr, class... T>
+  std::basic_ostream<Ch, Tr>&
+    operator<<( std::basic_ostream<Ch, Tr>& os, variant<T...> const& v );
+
+template<class Ch, class Tr>
+  std::basic_ostream<Ch, Tr>&
+    operator<<( std::basic_ostream<Ch, Tr>& os, monostate const& v );
+
 // bad_variant_access
 
 class bad_variant_access;
@@ -886,20 +890,6 @@ template<class... T>
 Returns: ::
   `w \<= v`.
 
-### Stream Insertion (extension)
-```
-template<class Ch, class Tr, class... T>
-  std::basic_ostream<Ch, Tr>&
-    operator<<( std::basic_ostream<Ch, Tr>& os, variant<T...> const& v );
-```
-[none]
-* {blank}
-+
-Requires: ::
-  `sizeof...(T) != 0`.
-Returns: ::
-  `os << get<I>(v)`, where `I` is `v.index()`.
-
 ### swap
 
 ```
@@ -946,6 +936,33 @@ Remarks: :: If `R` is given explicitly, as in `visit_by_index<int>`, the return
   of `Fi` to the corresponding variant alternatives must have the same return type
   for this deduction to succeed.
 
+### Stream Insertion (extension)
+```
+template<class Ch, class Tr, class... T>
+  std::basic_ostream<Ch, Tr>&
+    operator<<( std::basic_ostream<Ch, Tr>& os, variant<T...> const& v );
+```
+[none]
+* {blank}
++
+Requires: ::
+  `sizeof...(T) != 0`.
+Returns: ::
+  `os << get<I>(v)`, where `I` is `v.index()`.
+
+```
+template<class Ch, class Tr>
+  std::basic_ostream<Ch, Tr>&
+    operator<<( std::basic_ostream<Ch, Tr>& os, monostate const& v );
+```
+[none]
+* {blank}
++
+Effects: ::
+  `os << "monostate"`.
+Returns: ::
+  `os`.
+
 ### bad_variant_access
 
 ```

include/boost/variant2/variant.hpp

@@ -2263,6 +2263,13 @@ template<class Os, class T> struct is_output_streamable<Os, T, decltype( std::de
 
 } // namespace detail
 
+template<class Ch, class Tr>
+std::basic_ostream<Ch, Tr>& operator<<( std::basic_ostream<Ch, Tr>& os, monostate const& )
+{
+    os << "monostate";
+    return os;
+}
+
 template<class Ch, class Tr, class T1, class... T,
     class E = typename std::enable_if< mp11::mp_all< detail::is_output_streamable<std::basic_ostream<Ch, Tr>, T>... >::value >::type >
 std::basic_ostream<Ch, Tr>& operator<<( std::basic_ostream<Ch, Tr>& os, variant<T1, T...> const& v )

test/is_output_streamable.cpp

@@ -30,9 +30,12 @@ int main()
     BOOST_TEST_TRAIT_FALSE((boost::variant2::detail::is_output_streamable<std::ostream, X>));
     BOOST_TEST_TRAIT_TRUE((boost::variant2::detail::is_output_streamable<std::ostream, Y>));
 
+    BOOST_TEST_TRAIT_TRUE((boost::variant2::detail::is_output_streamable<std::ostream, boost::variant2::monostate>));
+
     BOOST_TEST_TRAIT_TRUE((boost::variant2::detail::is_output_streamable<std::ostream, boost::variant2::variant<int, float, std::string>>));
     BOOST_TEST_TRAIT_FALSE((boost::variant2::detail::is_output_streamable<std::ostream, boost::variant2::variant<int, float, X>>));
     BOOST_TEST_TRAIT_TRUE((boost::variant2::detail::is_output_streamable<std::ostream, boost::variant2::variant<int, float, Y>>));
+    BOOST_TEST_TRAIT_TRUE((boost::variant2::detail::is_output_streamable<std::ostream, boost::variant2::variant<boost::variant2::monostate, int, float>>));
 
     return boost::report_errors();
 }

test/variant_ostream_insert.cpp

@@ -20,17 +20,24 @@ template<class T> std::string to_string( T const& t )
 
 int main()
 {
-    variant<int, float, std::string> v( 1 );
+    {
+        BOOST_TEST_EQ( to_string( monostate() ), "monostate" );
+    }
 
-    BOOST_TEST_EQ( to_string( v ), to_string( 1 ) );
+    {
+        variant<monostate, int, float, std::string> v;
 
-    v = 3.14f;
+        BOOST_TEST_EQ( to_string( v ), to_string( monostate() ) );
 
-    BOOST_TEST_EQ( to_string( v ), to_string( 3.14f ) );
+        v = 1;
+        BOOST_TEST_EQ( to_string( v ), to_string( 1 ) );
 
-    v = "test";
+        v = 3.14f;
+        BOOST_TEST_EQ( to_string( v ), to_string( 3.14f ) );
 
-    BOOST_TEST_EQ( to_string( v ), to_string( "test" ) );
+        v = "test";
+        BOOST_TEST_EQ( to_string( v ), to_string( "test" ) );
+    }
 
     return boost::report_errors();
 }