Ładne drukowane pojemniki C ++ STL

389

Zwróć uwagę na aktualizacje na końcu tego postu.

Aktualizacja: Utworzyłem projekt publiczny na GitHub dla tej biblioteki!


Chciałbym mieć jeden szablon, który raz na zawsze zajmuje się ładnym drukowaniem wszystkich pojemników STL operator<<. W pseudokodzie szukam czegoś takiego:

template<container C, class T, String delim = ", ", String open = "[", String close = "]">
std::ostream & operator<<(std::ostream & o, const C<T> & x)
{
    o << open;
    // for (typename C::const_iterator i = x.begin(); i != x.end(); i++) /* Old-school */
    for (auto i = x.begin(); i != x.end(); i++)
    {
        if (i != x.begin()) o << delim;
        o << *i;
    }
    o << close;
    return o;
}

Teraz widziałem mnóstwo magii szablonów tutaj na SO, więc nigdy nie myślałem, że to możliwe, więc zastanawiam się, czy ktoś może zasugerować coś, co pasowałoby do wszystkich pojemników C. Może coś cechującego, które może dowiedzieć się, czy coś ma niezbędną iterację ?

Wielkie dzięki!


Aktualizacja (i rozwiązanie)

Po ponownym poruszeniu tego problemu na kanale 9 otrzymałem fantastyczną odpowiedź od Svena Groota, który w połączeniu z odrobiną cech typu SFINAE wydaje się rozwiązać problem w sposób całkowicie ogólny i możliwy do zagnieżdżenia. Ograniczniki mogą być indywidualnie specjalizowane, dołączona jest przykładowa specjalizacja dla std :: set, a także przykład użycia niestandardowych ograniczników.

Pomocnika „wrap_array ()” można używać do drukowania surowych tablic C. Aktualizacja: Pary i krotki są dostępne do drukowania; domyślnymi ogranicznikami są nawiasy okrągłe.

Funkcja typu „włącz-jeśli” wymaga C ++ 0x, ale z pewnymi modyfikacjami powinna istnieć możliwość stworzenia wersji C ++ 98. Krotki wymagają różnych szablonów, stąd C ++ 0x.

Poprosiłem Svena o opublikowanie tutaj rozwiązania, aby je zaakceptować, ale tymczasem sam chciałbym opublikować kod w celach informacyjnych. ( Aktualizacja: Sven opublikował teraz swój kod poniżej, na który otrzymałem zaakceptowaną odpowiedź. Mój własny kod wykorzystuje cechy typu kontenera, które działają dla mnie, ale mogą powodować nieoczekiwane zachowanie w przypadku klas innych niż kontener, które zapewniają iteratory).

Nagłówek (prettyprint.h):

#ifndef H_PRETTY_PRINT
#define H_PRETTY_PRINT


#include <type_traits>
#include <iostream>
#include <utility>
#include <tuple>


namespace std
{
    // Pre-declarations of container types so we don't actually have to include the relevant headers if not needed, speeding up compilation time.
    template<typename T, typename TTraits, typename TAllocator> class set;
}

namespace pretty_print
{

    // SFINAE type trait to detect a container based on whether T::const_iterator exists.
    // (Improvement idea: check also if begin()/end() exist.)

    template<typename T>
    struct is_container_helper
    {
    private:
        template<typename C> static char test(typename C::const_iterator*);
        template<typename C> static int  test(...);
    public:
        static const bool value = sizeof(test<T>(0)) == sizeof(char);
    };


    // Basic is_container template; specialize to derive from std::true_type for all desired container types

    template<typename T> struct is_container : public ::std::integral_constant<bool, is_container_helper<T>::value> { };


    // Holds the delimiter values for a specific character type

    template<typename TChar>
    struct delimiters_values
    {
        typedef TChar char_type;
        const TChar * prefix;
        const TChar * delimiter;
        const TChar * postfix;
    };


    // Defines the delimiter values for a specific container and character type

    template<typename T, typename TChar>
    struct delimiters
    {
        typedef delimiters_values<TChar> type;
        static const type values; 
    };


    // Default delimiters

    template<typename T> struct delimiters<T, char> { static const delimiters_values<char> values; };
    template<typename T> const delimiters_values<char> delimiters<T, char>::values = { "[", ", ", "]" };
    template<typename T> struct delimiters<T, wchar_t> { static const delimiters_values<wchar_t> values; };
    template<typename T> const delimiters_values<wchar_t> delimiters<T, wchar_t>::values = { L"[", L", ", L"]" };


    // Delimiters for set

    template<typename T, typename TTraits, typename TAllocator> struct delimiters< ::std::set<T, TTraits, TAllocator>, char> { static const delimiters_values<char> values; };
    template<typename T, typename TTraits, typename TAllocator> const delimiters_values<char> delimiters< ::std::set<T, TTraits, TAllocator>, char>::values = { "{", ", ", "}" };
    template<typename T, typename TTraits, typename TAllocator> struct delimiters< ::std::set<T, TTraits, TAllocator>, wchar_t> { static const delimiters_values<wchar_t> values; };
    template<typename T, typename TTraits, typename TAllocator> const delimiters_values<wchar_t> delimiters< ::std::set<T, TTraits, TAllocator>, wchar_t>::values = { L"{", L", ", L"}" };


    // Delimiters for pair (reused for tuple, see below)

    template<typename T1, typename T2> struct delimiters< ::std::pair<T1, T2>, char> { static const delimiters_values<char> values; };
    template<typename T1, typename T2> const delimiters_values<char> delimiters< ::std::pair<T1, T2>, char>::values = { "(", ", ", ")" };
    template<typename T1, typename T2> struct delimiters< ::std::pair<T1, T2>, wchar_t> { static const delimiters_values<wchar_t> values; };
    template<typename T1, typename T2> const delimiters_values<wchar_t> delimiters< ::std::pair<T1, T2>, wchar_t>::values = { L"(", L", ", L")" };


    // Functor to print containers. You can use this directly if you want to specificy a non-default delimiters type.

    template<typename T, typename TChar = char, typename TCharTraits = ::std::char_traits<TChar>, typename TDelimiters = delimiters<T, TChar>>
    struct print_container_helper
    {
        typedef TChar char_type;
        typedef TDelimiters delimiters_type;
        typedef std::basic_ostream<TChar, TCharTraits> & ostream_type;

        print_container_helper(const T & container)
        : _container(container)
        {
        }

        inline void operator()(ostream_type & stream) const
        {
            if (delimiters_type::values.prefix != NULL)
                stream << delimiters_type::values.prefix;

            for (typename T::const_iterator beg = _container.begin(), end = _container.end(), it = beg; it != end; ++it)
            {
                if (it != beg && delimiters_type::values.delimiter != NULL)
                    stream << delimiters_type::values.delimiter;

                stream << *it;
            }

            if (delimiters_type::values.postfix != NULL)
                stream << delimiters_type::values.postfix;
        }

    private:
        const T & _container;
    };


    // Type-erasing helper class for easy use of custom delimiters.
    // Requires TCharTraits = std::char_traits<TChar> and TChar = char or wchar_t, and MyDelims needs to be defined for TChar.
    // Usage: "cout << pretty_print::custom_delims<MyDelims>(x)".

    struct custom_delims_base
    {
        virtual ~custom_delims_base() { }
        virtual ::std::ostream & stream(::std::ostream &) = 0;
        virtual ::std::wostream & stream(::std::wostream &) = 0;
    };

    template <typename T, typename Delims>
    struct custom_delims_wrapper : public custom_delims_base
    {
        custom_delims_wrapper(const T & t) : t(t) { }

        ::std::ostream & stream(::std::ostream & stream)
        {
          return stream << ::pretty_print::print_container_helper<T, char, ::std::char_traits<char>, Delims>(t);
        }
        ::std::wostream & stream(::std::wostream & stream)
        {
          return stream << ::pretty_print::print_container_helper<T, wchar_t, ::std::char_traits<wchar_t>, Delims>(t);
        }

    private:
        const T & t;
    };

    template <typename Delims>
    struct custom_delims
    {
        template <typename Container> custom_delims(const Container & c) : base(new custom_delims_wrapper<Container, Delims>(c)) { }
        ~custom_delims() { delete base; }
        custom_delims_base * base;
    };

} // namespace pretty_print


template <typename TChar, typename TCharTraits, typename Delims>
inline std::basic_ostream<TChar, TCharTraits> & operator<<(std::basic_ostream<TChar, TCharTraits> & stream, const pretty_print::custom_delims<Delims> & p)
{
    return p.base->stream(stream);
}


// Template aliases for char and wchar_t delimiters
// Enable these if you have compiler support
//
// Implement as "template<T, C, A> const sdelims::type sdelims<std::set<T,C,A>>::values = { ... }."

//template<typename T> using pp_sdelims = pretty_print::delimiters<T, char>;
//template<typename T> using pp_wsdelims = pretty_print::delimiters<T, wchar_t>;


namespace std
{
    // Prints a print_container_helper to the specified stream.

    template<typename T, typename TChar, typename TCharTraits, typename TDelimiters>
    inline basic_ostream<TChar, TCharTraits> & operator<<(basic_ostream<TChar, TCharTraits> & stream,
                                                          const ::pretty_print::print_container_helper<T, TChar, TCharTraits, TDelimiters> & helper)
    {
        helper(stream);
        return stream;
    }

    // Prints a container to the stream using default delimiters

    template<typename T, typename TChar, typename TCharTraits>
    inline typename enable_if< ::pretty_print::is_container<T>::value, basic_ostream<TChar, TCharTraits>&>::type
    operator<<(basic_ostream<TChar, TCharTraits> & stream, const T & container)
    {
        return stream << ::pretty_print::print_container_helper<T, TChar, TCharTraits>(container);
    }

    // Prints a pair to the stream using delimiters from delimiters<std::pair<T1, T2>>.
    template<typename T1, typename T2, typename TChar, typename TCharTraits>
    inline basic_ostream<TChar, TCharTraits> & operator<<(basic_ostream<TChar, TCharTraits> & stream, const pair<T1, T2> & value)
    {
        if (::pretty_print::delimiters<pair<T1, T2>, TChar>::values.prefix != NULL)
            stream << ::pretty_print::delimiters<pair<T1, T2>, TChar>::values.prefix;

        stream << value.first;

        if (::pretty_print::delimiters<pair<T1, T2>, TChar>::values.delimiter != NULL)
            stream << ::pretty_print::delimiters<pair<T1, T2>, TChar>::values.delimiter;

        stream << value.second;

        if (::pretty_print::delimiters<pair<T1, T2>, TChar>::values.postfix != NULL)
            stream << ::pretty_print::delimiters<pair<T1, T2>, TChar>::values.postfix;

        return stream;
    }
} // namespace std

// Prints a tuple to the stream using delimiters from delimiters<std::pair<tuple_dummy_t, tuple_dummy_t>>.

namespace pretty_print
{
    struct tuple_dummy_t { }; // Just if you want special delimiters for tuples.

    typedef std::pair<tuple_dummy_t, tuple_dummy_t> tuple_dummy_pair;

    template<typename Tuple, size_t N, typename TChar, typename TCharTraits>
    struct pretty_tuple_helper
    {
        static inline void print(::std::basic_ostream<TChar, TCharTraits> & stream, const Tuple & value)
        {
            pretty_tuple_helper<Tuple, N - 1, TChar, TCharTraits>::print(stream, value);

            if (delimiters<tuple_dummy_pair, TChar>::values.delimiter != NULL)
                stream << delimiters<tuple_dummy_pair, TChar>::values.delimiter;

            stream << std::get<N - 1>(value);
        }
    };

    template<typename Tuple, typename TChar, typename TCharTraits>
    struct pretty_tuple_helper<Tuple, 1, TChar, TCharTraits>
    {
        static inline void print(::std::basic_ostream<TChar, TCharTraits> & stream, const Tuple & value) { stream << ::std::get<0>(value); }
    };
} // namespace pretty_print


namespace std
{
    template<typename TChar, typename TCharTraits, typename ...Args>
    inline basic_ostream<TChar, TCharTraits> & operator<<(basic_ostream<TChar, TCharTraits> & stream, const tuple<Args...> & value)
    {
        if (::pretty_print::delimiters< ::pretty_print::tuple_dummy_pair, TChar>::values.prefix != NULL)
            stream << ::pretty_print::delimiters< ::pretty_print::tuple_dummy_pair, TChar>::values.prefix;

        ::pretty_print::pretty_tuple_helper<const tuple<Args...> &, sizeof...(Args), TChar, TCharTraits>::print(stream, value);

        if (::pretty_print::delimiters< ::pretty_print::tuple_dummy_pair, TChar>::values.postfix != NULL)
            stream << ::pretty_print::delimiters< ::pretty_print::tuple_dummy_pair, TChar>::values.postfix;

        return stream;
    }
} // namespace std


// A wrapper for raw C-style arrays. Usage: int arr[] = { 1, 2, 4, 8, 16 };  std::cout << wrap_array(arr) << ...

namespace pretty_print
{
    template <typename T, size_t N>
    struct array_wrapper
    {
        typedef const T * const_iterator;
        typedef T value_type;

        array_wrapper(const T (& a)[N]) : _array(a) { }
        inline const_iterator begin() const { return _array; }
        inline const_iterator end() const { return _array + N; }

    private:
        const T * const _array;
    };
} // namespace pretty_print

template <typename T, size_t N>
inline pretty_print::array_wrapper<T, N> pretty_print_array(const T (& a)[N])
{
    return pretty_print::array_wrapper<T, N>(a);
}


#endif

Przykład użycia:

#include <iostream>
#include <vector>
#include <unordered_map>
#include <map>
#include <set>
#include <array>
#include <tuple>
#include <utility>
#include <string>

#include "prettyprint.h"

// Specialization for a particular container
template<> const pretty_print::delimiters_values<char> pretty_print::delimiters<std::vector<double>, char>::values = { "|| ", " : ", " ||" };

// Custom delimiters for one-off use
struct MyDel { static const delimiters_values<char> values; };
const delimiters_values<char> MyDel::values = { "<", "; ", ">" };

int main(int argc, char * argv[])
{
  std::string cs;
  std::unordered_map<int, std::string> um;
  std::map<int, std::string> om;
  std::set<std::string> ss;
  std::vector<std::string> v;
  std::vector<std::vector<std::string>> vv;
  std::vector<std::pair<int, std::string>> vp;
  std::vector<double> vd;
  v.reserve(argc - 1);
  vv.reserve(argc - 1);
  vp.reserve(argc - 1);
  vd.reserve(argc - 1);

  std::cout << "Printing pairs." << std::endl;

  while (--argc)
  {
    std::string s(argv[argc]);
    std::pair<int, std::string> p(argc, s);

    um[argc] = s;
    om[argc] = s;
    v.push_back(s);
    vv.push_back(v);
    vp.push_back(p);
    vd.push_back(1./double(i));
    ss.insert(s);
    cs += s;

    std::cout << "  " << p << std::endl;
  }

  std::array<char, 5> a{{ 'h', 'e', 'l', 'l', 'o' }};

  std::cout << "Vector: " << v << std::endl
            << "Incremental vector: " << vv << std::endl
            << "Another vector: " << vd << std::endl
            << "Pairs: " << vp << std::endl
            << "Set: " << ss << std::endl
            << "OMap: " << om << std::endl
            << "UMap: " << um << std::endl
            << "String: " << cs << std::endl
            << "Array: " << a << std::endl
  ;

  // Using custom delimiters manually:
  std::cout << pretty_print::print_container_helper<std::vector<std::string>, char, std::char_traits<char>, MyDel>(v) << std::endl;

  // Using custom delimiters with the type-erasing helper class
  std::cout << pretty_print::custom_delims<MyDel>(v) << std::endl;

  // Pairs and tuples and arrays:
  auto a1 = std::make_pair(std::string("Jello"), 9);
  auto a2 = std::make_tuple(1729);
  auto a3 = std::make_tuple("Qrgh", a1, 11);
  auto a4 = std::make_tuple(1729, 2875, std::pair<double, std::string>(1.5, "meow"));
  int arr[] = { 1, 4, 9, 16 };

  std::cout << "C array: " << wrap_array(arr) << std::endl
            << "Pair: " << a1 << std::endl
            << "1-tuple: " << a2 << std::endl
            << "n-tuple: " << a3 << std::endl
            << "n-tuple: " << a4 << std::endl
  ;
}

Dalsze pomysły na ulepszenia:

  • Zaimplementuj dane wyjściowe std::tuple<...>w taki sam sposób, w jaki mamy je std::pair<S,T>. Aktualizacja: To jest teraz osobne pytanie dotyczące SO ! Aktualizacja: Zostało to zaimplementowane dzięki Xeo!
  • Dodaj przestrzenie nazw, aby klasy pomocnicze nie przedostawały się do globalnej przestrzeni nazw. Gotowy
  • Dodać aliasy szablonów (lub coś podobnego), aby ułatwić tworzenie niestandardowych klas separatora, a może makra preprocesora?

Ostatnie aktualizacje:

  • Usunąłem niestandardowy iterator wyjściowy na rzecz prostej pętli for w funkcji drukowania.
  • Wszystkie szczegóły implementacji znajdują się teraz w pretty_printprzestrzeni nazw. Tylko globalni operatorzy strumienia i pretty_print_arrayopakowanie znajdują się w globalnej przestrzeni nazw.
  • Naprawiono przestrzeń nazw, dzięki czemu operator<<jest teraz poprawnie w std.

Uwagi:

  • Usunięcie iteratora wyjściowego oznacza, że ​​nie ma sposobu std::copy()na uzyskanie ładnego wydruku. Mogę przywrócić ładny iterator, jeśli jest to pożądana funkcja, ale poniższy kod Svena ma implementację.
  • Decyzja o ograniczeniu czasowym kompilacji stała stała się świadomą decyzją projektową, a nie stałą obiektu. Oznacza to, że nie można dynamicznie dostarczać ograniczników w czasie wykonywania, ale oznacza to również, że nie ma niepotrzebnych kosztów ogólnych. Dennis Zickefoose zaproponował obiektową konfigurację separatora w komentarzu do kodu Svena poniżej. W razie potrzeby można to zaimplementować jako funkcję alternatywną.
  • Obecnie nie jest oczywiste, jak dostosować zagnieżdżone ograniczniki kontenerów.
  • Należy pamiętać, że celem tej biblioteki jest umożliwienie szybkiego drukowania pojemników, które wymaga zerowego kodowania z Twojej strony. Nie jest to uniwersalna biblioteka formatująca, ale raczej narzędzie programistyczne, które zmniejsza potrzebę pisania kodu płyty kotłowej do kontroli kontenera.

Dziękujemy wszystkim, którzy przyczynili się!


Uwaga: jeśli szukasz szybkiego sposobu wdrożenia niestandardowych ograniczników, oto jeden ze sposobów usuwania typu. Zakładamy, że zbudowałeś już klasę separatora, powiedzmy MyDeltak:

struct MyDel { static const pretty_print::delimiters_values<char> values; };
const pretty_print::delimiters_values<char> MyDel::values = { "<", "; ", ">" };

Teraz chcemy mieć możliwość pisania std::cout << MyPrinter(v) << std::endl;dla niektórych kontenerów vprzy użyciu tych ograniczników. MyPrinterbędzie klasą kasującą typy, taką jak:

struct wrapper_base
{
  virtual ~wrapper_base() { }
  virtual std::ostream & stream(std::ostream & o) = 0;
};

template <typename T, typename Delims>
struct wrapper : public wrapper_base
{
  wrapper(const T & t) : t(t) { }
  std::ostream & stream(std::ostream & o)
  {
    return o << pretty_print::print_container_helper<T, char, std::char_traits<char>, Delims>(t);
  }
private:
  const T & t;
};

template <typename Delims>
struct MyPrinter
{
  template <typename Container> MyPrinter(const Container & c) : base(new wrapper<Container, Delims>(c)) { }
  ~MyPrinter() { delete base; }
  wrapper_base * base;
};

template <typename Delims>
std::ostream & operator<<(std::ostream & o, const MyPrinter<Delims> & p) { return p.base->stream(o); }
Kerrek SB
źródło
Twój kod nie będzie działał. nie ma takiego słowa kluczowego jak kontener C
the_drow 31.01.11
31
@ therow: Wygląda na to, że OP już to wie. Wskazują tylko, czego szukają.
Marcelo Cantos
Rzeczywiście podałem tylko „moralny” przykład pseudokodu. (Zauważyłem również, że zwracam typ.) Dla pewności nawet nie wiem, jak najlepiej zmienić ograniczniki.
Kerrek SB
1
Inną alternatywą byłoby umieszczenie operatorów w pretty_printprzestrzeni nazw i zapewnienie opakowania dla użytkownika do użycia podczas drukowania. Z punktu widzenia użytkownika: std::cout << pretty_print(v);(prawdopodobnie pod inną nazwą). Następnie możesz podać operatora w tej samej przestrzeni nazw, co opakowanie, a następnie można go rozszerzyć, aby wydrukować wszystko, co chcesz. Możesz także ulepszyć opakowanie, umożliwiając opcjonalne zdefiniowanie separatora do użycia w ramach każdego połączenia (zamiast używania cech, które wymuszają taki sam wybór dla całej aplikacji) \
David Rodríguez - dribeas
1
Proszę zamienić odpowiedzi „aktualizuj” w rzeczywiste odpowiedzi zamiast zadawać sobie pełne pytania pytanie.
einpoklum

Odpowiedzi:

82

To rozwiązanie zostało zainspirowane rozwiązaniem Marcelo, z kilkoma zmianami:

#include <iostream>
#include <iterator>
#include <type_traits>
#include <vector>
#include <algorithm>

// This works similar to ostream_iterator, but doesn't print a delimiter after the final item
template<typename T, typename TChar = char, typename TCharTraits = std::char_traits<TChar> >
class pretty_ostream_iterator : public std::iterator<std::output_iterator_tag, void, void, void, void>
{
public:
    typedef TChar char_type;
    typedef TCharTraits traits_type;
    typedef std::basic_ostream<TChar, TCharTraits> ostream_type;

    pretty_ostream_iterator(ostream_type &stream, const char_type *delim = NULL)
        : _stream(&stream), _delim(delim), _insertDelim(false)
    {
    }

    pretty_ostream_iterator<T, TChar, TCharTraits>& operator=(const T &value)
    {
        if( _delim != NULL )
        {
            // Don't insert a delimiter if this is the first time the function is called
            if( _insertDelim )
                (*_stream) << _delim;
            else
                _insertDelim = true;
        }
        (*_stream) << value;
        return *this;
    }

    pretty_ostream_iterator<T, TChar, TCharTraits>& operator*()
    {
        return *this;
    }

    pretty_ostream_iterator<T, TChar, TCharTraits>& operator++()
    {
        return *this;
    }

    pretty_ostream_iterator<T, TChar, TCharTraits>& operator++(int)
    {
        return *this;
    }
private:
    ostream_type *_stream;
    const char_type *_delim;
    bool _insertDelim;
};

