Стенли Липпман - Язык программирования C++. Пятое издание

Хотя член класса пространства имен может быть определен вне его определения, такие определения должны присутствовать в окружающем пространстве имен. Таким образом, оператор operator+класса Sales_dataможно определить в пространстве имен cplusplus_primerили в глобальной области видимости. Но он не может быть определен в несвязанном пространстве имен.

Специализация шаблона должна быть определена в том же пространстве имен, которое содержит первоначальный шаблон (см. раздел 16.5). Подобно любым другим именам пространства имен, пока специализация объявлена в пространстве имен, ее можно определить вне пространства имен:

// специализацию нужно объявить как член пространства std

namespace std {

template <> struct hash;

}

// добавив объявление для специализации к пространству std,

// специализацию можно определить вне пространства имен std

template <> struct std::hash {

size_t operator()(const Sales_data& s) const {

return hash()(s.bookNo) ^

hash()(s.units_sold) ^

hash()(s.revenue);

}

// другие члены как прежде

};

Имена, определенные в глобальной области видимости (т.е. имена, объявленные вне любого класса, функции или пространства имен), определяются в глобальном пространстве имен (global namespace). Глобальное пространство имен неявно объявляется и существует в каждом приложении. Каждый файл, который определяет сущность в глобальной области видимости (неявно), добавляет ее имя к глобальному пространству имен.

Для обращения к членам глобального пространства имен применяется оператор области видимости (оператор ::) (scope operator). Поскольку глобальное пространство имен неявно, у него нет имени.

Форма записи при обращении к члену глобального пространства имен имеет следующий вид.

:: член_имя

Вложенное пространство имен (nested namespace) — это пространство имен, определенное в другом пространстве имен:

namespace cplusplus_primer {

// первое вложенное пространство имен: определение части

// библиотеки Query

namespace QueryLib {

class Query { /* ... */ };

Query operator&(const Query&, const Query&);

// ...

}

// второе вложенное пространство имен: определение части

// библиотеки Sales_data

namespace Bookstore {

class Quote { /* ... */ };

class Disc_quote : public Quote { /* ... */ };

// ...

}

}

Вложенное пространство имен — это вложенная область видимости, ее область видимости вкладывается в пределы содержащего ее пространства имен. Имена вложенных пространств имен подчиняются обычным правилам: имена, объявленные во внутреннем пространстве имен, скрывают объявления того же имени во внешнем пространстве. Имена, определенные во вложенном пространстве имен, являются локальными для внутреннего пространства имен. Код во внешних частях окружающего пространства имен может обратиться к имени во вложенном пространстве имен только через его квалифицированное имя. Например, имя класса QueryLib, объявленного во вложенном пространстве имен, выглядит следующим образом:

cplusplus_primer::QueryLib::Query

Новый стандарт ввел новый вид вложенного пространства имен — встраиваемое пространство имен (inline namespace). В отличие от обычных вложенных пространств имен, имена из встраиваемого пространства имен применяются так, как будто они являются непосредственными членами окружающего пространства имен. Таким образом, нет необходимости в квалификации имен из встраиваемого пространства имен. Для доступа к ним достаточно использовать имя окружающего пространства имен.

Для определения встраиваемого пространства имен ключевое слово namespaceпредваряется ключевым словом inline:

inline namespace FifthEd {

// пространство имен для кода Primer Fifth Edition

}

namespace FifthEd { // неявно встраиваемая

class Query_base { /* ... */};

// другие объявления, связанные с классом Query

}

Это ключевое слово должно присутствовать в первом определении пространства имен. Если пространство имен вновь открывается позже, ключевое слово inlineне обязательно, но может быть повторено.