Error explicit specialization in non namespace scope

Специализация внутренних шаблонных классов

Сломал мозг уже. капец.

В VC2008 все хорошо, в g++4.4.1 дохнем 🙁
На строчку template<> пишет «error: explicit specialization in non-namespace scope ‘struct External ’ «

«Help me, pliz, pliz, pliiiz » (c) Битлы 🙂

MATov
> Сломал мозг уже. капец.

asm
О первом предложеном способе:
конечно можно вынести наружу, но к сожалению код не мой, я его только правлю, а там такого очень много.

О втором:
Скомпилилось. Может кто-нибудь объяснить в чем дело?

частичная специализация идет, а полная нет..ну не дурдом ли. 🙁

Мона так, для удобства:

Но это не решает проблемы, кода такого не мало. Может флаг компилятора какой есть?

MATov
> Может флаг компилятора какой есть?
Типа, «—компилять-невалидный-код» ?
gcc корректно отказал в компиляции. То же скажет comeau.

RPGman
что ж в нем невалидного-то?
Особенно интересен вопрос в контексте того что с заглушой все норм, а полную специализацию делать нельзя.

MATov
> что ж в нем невалидного-то?
Не уверен в деталях, но суть в исторически сложившейся интерпретации стандарта.
Смотри пункт 14.7.3.2.
14.7.3(2): «An explicit specialization shall be declared in the
namespace of which the template is a member, or, for member templates,
in the namespace of which the enclosing class or enclosing class
template is a member. [. ]»

т.е. для шаблонов-членов специализация должна быть описана в том неймспейсе, где описан родительский класс.

Источник

Explicit (full) template specialization

Flow control Conditional execution statements Functions Function declaration Lambda function expression inline specifier Dynamic exception specifications (until C++20) noexcept specifier (C++11) Exceptions Alternative representations Literals Boolean — Integer — Floating-point Character — String —

nullptr

(C++11) User-defined (C++11) Utilities Attributes (C++11) Types typedef declaration Type alias declaration (C++11) Casts Implicit conversions — Explicit conversions

static_cast

—

dynamic_cast const_cast

—

reinterpret_cast

Memory allocation Class-specific function properties

Allows customizing the template code for a given set of template arguments.

Contents

[edit] Syntax

Any of the following can be fully specialized:

[edit] In detail

Explicit specialization may be declared in any scope where its primary template may be defined (which may be different from the scope where the primary template is defined; such as with out-of-class specialization of a member template) . Explicit specialization has to appear after the non-specialized template declaration.

Specialization must be declared before the first use that would cause implicit instantiation, in every translation unit where such use occurs:

A template specialization that was declared but not defined can be used just like any other incomplete type (e.g. pointers and references to it may be used):

[edit] Explicit specializations of function templates

When specializing a function template, its template arguments can be omitted if template argument deduction can provide them from the function arguments:

A function with the same name and the same argument list as a specialization is not a specialization (see template overloading in function template)

An explicit specialization of a function template is inline /constexpr (since C++11) /immediate (since C++20) only if it is declared with the corresponding specifier (or defined as deleted) (since C++11) , it does not matter if the primary template is declared with that specifier. Similarly, attributes appearing in the declaration of a template have no effect on an explicit specialization of that template: (since C++11)

Default function arguments cannot be specified in explicit specializations of function templates, member function templates, and member functions of class templates when the class is implicitly instantiated.

An explicit specialization cannot be a friend declaration.

This section is incomplete
Reason: review the exception specification requirement across different C++ versions

[edit] Members of specializations

When defining a member of an explicitly specialized class template outside the body of the class, the syntax template <> is not used, except if it’s a member of an explicitly specialized member class template, which is specialized as a class template, because otherwise, the syntax would require such definition to begin with template parameters > required by the nested template

An explicit specialization of a static data member of a template is a definition if the declaration includes an initializer; otherwise, it is a declaration. These definitions must use braces for default initialization:

A member or a member template of a class template may be explicitly specialized for a given implicit instantiation of the class template, even if the member or member template is defined in the class template definition.

Member or a member template may be nested within many enclosing class templates. In an explicit specialization for such a member, there’s a template <> for every enclosing class template that is explicitly specialized.

In such a nested declaration, some of the levels may remain unspecialized (except that it can’t specialize a class member template if its enclosing class is unspecialized). For each of those levels, the declaration needs template arguments > , because such specializations are themselves templates:

[edit] Defect reports

The following behavior-changing defect reports were applied retroactively to previously published C++ standards.

Источник

Специализация внутренних шаблонных классов

Сломал мозг уже. капец.

В VC2008 все хорошо, в g++4.4.1 дохнем 🙁
На строчку template<> пишет «error: explicit specialization in non-namespace scope ‘struct External ’ «

«Help me, pliz, pliz, pliiiz » (c) Битлы 🙂

MATov
> Сломал мозг уже. капец.

asm
О первом предложеном способе:
конечно можно вынести наружу, но к сожалению код не мой, я его только правлю, а там такого очень много.

