Nested class template specialization [duplicate]

Question

A class:

template<typename C, typename T>
class A
{
    template <typename U>
    class Nested{};

    Nested<T> n;
};

And I want to specialize Nested. Here what I tried:

template<typename C, typename T>
class A
{
    template <typename U>
    class Nested{};

    template <>
    class Nested<int>{}; // by my logic this should work by I have a compilation error "explicit specialization in non-namespace scope 'class A<C, T>'"

    Nested<T> n;
};

My next attempt:

template<typename C, typename T>
class A
{
    template <typename U>
    class Nested{};

    Nested<T> n;
};

template<>
A<>::Nested<int>{}; // What is the correct syntax to do it here? Now I have an error "wrong number of template arguments (0, should be 2)"

Here on stackoverflow I found a solution:

template<typename C, typename T>
class A
{
    template <typename U, bool Dummy = true>
    class Nested{}; // why need of this Dummy??

    template <bool Dummy>
    class Nested<int, Dummy>{}; // why need to provide an argument??

    Nested<T> n;
};

It perfectly works, but I can't understand how. Why to provide a dummy template argument? Why can't I use raw specialization template<> class Nested<int, true>{} or template<> class Nested<int>{}?

ForEveR · Accepted Answer · 2015-10-13 10:22:03Z

27

It's forbidden to create explicit specialization in class-scope:

An explicit specialization shall be declared in a namespace enclosing the specialized template.

But it's not forbidden to create partial specialization:

A class template partial specialization may be declared or redeclared in any namespace scope in which its definition may be defined (14.5.1 and 14.5.2).

this

template <bool Dummy>
class Nested<int, Dummy>{}; // why need to provide an argument??

is partial specialization and it's allowed to create such specialization in class-scope. You also cannot fully specialize nested class, in not-specialized outer class. You can do this:

template<>
template<>
class A<int, double>::Nested<int>
{
};

but you cannot do

template<typename C, typename T>
template<>
class A<C, T>::Nested<int>
{
};

edited Oct 13, 2015 at 10:22

answered Oct 13, 2015 at 10:00

ForEveR

56.1k2 gold badges127 silver badges139 bronze badges

Sign up to request clarification or add additional context in comments.

Comments

JHBonarius · Accepted Answer · 2017-02-01 13:35:50Z

1

I managed to get this to work, by defining all the contents of the specialized template class within the outer class. So all functions are completely defined withing the class definition. No external function definitions, as that did not seem to complile. I.e.

template <typename T, size_t N>
class A
{
private:
    template <size_t M>
    class B
    {
        ...
    };

    template <>
    class B<2>
    {
        ...
    };
    ... etc
};

It worked on MS2015 at least. Code is running just fine.

answered Feb 1, 2017 at 13:35

JHBonarius

11.5k3 gold badges28 silver badges53 bronze badges

2 Comments

nikitablack Over a year ago

Yes, but it doesn't run on gcc and clang. Loos like Microsoft not following the standard. Or maybe there's a compiler switch.

Tuff Contender Over a year ago

@nikitablack cplusplus.github.io/CWG/issues/727.html has been adopted as a defect report

Collectives™ on Stack Overflow

Nested class template specialization [duplicate]

2 Answers 2

Comments

2 Comments

Linked

Hot Network Questions

Collectives™ on Stack Overflow

2 Answers 2

Comments

2 Comments

Linked

Related