c++ - std جميلة الطباعة:: tuple




c++11 tuples (5)

أنا مندهش من أن تطبيق cppreference لم يتم نشره هنا ، لذا سأفعل ذلك للأجيال القادمة. إنه مخفي في المستند لـ std::tuple_cat لذلك ليس من السهل العثور عليه. يستخدم هيكل حراسة مثل بعض الحلول الأخرى هنا ، لكني أعتقد أن هذه الحلول أبسط وأسهل في المتابعة.

#include <iostream>
#include <tuple>
#include <string>

// helper function to print a tuple of any size
template<class Tuple, std::size_t N>
struct TuplePrinter {
    static void print(const Tuple& t) 
    {
        TuplePrinter<Tuple, N-1>::print(t);
        std::cout << ", " << std::get<N-1>(t);
    }
};

template<class Tuple>
struct TuplePrinter<Tuple, 1> {
    static void print(const Tuple& t) 
    {
        std::cout << std::get<0>(t);
    }
};

template<class... Args>
void print(const std::tuple<Args...>& t) 
{
    std::cout << "(";
    TuplePrinter<decltype(t), sizeof...(Args)>::print(t);
    std::cout << ")\n";
}
// end helper function

واختبار:

int main()
{
    std::tuple<int, std::string, float> t1(10, "Test", 3.14);
    int n = 7;
    auto t2 = std::tuple_cat(t1, std::make_pair("Foo", "bar"), t1, std::tie(n));
    n = 10;
    print(t2);
}

انتاج:

(10، Test، 3.14، Foo، bar، 10، Test، 3.14، 10)

عرض حي

هذا هو متابعة لسؤالي السابق حول حاويات STL الطباعة الجميلة ، والتي تمكنا من تطوير حل أنيق جدا وعموما بشكل كامل.

في هذه الخطوة التالية ، أود تضمين طباعة جميلة لـ std::tuple<Args...> ، باستخدام قوالب variadic (بحيث يكون هذا بشكل صارم C ++ 11). ل std::pair<S,T> ، أقول ببساطة

std::ostream & operator<<(std::ostream & o, const std::pair<S,T> & p)
{
  return o << "(" << p.first << ", " << p.second << ")";
}

ما هو البناء الشائع لطباعة المجموعة؟

لقد جربت أجزاء مختلفة من حجة القالب لتكدس الحزم ، وتمرير المؤشرات حول واستخدام SFINAE لاكتشاف عندما أكون في العنصر الأخير ، ولكن دون نجاح. لن أحملك بكودك المكسور ؛ من المؤمل أن يكون وصف المشكلة مستقيما بما فيه الكفاية. في الأساس ، أرغب في السلوك التالي:

auto a = std::make_tuple(5, "Hello", -0.1);
std::cout << a << std::endl; // prints: (5, "Hello", -0.1)

نقاط المكافأة بما في ذلك نفس المستوى من العمومية (char / wchar_t ، المحددات الزوجية) كالسؤال السابق!


استنادًا إلى مثال على لغة برمجة C ++ بواسطة Bjarne Stroustrup ، صفحة 817 :

#include <tuple>
#include <iostream>
#include <string>
#include <type_traits>
template<size_t N>
struct print_tuple{
    template<typename... T>static typename std::enable_if<(N<sizeof...(T))>::type
    print(std::ostream& os, const std::tuple<T...>& t) {
        char quote = (std::is_convertible<decltype(std::get<N>(t)), std::string>::value) ? '"' : 0;
        os << ", " << quote << std::get<N>(t) << quote;
        print_tuple<N+1>::print(os,t);
        }
    template<typename... T>static typename std::enable_if<!(N<sizeof...(T))>::type
    print(std::ostream&, const std::tuple<T...>&) {
        }
    };
std::ostream& operator<< (std::ostream& os, const std::tuple<>&) {
    return os << "()";
    }