#if _MSC_VER >= 1400

// Declare pretty_ostream_iterator as checked
template<typename T, typename TChar, typename TCharTraits>
struct std::_Is_checked_helper<pretty_ostream_iterator<T, TChar, TCharTraits> > : public std::tr1::true_type
{
};

#endif // _MSC_VER >= 1400

namespace std
{
    // Pre-declarations of container types so we don't actually have to include the relevant headers if not needed, speeding up compilation time.
    // These aren't necessary if you do actually include the headers.
    template<typename T, typename TAllocator> class vector;
    template<typename T, typename TAllocator> class list;
    template<typename T, typename TTraits, typename TAllocator> class set;
    template<typename TKey, typename TValue, typename TTraits, typename TAllocator> class map;
}

// Basic is_container template; specialize to derive from std::true_type for all desired container types
template<typename T> struct is_container : public std::false_type { };

// Mark vector as a container
template<typename T, typename TAllocator> struct is_container<std::vector<T, TAllocator> > : public std::true_type { };

// Mark list as a container
template<typename T, typename TAllocator> struct is_container<std::list<T, TAllocator> > : public std::true_type { };

// Mark set as a container
template<typename T, typename TTraits, typename TAllocator> struct is_container<std::set<T, TTraits, TAllocator> > : public std::true_type { };

// Mark map as a container
template<typename TKey, typename TValue, typename TTraits, typename TAllocator> struct is_container<std::map<TKey, TValue, TTraits, TAllocator> > : public std::true_type { };

// Holds the delimiter values for a specific character type
template<typename TChar>
struct delimiters_values
{
    typedef TChar char_type;
    const TChar *prefix;
    const TChar *delimiter;
    const TChar *postfix;
};

// Defines the delimiter values for a specific container and character type
template<typename T, typename TChar>
struct delimiters
{
    static const delimiters_values<TChar> values; 
};

// Default delimiters
template<typename T> struct delimiters<T, char> { static const delimiters_values<char> values; };
template<typename T> const delimiters_values<char> delimiters<T, char>::values = { "{ ", ", ", " }" };
template<typename T> struct delimiters<T, wchar_t> { static const delimiters_values<wchar_t> values; };
template<typename T> const delimiters_values<wchar_t> delimiters<T, wchar_t>::values = { L"{ ", L", ", L" }" };

// Delimiters for set
template<typename T, typename TTraits, typename TAllocator> struct delimiters<std::set<T, TTraits, TAllocator>, char> { static const delimiters_values<char> values; };
template<typename T, typename TTraits, typename TAllocator> const delimiters_values<char> delimiters<std::set<T, TTraits, TAllocator>, char>::values = { "[ ", ", ", " ]" };
template<typename T, typename TTraits, typename TAllocator> struct delimiters<std::set<T, TTraits, TAllocator>, wchar_t> { static const delimiters_values<wchar_t> values; };
template<typename T, typename TTraits, typename TAllocator> const delimiters_values<wchar_t> delimiters<std::set<T, TTraits, TAllocator>, wchar_t>::values = { L"[ ", L", ", L" ]" };

// Delimiters for pair
template<typename T1, typename T2> struct delimiters<std::pair<T1, T2>, char> { static const delimiters_values<char> values; };
template<typename T1, typename T2> const delimiters_values<char> delimiters<std::pair<T1, T2>, char>::values = { "(", ", ", ")" };
template<typename T1, typename T2> struct delimiters<std::pair<T1, T2>, wchar_t> { static const delimiters_values<wchar_t> values; };
template<typename T1, typename T2> const delimiters_values<wchar_t> delimiters<std::pair<T1, T2>, wchar_t>::values = { L"(", L", ", L")" };

// Functor to print containers. You can use this directly if you want to specificy a non-default delimiters type.
template<typename T, typename TChar = char, typename TCharTraits = std::char_traits<TChar>, typename TDelimiters = delimiters<T, TChar> >
struct print_container_helper
{
    typedef TChar char_type;
    typedef TDelimiters delimiters_type;
    typedef std::basic_ostream<TChar, TCharTraits>& ostream_type;

    print_container_helper(const T &container)
        : _container(&container)
    {
    }

    void operator()(ostream_type &stream) const
    {
        if( delimiters_type::values.prefix != NULL )
            stream << delimiters_type::values.prefix;
        std::copy(_container->begin(), _container->end(), pretty_ostream_iterator<typename T::value_type, TChar, TCharTraits>(stream, delimiters_type::values.delimiter));
        if( delimiters_type::values.postfix != NULL )
            stream << delimiters_type::values.postfix;
    }
private:
    const T *_container;
};

// Prints a print_container_helper to the specified stream.
template<typename T, typename TChar, typename TCharTraits, typename TDelimiters>
std::basic_ostream<TChar, TCharTraits>& operator<<(std::basic_ostream<TChar, TCharTraits> &stream, const print_container_helper<T, TChar, TDelimiters> &helper)
{
    helper(stream);
    return stream;
}

// Prints a container to the stream using default delimiters
template<typename T, typename TChar, typename TCharTraits>
typename std::enable_if<is_container<T>::value, std::basic_ostream<TChar, TCharTraits>&>::type
    operator<<(std::basic_ostream<TChar, TCharTraits> &stream, const T &container)
{
    stream << print_container_helper<T, TChar, TCharTraits>(container);
    return stream;
}

// Prints a pair to the stream using delimiters from delimiters<std::pair<T1, T2>>.
template<typename T1, typename T2, typename TChar, typename TCharTraits>
std::basic_ostream<TChar, TCharTraits>& operator<<(std::basic_ostream<TChar, TCharTraits> &stream, const std::pair<T1, T2> &value)
{
    if( delimiters<std::pair<T1, T2>, TChar>::values.prefix != NULL )
        stream << delimiters<std::pair<T1, T2>, TChar>::values.prefix;

    stream << value.first;

    if( delimiters<std::pair<T1, T2>, TChar>::values.delimiter != NULL )
        stream << delimiters<std::pair<T1, T2>, TChar>::values.delimiter;

    stream << value.second;

    if( delimiters<std::pair<T1, T2>, TChar>::values.postfix != NULL )
        stream << delimiters<std::pair<T1, T2>, TChar>::values.postfix;
    return stream;    
}

// Used by the sample below to generate some values
struct fibonacci
{
    fibonacci() : f1(0), f2(1) { }
    int operator()()
    {
        int r = f1 + f2;
        f1 = f2;
        f2 = r;
        return f1;
    }
private:
    int f1;
    int f2;
};

int main()
{
    std::vector<int> v;
    std::generate_n(std::back_inserter(v), 10, fibonacci());

    std::cout << v << std::endl;

    // Example of using pretty_ostream_iterator directly
    std::generate_n(pretty_ostream_iterator<int>(std::cout, ";"), 20, fibonacci());
    std::cout << std::endl;
}

Podobnie jak wersja Marcelo, wykorzystuje on cechę typu is_container, która musi być wyspecjalizowana dla wszystkich obsługiwanych kontenerów. Może to być możliwe użycie cechę, aby sprawdzić value_type, const_iterator, begin()/ end(), ale nie jestem pewien, polecam, że skoro może dopasować rzeczy, które pasują do tych kryteriów, ale w rzeczywistości nie są pojemniki, jak std::basic_string. Podobnie jak wersja Marcelo, wykorzystuje szablony, które można wyspecjalizować, aby określić ograniczniki do użycia.

Główną różnicą jest to, że zbudowałem swoją wersję wokół pretty_ostream_iterator, który działa podobnie do tego, std::ostream_iteratorale nie drukuje ogranicznika po ostatnim elemencie. Formatowanie kontenerów odbywa się za pomocą polecenia print_container_helper, którego można użyć bezpośrednio do drukowania kontenerów bez cechy is_container lub do określania innego typu separatora.

Zdefiniowałem również is_container i ograniczniki, więc będzie działać dla kontenerów z niestandardowymi predykatami lub alokatorami, a także dla char i wchar_t. Sama funkcja operatora << jest również zdefiniowana do pracy ze strumieniami char i wchar_t.

Wreszcie użyłem std::enable_if, który jest dostępny jako część C ++ 0x i działa w Visual C ++ 2010 i g ++ 4.3 (wymaga flagi -std = c ++ 0x) i późniejszych. W ten sposób nie ma zależności od wzmocnienia.

