Namenssuche Problem, GCC und Klang stimmen nicht zu

Question

Wie von ecatmur hervorgehoben, hat diese Frage bereits eine Antwort here. Diese Frage ist offensichtlich kein Duplikat von trailing return type using decltype with a variadic template function. Es versucht tatsächlich, eine einfachere Lösung für das Problem in diesem Thread vorzuschlagen. Die Frage ist, ob diese Lösung dem Standard entspricht, weil GCC und Clam darüber nicht einig sind. Lesen Sie sich die Frage ein wenig genauer durch, und Sie werden das merken.

Diese Frage wurde von this one inspiriert. Ich versuche, mit einer einfacheren Lösung als die, die kommen bereits zur Verfügung gestellt, und mit diesem Ende:

#include <iostream> 

struct S { 
    template <typename T> 
    static T sum(T t){ 
     return t; 
    } 

    template <typename T, typename ...U> 
    static auto sum(T t, U... u) -> decltype(t + sum(u...)) { 
     return t + sum(u...); 
    } 
}; 

int main() { 
    std::cout << S::sum(1, 1.5, 2) << '\n'; 
} 

Während diese Lösung mit GCC arbeitet, ist es nicht das Problem überhaupt auf Klirren zu lösen. Also, ich frage mich, welcher ist richtig.

Answer 1

beste Abhilfe kam ich ist:

#include <iostream> 

struct S { 
    template <typename T> 
    static T sum(T t){ 
     return t; 
    } 

    template <typename S, typename T> 
    static auto sum(S s, T t) -> decltype(s + t) { 
     return s + t; 
    } 

    template <typename S, typename T, typename ...U> 
    static auto sum(S s, T t, U... u) -> decltype(s + t) { 
     return s + sum(t, u...); 
    } 
}; 

int main() { 
    std::cout << S::sum(1, 1.5, 2) << '\n'; 
} 

Klirren scheint mit der Lösung rekursive Funktion/Methode in decltype Richtlinie ein Problem zu haben ...