Clang "nie może wywnioskować argumentu szablonu", podczas gdy gcc/g ++ może. Który jest poprawny?

Question

Próbowałem skompilować projekt (który jest w porządku przy użyciu gcc/g ++) z klang i kompilacji zatrzymanych na szablonie wywołania. Próbowałem utworzyć najprostszy podobny fragment kodu z tym samym komunikatem o błędzie. Oto ona:

#include <vector> 
#include <utility> 
#include <iostream> 

using namespace std; 

int A(double in) 
{ 
    return 1; 
} 

int A(int in) 
{ 
    return 1; 
} 


template<class M, class T> 
M test(T input, M (fun) (T)) 
{ 
    return fun(input); 
} 



int main(int argc, const char *argv[]) 
{ 
    cout << test((int) 1, A) << test((double) 1.2, A) << endl; 
    return 0; 
} 

Błąd z brzękiem (pojawia się dwa razy oczywiście):

error: no matching function for call to 'test' 
candidate template ignored: couldn't infer template argument 'M' 

GCC nie narzekać. Uwaga: M jest typem zwrotnym i zawsze jest "int".

Czy ktoś wie, co jest poprawne i dlaczego?

Dzięki

Answer 1

Moja poprzednia odpowiedź (teraz usunięta) była nieprawidłowa. Clang jest złe.

Kompilator powinien być w stanie wywnioskować typ M, ponieważ argumentem funkcji jest M(fun)(T). Zauważ, że nie ma M w liście argumentów wskaźnik funkcji, więc odpowiada to T() (C++ 11)/T(*)() (C++ 93) w 14.8.2.5:

gdzie (T) reprezentuje parametr -type-list, gdzie co najmniej jeden typ parametru zawiera T, i () reprezentuje listę parametrów typu, gdzie żaden typ parametru nie zawiera T.

Answer 2

g ++ jest nieprawidłowy. Od C++ 11 [temp.deduct.type] P5:

Objęte zakazem wywnioskować konteksty są: [...] - parametr funkcji, dla których odliczenie argumentu nie można zrobić, ponieważ wiąże się funkcja argument jest [...] zestaw przeciążonych funkcji, a [...] więcej niż jedna funkcja odpowiada typowi parametru funkcja

To określenie jest wykonany bez względu na parametry szablonów, które mogły zostać wyprowadzona gdzie indziej, więc Fakt, że T musi wydedukować jako int, nie jest tutaj odpowiedni. Powoduje to, że cały parametr nie ma wydedukowanego kontekstu. Zatem nie można wywnioskować, że M, tak jak twierdzi Clang.

g ++ wydaje się nieprawidłowo używać "dedukcji" z pierwszego parametru funkcji przy określaniu, czy drugi parametr nie jest kontekstem wywnioskowanym. Odwrócenie kolejności parametrów funkcji powoduje, że g ++ również odrzuca kod:

int A(double); 
int A(int); 
template<class M, class T> 
M test(M (fun) (T), T input) { 
    return fun(input); 
} 
int main(int argc, const char *argv[]) { 
    test(A, 1); 
    test(A, 1.2); 
}