Sven
źródło
Jeśli czytam to prawo, aby wydrukować parę jak <i, j>w jednej funkcji, a tak jak [i j]w innej, musisz zdefiniować zupełnie nowy typ, z garstką statycznych elementów, aby przekazać ten typ print_container_helper? To wydaje się zbyt skomplikowane. Dlaczego nie wybrać rzeczywistego obiektu z polami, które można ustawić indywidualnie dla każdego przypadku, a specjalizacje po prostu zapewniają różne wartości domyślne?
Dennis Zickefoose
Zobacz to w ten sposób: jeśli istnieje kilka ograniczników, które lubisz osobiście, możesz raz na zawsze stworzyć kilka klas z elementami statycznymi, a następnie po prostu ich użyć. Oczywiście masz rację, że używanie print_container_helpernie jest tak eleganckie jak tylko operator<<. Zawsze możesz oczywiście zmienić źródło lub po prostu dodać wyraźne specjalizacje dla swojego ulubionego kontenera, np. Dla pair<int, int>i dla pair<double, string>. Ostatecznie chodzi o porównanie siły z wygodą. Sugestie dotyczące ulepszeń mile widziane!
Kerrek SB
... i aby kontynuować, jeśli potrzebujesz już drukowania sytuacyjnego tego samego typu danych w różnych formatach, prawdopodobnie i tak będziesz musiał napisać co najmniej jedno małe opakowanie. To nie jest wysoce konfigurowalna biblioteka formatowania, ale raczej rozsądna domyślna biblioteka zero wysiłku, która w magiczny sposób pozwala drukować pojemniki bez zastanowienia ... (Ale jeśli chcesz większej globalnej elastyczności, prawdopodobnie moglibyśmy dodać trochę #macros do zrobienia ustawienia domyślne są łatwe do manipulowania.)
Kerrek SB
Prawdziwy problem polega na tym, że chociaż mógłbym łatwo zmodyfikować print_container_helper, aby używał parametrów niestandardowych ograniczników, tak naprawdę nie ma sposobu, aby określić ograniczniki dla wewnętrznego kontenera (lub pary) poza specjalizacją szablonu ograniczników. Osiągnięcie tego byłoby bardzo skomplikowane.
Sven
Prawie udaje mi się osiągnąć wygodne niestandardowe rozwiązanie separatora przy użyciu funkcji wymazywania. Jeśli masz już klasę separatora MyDels, to mogę powiedzieć std::cout << CustomPrinter<MyDels>(x);. Co mi nie może zrobić w tej chwili, to powiedzieć std::cout << CustomDelims<"{", ":", "}">(x);, ponieważ nie można mieć const char *argumenty szablonu. Decyzja o ustawieniu stałej czasowej kompilacji ograniczników nakłada pewne ograniczenia na łatwość użycia, ale myślę, że warto.
Kerrek SB
22

Zostało to edytowane kilka razy i postanowiliśmy nazwać główną klasę, która otacza kolekcję RangePrinter

Powinno to działać automatycznie z dowolną kolekcją po napisaniu przeciążenia operatora << <<, z tym wyjątkiem, że będziesz potrzebować specjalnej mapy do wydrukowania pary i możesz tam dostosować ogranicznik.

Możesz również mieć specjalną funkcję „drukowania”, która będzie używana na elemencie, a nie tylko na bezpośrednim wyświetlaniu go. Trochę jak algorytmy STL pozwalają przekazywać niestandardowe predykaty. Z mapą użyłbyś jej w ten sposób, z niestandardową drukarką dla std :: pair.

Twoja „domyślna” drukarka po prostu wyśle ​​go do strumienia.

Ok, pracujmy na niestandardowej drukarce. Zmienię moją zewnętrzną klasę na RangePrinter. Mamy więc 2 iteratory i niektóre ograniczniki, ale nie dostosowaliśmy sposobu drukowania rzeczywistych elementów.

struct DefaultPrinter
{
   template< typename T >
   std::ostream & operator()( std::ostream& os, const T& t ) const
   {
     return os << t;
   }

   // overload for std::pair
   template< typename K, typename V >
   std::ostream & operator()( std::ostream & os, std::pair<K,V> const& p)
   {
      return os << p.first << '=' << p.second;
   }
};

// some prototypes
template< typename FwdIter, typename Printer > class RangePrinter;

template< typename FwdIter, typename Printer > 
  std::ostream & operator<<( std::ostream &, 
        RangePrinter<FwdIter, Printer> const& );

template< typename FwdIter, typename Printer=DefaultPrinter >
class RangePrinter
{
    FwdIter begin;
    FwdIter end;
    std::string delim;
    std::string open;
    std::string close;
    Printer printer;

    friend std::ostream& operator<< <>( std::ostream&, 
         RangePrinter<FwdIter,Printer> const& );

public:
    RangePrinter( FwdIter b, FwdIter e, Printer p,
         std::string const& d, std::string const & o, std::string const& c )
      : begin( b ), end( e ), printer( p ), open( o ), close( c )
    {
    } 

     // with no "printer" variable
    RangePrinter( FwdIter b, FwdIter e,
         std::string const& d, std::string const & o, std::string const& c )
      : begin( b ), end( e ), open( o ), close( c )
    {
    } 

};


template<typename FwdIter, typename Printer>
std::ostream& operator<<( std::ostream& os, 
          RangePrinter<FwdIter, Printer> const& range )
{
    const Printer & printer = range.printer;

    os << range.open;
    FwdIter begin = range.begin, end = range.end;

    // print the first item
    if (begin == end) 
    { 
      return os << range.close; 
    }

    printer( os, *begin );

    // print the rest with delim as a prefix
    for( ++begin; begin != end; ++begin )
    {
       os << range.delim;
       printer( os, *begin );
    }
    return os << range.close;
}

Teraz domyślnie będzie działać na mapach, o ile typy klucza i wartości można drukować i można wstawić własną drukarkę przedmiotów specjalnych, gdy nie są (tak jak w przypadku dowolnego innego typu) lub jeśli nie chcesz = jako separator.

Przenoszę teraz funkcję swobodną, ​​aby utworzyć je do końca:

Darmowa funkcja (wersja iteratora) wyglądałaby tak, a można nawet mieć wartości domyślne:

template<typename Collection>
RangePrinter<typename Collection::const_iterator> rangePrinter
    ( const Collection& coll, const char * delim=",", 
       const char * open="[", const char * close="]")
{
   return RangePrinter< typename Collection::const_iterator >
     ( coll.begin(), coll.end(), delim, open, close );
}

Możesz użyć go do std :: set by

 std::cout << outputFormatter( mySet );

Możesz także napisać wersję bezpłatną, która zajmuje niestandardową drukarkę i taką, która wymaga dwóch iteratorów. W każdym razie rozwiążą one parametry szablonu i będziesz mógł przekazać je jako tymczasowe.

Dojną krową
źródło
Widzę. Jest to podobne do pomysłu Marcelo Cantos, prawda? Spróbuję przekształcić to w działający przykład, dziękuję!
Kerrek SB
Uważam to rozwiązanie za znacznie czystsze niż rozwiązanie Marcelo i oferuje tę samą elastyczność. Podoba mi się aspekt, że trzeba jawnie zawrzeć dane wyjściowe w wywołaniu funkcji. Aby być naprawdę fajnym, możesz dodać obsługę wyjścia z szeregu iteratorów bezpośrednio, dzięki czemu mogę to zrobić std::cout << outputFormatter(beginOfRange, endOfRange);.
Björn Pollex
1
@CashCow: jest jeden problem z tym rozwiązaniem, wydaje się, że nie działa z kolekcjami rekurencyjnymi (tj. Kolekcjami kolekcji). std::pairjest najbardziej podstawowym przykładem „kolekcji wewnętrznej”.
Matthieu M.
Bardzo podoba mi się ta odpowiedź, ponieważ nie ma zależności i nie musi wiedzieć o obsługiwanych kontenerach. Czy możemy dowiedzieć się, czy można to łatwo obsłużyć std::mapi czy działa w przypadku kolekcji zbiorów? Kusi mnie jednak, by przyjąć tę odpowiedź. Mam nadzieję, że Marcelo nie ma nic przeciwko, jego rozwiązanie również działa.
Kerrek SB
@Matthieu M. To zależy od tego, jak wydrukujesz wewnętrzną kolekcję. Jeśli po prostu użyjesz OS << otwórz << * iter << zamknij, wtedy będziesz miał z tym problem, ale jeśli pozwolisz swojemu użytkownikowi na przejście do niestandardowej drukarki, jak sugerowałem, możesz następnie wydrukować wszystko, co chcesz.
CashCow 31.01.11
14

Oto działająca biblioteka, przedstawiona jako kompletny działający program, który właśnie zhakowałem razem:

#include <set>
#include <vector>
#include <iostream>

#include <boost/utility/enable_if.hpp>

// Default delimiters
template <class C> struct Delims { static const char *delim[3]; };
template <class C> const char *Delims<C>::delim[3]={"[", ", ", "]"};
// Special delimiters for sets.                                                                                                             
template <typename T> struct Delims< std::set<T> > { static const char *delim[3]; };
template <typename T> const char *Delims< std::set<T> >::delim[3]={"{", ", ", "}"};

template <class C> struct IsContainer { enum { value = false }; };
template <typename T> struct IsContainer< std::vector<T> > { enum { value = true }; };
template <typename T> struct IsContainer< std::set<T>    > { enum { value = true }; };

template <class C>
typename boost::enable_if<IsContainer<C>, std::ostream&>::type
operator<<(std::ostream & o, const C & x)
{
  o << Delims<C>::delim[0];
  for (typename C::const_iterator i = x.begin(); i != x.end(); ++i)
    {
      if (i != x.begin()) o << Delims<C>::delim[1];
      o << *i;
    }
  o << Delims<C>::delim[2];
  return o;
}

template <typename T> struct IsChar { enum { value = false }; };
template <> struct IsChar<char> { enum { value = true }; };

template <typename T, int N>
typename boost::disable_if<IsChar<T>, std::ostream&>::type
operator<<(std::ostream & o, const T (&x)[N])
{
  o << "[";
  for (int i = 0; i != N; ++i)
    {
      if (i) o << ",";
      o << x[i];
    }
  o << "]";
  return o;
}

int main()
{
  std::vector<int> i;
  i.push_back(23);
  i.push_back(34);

  std::set<std::string> j;
  j.insert("hello");
  j.insert("world");

  double k[] = { 1.1, 2.2, M_PI, -1.0/123.0 };

  std::cout << i << "\n" << j << "\n" << k << "\n";
}

Obecnie działa tylko z vectori set, ale może być przystosowany do pracy z większością kontenerów, po prostu rozszerzając IsContainerspecjalizacje. Nie zastanawiałem się zbytnio, czy ten kod jest minimalny, ale nie mogę od razu wymyślić niczego, co można by uznać za zbędne.

EDYCJA: Tylko dla kopnięć, zawarłem wersję, która obsługuje tablice. Musiałem wykluczyć tablice znaków, aby uniknąć dalszych dwuznaczności; wciąż może mieć kłopoty wchar_t[].

Marcelo Cantos
źródło
2
@Nawaz: Jak powiedziałem, to dopiero początek rozwiązania. Możesz wesprzeć std::map<>specjalizując się z operatorem lub definiując operator<<for std::pair<>.
Marcelo Cantos
Jednak +1 za użycie Delimsszablonu klasy!
Nawaz
@MC: Oh dobrze. To wygląda bardzo obiecująco! (Nawiasem mówiąc, potrzebujesz zwrotu typu „std :: ostream &”, początkowo o tym zapomniałem).
Kerrek SB
Hmm, dostaję „niejednoznaczne przeciążenie”, gdy próbuję tego na std :: vector <int> i std :: set <std :: string> ...
Kerrek SB 31.01.11
Tak, obecnie zastanawiam się, jak uniknąć dwuznaczności, które są spowodowane faktem, że operator<<szablon pasuje prawie do wszystkiego.
Marcelo Cantos
10

Możesz formatować kontenery oraz zakresy i krotki za pomocą biblioteki {fmt} . Na przykład:

#include <vector>
#include <fmt/ranges.h>

int main() {
  auto v = std::vector<int>{1, 2, 3};
  fmt::print("{}", v);
}

odciski

{1, 2, 3}

do stdout.

Oświadczenie : Jestem autorem {fmt}.

vitaut
źródło
8

Kod okazał się przydatny przy kilku okazjach i wydaje mi się, że koszt dostosowania się do potrzeb jest niewielki. Dlatego postanowiłem wydać go na licencji MIT i udostępnić repozytorium GitHub, w którym można pobrać nagłówek i mały przykładowy plik.

http://djmuw.github.io/prettycc

0. Przedmowa i sformułowania

A 'dekoracji' pod względem tej odpowiedzi jest zbiorem prefix-ciąg, separator-string, a postfix-string. Tam, gdzie ciąg przedrostka jest wstawiany do strumienia przed, a łańcuch po przedrostku za wartościami kontenera (patrz 2. Docelowe kontenery). Ciąg separatora jest wstawiany między wartościami odpowiedniego kontenera.

Uwaga: W rzeczywistości ta odpowiedź nie odnosi się do pytania w 100%, ponieważ dekoracja nie jest ściśle skompilowaną stałą czasową, ponieważ wymagane są kontrole środowiska wykonawczego w celu sprawdzenia, czy do bieżącego strumienia zastosowano dekorację niestandardową. Niemniej jednak myślę, że ma kilka przyzwoitych funkcji.

Uwaga 2: Mogą zawierać drobne błędy, ponieważ nie zostały jeszcze dobrze przetestowane.

1. Ogólny pomysł / zastosowanie

Zero dodatkowy kod wymagany do użycia

To powinno być tak proste, jak

#include <vector>
#include "pretty.h"

int main()
{
  std::cout << std::vector<int>{1,2,3,4,5}; // prints 1, 2, 3, 4, 5
  return 0;
}

Łatwa personalizacja ...

... w odniesieniu do konkretnego obiektu strumienia

#include <vector>
#include "pretty.h"

int main()
{
  // set decoration for std::vector<int> for cout object
  std::cout << pretty::decoration<std::vector<int>>("(", ",", ")");
  std::cout << std::vector<int>{1,2,3,4,5}; // prints (1,2,3,4,5)
  return 0;
}

lub w odniesieniu do wszystkich strumieni:

#include <vector>
#include "pretty.h"

// set decoration for std::vector<int> for all ostream objects
PRETTY_DEFAULT_DECORATION(std::vector<int>, "{", ", ", "}")

int main()
{
  std::cout << std::vector<int>{1,2,3,4,5}; // prints {1, 2, 3, 4, 5}
  std::cout << pretty::decoration<std::vector<int>>("(", ",", ")");
  std::cout << std::vector<int>{1,2,3,4,5}; // prints (1,2,3,4,5)
  return 0;
}

Szorstki opis

  • Kod zawiera szablon klasy zapewniający domyślną dekorację dla dowolnego typu
  • który może specjalizować się w zmianie domyślnej dekoracji dla (a) określonego typu (ów) i tak jest
  • korzystanie z prywatnego magazynu udostępnianego przez ios_baseużycie xalloc/ pwordw celu zapisania wskaźnika do pretty::decorobiektu, który konkretnie dekoruje określony typ w określonym strumieniu.

Jeśli żaden pretty::decor<T>obiekt dla tego strumienia nie został jawnie pretty::defaulted<T, charT, chartraitT>::decoration()wywołany, w celu uzyskania domyślnej dekoracji dla danego typu. Ta klasa pretty::defaultedma się specjalizować w dostosowywaniu domyślnych dekoracji.

2. Docelowe obiekty / kontenery

Obiektami docelowymi objdla „ładnej dekoracji” tego kodu są obiekty posiadające jedno z nich

  • przeciążenia std::beginistd::end zdefiniowane (obejmuje tablice typu C),
  • posiadające begin(obj)i end(obj)dostępne za pośrednictwem ADL,
  • są tego typu std::tuple
  • lub typu std::pair.

Kod zawiera cechę służącą do identyfikacji klas z funkcjami zakresu ( begin/ end). (Nie ma jednak żadnej kontroli, czy begin(obj) == end(obj)jest to prawidłowe wyrażenie.)

Kod udostępnia operator<<s w globalnej przestrzeni nazw, która ma zastosowanie tylko do klas, które nie mają bardziej wyspecjalizowanej wersji operator<<. Dlatego na przykład std::stringnie jest drukowany przy użyciu operatora w tym kodzie, chociaż ma prawidłową begin/ endparę.

3. Wykorzystanie i dostosowanie

Dekoracje można nakładać osobno dla każdego typu (z wyjątkiem różnych tuples) i strumienia (nie typu strumienia!). (Tjstd::vector<int> Może mieć różne dekoracje dla różnych obiektów strumienia).

A) Domyślna dekoracja

