Расширение пространства имён std

[править] Добавление объявлений в std

Добавление объявлений или определений в пространство имён std или в любое пространство имён, вложенное в std, является неопределённым поведением, за некоторыми исключениями, указанными ниже.

#include <utility>
 
namespace std
{
    // определение функции добавлено в пространство имён std: поведение не определено
    pair<int, int> operator+(pair<int, int> a, pair<int, int> b)
    {
        return {a.first + b.first, a.second + b.second};
    }
}

[править] Добавление специализаций шаблона

[править] Шаблоны классов

Разрешается добавлять специализации шаблона для любого шаблонного класса стандартной библиотеки в пространство имён std только в том случае, если объявление зависит хотя бы от одного программно-определяемого типа и специализация соответствует всем требованиям исходного шаблона, за исключением случаев, когда такие специализации запрещены.

// Получаем объявление первичного шаблона std::hash.
// Нам не разрешено объявлять его самим.
// <typeindex> гарантированно предоставляет такое объявление, 
// и включает его гораздо дешевле, чем <functional>.
 
#include <typeindex> 
 
// Специализируем std::hash, чтобы MyType можно было использовать
// в качестве ключа std::unordered_set и std::unordered_map. Открытие
// пространства имён std может случайно привести к неопределённому поведению,
// и в этом нет необходимости для специализации шаблонов классов.
template<>
struct std::hash<MyType>
{
    std::size_t operator()(const MyType& t) const { return t.hash(); }
};

• Специализация шаблона std::complex для любого типа, кроме float, double и long double, не указана.

• Специализации std::numeric_limits должны определять все элементы, объявленные static const (до C++11)static constexpr (начиная с C++11) в основном шаблоне таким образом, чтобы их можно было использовать как целочисленное константное выражение.

Объявление полной или частичной специализации любого шаблонного класса-элемента стандартного библиотечного класса или шаблона класса является неопределённым поведением.

[править] Шаблоны функций и функции-элементы шаблонов

Объявление полной специализации любой функции-элемента шаблонного класса стандартной библиотеки является неопределённым поведением:

Объявление полной специализации любого шаблона функции-элемента стандартного библиотечного класса или шаблона класса является неопределённым поведением:

[править] Шаблоны переменных

[править] Явное создание шаблонов

Разрешается явно создавать экземпляр шаблона класса (начиная с C++20), определённого в стандартной библиотеке, только в том случае, если объявление зависит от имени по крайней мере одного определённого в программе типа и создание экземпляра соответствует требованиям стандартной библиотеки для исходного шаблона.

[править] Программно-определяемые типы

Определяемые программой специализации это явные специализации или частичные специализации шаблонов, которые не являются частью стандартной библиотеки C++ и не определяются реализацией.

Программно-определяемые типы это незамкнутые классовые типы или типы перечислений, которые не являются частью стандартной библиотеки C++ и не определяются реализацией, или типом замыкания лямбда-выражений, не предоставляемых реализацией (начиная с C++11), или реализация определяемых программой специализаций.

[править] Другие ограничения

Пространство имён std нельзя объявлять как встроенное пространство имён.

[править] Ограничение адресации

Поведение программы на C++ не определено (возможно, некорректно), если она явно или неявно пытается сформировать указатель, ссылку (для свободных функций и статических функций-элементов) или указатель на элемент (для нестатических функций-элементов) для стандартной библиотечной функции или экземпляра шаблона стандартной библиотечной функции, если она не обозначена как адресуемая функция (смотрите ниже).

Следующий код приводит к неопределённому поведению и, возможно, не компилируется:

#include <cmath>
#include <memory>
 
int main()
{
    // унарный operator&
    auto fptr0 = &static_cast<float(&)(float, float)>(std::betaf);
    // std::addressof
    auto fptr1 = std::addressof(static_cast<float(&)(float, float)>(std::betaf));
    // путём неявного преобразования функции в указатель
    auto fptr2 = static_cast<float(&)(float)>(std::riemann_zetaf);
    // формирование ссылки
    auto& fref = static_cast<float(&)(float)>(std::riemann_zetaf);
}

[править] Назначенные адрессуемые функции

• Манипуляторы ввода/вывода:
  • манипуляторы fmtflags:
    • std::boolalpha
    • std::noboolalpha
    • std::showbase
    • std::noshowbase
    • std::showpoint
    • std::noshowpoint
    • std::showpos
    • std::noshowpos
    • std::skipws
    • std::noskipws
    • std::uppercase
    • std::nouppercase
    • std::unitbuf
    • std::nounitbuf
  • манипуляторы adjustfield:
    • std::internal
    • std::left
    • std::right
  • манипуляторы basefield:
    • std::dec
    • std::hex
    • std::oct
  • манипуляторы floatfield:
    • std::fixed
    • std::scientific
    • std::hexfloat
    • std::defaultfloat
  • манипуляторы basic_istream:
    • std::ws
  • манипуляторы basic_ostream:
    • std::endl
    • std::ends
    • std::flush
    • std::emit_on_flush
    • std::noemit_on_flush
    • std::flush_emit

[править] Отчёты о дефектах

Следующие изменения поведения были применены с обратной силой к ранее опубликованным стандартам C++: