123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209 |
- /// @file
- // Boost.Convert
- // Copyright (c) 2009-2020 Vladimir Batov.
- //
- // Many thanks to Julian Gonggrijp, Rob Stewart, Andrzej Krzemienski, Matus Chochlik, Jeroen Habraken,
- // Hartmut Kaiser, Joel De Guzman, Thijs (M.A.) van den Berg, Roland Bock, Gavin Lambert, Paul Bristow,
- // Alex Hagen-Zanker, Christopher Kormanyos for taking part in the Boost.Convert review.
- //
- // Special thanks to:
- //
- // 1. Alex Hagen-Zanker, Roland Bock, Rob Stewart for their considerable contributions to the design
- // and implementation of the library;
- // 2. Andrzej Krzemienski for helping to partition responsibilities and to ultimately pave
- // the way for the boost::optional and future std::tr2::optional deployment;
- // 3. Edward Diener the Boost Review Manager for helping with the converters' design, his continuous
- // involvement, technical and administrative help, guidance and advice;
- // 4. Joel De Guzman, Rob Stewart and Alex Hagen-Zanker for making sure the performance tests work
- // as they should;
- // 5. Paul Bristow for helping great deal with the documentation;
- // 6. Kevlin Henney and Dave Abrahams for their lexical_cast-related insights and explanations.
- //
- // Use, modification and distribution are subject to the Boost Software License,
- // Version 1.0. See http://www.boost.org/LICENSE_1_0.txt.
- #ifndef BOOST_CONVERT_HPP
- #define BOOST_CONVERT_HPP
- #include <boost/convert/detail/is_fun.hpp>
- #include <boost/core/ref.hpp>
- namespace boost
- {
- namespace detail { enum throw_on_failure {}; }
- /// @details boost::throw_on_failure is the 'tag' object
- /// to request the exception-throwing behavior.
- detail::throw_on_failure const throw_on_failure = detail::throw_on_failure(0);
- namespace cnv
- {
- template<typename, typename, typename> struct reference;
- struct by_default;
- }
- /// @brief Boost.Convert main deployment interface
- /// @param[in] value_in Value of the TypeIn type to be converted to the TypeOut type
- /// @param[in] converter Converter to be used for conversion
- /// @return boost::optional<TypeOut> result of conversion together with the indication of
- /// success or failure of the conversion request.
- /// @details For example,
- /// @code
- /// boost::cnv::cstream cnv;
- ///
- /// boost::optional<int> i = boost::convert<int>("12", cnv);
- /// boost::optional<string> s = boost::convert<string>(123.456, cnv);
- /// @endcode
- template<typename TypeOut, typename TypeIn, typename Converter>
- boost::optional<TypeOut>
- convert(TypeIn const& value_in, Converter const& converter)
- {
- optional<TypeOut> result;
- boost::unwrap_ref(converter)(value_in, result);
- return result;
- }
- namespace cnv { namespace detail
- {
- template<typename TypeOut, typename TypeIn, typename Converter =boost::cnv::by_default>
- struct delayed_resolution
- {
- static optional<TypeOut> convert(TypeIn const& value_in)
- {
- return boost::convert<TypeOut>(value_in, Converter());
- }
- };
- }}
- /// @brief Boost.Convert deployment interface with the default converter
- /// @details For example,
- /// @code
- /// struct boost::cnv::by_default : boost::cnv::cstream {};
- ///
- /// // boost::cnv::cstream (through boost::cnv::by_default) is deployed
- /// // as the default converter when no converter is provided explicitly.
- /// boost::optional<int> i = boost::convert<int>("12");
- /// boost::optional<string> s = boost::convert<string>(123.456);
- /// @endcode
- template<typename TypeOut, typename TypeIn>
- boost::optional<TypeOut>
- convert(TypeIn const& value_in)
- {
- return cnv::detail::delayed_resolution<TypeOut, TypeIn>::convert(value_in);
- }
- }
- namespace boost
- {
- /// @brief Boost.Convert non-optional deployment interface
- template<typename TypeOut, typename TypeIn, typename Converter>
- TypeOut
- convert(TypeIn const& value_in, Converter const& converter, boost::detail::throw_on_failure)
- {
- return convert<TypeOut>(value_in, converter).value();
- }
- template<typename TypeOut, typename TypeIn, typename Converter, typename Fallback>
- typename std::enable_if<is_convertible<Fallback, TypeOut>::value, TypeOut>::type
- convert(TypeIn const& value_in, Converter const& converter, Fallback const& fallback)
- {
- return convert<TypeOut>(value_in, converter).value_or(fallback);
- }
- template<typename TypeOut, typename TypeIn, typename Converter, typename Fallback>
- typename std::enable_if<cnv::is_fun<Fallback, TypeOut>::value, TypeOut>::type
- convert(TypeIn const& value_in, Converter const& converter, Fallback fallback)
- {
- return convert<TypeOut>(value_in, converter).value_or_eval(fallback);
- }
- }
- namespace boost { namespace cnv
- {
- template<typename Converter, typename TypeOut, typename TypeIn>
- struct reference
- {
- using this_type = reference;
- reference (Converter const& cnv) : converter_(cnv) {}
- reference (Converter&& cnv) : converter_(std::move(cnv)) {}
- this_type&
- value_or(TypeOut const& fallback)
- {
- return (fallback_ = fallback, *this);
- }
- TypeOut
- operator()(TypeIn const& value_in) const
- {
- optional<TypeOut> result = convert<TypeOut>(value_in, converter_);
- return result ? result.get() : fallback_.value();
- }
- private:
- Converter converter_;
- optional<TypeOut> fallback_;
- };
- template<typename Converter, typename TypeOut>
- struct reference<Converter, TypeOut, void>
- {
- using this_type = reference;
- reference (Converter const& cnv) : converter_(cnv) {}
- reference (Converter&& cnv) : converter_(std::move(cnv)) {}
- this_type&
- value_or(TypeOut const& fallback)
- {
- return (fallback_ = fallback, *this);
- }
- template<typename TypeIn>
- TypeOut
- operator()(TypeIn const& value_in) const
- {
- optional<TypeOut> result = convert<TypeOut>(value_in, converter_);
- return result ? result.get() : fallback_.value();
- }
- private:
- Converter converter_;
- optional<TypeOut> fallback_;
- };
- /// @brief Boost.Convert deployment interface with algorithms
- /// @details For example,
- /// @code
- /// std::array<char const*, 3> strs = {{ " 5", "0XF", "not an int" }};
- /// std::vector<int> ints;
- /// boost::cnv::cstream cnv;
- ///
- /// cnv(std::hex)(std::skipws);
- ///
- /// std::transform(
- /// strs.begin(),
- /// strs.end(),
- /// std::back_inserter(ints),
- /// boost::cnv::apply<int>(std::cref(cnv)).value_or(-1));
- /// @endcode
- template<typename TypeOut, typename TypeIn, typename Converter>
- reference<Converter, TypeOut, TypeIn>
- apply(Converter const& cnv)
- {
- return cnv::reference<Converter, TypeOut, TypeIn>(cnv);
- }
- template<typename TypeOut, typename Converter>
- reference<Converter, TypeOut, void>
- apply(Converter const& cnv)
- {
- return cnv::reference<Converter, TypeOut, void>(cnv);
- }
- }}
- #endif // BOOST_CONVERT_HPP
|