Standardargument für Teilspezialisierung [Clang ja, GCC nein] ⇐ C++

[Anonymous]

Warum wird das Folgende mit clang kompiliert, aber nicht mit g++ 4.9

Code: Select all

#include 

template< typename T1, typename T2 , typename T3 = int>
struct A;

template
struct A< std::array, T2,  T3 > {
int a;
};

int main()
{
A< std::array, double>  a;
a.a +=3;
}

http://coliru.stacked-crooked.com/a/c7800f49ba5aac43

g++ findet keine passende Spezialisierung und beschwert sich über „unvollständigen Typ“. Ich frage mich, ob das Standardargument typename T3 = int für die Spezialisierung gelten sollte (oder gilt es nur für die vollständige Spezialisierung?)