Насправді використання шаблону для параметрів шаблону шаблонів є досить очевидним. Як тільки ви дізнаєтесь, що у C ++ stdlib є зенітна дірка, що не визначає операторів виведення потоку для стандартних типів контейнерів, ви переходите до написання чогось типу:
template<typename T>
static inline std::ostream& operator<<(std::ostream& out, std::list<T> const& v)
{
out << '[';
if (!v.empty()) {
for (typename std::list<T>::const_iterator i = v.begin(); ;) {
out << *i;
if (++i == v.end())
break;
out << ", ";
}
}
out << ']';
return out;
}
Тоді ви б зрозуміли, що код для вектора точно такий же, для forward_list такий же, власне, навіть для безлічі типів карт це все одно. Ці класи шаблонів не мають нічого спільного, за винятком мета-інтерфейсу / протоколу, а використання параметра шаблону шаблону дозволяє фіксувати спільність у всіх них. Перш ніж приступити до написання шаблону, варто перевірити посилання, щоб нагадати, що контейнери послідовностей приймають 2 аргументи шаблону - для типу значень та розподільника. Незважаючи на те, що для алокатора встановлено дефолт, ми все одно повинні враховувати його існування в нашому операторі шаблонів <<:
template<template <typename, typename> class Container, class V, class A>
std::ostream& operator<<(std::ostream& out, Container<V, A> const& v)
...
Voila, яка буде працювати автоматично для всіх теперішніх та майбутніх контейнерів послідовностей, що дотримуються стандартного протоколу. Щоб додати карти до суміші, потрібно поглянути за посиланням на те, що вони приймають 4 параметри шаблону, тому нам знадобиться інша версія оператора << вище з парам-шаблоном шаблону 4-аргументів. Ми також побачили, що std: пара намагається винести з 2-arg оператором << для типів послідовностей, які ми визначили раніше, тож ми б забезпечили спеціалізацію саме для std :: pair.
Btw, з C + 11, який дозволяє варіативні шаблони (і, таким чином, повинен дозволяти аргументи шаблону варіативного шаблону), можна було б мати єдиний оператор <<, щоб керувати ними всіма. Наприклад:
#include <iostream>
#include <vector>
#include <deque>
#include <list>
template<typename T, template<class,class...> class C, class... Args>
std::ostream& operator <<(std::ostream& os, const C<T,Args...>& objs)
{
os << __PRETTY_FUNCTION__ << '\n';
for (auto const& obj : objs)
os << obj << ' ';
return os;
}
int main()
{
std::vector<float> vf { 1.1, 2.2, 3.3, 4.4 };
std::cout << vf << '\n';
std::list<char> lc { 'a', 'b', 'c', 'd' };
std::cout << lc << '\n';
std::deque<int> di { 1, 2, 3, 4 };
std::cout << di << '\n';
return 0;
}
Вихідні дані
std::ostream &operator<<(std::ostream &, const C<T, Args...> &) [T = float, C = vector, Args = <std::__1::allocator<float>>]
1.1 2.2 3.3 4.4
std::ostream &operator<<(std::ostream &, const C<T, Args...> &) [T = char, C = list, Args = <std::__1::allocator<char>>]
a b c d
std::ostream &operator<<(std::ostream &, const C<T, Args...> &) [T = int, C = deque, Args = <std::__1::allocator<int>>]
1 2 3 4