Domyślnym prefiksem jest ""(nic), podobnie jak domyślny postfiks, a domyślnym separatorem jest ", "(przecinek + spacja).

B) Dostosowana domyślna dekoracja typu poprzez specjalizację pretty::defaultedszablonu klasy

struct defaultedMa statycznej funkcji składowej decoration()przekazujących decorobiekt, który zawiera wartości domyślne dla danego typu.

Przykład użycia tablicy:

Dostosuj domyślne drukowanie tablic:

namespace pretty
{
  template<class T, std::size_t N>
  struct defaulted<T[N]>
  {
    static decor<T[N]> decoration()
    {
      return{ { "(" }, { ":" }, { ")" } };
    }
  };
}

Wydrukuj tablicę arry:

float e[5] = { 3.4f, 4.3f, 5.2f, 1.1f, 22.2f };
std::cout << e << '\n'; // prints (3.4:4.3:5.2:1.1:22.2)

Korzystanie z PRETTY_DEFAULT_DECORATION(TYPE, PREFIX, DELIM, POSTFIX, ...)makra dla charstrumieni

Makro rozwija się do

namespace pretty { 
  template< __VA_ARGS__ >
  struct defaulted< TYPE > {
    static decor< TYPE > decoration() {
      return { PREFIX, DELIM, POSTFIX };
    } 
  }; 
} 

umożliwiając przepisanie powyższej częściowej specjalizacji

PRETTY_DEFAULT_DECORATION(T[N], "", ";", "", class T, std::size_t N)

lub wstawienie pełnej specjalizacji, takiej jak

PRETTY_DEFAULT_DECORATION(std::vector<int>, "(", ", ", ")")

Innym makro dla wchar_tstrumieni wliczone jest: PRETTY_DEFAULT_WDECORATION.

C) Nakładaj dekorację na strumienie

Funkcja pretty::decorationsłuży do nakładania dekoracji na określony strumień. Występują przeciążenia, które przyjmują albo - jeden argument ciągu jest ogranicznikiem (przyjmując prefiks i postfiks z domyślnej klasy) - lub trzy argumenty ciągu składające całą dekorację

Kompletna dekoracja dla danego typu i strumienia

float e[3] = { 3.4f, 4.3f, 5.2f };
std::stringstream u;
// add { ; } decoration to u
u << pretty::decoration<float[3]>("{", "; ", "}");

// use { ; } decoration
u << e << '\n'; // prints {3.4; 4.3; 5.2}

// uses decoration returned by defaulted<float[3]>::decoration()
std::cout << e; // prints 3.4, 4.3, 5.2

Dostosowanie separatora dla danego strumienia

PRETTY_DEFAULT_DECORATION(float[3], "{{{", ",", "}}}")

std::stringstream v;
v << e; // prints {{{3.4,4.3,5.2}}}

v << pretty::decoration<float[3]>(":");
v << e; // prints {{{3.4:4.3:5.2}}}

v << pretty::decoration<float[3]>("((", "=", "))");
v << e; // prints ((3.4=4.3=5.2))

4. Specjalne postępowanie z std::tuple

Zamiast zezwalania na specjalizację dla każdego możliwego rodzaju krotki, ten kod stosuje każdą dekorację dostępną dla std::tuple<void*>wszystkich rodzajów std::tuple<...>.

5. Usuń niestandardową dekorację ze strumienia

Aby wrócić do domyślnej dekoracji dla danego typu, użyj pretty::clearszablonu funkcji w strumieniu s.

s << pretty::clear<std::vector<int>>();

5. Dalsze przykłady

Drukowanie „podobnego do matrycy” za pomocą separatora nowego wiersza

std::vector<std::vector<int>> m{ {1,2,3}, {4,5,6}, {7,8,9} };
std::cout << pretty::decoration<std::vector<std::vector<int>>>("\n");
std::cout << m;

Wydruki

1, 2, 3
4, 5, 6
7, 8, 9

Zobacz na ideone / KKUebZ

6. Kod

#ifndef pretty_print_0x57547_sa4884X_0_1_h_guard_
#define pretty_print_0x57547_sa4884X_0_1_h_guard_

#include <string>
#include <iostream>
#include <type_traits>
#include <iterator>
#include <utility>

#define PRETTY_DEFAULT_DECORATION(TYPE, PREFIX, DELIM, POSTFIX, ...) \
    namespace pretty { template< __VA_ARGS__ >\
    struct defaulted< TYPE > {\
    static decor< TYPE > decoration(){\
      return { PREFIX, DELIM, POSTFIX };\
    } /*decoration*/ }; /*defaulted*/} /*pretty*/

#define PRETTY_DEFAULT_WDECORATION(TYPE, PREFIX, DELIM, POSTFIX, ...) \
    namespace pretty { template< __VA_ARGS__ >\
    struct defaulted< TYPE, wchar_t, std::char_traits<wchar_t> > {\
    static decor< TYPE, wchar_t, std::char_traits<wchar_t> > decoration(){\
      return { PREFIX, DELIM, POSTFIX };\
    } /*decoration*/ }; /*defaulted*/} /*pretty*/

namespace pretty
{

  namespace detail
  {
    // drag in begin and end overloads
    using std::begin;
    using std::end;
    // helper template
    template <int I> using _ol = std::integral_constant<int, I>*;
    // SFINAE check whether T is a range with begin/end
    template<class T>
    class is_range
    {
      // helper function declarations using expression sfinae
      template <class U, _ol<0> = nullptr>
      static std::false_type b(...);
      template <class U, _ol<1> = nullptr>
      static auto b(U &v) -> decltype(begin(v), std::true_type());
      template <class U, _ol<0> = nullptr>
      static std::false_type e(...);
      template <class U, _ol<1> = nullptr>
      static auto e(U &v) -> decltype(end(v), std::true_type());
      // return types
      using b_return = decltype(b<T>(std::declval<T&>()));
      using e_return = decltype(e<T>(std::declval<T&>()));
    public:
      static const bool value = b_return::value && e_return::value;
    };
  }

  // holder class for data
  template<class T, class CharT = char, class TraitT = std::char_traits<CharT>>
  struct decor
  {
    static const int xindex;
    std::basic_string<CharT, TraitT> prefix, delimiter, postfix;
    decor(std::basic_string<CharT, TraitT> const & pre = "",
      std::basic_string<CharT, TraitT> const & delim = "",
      std::basic_string<CharT, TraitT> const & post = "")
      : prefix(pre), delimiter(delim), postfix(post) {}
  };

  template<class T, class charT, class traits>
  int const decor<T, charT, traits>::xindex = std::ios_base::xalloc();

  namespace detail
  {

    template<class T, class CharT, class TraitT>
    void manage_decor(std::ios_base::event evt, std::ios_base &s, int const idx)
    {
      using deco_type = decor<T, CharT, TraitT>;
      if (evt == std::ios_base::erase_event)
      { // erase deco
        void const * const p = s.pword(idx);
        if (p)
        {
          delete static_cast<deco_type const * const>(p);
          s.pword(idx) = nullptr;
        }
      }
      else if (evt == std::ios_base::copyfmt_event)
      { // copy deco
        void const * const p = s.pword(idx);
        if (p)
        {
          auto np = new deco_type{ *static_cast<deco_type const * const>(p) };
          s.pword(idx) = static_cast<void*>(np);
        }
      }
    }

    template<class T> struct clearer {};

    template<class T, class CharT, class TraitT>
    std::basic_ostream<CharT, TraitT>& operator<< (
      std::basic_ostream<CharT, TraitT> &s, clearer<T> const &)
    {
      using deco_type = decor<T, CharT, TraitT>;
      void const * const p = s.pword(deco_type::xindex);
      if (p)
      { // delete if set
        delete static_cast<deco_type const *>(p);
        s.pword(deco_type::xindex) = nullptr;
      }
      return s;
    }

    template <class CharT> 
    struct default_data { static const CharT * decor[3]; };
    template <> 
    const char * default_data<char>::decor[3] = { "", ", ", "" };
    template <> 
    const wchar_t * default_data<wchar_t>::decor[3] = { L"", L", ", L"" };

  }

  // Clear decoration for T
  template<class T>
  detail::clearer<T> clear() { return{}; }
  template<class T, class CharT, class TraitT>
  void clear(std::basic_ostream<CharT, TraitT> &s) { s << detail::clearer<T>{}; }

  // impose decoration on ostream
  template<class T, class CharT, class TraitT>
  std::basic_ostream<CharT, TraitT>& operator<<(
    std::basic_ostream<CharT, TraitT> &s, decor<T, CharT, TraitT> && h)
  {
    using deco_type = decor<T, CharT, TraitT>;
    void const * const p = s.pword(deco_type::xindex);
    // delete if already set
    if (p) delete static_cast<deco_type const *>(p);
    s.pword(deco_type::xindex) = static_cast<void *>(new deco_type{ std::move(h) });
    // check whether we alread have a callback registered
    if (s.iword(deco_type::xindex) == 0)
    { // if this is not the case register callback and set iword
      s.register_callback(detail::manage_decor<T, CharT, TraitT>, deco_type::xindex);
      s.iword(deco_type::xindex) = 1;
    }
    return s;
  }

  template<class T, class CharT = char, class TraitT = std::char_traits<CharT>>
  struct defaulted
  {
    static inline decor<T, CharT, TraitT> decoration()
    {
      return{ detail::default_data<CharT>::decor[0],
        detail::default_data<CharT>::decor[1],
        detail::default_data<CharT>::decor[2] };
    }
  };

