clang ++ automatischer Rückgabetypfehler für die Spezialisierung der Vorlagenmethode in der Vorlagenklasse?

Question

Versucht, another question zu verstehen, habe ich das Beispiel mit dem folgenden Code vereinfacht.

template <bool> 
struct foo 
{ 
    template <typename T> 
     auto bar (int i) 
     { return i; } 
}; 

template <> 
template <typename T> 
    auto foo<true>::bar (int i) 
    { return i; } 

int main() 
{ 
    return 0; 
} 

g ++ 4.9.2 kompilieren Sie es ohne Problem; Klirren ++ 3.5 Die folgende Fehler

tmp_003-14,gcc,clang.cpp:12:20: error: out-of-line definition of 'bar' does not 
     match any declaration in 'foo<true>' 
    auto foo<true>::bar (int i) 
        ^~~ 

Setzt man eine der beiden auto Rückkehr Werte mit int geben, gibt es keine Änderungen: g ++ Kompilieren und Klirren ++ geben den Fehler. Wenn der Fehler auto durch int ersetzt wird, verschwindet der Fehler.

Der template <typename T> Teil ist von Bedeutung, da der folgende Code problemlos mit beiden Compilern

template <bool> 
struct foo 
{ 
     auto bar (int i) 
     { return i; } 
}; 

template <> 
    auto foo<true>::bar (int i) 
    { return i; } 

int main() 
{ 
    return 0; 
} 

Meine Frage liegt auf der Hand: wer Recht hat?

g ++ oder clang ++?

Ich nehme an, dass g ++ richtig ist und dass dies ein Bug von clang ++ ist, aber ich bitte um Bestätigung.

ps.entschuldigung für mein schlechtes Englisch.

Answer 1

Ich hatte das gleiche Problem, hier ist die solution. Außer Sie sollten auch berücksichtigen, dass implizite automatische Rückgabetyp nur seit C++ 14 zulässig ist, so sollten Sie entweder -std=c++14 Kompilierungsflag verwenden oder explizit den Rückgabetyp (für C++ 11) festlegen.

Das Problem ist, dass CLang keine gute Spezialisierung der Template-Funktionen der Template-Klasse entspricht. Um dies zu überwinden, sollten Sie eine leere Deklaration der Template-Klasse und eine separate Spezialisierungen haben:

template <bool> 
struct foo; 

template <> 
struct foo <false> 
{ 
    template <typename T> 
    auto bar (int i) 
    { return i; } 
}; 


template <> 
struct foo <true> 
{ 
    template <typename T> 
    auto bar (int i) 
    { return i; } 
}; 

int main() 
{ 
    return 0; 
}