partial template specialization problem

[kedaman]

Its only partial because gcc doesn't seem to like it otherwise nor does it seem to be allowed in the ISO standard, although I have a vague memory it used to work in MSVC..

Anyway, this gives me 0 (false) when its suppose to use the specialization - if I replace H with int in the specialization it works, but that would defeat the point.

template <class H>
struct c{
    template <class X,class T=void> struct h{
        static const bool val=false;
    };
    template <class T> struct h<H,T>{
        static const bool val=true;
    };    
};

int main(){
    cout << c<int>::h<int>::val<<endl;
    return 0;
} 

Anyone know what the problem is, or know any workarounds? Does it work in MSVC (I recall you can't initialize the static constants in msvc inside the struct but have to do it outside, but my guess that was non standard) or any other compiler than gcc? Is it suppose to work (give 1) according to the ISO standard?