Как правильно написать template функцию для контейнеров?

Question

[LXSTVAYNE]

Я хочу написать функцию для вывода контейнеров vector, list, array и им подобным. Я полагаю необходимо использовать template функцию. Я пытался это сделать, но у меня совсем не выходит:

template <template <typename, typename> class Container, typename T, class Alloc>
    void print(Container<T, Alloc>&, string sep="", string end="\n")
    {
            std::copy(Container<T, Alloc>.begin(), Container<T, Alloc>.end(), std::ostream_iterator<T>(std::cout, sep));
            std::cout << end;
    }

error C2275.
Как это сделать ? Извините, если это глупый вопрос.

Comments

[Евгений Шатунов]

LXSTVAYNE , такой шаблон должен выглядеть вот так.
У тебя же в шаблоне бардак с квалификаторами и модификаторами типов параметров. Плюс имена пропущены, в следствии чего ты не можешь обратиться к переданным параметрам.

Кажется я понял твою идею. И, нет, extension method в C++ не существует. Тут ты написал простую шаблон функции, первым параметром в который при инстанцировании надо передать ссылку на размещенный контейнер, к которому далее ты не можешь обратиться, т.к. параметр у тебя анонимный.

Answer 1

[Wataru]

По-моему, так гораздо понятнее:

template <class Container>
void print(const Container& c, string sep=" ", string end="\n")
{
  for (const auto& e : c)
     std::cout << e << sep;
  std::cout << end;
}

Если же очень хочется через ostream_iterator, то:

template <class Container>
void print(const Container& c, string sep=" ", string end="\n")
{

  std::ostream_iterator<typename Container::value_type> 
      out_it(std::cout, sep.c_str());
  std::copy(c.begin(), c.end(), out_it);
  std::cout << end;
}

Comments

[LXSTVAYNE]

Как мне отличить реализацию функции для контейнера и для обычного типа ?

[Wataru]

LXSTVAYNE, Этот шаблон просто не скомпилируется для обычного типа, ведь там вряд ли будут value_type и begin, возвращающий соответствующий итератор. А ошибки при попытке инстанциировать шаблон не являются ошибкой компиляции. Так что если вы дополнительно определите шаблон для обычного типа, то инстанциируется именно он, а не вот этот.

[LXSTVAYNE]

Wataru,

template<typename T>
    void print(T value, string end="\n")
    {
        std::cout << value << end;
    }

При передаче любого значения в функцию, студия ругается, т.к. не знает какую из функций вызывать

[Wataru]

LXSTVAYNE, Уберите значения параметров по умолчанию и всегда передавайте их.

[LXSTVAYNE]

Wataru, Неужели нельзя как-то иначе ? Мне бы хотелось написать удобную функцию, которая различает реализацию для контейнеров и обычных типов, но я так понимаю удобство это не про С++ ? Тогда может быть вручную перегрузить для всех стандартных типов ? Но мне кажется это решение некорректным.

[Wataru]

LXSTVAYNE, Нужна аццкая темплейтная магия. Посмотрите тут.

Имея этот is_container надо сделать is_not_container так:

template <typename T>
struct is_not_container
{
  static const bool value = !has_const_iterator<T>::value ||
    !has_begin_end<T>::beg_value || !has_begin_end<T>::end_value;
};

Потом можно сделать функции используя enable_if:

template <class Container>
typename std::enable_if<is_container<Container>::value>::type
 print(const Container& c, string sep=" ", string end="\n")
{

  std::ostream_iterator<typename Container::value_type> 
      out_it(std::cout, sep.c_str());
  std::copy(c.begin(), c.end(), out_it);
  std::cout << end;
}

template<typename T>
typename std::enable_if<is_not_container<T>::value>::type
     print(T value, string end="\n")
    {
        std::cout << value << end;
    }

Edit: не забудьте включить type_traits.h

[Евгений Шатунов]

Wataru, и зачем весь этот код нужен?
Неужели ты предлагаешь задействовать SFINAE там, где достаточно перегрузки с выводом типа параметров?

[Wataru]

Евгений Шатунов, Потому что, как сказал автор:

я так понимаю удобство это не про С++

Вот хочется автору, чтобы print(x) работало для любого типа, при этом контейнеры обрабатывались поэлементно, а не контейнеры - просто. При этом автор не хочет вручную писать все типы или в перегрузке или в инстанцировании шаблонов. И еще иметь возможность дополнительно передать функциям параметры форматирования (разные для контейнеров и нет).

Если ты знаешь, как это сделать без SFINAE - то поделись рабочим кодом.

[Евгений Шатунов]

Wataru, рабочий код находится по ссылке в единственном комментарии под вопросом.
Я честно не понимаю почему автор проигнорировал это.

Обрати внимание на то, как организованы перегрузки функций. Это не идеальное решение, но текущие потребности оно покрывает с большим запасом.

[Wataru]

Евгений Шатунов, И... этот код не решает задачу автора! Почитайте комментарии. Автору нужно не только, чтобы работало с контейнерами, но и чтобы работало с простыми типами. И тут без SFINAE не обойтись для отключения одного из двух шаблонов чтобы не было путаницы с перегрузкой. По крайней мере, я не знаю как.

[Евгений Шатунов]

Wataru, стоп-стоп.

template <class Container>
void print(const Container& c, string sep=" ", string end="\n")

Вот этот код не решает задачу автора.

А в отношении моего кода ты не прав. Давай на примере рассмотрим.
Выбор шаблона перегрузки выполняется от более конкретного шаблона к менее конкретному.
Шаблон

Print( const TStorage<TItem, TAllocator>& storage )

имеет большую конкретику, шаблон Print( const TValue& value ) не вступает с ним в конфликт, т.к. является менее конкретным, т.е. более общим. Описанной тобой проблемы у меня нет.
На деле же у меня добрая половина всего фреймворка пронизана этим правилом. Продемонстрированные мной утилиты контейнеров - только одна небольшая часть. И все находится в рамках стандарта.

[Wataru]

Евгений Шатунов, Почитайте все комментарии.

Последний код - решает задачу автора. Там:

template <class Container>
typename std::enable_if<is_container<Container>::value>::type
 print(const Container& c, string sep=" ", string end="\n")
...
template<typename T>
typename std::enable_if<is_not_container<T>::value>::type
     print(T value, string end="\n")

Да, можно вместо template <class Container>переписать

template< typename TItem, typename TAllocator, template< typename, typename > class TStorage >

Но SFINAE все-равно остается внутри is_container. И, по-моему, использование одного Container - более простой и понятный код.

[Евгений Шатунов]

Wataru, все комментарии относятся только к твоему примеру, который и нуждается в SFINAE.
Ты точно увидел пример? Точно видел выдачу транслятора?
Решить-то через SFINAE можно, но зачем? Достаточно просто знать правило перегрузки и выбора шаблонов.

[Wataru]

Евгений Шатунов, А вообще, ты прав. На удивление, твой код по ссылке работает. Видимо, потому что шаблон с TStorage более спецефичен?

[Евгений Шатунов]

Wataru, ну яж об этом и написал выше. Просто я написал это уже после размещения основного текста комментария, т.к. предпочитаю не спамить, а дополнять свой последний комментарий.