123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443 |
- // Copyright Daniel Wallin 2006.
- // 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/parameter/config.hpp>
- #include <boost/parameter/preprocessor.hpp>
- #include <boost/parameter/name.hpp>
- #include <boost/tuple/tuple.hpp>
- #include <map>
- #include <string>
- #include "basics.hpp"
- #if defined(BOOST_PARAMETER_CAN_USE_MP11)
- #include <boost/parameter/value_type.hpp>
- #include <boost/mp11/map.hpp>
- #include <boost/core/enable_if.hpp>
- #include <type_traits>
- #else
- #include <boost/mpl/bool.hpp>
- #include <boost/mpl/if.hpp>
- #include <boost/type_traits/is_convertible.hpp>
- #if !defined(BOOST_NO_SFINAE)
- #include <boost/parameter/value_type.hpp>
- #include <boost/mpl/has_key.hpp>
- #include <boost/core/enable_if.hpp>
- #include <boost/type_traits/is_same.hpp>
- #endif
- #endif
- namespace test {
- BOOST_PARAMETER_NAME(expected)
- BOOST_PARAMETER_NAME(x)
- BOOST_PARAMETER_NAME(y)
- BOOST_PARAMETER_NAME(z)
- #if defined(BOOST_PARAMETER_CAN_USE_MP11)
- template <typename To>
- struct predicate
- {
- template <typename From, typename Args>
- using fn = std::is_convertible<From,To>;
- };
- BOOST_PARAMETER_FUNCTION((int), f, test::tag,
- (required
- (expected, *)
- )
- (deduced
- (required
- (x, *(test::predicate<int>))
- (y, *(test::predicate<std::string>))
- )
- )
- )
- #else // !defined(BOOST_PARAMETER_CAN_USE_MP11)
- struct predicate_int
- {
- template <typename From, typename Args>
- struct apply
- : boost::mpl::if_<
- boost::is_convertible<From,int>
- , boost::mpl::true_
- , boost::mpl::false_
- >
- {
- };
- };
- struct predicate_string
- {
- template <typename From, typename Args>
- struct apply
- : boost::mpl::if_<
- boost::is_convertible<From,std::string>
- , boost::mpl::true_
- , boost::mpl::false_
- >
- {
- };
- };
- BOOST_PARAMETER_FUNCTION((int), f, test::tag,
- (required
- (expected, *)
- )
- (deduced
- (required
- (x, *(test::predicate_int))
- (y, *(test::predicate_string))
- )
- )
- )
- #endif // BOOST_PARAMETER_CAN_USE_MP11
- {
- BOOST_TEST(test::equal(x, boost::tuples::get<0>(expected)));
- BOOST_TEST(test::equal(y, boost::tuples::get<1>(expected)));
- return 1;
- }
- struct X
- {
- X(int x_ = -1) : x(x_)
- {
- }
- bool operator==(X const& other) const
- {
- return this->x == other.x;
- }
- int x;
- };
- #if defined(BOOST_PARAMETER_CAN_USE_MP11)
- BOOST_PARAMETER_FUNCTION((int), g, test::tag,
- (required
- (expected, *)
- )
- (deduced
- (required
- (x, *(test::predicate<int>))
- (y, *(test::predicate<std::string>))
- )
- (optional
- (z, *(test::predicate<test::X>), test::X())
- )
- )
- )
- #else // !defined(BOOST_PARAMETER_CAN_USE_MP11)
- struct predicate_X
- {
- template <typename From, typename Args>
- struct apply
- : boost::mpl::if_<
- boost::is_convertible<From,test::X>
- , boost::mpl::true_
- , boost::mpl::false_
- >
- {
- };
- };
- BOOST_PARAMETER_FUNCTION((int), g, tag,
- (required
- (expected, *)
- )
- (deduced
- (required
- (x, *(test::predicate_int))
- (y, *(test::predicate_string))
- )
- (optional
- (z, *(test::predicate_X), test::X())
- )
- )
- )
- #endif // BOOST_PARAMETER_CAN_USE_MP11
- {
- BOOST_TEST(test::equal(x, boost::tuples::get<0>(expected)));
- BOOST_TEST(test::equal(y, boost::tuples::get<1>(expected)));
- BOOST_TEST(test::equal(z, boost::tuples::get<2>(expected)));
- return 1;
- }
- #if defined(BOOST_PARAMETER_CAN_USE_MP11)
- BOOST_PARAMETER_FUNCTION((int), sfinae, test::tag,
- (deduced
- (required
- (x, *(test::predicate<std::string>))
- )
- )
- )
- #else
- BOOST_PARAMETER_FUNCTION((int), sfinae, test::tag,
- (deduced
- (required
- (x, *(test::predicate_string))
- )
- )
- )
- #endif
- {
- return 1;
- }
- #if !defined(BOOST_NO_SFINAE)
- // On compilers that actually support SFINAE, add another overload
- // that is an equally good match and can only be in the overload set
- // when the others are not. This tests that the SFINAE is actually
- // working. On all other compilers we're just checking that everything
- // about SFINAE-enabled code will work, except of course the SFINAE.
- template <typename A0>
- typename boost::enable_if<
- #if defined(BOOST_PARAMETER_CAN_USE_MP11)
- std::is_same<int,A0>
- #else
- typename boost::mpl::if_<
- boost::is_same<int,A0>
- , boost::mpl::true_
- , boost::mpl::false_
- >::type
- #endif
- , int
- >::type
- sfinae(A0 const& a0)
- {
- return 0;
- }
- #if defined(LIBS_PARAMETER_TEST_COMPILE_FAILURE_VENDOR_SPECIFIC) || \
- !BOOST_WORKAROUND(BOOST_MSVC, < 1800)
- // Test support for two different Boost.Parameter-enabled
- // function call operator overloads.
- class char_read_base
- {
- int index;
- char const* key;
- public:
- template <typename Args>
- explicit char_read_base(Args const& args)
- : index(args[test::_y]), key(args[test::_z])
- {
- }
- BOOST_PARAMETER_FUNCTION_CALL_OPERATOR((void), test::tag,
- (deduced
- (required
- (y, (int))
- (z, (char const*))
- )
- )
- )
- {
- this->index = y;
- this->key = z;
- }
- BOOST_PARAMETER_CONST_FUNCTION_CALL_OPERATOR((char), test::tag,
- (deduced
- (required
- (y, (bool))
- (z, (std::map<char const*,std::string>))
- )
- )
- )
- {
- return y ? (
- (z.find(this->key)->second)[this->index]
- ) : this->key[this->index];
- }
- };
- struct char_reader : public char_read_base
- {
- BOOST_PARAMETER_CONSTRUCTOR(char_reader, (char_read_base), test::tag,
- (deduced
- (required
- (y, (int))
- (z, (char const*))
- )
- )
- )
- };
- #endif // MSVC-11.0-
- // Test Boost.Parameter-enabled functions
- // with parameter-dependent return types.
- #if !defined(LIBS_PARAMETER_TEST_COMPILE_FAILURE)
- #if defined(BOOST_PARAMETER_CAN_USE_MP11)
- BOOST_PARAMETER_FUNCTION(
- (
- boost::lazy_enable_if<
- boost::mp11::mp_map_contains<Args,test::tag::y>
- , boost::parameter::value_type<Args,test::tag::y>
- >
- ), return_y, test::tag,
- (deduced
- (required
- (x, (std::map<char const*,std::string>))
- (y, (char const*))
- )
- (optional
- (z, (int), 4)
- )
- )
- )
- #else // !defined(BOOST_PARAMETER_CAN_USE_MP11)
- BOOST_PARAMETER_FUNCTION(
- (
- boost::lazy_enable_if<
- typename boost::mpl::has_key<Args,test::tag::y>::type
- , boost::parameter::value_type<Args,test::tag::y>
- >
- ), return_y, test::tag,
- (deduced
- (required
- (x, (std::map<char const*,std::string>))
- (y, (char const*))
- )
- (optional
- (z, (int), 4)
- )
- )
- )
- #endif // BOOST_PARAMETER_CAN_USE_MP11
- {
- return y;
- }
- #endif // LIBS_PARAMETER_TEST_COMPILE_FAILURE
- #endif // BOOST_NO_SFINAE
- #if defined(LIBS_PARAMETER_TEST_COMPILE_FAILURE)
- BOOST_PARAMETER_FUNCTION(
- (typename boost::parameter::value_type<Args,test::tag::y>::type),
- return_y, test::tag,
- (deduced
- (required
- (x, (std::map<char const*,std::string>))
- (y, (char const*))
- )
- (optional
- (z, (int), 4)
- )
- )
- )
- {
- return y;
- }
- #endif // defined(LIBS_PARAMETER_TEST_COMPILE_FAILURE)
- } // namespace test
- #include <boost/core/lightweight_test.hpp>
- int main()
- {
- test::f(
- boost::make_tuple(0, std::string("foo"))
- , test::_x = 0
- , test::_y = std::string("foo")
- );
- test::f(
- boost::make_tuple(0, std::string("foo"))
- , 0
- , std::string("foo")
- );
- test::f(
- boost::make_tuple(0, std::string("foo"))
- , std::string("foo")
- , 0
- );
- test::f(
- boost::make_tuple(0, std::string("foo"))
- , test::_y = std::string("foo")
- , 0
- );
- test::f(
- boost::make_tuple(0, std::string("foo"))
- , test::_x = 0
- , std::string("foo")
- );
- test::f(
- boost::make_tuple(0, std::string("foo"))
- , 0
- , test::_y = std::string("foo")
- );
- test::g(
- boost::make_tuple(0, std::string("foo"), test::X())
- , test::_x = 0
- , test::_y = std::string("foo")
- );
- test::g(
- boost::make_tuple(0, std::string("foo"), test::X())
- , 0
- , std::string("foo")
- );
- test::g(
- boost::make_tuple(0, std::string("foo"), test::X())
- , std::string("foo")
- , 0
- );
- test::g(
- boost::make_tuple(0, std::string("foo"), test::X())
- , test::_y = std::string("foo")
- , 0
- );
- test::g(
- boost::make_tuple(0, std::string("foo"), test::X())
- , test::_x = 0
- , std::string("foo")
- );
- test::g(
- boost::make_tuple(0, std::string("foo"), test::X())
- , 0
- , test::_y = std::string("foo")
- );
- test::g(
- boost::make_tuple(0, std::string("foo"), test::X(1))
- , 0
- , test::_y = std::string("foo")
- , test::X(1)
- );
- test::g(
- boost::make_tuple(0, std::string("foo"), test::X(1))
- , test::X(1)
- , 0
- , test::_y = std::string("foo")
- );
- std::map<char const*,std::string> k2s;
- #if !defined(BOOST_NO_SFINAE)
- char const* keys[] = {"foo", "bar", "baz"};
- BOOST_TEST_EQ(1, test::sfinae(keys[0]));
- BOOST_TEST_EQ(0, test::sfinae(0));
- #if defined(LIBS_PARAMETER_TEST_COMPILE_FAILURE_VENDOR_SPECIFIC) || \
- !BOOST_WORKAROUND(BOOST_MSVC, < 1800)
- k2s[keys[0]] = std::string("qux");
- k2s[keys[1]] = std::string("wmb");
- k2s[keys[2]] = std::string("zxc");
- test::char_reader r(keys[0], 0);
- BOOST_TEST_EQ('q', (r(k2s, true)));
- BOOST_TEST_EQ('f', (r(k2s, false)));
- r(keys[1], 1);
- BOOST_TEST_EQ('m', (r(k2s, true)));
- BOOST_TEST_EQ('a', (r(k2s, false)));
- r(keys[2], 2);
- BOOST_TEST_EQ('c', (r(k2s, true)));
- BOOST_TEST_EQ('z', (r(k2s, false)));
- #endif // MSVC-11.0-
- #if !defined(LIBS_PARAMETER_TEST_COMPILE_FAILURE)
- BOOST_TEST_EQ(keys[1], test::return_y(2, k2s, keys[1]));
- #endif
- #endif // BOOST_NO_SFINAE
- #if defined(LIBS_PARAMETER_TEST_COMPILE_FAILURE)
- BOOST_TEST_EQ(keys[1], test::return_y(2, k2s, keys[1]));
- #endif
- return boost::report_errors();
- }
|