2011-09-19 2 views
1

Le code:Non implémenté dans new gcc mais implémenté dans un ancien?

#include <tuple> 
#include <cmath> 
#include <iostream> 

template <int N, typename Retrun_T, typename... Args_T> 
Retrun_T _TupleFunctionCall(Retrun_T (*function)(Args_T... Args), std::tuple<Args_T...> Args, Args_T... RealArgs) 
{ 
    return function(RealArgs...); 
} 

template <int N, typename Retrun_T, typename... Args_T, typename... Interm_Args_T> 
Retrun_T _TupleFunctionCall(Retrun_T (*function)(Args_T... Args), std::tuple<Args_T...> Args, Interm_Args_T... RealArgs) 
{ 
    return _TupleFunctionCall<N + 1>(function, Args, RealArgs..., std::get<N>(Args)); 
} 

template <typename Retrun_T, typename... Args_T> 
Retrun_T TupleFunctionCall(Retrun_T (*function)(Args_T... Args), std::tuple<Args_T...> Args) 
{ 
    return _TupleFunctionCall<1>(function, Args, std::get<0>(Args)); 
} 

int main(int argc, char *argv[]) 
{ 
    std::cout << TupleFunctionCall<double, double, double>(&std::pow, std::tuple<double, double>(10, 2)) << std::endl; 
} 

Compile et fonctionne très bien en g ++ 4.4.2, mais produit une erreur en g ++ 4.5.2:

prog.cpp: In function 'Retrun_T _TupleFunctionCall(Retrun_T (*)(Args_T ...), std::tuple<_Tail ...>, Interm_Args_T ...) [with int N = 1, Retrun_T = double, Args_T = {double, double}, Interm_Args_T = {double}]':
prog.cpp:20:67: instantiated from 'Retrun_T TupleFunctionCall(Retrun_T (*)(Args_T ...), std::tuple<_Elements ...>) [with Retrun_T = double, Args_T = {double, double}]'
prog.cpp:25:104: instantiated from here
prog.cpp:14:84: sorry, unimplemented: use of 'type_pack_expansion' in template
prog.cpp:14:84: error: call of overloaded '_TupleFunctionCall(double (*&)(double, double), std::tuple&, double&, double&)' is ambiguous prog.cpp:6:10: note: candidates are: Retrun_T _TupleFunctionCall(Retrun_T (*)(Args_T ...), std::tuple<_Tail ...>, Args_T ...) [with int N = 2, Retrun_T = double, Args_T = {double, double}]
prog.cpp:12:10: note: Retrun_T _TupleFunctionCall(Retrun_T (*)(Args_T ...), std::tuple<_Tail ...>, Interm_Args_T ...) [with int N = 2, Retrun_T = double, Args_T = {double, double}, Interm_Args_T = {double, double}]

Pourquoi est-il mis en œuvre dans le vieux g ++ mais pas dans la nouvelle un?

+2

On dirait que cela est venu plusieurs fois dans la vie de G ++. En voici une plus récente, avec quelques solutions de contournement possibles: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48292 – Joe

+0

Joe, voulez-vous transformer cela en une réponse pour que nous puissions le marquer? – spraff

Répondre

Questions connexes