Extending the namespace `std`

From cppreference.net

Contenidos

Agregar declaraciones a `std`

Es comportamiento indefinido añadir declaraciones o definiciones al espacio de nombres std o a cualquier espacio de nombres anidado dentro de std , con algunas excepciones señaladas a continuación.

#include <utility>
namespace std
{
    // una definición de función añadida al espacio de nombres std: comportamiento indefinido
    pair<int, int> operator+(pair<int, int> a, pair<int, int> b)
    {
        return {a.first + b.first, a.second + b.second};
    }
}

Agregar especializaciones de plantilla

Plantillas de clase

Se permite añadir especializaciones de plantilla para cualquier plantilla de clase de la biblioteca estándar al espacio de nombres std solo si la declaración depende de al menos un tipo definido por el programa y la especialización satisface todos los requisitos de la plantilla original, excepto donde tales especializaciones estén prohibidas.

// Obtener la declaración de la plantilla principal std::hash.
// No estamos autorizados a declararla nosotros mismos.
// <typeindex> garantiza proporcionar dicha declaración,
// y es mucho más económico de incluir que <functional>.
#include <typeindex> 
// Especializar std::hash para que MyType pueda usarse como clave en
// std::unordered_set y std::unordered_map. Abrir el espacio de nombres
// std puede introducir accidentalmente comportamiento indefinido, y no es
// necesario para especializar plantillas de clase.
template<>
struct std::hash<MyType>
{
    std::size_t operator()(const MyType& t) const { return t.hash(); }
};

Especializar la plantilla std::complex para cualquier tipo que no sea float , double , y long double no está especificado.

Las especializaciones de std::numeric_limits deben definir todos los miembros declarados static const (until C++11) static constexpr (since C++11) en la plantilla principal, de tal manera que sean utilizables como expresiones constantes integrales .

Ninguna de las plantillas definidas en <type_traits> puede ser especializada para un tipo definido por el programa , excepto por std::common_type y std::basic_common_reference (desde C++20) . Esto incluye los rasgos de tipo y la plantilla de clase std::integral_constant .

Las especializaciones de std::hash para tipos definidos por el programa deben satisfacer los requisitos de Hash .

Las especializaciones de std::atomic deben tener un constructor de copia eliminado, un operador de asignación de copia eliminado y un constructor de valor constexpr.

Las especializaciones de std::shared_ptr y std::weak_ptr deben ser CopyConstructible y CopyAssignable . Adicionalmente, las especializaciones de std::shared_ptr deben ser LessThanComparable , y convertibles a bool .

Las especializaciones de std::istreambuf_iterator deben tener un constructor de copia trivial, un constructor por defecto constexpr y un destructor trivial.

(desde C++11)

std::unary_function y std::binary_function no pueden ser especializados.

(hasta C++17)

Es comportamiento indefinido declarar una especialización total o parcial de cualquier plantilla de clase miembro de una clase o plantilla de clase de la biblioteca estándar.