С++ для начинающих

       

Пространства имен и шаблоны классов


Как и любое определение в глобальной области видимости, определение шаблона класса можно поместить внутрь пространства имен. (Пространства имен рассматривались в разделах 8.5 и 8.6.) Наш шаблон будет скрыт в данном пространстве имен; лишь в этом отличие от ситуации, когда шаблон определен в глобальной области видимости. При употреблении вне пространства имя шаблона следует либо квалифицировать его именем, либо воспользоваться using-объявлением:

#include <iostream>

#include <cstdlib>

namespace cplusplus_primer {

   template <class Type>

   class Queue { // ...

   };

   template <class Type>

   Type Queue<Type>::remove()

   {

      // ...

   }

}



Если имя Queue шаблона класса используется вне пространства имен cplusplus_primer, то оно должно быть квалифицировано этим именем или введено с помощью using-объявления. Во всех остальных отношениях шаблон Queue используется так, как описано выше: конкретизируется, может иметь функции-члены, статические члены, вложенные типы и т.д. Например:

int main() {

   using cplusplus_primer Queue;  // using-объявление

   // ссылается на шаблон класса в пространстве имен cplusplus_primer

   Queue<int> *p_qi = new Queue<int>;

   // ...

   p_qi->remove();

}

Шаблон cplusplus_primer::Queue<int> конкретизируется, так как использован в выражении new:

... = new Queue<int>;

p_qi – это указатель на тип класса cplusplus_primer::Queue<int>. Когда он применяется для адресации функции-члена remove(), то речь идет о члене именно этого конкретизированного экземпляра класса.

Объявление шаблона класса в пространстве имен влияет также на объявления специализаций и частичных специализаций шаблона класса и его членов (см. разделы 16.9 и 16.10). Такая специализация должна быть объявлена в том же пространстве имен, где и общий шаблон.

В следующем примере в пространстве имен cplusplus_primer объявляются специализации типа класса Queue<char *> и функции-члена remove() класса Queue<double>:


#include <iostream>

#include <cstdlib>

namespace cplusplus_primer {

   template <class Type>

   class Queue { ... };

   template <class Type>

   Type Queue<Type>::remove() { ... }

   // объявление специализации

   // для cplusplus_primer::Queue<char *>

   template<> class Queue<char*> { ... };

   // объявление специализации

   // для функции-члена cplusplus_primer::Queue<double>::remove()

   template<> double Queue<double>::remove() { ... }

}

Хотя специализации являются членами cplusplus_primer, их определения в этом пространстве отсутствуют. Определить специализацию шаблона можно и вне пространства имен при условии, что определение будет находиться в некотором пространстве, объемлющем cplusplus_primer, и имя специализации будет квалифицировано его именем :

namespace cplusplus_primer

{

   // определение Queue и его функций-членов

}

// объявление специализации

// cplusplus_primer::Queue<char*>

template<> class cplusplus_primer::Queue<char*> { ... };

// объявление специализации функции-члена

// cplusplus_primer::Queue<double>::remove()

template<> double cplusplus_primer::Queue<double>::remove()

   { ... }

Объявления специализаций класса cplusplus_primer::Queue<char*> и функции-члена remove() для класса cplusplus_primer::Queue<double> находятся в глобальной области видимости. Поскольку такая область содержит пространство имен cplusplus_primer, а имена специализаций квалифицированы его именем, то определения специализаций для шаблона Queue вполне законны.


Содержание раздела