[VC++] Partieel gespecialiseerde template wil niet werken

[Mijzelf]

Ik probeer een set partieel gespecialiseerde template classes aan de gang te krijgen in VC++ 2010, maar het wil niet werken. Ik heb de code teruggebracht tot het volgende:

C++:

template< class A, class enable = void > class TestTemplate
{
    A data;
public:
    void Functie( void )
    {
        printf( "ongespecialiseerd\n" );
    }
};

template<class A> class specialize {};
template<> class specialize<int> { typedef bool yes; };

template< class A > class TestTemplate< A, typename specialize<A>::yes >
{
public:
    void Functie( void )
    {
        printf( "gespecialiseerd\n" );
    }
};

int main( void )
{
    TestTemplate<double> a;
    TestTemplate<int> b;
    a.Functie();
    b.Functie();
    return 0;
}

b.Functie() zou 'gespecialiseerd' moeten geven, maar doet dat niet.
Ik kan trouwens in de gespecialiseerde functie syntaxfouten maken, de compiler klaagt niet. Dus blijkbaar wordt de hele gespecialiseerde template overgeslagen.
Wat zie ik over het hoofd?

/Edit: Ik heb de code net gecompileerd met gcc 4.4.5, en dan werkt het ook niet. Dus het is geen MS quirk.

[ Voor 5% gewijzigd door Mijzelf op 07-09-2011 16:54 ]

[MSalters]

Wat je nu hebt geschreven is een specialisatie voor TestTemplate<int, bool>. maar je instantieert TestTemplate<int, void>.

[.oisyn]

Als ik het goed begrijp wil je TestTemplate<T> specializen afhankelijk van of specialize<T> een bepaalde waarde heeft? En dan waarschijnlijk omdat het wat onhandig is om de definitie van TestTemplate<T> elke keer te herhalen voor elk gespecialized type? Dan kun je dat beter zo aanpakken:

C++:

template<class A> struct specialize { static const bool value = false; }; 
template<> struct specialize<int> { static const bool value = true; }; 

template< class A, bool enable = specialize<A>::value> class TestTemplate 
{ 
    A data; 
public: 
    void Functie( void ) 
    { 
        printf( "ongespecialiseerd\n" ); 
    } 
}; 

template< class A > class TestTemplate< A, true > 
{ 
public: 
    void Functie( void ) 
    { 
        printf( "gespecialiseerd\n" ); 
    } 
}; 

int main( void ) 
{ 
    TestTemplate<double> a; 
    TestTemplate<int> b; 
    a.Functie(); 
    b.Functie(); 
    return 0; 
}

[Mijzelf]

Die code werkt inderdaad, bedankt.