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

• Ни один из шаблонов, определённых в <type_traits>, не может быть специализирован для типа, определённого программой, за исключением std::common_type и std::basic_common_reference(с C++20). Это включает в себя типовые свойства и шаблон класса std::integral_constant.
• Специализации std::hash для типов, определённых программой, должны удовлетворять требованиям Hash.
• Специализации std::atomic должны иметь удалённый конструктор копирования, удалённый оператор присваивания копирования и constexpr-конструктор значения.
• Специализации std::shared_ptr и std::weak_ptr должны быть CopyConstructible и CopyAssignable. Кроме того, специализации std::shared_ptr должны быть LessThanComparable и приводимыми к типу bool.
• Специализации std::istreambuf_iterator должны иметь тривиальный конструктор копирования, constexpr-конструктор по умолчанию и тривиальный деструктор.

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

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

• Специализации std::disable_sized_sentinel_for, std::ranges::disable_sized_range, std::ranges::enable_view и std::ranges::enable_borrowed_range должны быть применимы в константных выражениях и иметь тип const bool. И
  • std::disable_sized_sentinel_for может быть специализирован для cv-неквалифицированных не-массивов типов объектов S и I, по меньшей мере, один из которых является типом, определённым программой.
  • std::ranges::disable_sized_range, std::ranges::enable_view и std::ranges::enable_borrowed_range могут быть специализированы для cv-неквалифицированных типов, определённых программой.
• Любой шаблон переменной математической константы может быть частично или явно специализирован при условии, что специализация зависит от типа, определённого программой.

Ограничение доступа к адресам

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

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

#include <cmath>
#include <memory>
 
int main()
{
    auto fptr0 = &static_cast<float(&)(float, float)>(std::betaf); // by unary operator&
    auto fptr1 = std::addressof(static_cast<float(&)(float, float)>(std::betaf)); // by std::addressof
    auto fptr2 = static_cast<float(&)(float)>(std::riemann_zetaf); // by function-to-pointer implicit conversion
    auto& fref = static_cast<float(&)(float)>(std::riemann_zetaf); // forming a reference
}

Определённые адресуемые функции

• манипуляторы ввода-вывода:
  • манипуляторы 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