О втором:
Скомпилилось. Может кто-нибудь объяснить в чем дело?

частичная специализация идет, а полная нет..ну не дурдом ли. 🙁

Мона так, для удобства:

Но это не решает проблемы, кода такого не мало. Может флаг компилятора какой есть?

MATov
> Может флаг компилятора какой есть?
Типа, «—компилять-невалидный-код» ?
gcc корректно отказал в компиляции. То же скажет comeau.

RPGman
что ж в нем невалидного-то?
Особенно интересен вопрос в контексте того что с заглушой все норм, а полную специализацию делать нельзя.

MATov
> что ж в нем невалидного-то?
Не уверен в деталях, но суть в исторически сложившейся интерпретации стандарта.
Смотри пункт 14.7.3.2.
14.7.3(2): «An explicit specialization shall be declared in the
namespace of which the template is a member, or, for member templates,
in the namespace of which the enclosing class or enclosing class
template is a member. [. ]»

т.е. для шаблонов-членов специализация должна быть описана в том неймспейсе, где описан родительский класс.

Источник

explicit specialization in non-namespace scope мать его! 🙁

Млин, стоит задача переписать софт с виндовса в linux. Понятно дело, в коде куча расширений от мелкософтоского компилятора с++, одно из них — объявление внутри класса шаблонного класса с последующей специализацией этого класса внутри объявления внешнего класса. gcc не проглатывает это, не по стандарту это. Млин, но если подумать, вполне удобное расширение. Читаю в инете, какие приемы используют разработчики, чтобы это обойти, а другие их ругают, типа такое расширение противоречит всей концепции шаблонов, типа это надругательство. Чем он противоричит? Чем он плох в с++?

Re: explicit specialization in non-namespace scope мать его! 🙁

Используй MSVC; перепеши код на стандартный; добавь такое расширение в GCC — у тебя огромный выбор!

Re: explicit specialization in non-namespace scope мать его! 🙁

Да, кстати — очень плохо, что ты не удосужил себя написать пример, и объяснить/проверить, почему нельзя сделать специализацию этого класса снаружи объявления внешнего класса — какие религиозные взгляды тебе мешают?

Может, MSVC просто решили для себя именно так проблему оптимизации — в других компиляторах такое просто нафиг никому не нужно, не?

Re: explicit specialization in non-namespace scope мать его! 🙁

и компилятор похоже у вас msvc 2005, 2008 вроде как такое не должен проглатывать

Источник

Explicit (full) template specialization

Flow control Conditional execution statements Functions Function declaration Lambda function expression inline specifier Dynamic exception specifications (until C++20) noexcept specifier (C++11) Exceptions Alternative representations Literals Boolean — Integer — Floating-point Character — String —

nullptr

(C++11) User-defined (C++11) Utilities Attributes (C++11) Types typedef declaration Type alias declaration (C++11) Casts Implicit conversions — Explicit conversions

static_cast

—

dynamic_cast const_cast

—

reinterpret_cast

Memory allocation Class-specific function properties

Allows customizing the template code for a given set of template arguments.

Contents

[edit] Syntax

Any of the following can be fully specialized:

[edit] In detail

Explicit specialization may be declared in any scope where its primary template may be defined (which may be different from the scope where the primary template is defined; such as with out-of-class specialization of a member template) . Explicit specialization has to appear after the non-specialized template declaration.

Specialization must be declared before the first use that would cause implicit instantiation, in every translation unit where such use occurs:

A template specialization that was declared but not defined can be used just like any other incomplete type (e.g. pointers and references to it may be used):

[edit] Explicit specializations of function templates

When specializing a function template, its template arguments can be omitted if template argument deduction can provide them from the function arguments:

A function with the same name and the same argument list as a specialization is not a specialization (see template overloading in function template)

An explicit specialization of a function template is inline /constexpr (since C++11) /immediate (since C++20) only if it is declared with the corresponding specifier (or defined as deleted) (since C++11) , it does not matter if the primary template is declared with that specifier. Similarly, attributes appearing in the declaration of a template have no effect on an explicit specialization of that template: (since C++11)

Default function arguments cannot be specified in explicit specializations of function templates, member function templates, and member functions of class templates when the class is implicitly instantiated.

An explicit specialization cannot be a friend declaration.

This section is incomplete
Reason: review the exception specification requirement across different C++ versions

[edit] Members of specializations

When defining a member of an explicitly specialized class template outside the body of the class, the syntax template <> is not used, except if it’s a member of an explicitly specialized member class template, which is specialized as a class template, because otherwise, the syntax would require such definition to begin with template parameters > required by the nested template

An explicit specialization of a static data member of a template is a definition if the declaration includes an initializer; otherwise, it is a declaration. These definitions must use braces for default initialization:

A member or a member template of a class template may be explicitly specialized for a given implicit instantiation of the class template, even if the member or member template is defined in the class template definition.

Member or a member template may be nested within many enclosing class templates. In an explicit specialization for such a member, there’s a template <> for every enclosing class template that is explicitly specialized.

