Разрешить полную специализацию шаблонов внутри классов (explicit specialization in non-namespace scope)

Перенос предложения: голоса +13, -0 Автор идеи: Amomum

Сейчас этого делать нельзя, хотя в некоторых компиляторах можно (и никто не умирает). Причем частичная специализация почему-то разрешена. Считаю, что никакого смысла в этом нет, обходные пути более многословны и уродливы.

Сейчас подобный код не компилируется с не очень внятной ошибкой:

class A
{
    private:

    template< typename T>
    class Inner
    {
        T value;
    };

    template<>
    class Inner<int>
    {
        int value;
    };
};

error: "explicit specialization in non-namespace scope 'class A'"

Простое решение - сделать специализацию частичной, добавив фейковый параметр Dummy:

class A
{
    private:

    template< typename T, typename Dummy = void>
    class Inner
    {
        T value;
    };

    template< typename Dummy>
    class Inner< int, Dummy >
    {
        int value;
    };
};

Однако такой код длиннее и менее понятен. К тому же, частичная специализация невозможна для шаблонных методов, которые страдают от той же проблемы. Следует так же отметить, что некоторые компиляторы (в частности, MSVC) компилируют первый сниппет вопреки стандарту - и вроде как полет нормальный.

Причины, по которым стандарт это запрещает, неясны.

Предлагаю разрешить.

cpp-ru / ideas

Разрешить полную специализацию шаблонов внутри классов (explicit specialization in non-namespace scope) #322