template<typename T0, typename ...T> std::ostream&
operator<<(std::ostream& os, const std::tuple<T0, T...>& t){
    char quote = (std::is_convertible<T0, std::string>::value) ? '"' : 0;
    os << '(' << quote << std::get<0>(t) << quote;
    print_tuple<1>::print(os,t);
    return os << ')';
    }

int main(){
    std::tuple<> a;
    auto b = std::make_tuple("One meatball");
    std::tuple<int,double,std::string> c(1,1.2,"Tail!");
    std::cout << a << std::endl;
    std::cout << b << std::endl;
    std::cout << c << std::endl;
    }

انتاج:

()
("One meatball")
(1, 1.2, "Tail!")

في C ++ 17 ، يمكننا تحقيق ذلك برمز صغير أقل من خلال الاستفادة من تعبيرات الأضعاف ، وخاصة الطي الأيسر غير المتساوي:

template<class TupType, size_t... I>
void print(const TupType& _tup, std::index_sequence<I...>)
{
    std::cout << "(";
    (..., (std::cout << (I == 0? "" : ", ") << std::get<I>(_tup)));
    std::cout << ")\n";
}

template<class... T>
void print (const std::tuple<T...>& _tup)
{
    print(_tup, std::make_index_sequence<sizeof...(T)>());
}

نواتج العرض التجريبي المباشر :

(5 ، مرحبا ، -0.1)

معطى

auto a = std::make_tuple(5, "Hello", -0.1);
print(a);

تفسير

طيتنا اليسرى الوحيدة هي الشكل

... op pack

حيث أن op في السيناريو الخاص بنا هو عامل الفاصلة ، pack هي التعبير الذي يحتوي على صفحتنا في سياق غير موسوم مثل:

