[C++] Explicit template specializations in class definitions

[Verwijderd]

Waarom zijn explicit template specializations niet, en partial template specializations wél binnen een class definitie toegestaan?

C++:

struct A
{
  template <typename T1, typename T2>
  struct B {};
 
  template <typename T1> // Ok: partial specialisation
  struct B<T1, void> {};
 
  template <> // Error: explicit specialization
  struct B<void, void> {};
};

Comeau zegt:
error: explicit specialization is not allowed in the current scope

[.oisyn]

compileert prima hier (MSVC 7.1 beta)

[Verwijderd]

En de nieuwste G++ is 't met Comeau eens..

[.oisyn]

en als je de specializatie buiten struct A brengt?

dit dus:

C++:

struct A
{
  template <typename T1, typename T2>
  struct B {};

  template <typename T1> // Ok: partial specialisation
  struct B<T1, void> {};
};

template<>
struct A::B<void, void> {};

[Verwijderd]

Dat werkt prima, maar ik zoek nog altijd het antwoord op de vraag.

[.oisyn]

toch wazig, waarom zou een partial specialization wel mogen terwijl een explicit specialization niet mag

Heb even vlug door de ANSI C++ documentatie gebladerd, maar niet zo snel iets gevonden waarom staat of en waarom het niet mag
(geeft de Comeau compiler geen errorcode die je weer op kunt zoeken in de bijbehorende documentatie ofzo?)

[Verwijderd]

.oisyn schreef op 30 oktober 2002 @ 00:55:
toch wazig, waarom zou een partial specialization wel mogen terwijl een explicit specialization niet mag

'Wazig' lijkt me een uitstekende beschrijving .

Heb even vlug door de ANSI C++ documentatie gebladerd, maar niet zo snel iets gevonden waarom staat of en waarom het niet mag

Mijn ISO-IEC14882-1998.pdf bood ook al geen uitkomst nee..

(geeft de Comeau compiler geen errorcode die je weer op kunt zoeken in de bijbehorende documentatie ofzo?)

Nee, en G++ ook niet.

[Verwijderd]

Hmm:

ISO-IEC 14882, 14.7.3 paragraaf 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.

Hieruit kunnen we echter niet opmaken waarom het voor explicit specializations anders is dan voor partial specializations..

[Verwijderd]

Er blijken nog meer vreemde verschillen tussen partial en explicit member template specializations te zijn (14.7.3 paragraaf 17):

C++:

template <typename T>
struct A
{
  template <typename U, typename V>
  struct B {};
};
 
// partial specialization: ok
template <typename T>
template <typename U>
struct A<T>::B<U, int> {};
 
// explicit specialization: error
template <typename T>
template <>
struct A<T>::B<int, int> {};

De workaround hiervoor (B een extra template parameter geven met een default waarde) is helaas minder pijnloos dan die van het vorige probleem.

[.oisyn]

* schop *

_{hoopt op zinnige verklaring van MSalters}

[MSalters]

Ja, en 14.5.4 [temp.class.spec] "Each class template partial specialization is a distinct template" zegt ook veel. De explicit specialization is geen distinct template (maakt uit bij friend definitions).

Het zijn dus andere beesten.
_{Heb effe niet heel veel tijd, compleet verhaal komt nog wel}

edit:
Deze quote is ook wel goed: 14.7.3/7 [Explicit specialization]

When writing a specialization, be careful about its location; or to make it compile will be such a trial as to kindle its self-immolation.

[ Voor 0% gewijzigd door MSalters op 30-10-2002 15:59 . Reden: leuke quote ]