diff --git a/include/boost/mp11/list.hpp b/include/boost/mp11/list.hpp index bbaf240..c5e89c9 100644 --- a/include/boost/mp11/list.hpp +++ b/include/boost/mp11/list.hpp @@ -25,6 +25,13 @@ namespace mp11 // mp_list_c template using mp_list_c = mp_list...>; +// mp_list_v +#if defined(BOOST_MP11_HAS_TEMPLATE_AUTO) + +template struct mp_list_v {}; + +#endif + // mp_is_list // in detail/mp_is_list.hpp diff --git a/test/Jamfile b/test/Jamfile index e11aa82..f46ceb6 100644 --- a/test/Jamfile +++ b/test/Jamfile @@ -50,6 +50,7 @@ run mp_list_c.cpp ; run mp_transform_front.cpp ; run mp_transform_second.cpp ; run mp_transform_third.cpp ; +run mp_list_v.cpp ; # algorithm run mp_assign.cpp ; diff --git a/test/mp_list_v.cpp b/test/mp_list_v.cpp new file mode 100644 index 0000000..c279b46 --- /dev/null +++ b/test/mp_list_v.cpp @@ -0,0 +1,34 @@ +// Copyright 2023 Peter Dimov. +// Distributed under the Boost Software License, Version 1.0. +// https://www.boost.org/LICENSE_1_0.txt + +#include + +#if !defined(BOOST_MP11_HAS_TEMPLATE_AUTO) + +#pragma message("Test skipped because BOOST_MP11_HAS_TEMPLATE_AUTO is not defined") +int main() {} + +#else + +#include + +template bool is_value_list( L const& ) { return false; } +template class L, auto... A> bool is_value_list( L const& ) { return true; } + +int main() +{ + using boost::mp11::mp_list_v; + using boost::mp11::mp_list; + + BOOST_TEST_NOT(is_value_list( mp_list<>{} )); + + BOOST_TEST(is_value_list( mp_list_v<>{} )); + BOOST_TEST(is_value_list( mp_list_v{} )); + BOOST_TEST(is_value_list( mp_list_v{} )); + BOOST_TEST(is_value_list( mp_list_v{} )); + + return boost::report_errors(); +} + +#endif