In such a nested declaration, some of the levels may remain unspecialized (except that it can’t specialize a class member template if its enclosing class is unspecialized). For each of those levels, the declaration needs template arguments > , because such specializations are themselves templates:

[edit] Defect reports

The following behavior-changing defect reports were applied retroactively to previously published C++ standards.

Источник

Перенос предложения: голоса +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) компилируют первый сниппет вопреки стандарту — и вроде как полет нормальный.

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

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

Изучаю шаблоны и не могу нормально скомпилировать код.
Версия компилятора — g++ (Debian 10.2.1-6) 10.2.1 20210110

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

#include <iostream>
 
template<typename T>
class A{
public:
    A(){}
    ~A(){}
    
    template<>
    void set_data<int>(int data){
        this->data = data;
    }
    
    template<>
    void set_data<double>(double data){
        this->data = data;
    }
    
private:
    T data;
}
 
int main(){
    A<int> a1;
    a1.set_data(10);
    
    A<double> a2;
    a2.set_data(3.1);
    return 0;
}

Проблема имеено с template<>
Если скомпилировать с -std=c++11, то выдает больше ошибок, чем с -std=c++20

c++11:

c++20:

Добавлено через 2 минуты
PS Только сейчас заметил, что после класса не поставил ; (в строке 21), но это ничего не меняет.

Hey guys,

the following code:

http://code.google.c…SBPropertySet.h

/*
The zlib/libpng License

(You can see the line numbers if you follow the link)

gives the following errors when compiled with g++ (Debian 4.3.2-1.1) 4.3.2:

oisb/include/OISBPropertySet.h:57: error: explicit specialization in non-namespace scope ‘class OISB::PropertySet’
oisb/include/OISBPropertySet.h:67: error: expected nested-name-specifier before ‘T’
oisb/include/OISBPropertySet.h:67: error: too many template-parameter-lists
oisb/include/OISBPropertySet.h:73: error: explicit specialization in non-namespace scope ‘class OISB::PropertySet’
oisb/include/OISBPropertySet.h:81: error: too many template-parameter-lists
oisb/include/OISBPropertySet.h:91: error: too many template-parameter-lists[/quote]

It appears that Visual C++ thinks that code is OK. It would be great if someone could explain why these errors happen and how the code should be changed to make it work.

I’m not the author of the code — I’m a user of the library and just trying to help the author to get it fixed so that it can be used on Linux too.

Я знаю, что есть много сообщений о «Явная специализация в области, не связанной с пространством имен«; я уже читал большинство из них, но (если только я плохо понял ответы) они не отвечают на этот конкретный вопрос. На самом деле, я нашел обходной путь в своей программе, но мне интересно узнать «реальное решение» этой проблемы, если оно есть.

Проблема

Пожалуйста, потерпите меня, это трудно выразить словами. У меня есть класс шаблона A<typename T, unsigned n>. Я хочу определить средство проверки типов как внутреннюю структуру шаблона. is_A<typename U> который проверяет, если U это какой-то A. Эта структура наследуется от std::false_type как есть, и я специализируюсь на том, чтобы вывести его из std::true_type для типов шаблонов A<U,n>.

Почему я хочу это сделать? Потому что я хочу определить метод шаблона A::method<U> который ведет себя по-разному, когда U это какой-то A или иным образом.

Что сработало

1. Вводя неспециализированное определение is_a<U> до объявления A. И поставить потом специализированную версию с 2 аргументами шаблона вместо 1; ie template <> template <typename T, unsigned n> struct is_A< A<T,n> > : std::true_type {};. Почему бы и нет, но мне не очень нравится добавлять аргумент шаблона и взрывать определение is_A тоже не очень красиво…
2. Удаление is_A и используя другую проверку типов для method который характеризует именно тот тип, который я ожидаю (ie, подход белого списка вместо черного списка).

Есть ли другой способ, кроме этих обходных путей, который позволяет написать что-то похожее на следующий заголовок?

Код

Вот самый маленький заголовок, который я мог бы написать, чтобы воспроизвести ошибку:

#ifndef __EXAMPLE__
#define __EXAMPLE__

#include <type_traits>

namespace name
{


template <typename T, unsigned n>
class A
{
public:

    /**
     * Type checkers
     */
    template <typename U>
    struct is_A : public std::false_type {};

    template <> template <typename U>
    struct is_A< A<U,n> > : public std::true_type {};

    /**
     * Specialized method
     */

     // Version taking input of type A<U,n>
    template <typename U>
    void method( const A<U,n>& other ) {}

    // Version taking inputs of other types
    template <typename U,
    typename = typename std::enable_if< !is_A<U>::value >::type >
    void method( const U& x ) {}
};


}

#endif

Вот ошибка, которую я получаю, когда компилирую файл cpp, включая этот заголовок:

.h:21:12: error: explicit specialization in non-namespace scope 'class name::A<T, n>'
.h:30:7: error: too many template-parameter-lists
.h:35:7: error: too many template-parameter-lists