  template<class T, class CharT = char, class TraitT = std::char_traits<CharT>>
  decor<T, CharT, TraitT> decoration(
    std::basic_string<CharT, TraitT> const & prefix,
    std::basic_string<CharT, TraitT> const & delimiter,
    std::basic_string<CharT, TraitT> const & postfix)
  {
    return{ prefix, delimiter, postfix };
  }

  template<class T, class CharT = char,
  class TraitT = std::char_traits < CharT >>
    decor<T, CharT, TraitT> decoration(
      std::basic_string<CharT, TraitT> const & delimiter)
  {
    using str_type = std::basic_string<CharT, TraitT>;
    return{ defaulted<T, CharT, TraitT>::decoration().prefix,
      delimiter, defaulted<T, CharT, TraitT>::decoration().postfix };
  }

  template<class T, class CharT = char,
  class TraitT = std::char_traits < CharT >>
    decor<T, CharT, TraitT> decoration(CharT const * const prefix,
      CharT const * const delimiter, CharT const * const postfix)
  {
    using str_type = std::basic_string<CharT, TraitT>;
    return{ str_type{ prefix }, str_type{ delimiter }, str_type{ postfix } };
  }

  template<class T, class CharT = char,
  class TraitT = std::char_traits < CharT >>
    decor<T, CharT, TraitT> decoration(CharT const * const delimiter)
  {
    using str_type = std::basic_string<CharT, TraitT>;
    return{ defaulted<T, CharT, TraitT>::decoration().prefix,
      str_type{ delimiter }, defaulted<T, CharT, TraitT>::decoration().postfix };
  }

  template<typename T, std::size_t N, std::size_t L>
  struct tuple
  {
    template<class CharT, class TraitT>
    static void print(std::basic_ostream<CharT, TraitT>& s, T const & value,
      std::basic_string<CharT, TraitT> const &delimiter)
    {
      s << std::get<N>(value) << delimiter;
      tuple<T, N + 1, L>::print(s, value, delimiter);
    }
  };

  template<typename T, std::size_t N>
  struct tuple<T, N, N>
  {
    template<class CharT, class TraitT>
    static void print(std::basic_ostream<CharT, TraitT>& s, T const & value,
      std::basic_string<CharT, TraitT> const &) {
      s << std::get<N>(value);
    }
  };

}

template<class CharT, class TraitT>
std::basic_ostream<CharT, TraitT> & operator<< (
  std::basic_ostream<CharT, TraitT> &s, std::tuple<> const & v)
{
  using deco_type = pretty::decor<std::tuple<void*>, CharT, TraitT>;
  using defaulted_type = pretty::defaulted<std::tuple<void*>, CharT, TraitT>;
  void const * const p = s.pword(deco_type::xindex);
  auto const d = static_cast<deco_type const * const>(p);
  s << (d ? d->prefix : defaulted_type::decoration().prefix);
  s << (d ? d->postfix : defaulted_type::decoration().postfix);
  return s;
}

template<class CharT, class TraitT, class ... T>
std::basic_ostream<CharT, TraitT> & operator<< (
  std::basic_ostream<CharT, TraitT> &s, std::tuple<T...> const & v)
{
  using deco_type = pretty::decor<std::tuple<void*>, CharT, TraitT>;
  using defaulted_type = pretty::defaulted<std::tuple<void*>, CharT, TraitT>;
  using pretty_tuple = pretty::tuple<std::tuple<T...>, 0U, sizeof...(T)-1U>;
  void const * const p = s.pword(deco_type::xindex);
  auto const d = static_cast<deco_type const * const>(p);
  s << (d ? d->prefix : defaulted_type::decoration().prefix);
  pretty_tuple::print(s, v, d ? d->delimiter : 
    defaulted_type::decoration().delimiter);
  s << (d ? d->postfix : defaulted_type::decoration().postfix);
  return s;
}

template<class T, class U, class CharT, class TraitT>
std::basic_ostream<CharT, TraitT> & operator<< (
  std::basic_ostream<CharT, TraitT> &s, std::pair<T, U> const & v)
{
  using deco_type = pretty::decor<std::pair<T, U>, CharT, TraitT>;
  using defaulted_type = pretty::defaulted<std::pair<T, U>, CharT, TraitT>;
  void const * const p = s.pword(deco_type::xindex);
  auto const d = static_cast<deco_type const * const>(p);
  s << (d ? d->prefix : defaulted_type::decoration().prefix);
  s << v.first;
  s << (d ? d->delimiter : defaulted_type::decoration().delimiter);
  s << v.second;
  s << (d ? d->postfix : defaulted_type::decoration().postfix);
  return s;
}


template<class T, class CharT = char,
class TraitT = std::char_traits < CharT >>
  typename std::enable_if < pretty::detail::is_range<T>::value,
  std::basic_ostream < CharT, TraitT >> ::type & operator<< (
    std::basic_ostream<CharT, TraitT> &s, T const & v)
{
  bool first(true);
  using deco_type = pretty::decor<T, CharT, TraitT>;
  using default_type = pretty::defaulted<T, CharT, TraitT>;
  void const * const p = s.pword(deco_type::xindex);
  auto d = static_cast<pretty::decor<T, CharT, TraitT> const * const>(p);
  s << (d ? d->prefix : default_type::decoration().prefix);
  for (auto const & e : v)
  { // v is range thus range based for works
    if (!first) s << (d ? d->delimiter : default_type::decoration().delimiter);
    s << e;
    first = false;
  }
  s << (d ? d->postfix : default_type::decoration().postfix);
  return s;
}

#endif // pretty_print_0x57547_sa4884X_0_1_h_guard_
Pixelchemist
źródło
4

Dodam tutaj kolejną odpowiedź, ponieważ wpadłem na inne podejście do mojej poprzedniej, a mianowicie wykorzystanie aspektów regionalnych.

Podstawy są tutaj

Zasadniczo to, co robisz, to:

  1. Utwórz klasę, która wywodzi się z std::locale::facet . Lekkim minusem jest to, że będziesz potrzebować gdzieś kompilatora do przechowywania jego identyfikatora. Nazwijmy to MyPrettyVectorPrinter. Prawdopodobnie nadałbyś mu lepszą nazwę, a także stworzyłeś dla pary i mapy.
  2. W funkcji przesyłania strumieniowego zaznaczasz std::has_facet< MyPrettyVectorPrinter >
  3. Jeśli to zwraca wartość true, wypakuj ją za pomocą std::use_facet< MyPrettyVectorPrinter >( os.getloc() )
  4. Twoje obiekty aspektów będą miały wartości dla ograniczników i możesz je odczytać. Jeśli aspekt nie zostanie znaleziony, funkcja drukowania ( operator<<) udostępnia te domyślne. Pamiętaj, że możesz zrobić to samo, czytając wektor.

Podoba mi się ta metoda, ponieważ możesz użyć domyślnego wydruku, a jednocześnie możesz użyć niestandardowego zastąpienia.

Wady potrzebują biblioteki dla twojego aspektu, jeśli są używane w wielu projektach (więc nie mogą być tylko nagłówkami), a także faktem, że musisz uważać na koszt utworzenia nowego obiektu ustawień regionalnych.

Napisałem to jako nowe rozwiązanie zamiast modyfikować moje inne, ponieważ uważam, że oba podejścia mogą być poprawne, a ty wybierasz.

Dojną krową
źródło
Wyjaśnię to prosto: czy przy takim podejściu muszę aktywnie dodawać do białej listy każdy typ kontenera, którego chcę użyć?
Kerrek SB,
Cóż, tak naprawdę nie należy rozszerzać standardu na inne niż dla własnych typów, ale piszesz przeciążenie operatora << dla każdego typu kontenera (wektor, mapa, lista, deque) oraz parę, którą chcesz wydrukować. Oczywiście niektórzy mogą dzielić ten aspekt (np. Możesz wydrukować listę, wektor i usunąć wszystkie). Podajesz „domyślną” metodę drukowania, ale zezwalasz użytkownikom na utworzenie aspektu, ustawień regionalnych i obrazu przed drukowaniem. Trochę jak sposób, w jaki boost drukuje ich date_time. Można również załadować ich aspekt do globalnych ustawień narodowych, aby domyślnie wydrukować w ten sposób.
CashCow
2

Celem jest tutaj użycie ADL do dostosowania tego, jak ładnie drukujemy.

Przekazujesz tag formatera i zastępujesz 4 funkcje (przed, po, pomiędzy i schodzisz) w przestrzeni nazw znacznika. Zmienia to sposób, w jaki formatyzator drukuje „ozdoby” podczas iteracji nad pojemnikami.

Domyślny formater, który działa {(a->b),(c->d)}dla map, (a,b,c)dla tupleoidów, "hello"dla ciągów znaków, [x,y,z]dla wszystkich innych zawartych elementów.

Powinien „po prostu działać” z iterowalnymi typami innych firm (i traktować je jak „wszystko inne”).

