Warum führt die explizite Spezialisierung einer Mitgliedsfunktion außerhalb ihres Namespace zu einem C-Kompilierungsfehler?

Explizite Spezialisierung im Nicht-Namespace-Bereich

In der Vorlagenklasse CConstraint wird eine explizite Spezialisierung der Verify-Memberfunktion für int außerhalb des Namespace der Klasse definiert. Dies führt zu einem Fehler in g aufgrund eines Verstoßes gegen C-Standards.

Gemäß C 03 §14.7.3/2 müssen explizite Spezialisierungen in dem Namensraum deklariert werden, dessen Mitglied die Vorlage ist, oder für Mitglied Vorlagen, in deren Namensraum die umschließende Klasse oder die umschließende Klassenvorlage Mitglied ist.

Um dieses Problem zu beheben, ist die explizite Spezialisierung von Verify for int muss innerhalb des Namespace von CConstraint deklariert werden. Dies kann durch die Verwendung des folgenden modifizierten Codes erreicht werden:

<br>template<typename T><br>class CConstraint<br>{<br>public:</p>
<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false">CConstraint()
{
}

virtual ~CConstraint()
{
}

template <typename TL>
void Verify(int position, int constraints[])
{       
}

template <>
void Verify<int>(int position, int constraints[])
{   
}