Необъявленный идентификатор для шаблона Variadic

Ваш код должен выглядеть так:

template < template <class...> class STLContainer, class String, class ...Traits>
String as_comma_list(const STLContainer<String, Traits...> &container)

но давайте посмотрим на последствия вашего кода:

1. Тип STLContainer должен принимать параметр шаблона. Если я напишу класс simplestringvector (который, я знаю, не является универсальным, но никто не может меня остановить :)), ваш код не будет работать для меня.

2. Тип STLContainer должен содержать элементы begin() и end(). (Нет бесплатных функций; нет std::begin и std::end)

3. Тип String должен предоставлять элемент pop_back().

4. Тип String должен иметь определенный operator+=, который должен иметь возможность работать со строковым литералом, содержащим char (без wchar_t, без char16_t, ...).

5. И другие, которые менее важны здесь.

Функция может быть более общей:

Нет гарантии, так как я очень устал, но все же...

Если ваш код требует, чтобы тип был итерируемым, в любом случае вам не нужно знать тип String в первую очередь. Вы можете получить его как испорченный результат разыменования итератора контейнера. Перетащив std::begin и std::end в область, вы можете включить ADL для бесплатного начала и end функции, продолжая перехватывать функции-члены через стандартные функции.

Сначала несколько заголовков и вспомогательный класс:

#include <type_traits>
#include <iterator>

namespace detail
{
    template<class ...> struct comma;
    template<> struct comma<char> 
    { static constexpr char c = ','; };
    template<> struct comma<wchar_t> 
    { static constexpr wchar_t c = L','; };
    template<> struct comma<char16_t> 
    { static constexpr char16_t c = u','; };
    template<> struct comma<char32_t> 
    { static constexpr char16_t c = U','; };
}

Теперь мы пытаемся реализовать as_comma_list с включенной итерацией ADL и без каких-либо ограничений в отношении макета шаблона контейнера или строки.

template <class C>
auto as_comma_list(C&& c)
{
    using std::begin; 
    using std::end;
    using string_type = std::decay_t<decltype(*begin(c))>;
    using char_type = std::decay_t<decltype(*begin(*begin(c)))>;
    string_type result;
    auto const ec = end(c);
    for (auto it = begin(c); it != ec; )
    {
        result += *it;
        if (++it != ec)
        {
            result += detail::comma<char_type>::c;
        }
        else break;
    }
    return result;
}

Примечание. В этом примере требуется, чтобы тип String также был итерируемым (что встречается очень часто), и у него есть вторая ветвь в цикле, которая может быть медленнее при работе с миллиардами строк здесь.

Попытка написать общий код таким образом обречена на провал, потому что в общем случае контейнеры нельзя описать как container<T, traits...>, подумайте о map<key, T, Compare, Allocator>, у которого есть value_type=pair<key, T>.

Вместо этого в C++ этот тип универсального программирования обычно выполняется через iterators (как и во всей стандартной библиотеке), например.

template<typename It>
enable_if_t<is_same<string, typename iterator_traits<It>::value_type>::value,
            string>  // or use static_assert() in the function body
as_comma_list(It begin, const It &end)
{
    string result;
    for(; begin!=end; ++begin)
    {
        result += *begin;
        result += ",";
    }
    result.pop_back();
    return result;
}

Как насчет

template <template <typename...> class STLContainer,
          typename String, typename Traits> 
String as_comma_list(const STLContainer<String, Traits> &container)

?

Но вам нужно Traits?

Я полагаю, что вы можете упростить свой код следующим образом

template <template <typename...> class STLContainer, typename String> 
String as_comma_list(const STLContainer<String> &container)