(..., (std::cout << std::get<I>(myTuple))

لذا ، إذا كان لدي مجموعة مبسطة مثل:

auto myTuple = std::make_tuple(5, "Hello", -0.1);

و cppreference التي يتم تحديد قيمها بواسطة قالب غير نوع (انظر التعليمات البرمجية أعلاه)

size_t... I

ثم التعبير

(..., (std::cout << std::get<I>(myTuple))

تحصل على توسيع

((std::cout << std::get<0>(myTuple)), (std::cout << std::get<1>(myTuple))), (std::cout << std::get<2>(myTuple));

والتي ستطبع

5Hello 0.1

وهو إجمالي ، لذا نحتاج إلى المزيد من الخداع لإضافة فاصلة فاصلة ليتم طباعتها أولاً ما لم يكن العنصر الأول.

ولتحقيق ذلك ، نقوم بتعديل جزء pack من تعبير الطية لطباعة " ," إذا كان الفهرس الحالي ليس الأول ، وبالتالي فإن الجزء (I == 0? "" : ", ") * :

(..., (std::cout << (I == 0? "" : ", ") << std::get<I>(_tup)));

والآن سنحصل

5 ، مرحبا ، -0.1

الذي يبدو أجمل (ملاحظة: كنت أرغب في إخراج مماثل مثل هذه الإجابة )

* ملاحظة: يمكنك القيام بفصل الفواصل بطرق متنوعة عن ما انتهى به الأمر. في البداية قمت بإضافة الفواصل بشكل مشروط بعد بدلاً من قبل من خلال اختبار ضد std::tuple_size<TupType>::value - 1 ، لكن ذلك كان طويلاً جدًا ، لذلك std::tuple_size<TupType>::value - 1 الاختبار بدلاً من ذلك ضد sizeof...(I) - 1 ، ولكن في النهاية لقد قمت بنسخ Xeo وانتهى الأمر بما حصلت عليه.


واحد آخر ، مشابه لـTony Olsson ، بما في ذلك تخصص للصفوف الفارغة ، كما اقترحهKerrek SB.

#include <tuple>
#include <iostream>

template<class Ch, class Tr, size_t I, typename... TS>
struct tuple_printer
{
    static void print(std::basic_ostream<Ch,Tr> & out, const std::tuple<TS...> & t)
    {
        tuple_printer<Ch, Tr, I-1, TS...>::print(out, t);
        if (I < sizeof...(TS))
            out << ",";
        out << std::get<I>(t);
    }
};
template<class Ch, class Tr, typename... TS>
struct tuple_printer<Ch, Tr, 0, TS...>
{
    static void print(std::basic_ostream<Ch,Tr> & out, const std::tuple<TS...> & t)
    {
        out << std::get<0>(t);
    }
};
template<class Ch, class Tr, typename... TS>
struct tuple_printer<Ch, Tr, -1, TS...>
{
    static void print(std::basic_ostream<Ch,Tr> & out, const std::tuple<TS...> & t)
    {}
};
template<class Ch, class Tr, typename... TS>
std::ostream & operator<<(std::basic_ostream<Ch,Tr> & out, const std::tuple<TS...> & t)
{
    out << "(";
    tuple_printer<Ch, Tr, sizeof...(TS) - 1, TS...>::print(out, t);
    return out << ")";
}

ياي ، indices ~

namespace aux{
template<std::size_t...> struct seq{};

template<std::size_t N, std::size_t... Is>
struct gen_seq : gen_seq<N-1, N-1, Is...>{};

template<std::size_t... Is>
struct gen_seq<0, Is...> : seq<Is...>{};

template<class Ch, class Tr, class Tuple, std::size_t... Is>
void print_tuple(std::basic_ostream<Ch,Tr>& os, Tuple const& t, seq<Is...>){
  using swallow = int[];
  (void)swallow{0, (void(os << (Is == 0? "" : ", ") << std::get<Is>(t)), 0)...};
}
} // aux::

template<class Ch, class Tr, class... Args>
auto operator<<(std::basic_ostream<Ch, Tr>& os, std::tuple<Args...> const& t)
    -> std::basic_ostream<Ch, Tr>&
{
  os << "(";
  aux::print_tuple(os, t, aux::gen_seq<sizeof...(Args)>());
  return os << ")";
}

مثال حي على Ideone.

بالنسبة إلى الأشياء المحددة ، ما عليك سوى إضافة هذه التخصصات الجزئية:

// Delimiters for tuple
template<class... Args>
struct delimiters<std::tuple<Args...>, char> {
  static const delimiters_values<char> values;
};

template<class... Args>
const delimiters_values<char> delimiters<std::tuple<Args...>, char>::values = { "(", ", ", ")" };

template<class... Args>
struct delimiters<std::tuple<Args...>, wchar_t> {
  static const delimiters_values<wchar_t> values;
};

template<class... Args>
const delimiters_values<wchar_t> delimiters<std::tuple<Args...>, wchar_t>::values = { L"(", L", ", L")" };

وغيّر operator<< و print_tuple وفقًا لذلك:

template<class Ch, class Tr, class... Args>
auto operator<<(std::basic_ostream<Ch, Tr>& os, std::tuple<Args...> const& t)
    -> std::basic_ostream<Ch, Tr>&
{
  typedef std::tuple<Args...> tuple_t;
  if(delimiters<tuple_t, Ch>::values.prefix != 0)
    os << delimiters<tuple_t,char>::values.prefix;

  print_tuple(os, t, aux::gen_seq<sizeof...(Args)>());

  if(delimiters<tuple_t, Ch>::values.postfix != 0)
    os << delimiters<tuple_t,char>::values.postfix;

  return os;
}

و

template<class Ch, class Tr, class Tuple, std::size_t... Is>
void print_tuple(std::basic_ostream<Ch, Tr>& os, Tuple const& t, seq<Is...>){
  using swallow = int[];
  char const* delim = delimiters<Tuple, Ch>::values.delimiter;
  if(!delim) delim = "";
  (void)swallow{0, (void(os << (Is == 0? "" : delim) << std::get<Is>(t)), 0)...};
}




variadic-templates