Nested Template Specialization

Question

Having a brain fart... Is it possible to make something like this work?

template struct Foo
{
    template struct Bar;
};

template         


        

Answer 1

You can't do that. I've tried many variations. This, however, compiles in GCC 4.1:

template<int a> struct Foo
{
    template<int b> struct Bar;
    template<1> struct Bar;
};

Edit (after reviewing the standard): If a is given, however, you can do this:

template <> template <> Foo<1> Bar<1>;

But not if Foo is not first specialized.