Пространства имен и шаблоны классов
Как и любое определение в глобальной области видимости, определение шаблона класса можно поместить внутрь пространства имен. (Пространства имен рассматривались в разделах 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
вполне законны.