template
class CConstraint
{
    // ...

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

    template 
    void Verify(int, int[])
    {
    }
};

, чтобы понять эту ошибку, нам необходимо изучить стандарт C, который диктует, что Explicit Speciations должно быть заявлено в пределах имен, которое. В приведенном выше примере CConstraint не объявляется внутри пространства имен, и, следовательно, явная специализация проверки является недействительной.

Explicit specialization in non-namespace scope 'class CConstraint'

пространство имен MyNamespace { Шаблон Класс Cconstraint { // ... Шаблон void проверка (int position, int ограничения []) { } Шаблон void проверьте (int, int []) { } }; }

, инкапсуляя Cconstraint в пространстве имен MyNamespace, мы гарантируем, что ее явные специализации также объявлены в этом пространстве имен, разрешая ошибку компиляции.

] дополнительно, поскольку C 03 запрещает специализирующие функции, не подходящие для пояснения, подходящие функции, которые также могут рассматривать, что они также могут рассматривать, что они также могут рассматривать функции. Ответ: DPACE DPACE { Шаблон void verify (int, int []) {} Шаблон void verify (int, int []) {} } шаблон class cconstraint { // ... шаблон void verify (int position, int ограничения []) { Detail :: проверка (позиция, ограничения); } };