feedc0de/boost_mp11
1
0
Fork 0
forked from boostorg/mp11
Code Pull Requests Activity

Test mp_product with one list

Browse Source
This commit is contained in:
Peter Dimov
2017-06-01 01:01:49 +03:00
parent b8bbd279b2
commit f70a5e7bdb
1 changed files with 13 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
test/mp_product.cpp
View File

@@ -26,6 +26,8 @@ struct Z2 {};
template<class T1, class T2, class T3> struct F {}; template<class T1, class T2, class T3> struct F {};
template<class T> struct F1 {};
int main() int main()
{ {
using boost::mp11::mp_list; using boost::mp11::mp_list;
@@ -51,5 +53,16 @@ int main()
BOOST_TEST_TRAIT_TRUE((std::is_same<mp_product_q<mp_quote<F>, L1, L2, L3>, std::tuple<>>)); BOOST_TEST_TRAIT_TRUE((std::is_same<mp_product_q<mp_quote<F>, L1, L2, L3>, std::tuple<>>));
} }
{
using L1 = std::tuple<X1, X2, X3>;
using L2 = mp_list<X1, X2, X3>;
BOOST_TEST_TRAIT_TRUE((std::is_same<mp_product<F1, L1>, std::tuple<F1<X1>, F1<X2>, F1<X3>>>));
BOOST_TEST_TRAIT_TRUE((std::is_same<mp_product_q<mp_quote<F1>, L1>, std::tuple<F1<X1>, F1<X2>, F1<X3>>>));
BOOST_TEST_TRAIT_TRUE((std::is_same<mp_product<F1, L2>, mp_list<F1<X1>, F1<X2>, F1<X3>>>));
BOOST_TEST_TRAIT_TRUE((std::is_same<mp_product_q<mp_quote<F1>, L2>, mp_list<F1<X1>, F1<X2>, F1<X3>>>));
}
return boost::report_errors(); return boost::report_errors();
} }