Funktion Vorlage Spezialisierung in einem Namespace

Question

Ich möchte eine Funktion Vorlage spezialisieren. Diese Funktion wird in einem Namespace deklariert:

namespace foo 
{ 
    template <int> 
    void function(); 
} 

(Der Einfachheit halber wird die Vorlage basiert auf einer int, während in meiner Produktionscode, es ist ein enum class, aber es ist das gleiche Problem Das gleiche gilt für a. Typ basierte Vorlage)

Jetzt mag ich es für einen bestimmten Wert spezialisieren:

template <> 
void foo::function<0>() 
{ 
} 

Dies scheitert mit g++ -std=c++11 (Versionen 4.6, 4.7, 4.8 und 4.9) zu kompilieren:

Spezialisierung von ‚template void foo :: function()‘ in anderen Namespace [-fpermissive]

clang++ -std=c++11 akzeptiert diesen Code.

g ++ akzeptiert auch das folgende Stück:

namespace foo 
{ 
    template <> 
    void function<0>() 
    { 
    } 
} 

Wer ist richtig, gcc oder klappern?

Answer 1

Nach der Norm, §14.7.3/2, Hervorhebung von mir:

Eine explizite Spezialisierung wird in einem Namespace deklariert werden, um die spezielle Vorlage einschließen. Eine explizite Spezialisierung deren declarator-ID ist nicht qualifiziert wird im nächsten einschließenden Namespace von die Vorlage deklariert werden, oder, wenn die Namespace-Inline ist (7.3.1), jeder Namespace aus seinem umschließenden Namespace-Set.

Sie müssen template<> function<0>(); in namespace foo setzen. Diese Regel gilt jedoch nur für unqualifizierte declator-id. Wenn Sie eine qualifizierte-ID (wie in foo::function<0>) bereitstellen, glaube ich, dass diese Klausel nicht gelten sollte, die hier richtig kling macht.

Zum Beispiel angesichts der function erklärt die Frage, erwarten würde ich folgendes:

namespace foo { 
    template <> void function<0>(); // valid: unqualified explicit specialization 
            // in the nearest enclosing namespace of the 
            // template 
} 

namespace bar { 
    template <> void function<1>(); // invalid: unqualified explicit specialization 
            // in the wrong namespace 
} 

struct baz { 
    template <> void function<2>(); // invalid: unqualified explicit specialization 
            // not in namespace scope 
}; 

template <> void foo::function<3>(); // valid: qualified explicit specialization 
            // is in a namespace, and id is qualified 

template <> void bar::function<4>(); // invalid: there is no bar::function 
            // to specialize