Jeśli chcesz niestandardowe ozdoby dla iteratorów innych firm, po prostu stwórz własny tag. Zajmie to trochę pracy, aby obsłużyć zejście mapy (musisz pretty_print_descend( your_tagwrócić do przeciążenia pretty_print::decorator::map_magic_tag<your_tag>). Być może istnieje na to czystszy sposób, nie jestem pewien.

Mała biblioteka do wykrywania iterowalności i krotności:

namespace details {
  using std::begin; using std::end;
  template<class T, class=void>
  struct is_iterable_test:std::false_type{};
  template<class T>
  struct is_iterable_test<T,
    decltype((void)(
      (void)(begin(std::declval<T>())==end(std::declval<T>()))
      , ((void)(std::next(begin(std::declval<T>()))))
      , ((void)(*begin(std::declval<T>())))
      , 1
    ))
  >:std::true_type{};
  template<class T>struct is_tupleoid:std::false_type{};
  template<class...Ts>struct is_tupleoid<std::tuple<Ts...>>:std::true_type{};
  template<class...Ts>struct is_tupleoid<std::pair<Ts...>>:std::true_type{};
  // template<class T, size_t N>struct is_tupleoid<std::array<T,N>>:std::true_type{}; // complete, but problematic
}
template<class T>struct is_iterable:details::is_iterable_test<std::decay_t<T>>{};
template<class T, std::size_t N>struct is_iterable<T(&)[N]>:std::true_type{}; // bypass decay
template<class T>struct is_tupleoid:details::is_tupleoid<std::decay_t<T>>{};

template<class T>struct is_visitable:std::integral_constant<bool, is_iterable<T>{}||is_tupleoid<T>{}> {};

Biblioteka, która pozwala nam odwiedzić zawartość iterowalnego lub krotkowego obiektu:

template<class C, class F>
std::enable_if_t<is_iterable<C>{}> visit_first(C&& c, F&& f) {
  using std::begin; using std::end;
  auto&& b = begin(c);
  auto&& e = end(c);
  if (b==e)
      return;
  std::forward<F>(f)(*b);
}
template<class C, class F>
std::enable_if_t<is_iterable<C>{}> visit_all_but_first(C&& c, F&& f) {
  using std::begin; using std::end;
  auto it = begin(c);
  auto&& e = end(c);
  if (it==e)
      return;
  it = std::next(it);
  for( ; it!=e; it = std::next(it) ) {
    f(*it);
  }
}

namespace details {
  template<class Tup, class F>
  void visit_first( std::index_sequence<>, Tup&&, F&& ) {}
  template<size_t... Is, class Tup, class F>
  void visit_first( std::index_sequence<0,Is...>, Tup&& tup, F&& f ) {
    std::forward<F>(f)( std::get<0>( std::forward<Tup>(tup) ) );
  }
  template<class Tup, class F>
  void visit_all_but_first( std::index_sequence<>, Tup&&, F&& ) {}
  template<size_t... Is,class Tup, class F>
  void visit_all_but_first( std::index_sequence<0,Is...>, Tup&& tup, F&& f ) {
    int unused[] = {0,((void)(
      f( std::get<Is>(std::forward<Tup>(tup)) )
    ),0)...};
    (void)(unused);
  }
}
template<class Tup, class F>
std::enable_if_t<is_tupleoid<Tup>{}> visit_first(Tup&& tup, F&& f) {
  details::visit_first( std::make_index_sequence< std::tuple_size<std::decay_t<Tup>>{} >{}, std::forward<Tup>(tup), std::forward<F>(f) );
}
template<class Tup, class F>
std::enable_if_t<is_tupleoid<Tup>{}> visit_all_but_first(Tup&& tup, F&& f) {
  details::visit_all_but_first( std::make_index_sequence< std::tuple_size<std::decay_t<Tup>>{} >{}, std::forward<Tup>(tup), std::forward<F>(f) );
}

Ładna biblioteka do drukowania:

namespace pretty_print {
  namespace decorator {
    struct default_tag {};
    template<class Old>
    struct map_magic_tag:Old {}; // magic for maps

    // Maps get {}s. Write trait `is_associative` to generalize:
    template<class CharT, class Traits, class...Xs >
    void pretty_print_before( default_tag, std::basic_ostream<CharT, Traits>& s, std::map<Xs...> const& ) {
      s << CharT('{');
    }

    template<class CharT, class Traits, class...Xs >
    void pretty_print_after( default_tag, std::basic_ostream<CharT, Traits>& s, std::map<Xs...> const& ) {
      s << CharT('}');
    }

    // tuples and pairs get ():
    template<class CharT, class Traits, class Tup >
    std::enable_if_t<is_tupleoid<Tup>{}> pretty_print_before( default_tag, std::basic_ostream<CharT, Traits>& s, Tup const& ) {
      s << CharT('(');
    }

    template<class CharT, class Traits, class Tup >
    std::enable_if_t<is_tupleoid<Tup>{}> pretty_print_after( default_tag, std::basic_ostream<CharT, Traits>& s, Tup const& ) {
      s << CharT(')');
    }

    // strings with the same character type get ""s:
    template<class CharT, class Traits, class...Xs >
    void pretty_print_before( default_tag, std::basic_ostream<CharT, Traits>& s, std::basic_string<CharT, Xs...> const& ) {
      s << CharT('"');
    }
    template<class CharT, class Traits, class...Xs >
    void pretty_print_after( default_tag, std::basic_ostream<CharT, Traits>& s, std::basic_string<CharT, Xs...> const& ) {
      s << CharT('"');
    }
    // and pack the characters together:
    template<class CharT, class Traits, class...Xs >
    void pretty_print_between( default_tag, std::basic_ostream<CharT, Traits>&, std::basic_string<CharT, Xs...> const& ) {}

    // map magic. When iterating over the contents of a map, use the map_magic_tag:
    template<class...Xs>
    map_magic_tag<default_tag> pretty_print_descend( default_tag, std::map<Xs...> const& ) {
      return {};
    }
    template<class old_tag, class C>
    old_tag pretty_print_descend( map_magic_tag<old_tag>, C const& ) {
      return {};
    }

    // When printing a pair immediately within a map, use -> as a separator:
    template<class old_tag, class CharT, class Traits, class...Xs >
    void pretty_print_between( map_magic_tag<old_tag>, std::basic_ostream<CharT, Traits>& s, std::pair<Xs...> const& ) {
      s << CharT('-') << CharT('>');
    }
  }

  // default behavior:
  template<class CharT, class Traits, class Tag, class Container >
  void pretty_print_before( Tag const&, std::basic_ostream<CharT, Traits>& s, Container const& ) {
    s << CharT('[');
  }
  template<class CharT, class Traits, class Tag, class Container >
  void pretty_print_after( Tag const&, std::basic_ostream<CharT, Traits>& s, Container const& ) {
    s << CharT(']');
  }
  template<class CharT, class Traits, class Tag, class Container >
  void pretty_print_between( Tag const&, std::basic_ostream<CharT, Traits>& s, Container const& ) {
    s << CharT(',');
  }
  template<class Tag, class Container>
  Tag&& pretty_print_descend( Tag&& tag, Container const& ) {
    return std::forward<Tag>(tag);
  }

  // print things by default by using <<:
  template<class Tag=decorator::default_tag, class Scalar, class CharT, class Traits>
  std::enable_if_t<!is_visitable<Scalar>{}> print( std::basic_ostream<CharT, Traits>& os, Scalar&& scalar, Tag&&=Tag{} ) {
    os << std::forward<Scalar>(scalar);
  }
  // for anything visitable (see above), use the pretty print algorithm:
  template<class Tag=decorator::default_tag, class C, class CharT, class Traits>
  std::enable_if_t<is_visitable<C>{}> print( std::basic_ostream<CharT, Traits>& os, C&& c, Tag&& tag=Tag{} ) {
    pretty_print_before( std::forward<Tag>(tag), os, std::forward<C>(c) );
    visit_first( c, [&](auto&& elem) {
      print( os, std::forward<decltype(elem)>(elem), pretty_print_descend( std::forward<Tag>(tag), std::forward<C>(c) ) );
    });
    visit_all_but_first( c, [&](auto&& elem) {
      pretty_print_between( std::forward<Tag>(tag), os, std::forward<C>(c) );
      print( os, std::forward<decltype(elem)>(elem), pretty_print_descend( std::forward<Tag>(tag), std::forward<C>(c) ) );
    });
    pretty_print_after( std::forward<Tag>(tag), os, std::forward<C>(c) );
  }
}

Kod testowy:

int main() {
  std::vector<int> x = {1,2,3};

  pretty_print::print( std::cout, x );
  std::cout << "\n";

  std::map< std::string, int > m;
  m["hello"] = 3;
  m["world"] = 42;

  pretty_print::print( std::cout, m );
  std::cout << "\n";
}

przykład na żywo

To używa funkcji C ++ 14 (niektóre _taliasy i auto&&lambda), ale żadna nie jest niezbędna.

Jak - Adam Nevraumont
źródło
@KerrekSB działająca wersja, z pewnymi zmianami. Większość kodu jest ogólne „Wizyta krotki / iterables” i fantazyjny formatowania (łącznie ->w ciągu pairsekund od mapS) w tym punkcie. Rdzeń ładnej biblioteki drukowania jest ładny i mały, co jest miłe. Starałem się, aby był łatwo rozszerzalny, nie jestem pewien, czy mi się udało.
Jak - Adam Nevraumont,
1

Moje rozwiązanie jest proste. H , które jest częścią pakietu scc . Wszystkie pojemniki standardowe, mapy, zestawy, tablice c można drukować.

Leonid Wołyński
źródło
Ciekawy. Podoba mi się podejście do szablonów dla kontenerów, ale czy działa ono w przypadku niestandardowych kontenerów i kontenerów STL z niestandardowymi predykatami lub alokatorami? (Zrobiłem coś podobnego, próbując zaimplementować bimapę w C ++ 0x przy użyciu szablonów variadic.) Ponadto, wydaje się, że nie używasz iteratorów ogólnie dla swoich procedur drukowania; dlaczego jawne użycie licznika i?
Kerrek SB
Co to jest kontener z niestandardowymi predykatami? Zostanie wydrukowany niestandardowy pojemnik, który pasuje do podpisu. Niestandardowe programy przydzielające nie są obecnie obsługiwane, ale łatwo to naprawić. Po prostu nie potrzebuję tego na razie.
Leonid Volnitsky
Nie ma dobrego powodu, aby używać indeksu zamiast iteratorów. Powody historyczne. Naprawię to, kiedy będę miał czas.
Leonid Volnitsky
Przez „kontener z niestandardowymi predykatami” rozumiem coś w rodzaju std::setniestandardowego komparatora lub nieuporządkowanej_mapy o niestandardowej równości. Wspieranie tych konstrukcji byłoby bardzo ważne.
Kerrek SB,
1

Wychodząc z jednego z pierwszych BoostConów (obecnie nazywanych CppCon), ja i dwoje innych pracowaliśmy nad biblioteką, aby to zrobić. Głównym punktem spornym było rozszerzenie standardowej przestrzeni nazw. Okazało się, że nie można iść na bibliotekę doładowań.

Niestety linki do kodu już nie działają, ale w dyskusjach możesz znaleźć ciekawe ciekawostki (przynajmniej te, które nie mówią o tym, jak go nazwać!)

http://boost.2283326.n4.nabble.com/explore-Library-Proposal-Container-Streaming-td2619544.html

Jeffrey Faust
źródło
0

Oto moja wersja wdrożenia wykonana w 2016 roku

Wszystko w jednym nagłówku, więc jest łatwy w użyciu https://github.com/skident/eos/blob/master/include/eos/io/print.hpp

/*! \file       print.hpp
 *  \brief      Useful functions for work with STL containers. 
 *          
 *  Now it supports generic print for STL containers like: [elem1, elem2, elem3]
 *  Supported STL conrainers: vector, deque, list, set multiset, unordered_set,
 *  map, multimap, unordered_map, array
 *
 *  \author     Skident
 *  \date       02.09.2016
 *  \copyright  Skident Inc.
 */

#pragma once

// check is the C++11 or greater available (special hack for MSVC)
#if (defined(_MSC_VER) && __cplusplus >= 199711L) || __cplusplus >= 201103L
    #define MODERN_CPP_AVAILABLE 1
#endif


#include <iostream>
#include <sstream>
#include <vector>
#include <deque>
#include <set>
#include <list>
#include <map>
#include <cctype>

#ifdef MODERN_CPP_AVAILABLE
    #include <array>
    #include <unordered_set>
    #include <unordered_map>
    #include <forward_list>
#endif


#define dump(value) std::cout << (#value) << ": " << (value) << std::endl

#define BUILD_CONTENT                                                       \
        std::stringstream ss;                                               \
        for (; it != collection.end(); ++it)                                \
        {                                                                   \
            ss << *it << elem_separator;                                    \
        }                                                                   \


#define BUILD_MAP_CONTENT                                                   \
        std::stringstream ss;                                               \
        for (; it != collection.end(); ++it)                                \
        {                                                                   \
            ss  << it->first                                                \
                << keyval_separator                                         \
                << it->second                                               \
                << elem_separator;                                          \
        }                                                                   \


#define COMPILE_CONTENT                                                     \
        std::string data = ss.str();                                        \
        if (!data.empty() && !elem_separator.empty())                       \
            data = data.substr(0, data.rfind(elem_separator));              \
        std::string result = first_bracket + data + last_bracket;           \
        os << result;                                                       \
        if (needEndl)                                                       \
            os << std::endl;                                                \



////
///
///
/// Template definitions
///
///

//generic template for classes: deque, list, forward_list, vector
#define VECTOR_AND_CO_TEMPLATE                                          \
    template<                                                           \
        template<class T,                                               \
                 class Alloc = std::allocator<T> >                      \
        class Container, class Type, class Alloc>                       \

#define SET_TEMPLATE                                                    \
    template<                                                           \
        template<class T,                                               \
                 class Compare = std::less<T>,                          \
                 class Alloc = std::allocator<T> >                      \
            class Container, class T, class Compare, class Alloc>       \

#define USET_TEMPLATE                                                   \
    template<                                                           \
template < class Key,                                                   \
           class Hash = std::hash<Key>,                                 \
           class Pred = std::equal_to<Key>,                             \
           class Alloc = std::allocator<Key>                            \
           >                                                            \
    class Container, class Key, class Hash, class Pred, class Alloc     \
    >                                                                   \


#define MAP_TEMPLATE                                                    \
    template<                                                           \
        template<class Key,                                             \
                class T,                                                \
                class Compare = std::less<Key>,                         \
                class Alloc = std::allocator<std::pair<const Key,T> >   \
                >                                                       \
        class Container, class Key,                                     \
        class Value/*, class Compare, class Alloc*/>                    \


#define UMAP_TEMPLATE                                                   \
    template<                                                           \
        template<class Key,                                             \
                   class T,                                             \
                   class Hash = std::hash<Key>,                         \
                   class Pred = std::equal_to<Key>,                     \
                   class Alloc = std::allocator<std::pair<const Key,T> >\
                 >                                                      \
        class Container, class Key, class Value,                        \
        class Hash, class Pred, class Alloc                             \
                >                                                       \


#define ARRAY_TEMPLATE                                                  \
    template<                                                           \
        template<class T, std::size_t N>                                \
        class Array, class Type, std::size_t Size>                      \



namespace eos
{
    static const std::string default_elem_separator     = ", ";
    static const std::string default_keyval_separator   = " => ";
    static const std::string default_first_bracket      = "[";
    static const std::string default_last_bracket       = "]";


    //! Prints template Container<T> as in Python
    //! Supported containers: vector, deque, list, set, unordered_set(C++11), forward_list(C++11)
    //! \param collection which should be printed
    //! \param elem_separator the separator which will be inserted between elements of collection
    //! \param first_bracket data before collection's elements (usual it is the parenthesis, square or curly bracker '(', '[', '{')
    //! \param last_bracket data after collection's elements (usual it is the parenthesis, square or curly bracker ')', ']', '}')
    template<class Container>
    void print( const Container& collection
              , const std::string& elem_separator   = default_elem_separator
              , const std::string& first_bracket    = default_first_bracket
              , const std::string& last_bracket     = default_last_bracket
              , std::ostream& os = std::cout
              , bool needEndl = true
            )
    {
        typename Container::const_iterator it = collection.begin();
        BUILD_CONTENT
        COMPILE_CONTENT
    }


    //! Prints collections with one template argument and allocator as in Python.
    //! Supported standard collections: vector, deque, list, forward_list
    //! \param collection which should be printed
    //! \param elem_separator the separator which will be inserted between elements of collection
    //! \param keyval_separator separator between key and value of map. For default it is the '=>'
    //! \param first_bracket data before collection's elements (usual it is the parenthesis, square or curly bracker '(', '[', '{')
    //! \param last_bracket data after collection's elements (usual it is the parenthesis, square or curly bracker ')', ']', '}')
    VECTOR_AND_CO_TEMPLATE
    void print( const Container<Type>& collection
              , const std::string& elem_separator   = default_elem_separator
              , const std::string& first_bracket    = default_first_bracket
              , const std::string& last_bracket     = default_last_bracket
              , std::ostream& os = std::cout
              , bool needEndl = true
            )
    {
        typename Container<Type>::const_iterator it = collection.begin();
        BUILD_CONTENT
        COMPILE_CONTENT
    }


    //! Prints collections like std:set<T, Compare, Alloc> as in Python
    //! \param collection which should be printed
    //! \param elem_separator the separator which will be inserted between elements of collection
    //! \param keyval_separator separator between key and value of map. For default it is the '=>'
    //! \param first_bracket data before collection's elements (usual it is the parenthesis, square or curly bracker '(', '[', '{')
    //! \param last_bracket data after collection's elements (usual it is the parenthesis, square or curly bracker ')', ']', '}')
    SET_TEMPLATE
    void print( const Container<T, Compare, Alloc>& collection
              , const std::string& elem_separator   = default_elem_separator
              , const std::string& first_bracket    = default_first_bracket
              , const std::string& last_bracket     = default_last_bracket
              , std::ostream& os = std::cout
              , bool needEndl = true
            )
    {
        typename Container<T, Compare, Alloc>::const_iterator it = collection.begin();
        BUILD_CONTENT
        COMPILE_CONTENT
    }


    //! Prints collections like std:unordered_set<Key, Hash, Pred, Alloc> as in Python
    //! \param collection which should be printed
    //! \param elem_separator the separator which will be inserted between elements of collection
    //! \param keyval_separator separator between key and value of map. For default it is the '=>'
    //! \param first_bracket data before collection's elements (usual it is the parenthesis, square or curly bracker '(', '[', '{')
    //! \param last_bracket data after collection's elements (usual it is the parenthesis, square or curly bracker ')', ']', '}')
    USET_TEMPLATE
    void print( const Container<Key, Hash, Pred, Alloc>& collection
              , const std::string& elem_separator   = default_elem_separator
              , const std::string& first_bracket    = default_first_bracket
              , const std::string& last_bracket     = default_last_bracket
              , std::ostream& os = std::cout
              , bool needEndl = true
            )
    {
        typename Container<Key, Hash, Pred, Alloc>::const_iterator it = collection.begin();
        BUILD_CONTENT
        COMPILE_CONTENT
    }

    //! Prints collections like std:map<T, U> as in Python
    //! supports generic objects of std: map, multimap
    //! \param collection which should be printed
    //! \param elem_separator the separator which will be inserted between elements of collection
    //! \param keyval_separator separator between key and value of map. For default it is the '=>'
    //! \param first_bracket data before collection's elements (usual it is the parenthesis, square or curly bracker '(', '[', '{')
    //! \param last_bracket data after collection's elements (usual it is the parenthesis, square or curly bracker ')', ']', '}')
    MAP_TEMPLATE
    void print(   const Container<Key, Value>& collection
                , const std::string& elem_separator   = default_elem_separator
                , const std::string& keyval_separator = default_keyval_separator
                , const std::string& first_bracket    = default_first_bracket
                , const std::string& last_bracket     = default_last_bracket
                , std::ostream& os = std::cout
                , bool needEndl = true
        )
    {
        typename Container<Key, Value>::const_iterator it = collection.begin();
        BUILD_MAP_CONTENT
        COMPILE_CONTENT
    }

    //! Prints classes like std:unordered_map as in Python
    //! \param collection which should be printed
    //! \param elem_separator the separator which will be inserted between elements of collection
    //! \param keyval_separator separator between key and value of map. For default it is the '=>'
    //! \param first_bracket data before collection's elements (usual it is the parenthesis, square or curly bracker '(', '[', '{')
    //! \param last_bracket data after collection's elements (usual it is the parenthesis, square or curly bracker ')', ']', '}')
    UMAP_TEMPLATE
    void print(   const Container<Key, Value, Hash, Pred, Alloc>& collection
                , const std::string& elem_separator   = default_elem_separator
                , const std::string& keyval_separator = default_keyval_separator
                , const std::string& first_bracket    = default_first_bracket
                , const std::string& last_bracket     = default_last_bracket
                , std::ostream& os = std::cout
                , bool needEndl = true
        )
    {
        typename Container<Key, Value, Hash, Pred, Alloc>::const_iterator it = collection.begin();
        BUILD_MAP_CONTENT
        COMPILE_CONTENT
    }

    //! Prints collections like std:array<T, Size> as in Python
    //! \param collection which should be printed
    //! \param elem_separator the separator which will be inserted between elements of collection
    //! \param keyval_separator separator between key and value of map. For default it is the '=>'
    //! \param first_bracket data before collection's elements (usual it is the parenthesis, square or curly bracker '(', '[', '{')
    //! \param last_bracket data after collection's elements (usual it is the parenthesis, square or curly bracker ')', ']', '}')
    ARRAY_TEMPLATE
    void print(   const Array<Type, Size>& collection
                , const std::string& elem_separator   = default_elem_separator
                , const std::string& first_bracket    = default_first_bracket
                , const std::string& last_bracket     = default_last_bracket
                , std::ostream& os = std::cout
                , bool needEndl = true
            )
    {
        typename Array<Type, Size>::const_iterator it = collection.begin();
        BUILD_CONTENT
        COMPILE_CONTENT
    }

    //! Removes all whitespaces before data in string.
    //! \param str string with data
    //! \return string without whitespaces in left part
    std::string ltrim(const std::string& str);

    //! Removes all whitespaces after data in string
    //! \param str string with data
    //! \return string without whitespaces in right part
    std::string rtrim(const std::string& str);

    //! Removes all whitespaces before and after data in string
    //! \param str string with data
    //! \return string without whitespaces before and after data in string
    std::string trim(const std::string& str);



    ////////////////////////////////////////////////////////////
    ////////////////////////ostream logic//////////////////////
    /// Should be specified for concrete containers
    /// because of another types can be suitable
    /// for templates, for example templates break
    /// the code like this "cout << string("hello") << endl;"
    ////////////////////////////////////////////////////////////



#define PROCESS_VALUE_COLLECTION(os, collection)                            \
    print(  collection,                                                     \
            default_elem_separator,                                         \
            default_first_bracket,                                          \
            default_last_bracket,                                           \
            os,                                                             \
            false                                                           \
    );                                                                      \

#define PROCESS_KEY_VALUE_COLLECTION(os, collection)                        \
    print(  collection,                                                     \
            default_elem_separator,                                         \
            default_keyval_separator,                                       \
            default_first_bracket,                                          \
            default_last_bracket,                                           \
            os,                                                             \
            false                                                           \
    );                                                                      \

    ///< specialization for vector
    template<class T>
    std::ostream& operator<<(std::ostream& os, const std::vector<T>& collection)
    {
        PROCESS_VALUE_COLLECTION(os, collection)
        return os;
    }

    ///< specialization for deque
    template<class T>
    std::ostream& operator<<(std::ostream& os, const std::deque<T>& collection)
    {
        PROCESS_VALUE_COLLECTION(os, collection)
        return os;
    }

    ///< specialization for list
    template<class T>
    std::ostream& operator<<(std::ostream& os, const std::list<T>& collection)
    {
        PROCESS_VALUE_COLLECTION(os, collection)
        return os;
    }

    ///< specialization for set
    template<class T>
    std::ostream& operator<<(std::ostream& os, const std::set<T>& collection)
    {
        PROCESS_VALUE_COLLECTION(os, collection)
        return os;
    }

    ///< specialization for multiset
    template<class T>
    std::ostream& operator<<(std::ostream& os, const std::multiset<T>& collection)
    {
        PROCESS_VALUE_COLLECTION(os, collection)
        return os;
    }

#ifdef MODERN_CPP_AVAILABLE
    ///< specialization for unordered_map
    template<class T>
    std::ostream& operator<<(std::ostream& os, const std::unordered_set<T>& collection)
    {
        PROCESS_VALUE_COLLECTION(os, collection)
        return os;
    }

    ///< specialization for forward_list
    template<class T>
    std::ostream& operator<<(std::ostream& os, const std::forward_list<T>& collection)
    {
        PROCESS_VALUE_COLLECTION(os, collection)
        return os;
    }

    ///< specialization for array
    template<class T, std::size_t N>
    std::ostream& operator<<(std::ostream& os, const std::array<T, N>& collection)
    {
        PROCESS_VALUE_COLLECTION(os, collection)
        return os;
    }
#endif

    ///< specialization for map, multimap
    MAP_TEMPLATE
    std::ostream& operator<<(std::ostream& os, const Container<Key, Value>& collection)
    {
        PROCESS_KEY_VALUE_COLLECTION(os, collection)
        return os;
    }

    ///< specialization for unordered_map
    UMAP_TEMPLATE
    std::ostream& operator<<(std::ostream& os, const Container<Key, Value, Hash, Pred, Alloc>& collection)
    {
        PROCESS_KEY_VALUE_COLLECTION(os, collection)
        return os;
    }
}
Skident
źródło