123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600 |
- // tuple_io.hpp --------------------------------------------------------------
- // Copyright (C) 2001 Jaakko Jarvi (jaakko.jarvi@cs.utu.fi)
- // 2001 Gary Powell (gary.powell@sierra.com)
- //
- // 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)
- // For more information, see http://www.boost.org
- // ----------------------------------------------------------------------------
- #ifndef BOOST_TUPLE_IO_HPP
- #define BOOST_TUPLE_IO_HPP
- // add to boost/config.hpp
- // for now
- # if defined __GNUC__
- # if (__GNUC__ == 2 && __GNUC_MINOR__ <= 97)
- #define BOOST_NO_TEMPLATED_STREAMS
- #endif
- #endif // __GNUC__
- #if defined BOOST_NO_TEMPLATED_STREAMS
- #include <iostream>
- #else
- #include <istream>
- #include <ostream>
- #endif
- #include <sstream>
- #include "boost/tuple/tuple.hpp"
- // This is ugly: one should be using twoargument isspace since whitspace can
- // be locale dependent, in theory at least.
- // not all libraries implement have the two-arg version, so we need to
- // use the one-arg one, which one should get with <cctype> but there seem
- // to be exceptions to this.
- #if !defined (BOOST_NO_STD_LOCALE)
- #include <locale> // for two-arg isspace
- #else
- #include <cctype> // for one-arg (old) isspace
- #include <ctype.h> // Metrowerks does not find one-arg isspace from cctype
- #endif
- namespace boost {
- namespace tuples {
- namespace detail {
- class format_info {
- public:
- enum manipulator_type { open, close, delimiter };
- BOOST_STATIC_CONSTANT(int, number_of_manipulators = delimiter + 1);
- private:
-
- static int get_stream_index (int m)
- {
- static const int stream_index[number_of_manipulators]
- = { std::ios::xalloc(), std::ios::xalloc(), std::ios::xalloc() };
- return stream_index[m];
- }
- format_info(const format_info&);
- format_info();
- public:
- #if defined (BOOST_NO_TEMPLATED_STREAMS)
- static char get_manipulator(std::ios& i, manipulator_type m) {
- char c = static_cast<char>(i.iword(get_stream_index(m)));
-
- // parentheses and space are the default manipulators
- if (!c) {
- switch(m) {
- case detail::format_info::open : c = '('; break;
- case detail::format_info::close : c = ')'; break;
- case detail::format_info::delimiter : c = ' '; break;
- }
- }
- return c;
- }
- static void set_manipulator(std::ios& i, manipulator_type m, char c) {
- i.iword(get_stream_index(m)) = static_cast<long>(c);
- }
- #else
- template<class CharType, class CharTrait>
- static CharType get_manipulator(std::basic_ios<CharType, CharTrait>& i,
- manipulator_type m) {
- // The manipulators are stored as long.
- // A valid instanitation of basic_stream allows CharType to be any POD,
- // hence, the static_cast may fail (it fails if long is not convertible
- // to CharType
- CharType c = static_cast<CharType>(i.iword(get_stream_index(m)) );
- // parentheses and space are the default manipulators
- if (!c) {
- switch(m) {
- case detail::format_info::open : c = i.widen('('); break;
- case detail::format_info::close : c = i.widen(')'); break;
- case detail::format_info::delimiter : c = i.widen(' '); break;
- }
- }
- return c;
- }
- template<class CharType, class CharTrait>
- static void set_manipulator(std::basic_ios<CharType, CharTrait>& i,
- manipulator_type m, CharType c) {
- // The manipulators are stored as long.
- // A valid instanitation of basic_stream allows CharType to be any POD,
- // hence, the static_cast may fail (it fails if CharType is not
- // convertible long.
- i.iword(get_stream_index(m)) = static_cast<long>(c);
- }
- #endif // BOOST_NO_TEMPLATED_STREAMS
- };
- } // end of namespace detail
-
- template<class CharType>
- class tuple_manipulator {
- const detail::format_info::manipulator_type mt;
- CharType f_c;
- public:
- explicit tuple_manipulator(detail::format_info::manipulator_type m,
- const char c = 0)
- : mt(m), f_c(c) {}
-
- #if defined (BOOST_NO_TEMPLATED_STREAMS)
- void set(std::ios &io) const {
- detail::format_info::set_manipulator(io, mt, f_c);
- }
- #else
- #if defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION)
- template<class CharType2, class CharTrait>
- void set(std::basic_ios<CharType2, CharTrait> &io) const {
- detail::format_info::set_manipulator(io, mt, f_c);
- }
- #else
- template<class CharTrait>
- void set(std::basic_ios<CharType, CharTrait> &io) const {
- detail::format_info::set_manipulator(io, mt, f_c);
- }
- #endif // BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION
- #endif // BOOST_NO_TEMPLATED_STREAMS
- };
- #if defined (BOOST_NO_TEMPLATED_STREAMS)
- inline std::ostream&
- operator<<(std::ostream& o, const tuple_manipulator<char>& m) {
- m.set(o);
- return o;
- }
- inline std::istream&
- operator>>(std::istream& i, const tuple_manipulator<char>& m) {
- m.set(i);
- return i;
- }
- #else
- template<class CharType, class CharTrait>
- inline std::basic_ostream<CharType, CharTrait>&
- operator<<(std::basic_ostream<CharType, CharTrait>& o, const tuple_manipulator<CharType>& m) {
- m.set(o);
- return o;
- }
- template<class CharType, class CharTrait>
- inline std::basic_istream<CharType, CharTrait>&
- operator>>(std::basic_istream<CharType, CharTrait>& i, const tuple_manipulator<CharType>& m) {
- m.set(i);
- return i;
- }
- #endif // BOOST_NO_TEMPLATED_STREAMS
-
- template<class CharType>
- inline tuple_manipulator<CharType> set_open(const CharType c) {
- return tuple_manipulator<CharType>(detail::format_info::open, c);
- }
- template<class CharType>
- inline tuple_manipulator<CharType> set_close(const CharType c) {
- return tuple_manipulator<CharType>(detail::format_info::close, c);
- }
- template<class CharType>
- inline tuple_manipulator<CharType> set_delimiter(const CharType c) {
- return tuple_manipulator<CharType>(detail::format_info::delimiter, c);
- }
-
-
- // -------------------------------------------------------------
- // printing tuples to ostream in format (a b c)
- // parentheses and space are defaults, but can be overriden with manipulators
- // set_open, set_close and set_delimiter
-
- namespace detail {
- // Note: The order of the print functions is critical
- // to let a conforming compiler find and select the correct one.
- #if defined (BOOST_NO_TEMPLATED_STREAMS)
- #if !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION)
- template<class T1>
- inline std::ostream& print(std::ostream& o, const cons<T1, null_type>& t) {
- return o << t.head;
- }
- #endif // BOOST_NO_TEMPLATED_STREAMS
-
- inline std::ostream& print(std::ostream& o, const null_type&) { return o; }
- template<class T1, class T2>
- inline std::ostream&
- print(std::ostream& o, const cons<T1, T2>& t) {
-
- const char d = format_info::get_manipulator(o, format_info::delimiter);
-
- o << t.head;
- #if defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION)
- if (tuples::length<T2>::value == 0)
- return o;
- #endif // BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION
- o << d;
-
- return print(o, t.tail );
- }
- template<class T>
- inline bool handle_width(std::ostream& o, const T& t) {
- std::streamsize width = o.width();
- if(width == 0) return false;
- std::ostringstream ss;
- ss.copyfmt(o);
- ss.tie(0);
- ss.width(0);
- ss << t;
- o << ss.str();
- return true;
- }
- #else
- #if !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION)
- template<class CharType, class CharTrait, class T1>
- inline std::basic_ostream<CharType, CharTrait>&
- print(std::basic_ostream<CharType, CharTrait>& o, const cons<T1, null_type>& t) {
- return o << t.head;
- }
- #endif // !BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION
-
- template<class CharType, class CharTrait>
- inline std::basic_ostream<CharType, CharTrait>&
- print(std::basic_ostream<CharType, CharTrait>& o, const null_type&) {
- return o;
- }
- template<class CharType, class CharTrait, class T1, class T2>
- inline std::basic_ostream<CharType, CharTrait>&
- print(std::basic_ostream<CharType, CharTrait>& o, const cons<T1, T2>& t) {
-
- const CharType d = format_info::get_manipulator(o, format_info::delimiter);
-
- o << t.head;
- #if defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION)
- if (tuples::length<T2>::value == 0)
- return o;
- #endif // BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION
- o << d;
- return print(o, t.tail);
- }
- template<class CharT, class Traits, class T>
- inline bool handle_width(std::basic_ostream<CharT, Traits>& o, const T& t) {
- std::streamsize width = o.width();
- if(width == 0) return false;
- std::basic_ostringstream<CharT, Traits> ss;
- ss.copyfmt(o);
- ss.tie(0);
- ss.width(0);
- ss << t;
- o << ss.str();
- return true;
- }
- #endif // BOOST_NO_TEMPLATED_STREAMS
- } // namespace detail
- #if defined (BOOST_NO_TEMPLATED_STREAMS)
- inline std::ostream& operator<<(std::ostream& o, const null_type& t) {
- if (!o.good() ) return o;
- if (detail::handle_width(o, t)) return o;
-
- const char l =
- detail::format_info::get_manipulator(o, detail::format_info::open);
- const char r =
- detail::format_info::get_manipulator(o, detail::format_info::close);
-
- o << l;
- o << r;
- return o;
- }
- template<class T1, class T2>
- inline std::ostream& operator<<(std::ostream& o, const cons<T1, T2>& t) {
- if (!o.good() ) return o;
- if (detail::handle_width(o, t)) return o;
-
- const char l =
- detail::format_info::get_manipulator(o, detail::format_info::open);
- const char r =
- detail::format_info::get_manipulator(o, detail::format_info::close);
-
- o << l;
-
- detail::print(o, t);
- o << r;
- return o;
- }
- #else
- template<class CharType, class CharTrait>
- inline std::basic_ostream<CharType, CharTrait>&
- operator<<(std::basic_ostream<CharType, CharTrait>& o,
- const null_type& t) {
- if (!o.good() ) return o;
- if (detail::handle_width(o, t)) return o;
-
- const CharType l =
- detail::format_info::get_manipulator(o, detail::format_info::open);
- const CharType r =
- detail::format_info::get_manipulator(o, detail::format_info::close);
-
- o << l;
- o << r;
- return o;
- }
- template<class CharType, class CharTrait, class T1, class T2>
- inline std::basic_ostream<CharType, CharTrait>&
- operator<<(std::basic_ostream<CharType, CharTrait>& o,
- const cons<T1, T2>& t) {
- if (!o.good() ) return o;
- if (detail::handle_width(o, t)) return o;
-
- const CharType l =
- detail::format_info::get_manipulator(o, detail::format_info::open);
- const CharType r =
- detail::format_info::get_manipulator(o, detail::format_info::close);
-
- o << l;
- detail::print(o, t);
- o << r;
- return o;
- }
- #endif // BOOST_NO_TEMPLATED_STREAMS
-
- // -------------------------------------------------------------
- // input stream operators
- namespace detail {
- #if defined (BOOST_NO_TEMPLATED_STREAMS)
- inline std::istream&
- extract_and_check_delimiter(
- std::istream& is, format_info::manipulator_type del)
- {
- const char d = format_info::get_manipulator(is, del);
- #if defined (BOOST_NO_STD_LOCALE)
- const bool is_delimiter = !isspace(d);
- #else
- const bool is_delimiter = (!std::isspace(d, is.getloc()) );
- #endif
- char c;
- if (is_delimiter) {
- is >> c;
- if (is.good() && c!=d) {
- is.setstate(std::ios::failbit);
- }
- } else {
- is >> std::ws;
- }
- return is;
- }
- // Note: The order of the read functions is critical to let a
- // (conforming?) compiler find and select the correct one.
- #if !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION)
- template<class T1>
- inline std::istream &
- read (std::istream &is, cons<T1, null_type>& t1) {
- if (!is.good()) return is;
-
- return is >> t1.head ;
- }
- #else
- inline std::istream& read(std::istream& i, const null_type&) { return i; }
- #endif // !BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION
-
- template<class T1, class T2>
- inline std::istream&
- read(std::istream &is, cons<T1, T2>& t1) {
- if (!is.good()) return is;
-
- is >> t1.head;
- #if defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION)
- if (tuples::length<T2>::value == 0)
- return is;
- #endif // BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION
- extract_and_check_delimiter(is, format_info::delimiter);
- return read(is, t1.tail);
- }
- } // end namespace detail
- inline std::istream&
- operator>>(std::istream &is, null_type&) {
- if (!is.good() ) return is;
- detail::extract_and_check_delimiter(is, detail::format_info::open);
- detail::extract_and_check_delimiter(is, detail::format_info::close);
- return is;
- }
- template<class T1, class T2>
- inline std::istream&
- operator>>(std::istream& is, cons<T1, T2>& t1) {
- if (!is.good() ) return is;
- detail::extract_and_check_delimiter(is, detail::format_info::open);
-
- detail::read(is, t1);
-
- detail::extract_and_check_delimiter(is, detail::format_info::close);
- return is;
- }
- #else
- template<class CharType, class CharTrait>
- inline std::basic_istream<CharType, CharTrait>&
- extract_and_check_delimiter(
- std::basic_istream<CharType, CharTrait> &is, format_info::manipulator_type del)
- {
- const CharType d = format_info::get_manipulator(is, del);
- #if defined (BOOST_NO_STD_LOCALE)
- const bool is_delimiter = !isspace(d);
- #elif defined ( __BORLANDC__ )
- const bool is_delimiter = !std::use_facet< std::ctype< CharType > >
- (is.getloc() ).is( std::ctype_base::space, d);
- #else
- const bool is_delimiter = (!std::isspace(d, is.getloc()) );
- #endif
- CharType c;
- if (is_delimiter) {
- is >> c;
- if (is.good() && c!=d) {
- is.setstate(std::ios::failbit);
- }
- } else {
- is >> std::ws;
- }
- return is;
- }
-
- #if !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION)
- template<class CharType, class CharTrait, class T1>
- inline std::basic_istream<CharType, CharTrait> &
- read (std::basic_istream<CharType, CharTrait> &is, cons<T1, null_type>& t1) {
- if (!is.good()) return is;
-
- return is >> t1.head;
- }
- #else
- template<class CharType, class CharTrait>
- inline std::basic_istream<CharType, CharTrait>&
- read(std::basic_istream<CharType, CharTrait>& i, const null_type&) { return i; }
- #endif // !BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION
- template<class CharType, class CharTrait, class T1, class T2>
- inline std::basic_istream<CharType, CharTrait>&
- read(std::basic_istream<CharType, CharTrait> &is, cons<T1, T2>& t1) {
- if (!is.good()) return is;
-
- is >> t1.head;
- #if defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION)
- if (tuples::length<T2>::value == 0)
- return is;
- #endif // BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION
- extract_and_check_delimiter(is, format_info::delimiter);
- return read(is, t1.tail);
- }
- } // end namespace detail
- template<class CharType, class CharTrait>
- inline std::basic_istream<CharType, CharTrait>&
- operator>>(std::basic_istream<CharType, CharTrait> &is, null_type&) {
- if (!is.good() ) return is;
- detail::extract_and_check_delimiter(is, detail::format_info::open);
- detail::extract_and_check_delimiter(is, detail::format_info::close);
- return is;
- }
- template<class CharType, class CharTrait, class T1, class T2>
- inline std::basic_istream<CharType, CharTrait>&
- operator>>(std::basic_istream<CharType, CharTrait>& is, cons<T1, T2>& t1) {
- if (!is.good() ) return is;
- detail::extract_and_check_delimiter(is, detail::format_info::open);
-
- detail::read(is, t1);
-
- detail::extract_and_check_delimiter(is, detail::format_info::close);
- return is;
- }
- #endif // BOOST_NO_TEMPLATED_STREAMS
- } // end of namespace tuples
- } // end of namespace boost
- #endif // BOOST_TUPLE_IO_HPP
|