¿Cómo hacer un pliegue agrupado o emparejado del paquete de parámetros?

template<class Msg, class... Args>
std::wstring descf(Msg, Args&&... args) {
    std::wostringstream woss;

    owss << Msg << ". " << ... << " " << args << ": '" << args << "' ";//not legal at all

    //or

    owss << Msg << ". " << args[0] << ": '" << args[1] << "'  " << args[2] << ": '" << args[3] << "' "; //... pseudo code, and so on...
}

Sé que puedo usar una lista de pares o algo así en su lugar, pero estoy interesado en cómo hacer esto mientras mantengo la sintaxis de la función para:

const auto formatted = descf(L"message", "arg1", arg1, "arg2", arg2);

¡Puedes usar una expresión de pliegue! No es el más bonito *, pero es más corto que todas las soluciones no plegables presentadas:

template<class T, class ... Args>
std::wstring descf(T msg, Args&&... args) {
    std::wostringstream owss;
    owss << msg << ". ";

    std::array<const char*, 2> tokens{": '", "' "};
    int alternate = 0;
    ((owss << args << tokens[alternate], alternate = 1 - alternate), ...);

    return owss.str();
}

Demostración con salida de muestra: https://godbolt.org/z/Gs8d2x

Realizamos un pliegue sobre el operador de coma, donde cada operando es una salida de uno argsy el token alternativo, además de cambiar el índice del token (los dos últimos se combinan con otro operador de coma).

^{* Para un lector familiarizado con las expresiones de pliegue (y el operador de coma), este es probablemente el "mejor" código, pero para todos los demás es una tontería, así que use su propio criterio si desea infligir esto en su base de código.}

Esto es fácil con un par de funciones auxiliares que siguen el siguiente patrón.

void helper() {}

template <class T1, class T2, class ... T>
void helper(T1 t1, T2 t2, T ... t)
{
     do_single_pair(t1, t2);
     helper(t...);
}

Esta no es una expresión de pliegue, pero el resultado neto es el mismo.

Supongo que puedes probar con un índice y un operador ternario.

Algo como sigue

template <typename ... Args>
std::wstring descf (std::wstring const & Msg, Args && ... args)
 {
   std::wostringstream woss;

   int i = 0;

   ((woss << Msg << ". "), ... ,(woss << args << (++i & 1 ? ": '" : "' ")));

   return woss.str();
 }

El siguiente código debería hacer el truco. El paquete de parámetros se expande en una lista de inicializador.

#include <string>
#include <iostream>
#include <sstream>
#include <vector>

template <typename...Args>
std::string descf(std::string msg, Args &&... args)
{
   auto argumentsVector = std::vector<std::string>{args...};

   std::stringstream ss;
   ss << msg << ". ";

   for (auto i = std::size_t{0}; i < argumentsVector.size() - 1; ++i)
      ss << argumentsVector[i] << ": '" << argumentsVector[i+1] << "' ";

   auto result = ss.str();
   if (!argumentsVector.empty())
       result.pop_back();
   return result;
}

int main()
{
   std::cout << descf("message", "arg1", "1", "arg2", "2") << std::endl;
}

Con std::index_sequence:

template <class Msg, class... Pairs>
std::wstring descf_pair(const Msg& msg, const Pairs&... pairs)
{
    std::wstringstream woss;

    woss << msg << ". ";
    auto sep = L"";
    ((woss << sep << std::get<0>(pairs) << L": '"
                  << std::get<1>(pairs) << L"'", sep = L"  "), ...);
    return woss.str();
}

template <class Msg, std::size_t... Is, class Tuple>
decltype(auto) descf_impl(const Msg& msg, std::index_sequence<Is...>, Tuple&& t)
{
    return descf_pair(msg, std::tie(std::get<2 * Is>(t), std::get<2 * Is + 1>(t))...);
}

template <class Msg, typename ... Ts>
std::wstring descf(const Msg& msg, const Ts&... ts)
{
    static_assert(sizeof...(Ts) % 2 == 0);

    return descf_impl(msg,
                      std::make_index_sequence<sizeof...(Ts) / 2>(),
                      std::tie(ts...));
}

Manifestación