Boost.Tuple es compatible con C ++ 0x variadic plantillas?
-
01-10-2019 - |
Pregunta
Yo estaba jugando con plantillas variadic (gcc 4.5) y golpeó a este problema:
template <typename... Args>
boost::tuple<Args...>
my_make_tuple(Args... args)
{
return boost::tuple<Args...>(args...);
}
int main (void)
{
boost::tuple<int, char> t = my_make_tuple(8, 'c');
}
mensaje de error GCC:
sorry, unimplemented: cannot expand 'Arg ...' into a fixed-length argument list
In function 'int my_make_tuple(Arg ...)'
Si puedo reemplazar todas las apariciones de boost::tuple
por std::tuple
, que compila bien.
¿Hay un problema en la implementación impulso par de valores? O se trata de un error de gcc?
Me debe seguir con Boost.Tuple por ahora. ¿Conoce alguna solución?
Gracias.
Solución
No parece que les gusta la expansión Args...
a T1, T2, T3, ..., T9
como Boost lo tiene.
Como solución, el uso de constructos que no requieren esta expansión:
#include <boost/tuple/tuple.hpp>
template <typename... Args>
auto my_make_tuple(Args... args) -> decltype(boost::make_tuple(args...))
{
return {args...};
}
int main (void)
{
boost::tuple<int, char> t = my_make_tuple(8, 'c');
}
Otra opción podría ser la de hacer la expansión de forma manual, ya que los soportes boost::tuple
hasta 10 argumentos.
#include <boost/tuple/tuple.hpp>
template <unsigned, class, class...> struct nth_argument;
template <unsigned N, class Default, class T, class... Args>
struct nth_argument<N, Default, T, Args...>
{
typedef typename nth_argument<N - 1, Default, Args...>::type type;
};
template <class Default, class T, class... Args>
struct nth_argument<0, Default, T, Args...>
{
typedef T type;
};
template <unsigned N, class Default>
struct nth_argument<N, Default>
{
typedef Default type;
};
template <typename ...Args>
struct tuple_from_var_template
{
typedef boost::tuple<
typename nth_argument<0, boost::tuples::null_type, Args...>::type,
typename nth_argument<1, boost::tuples::null_type, Args...>::type,
typename nth_argument<2, boost::tuples::null_type, Args...>::type,
typename nth_argument<3, boost::tuples::null_type, Args...>::type,
typename nth_argument<4, boost::tuples::null_type, Args...>::type,
typename nth_argument<5, boost::tuples::null_type, Args...>::type,
typename nth_argument<6, boost::tuples::null_type, Args...>::type,
typename nth_argument<7, boost::tuples::null_type, Args...>::type,
typename nth_argument<8, boost::tuples::null_type, Args...>::type,
typename nth_argument<9, boost::tuples::null_type, Args...>::type
> type;
};
template <typename... Args>
typename tuple_from_var_template<Args...>::type my_make_tuple(Args... args)
{
return typename tuple_from_var_template<Args...>::type(args...);
}
int main (void)
{
boost::tuple<int, char> t = my_make_tuple(8, 'c');
}
Licenciado bajo: CC-BY-SA con atribución
No afiliado a StackOverflow