std::saturating_mul

template< class T >
constexpr T saturating_mul( T x, T y ) noexcept;

Calcula la saturada multiplicación x × y. Esta operación (a diferencia de las operaciones aritméticas integradas en enteros) se comporta como una operación matemática con un rango infinito. Sea q el resultado de dicha operación. Devuelve:

• q, si q es representable como un valor de tipo T. De lo contrario,
• el valor más grande o más pequeño de tipo T, el que esté más cerca del q.

Esta sobrecarga participa en la resolución de sobrecarga solo si T es un tipo entero, es decir: signed char, short, int, long, long long, un tipo entero con signo extendido, o una versión sin signo de dichos tipos. En particular, T no debe ser (posiblemente cv-calificado) bool, char, wchar_t, char8_t, char16_t y char32_t, ya que estos tipos no están destinados a la aritmética.

Parámetros

Valor de retorno

Saturado x × y.

Notas

A diferencia de los operadores aritméticos integrados en enteros, la promoción integral no se aplica a los argumentos x y y.

Si se pasan dos argumentos de diferente tipo, la llamada falla al compilar, es decir, el comportamiento relativo a la deducción de argumentos de plantilla es el mismo que para std::min o std::max.

La mayoría de las arquitecturas de hardware modernas tienen soporte eficiente para la aritmética de saturación en vectores SIMD, incluyendo SSE2 para x86 y NEON para ARM.

Posible implementación

Véase libstdc++ (GCC), libc++ (Clang).

Ejemplo

#include <climits>
#include <numeric>

static_assert
(""
    && (std::saturating_mul<int>(2, 3) == 6) // not saturated
    && (std::saturating_mul<int>(INT_MAX / 2, 3) == INT_MAX) // saturated
    && (std::saturating_mul<int>(-2, 3) == -6) // not saturated
    && (std::saturating_mul<int>(INT_MIN / -2, -3) == INT_MIN) // saturated
    && (std::saturating_mul<unsigned>(2, 3) == 6) // not saturated
    && (std::saturating_mul<unsigned>(UINT_MAX / 2, 3) == UINT_MAX) // saturated
);

int main() {}

Véase también

Enlaces externos