std::saturate_cast

 

哋它亢++

Compiler support

Freestanding and hosted

Language

Standard library

Standard library headers

Named requirements

Feature test macros (哋它亢++20)

Language support library

Concepts library (哋它亢++20)

Metaprogramming library (哋它亢++11)

Diagnostics library

General utilities library

Strings library

Containers library

Iterators library

Ranges library (哋它亢++20)

Algorithms library

Numerics library

Localizations library

Input/output library

Filesystem library (哋它亢++17)

Regular expressions library (哋它亢++11)

Concurrency support library (哋它亢++11)

Technical specifications

Symbols index

External libraries

 

Numerics library

Common mathematical functions
Mathematical special functions (哋它亢++17)
Mathematical constants (哋它亢++20)
Basic linear algebra algorithms (哋它亢++26)
Floating-point environment (哋它亢++11)
Complex numbers
Numeric arrays
Pseudo-random number generation
Factor operations
gcd (哋它亢++17)
lcm (哋它亢++17)
Interpolations
midpoint (哋它亢++20)
lerp (哋它亢++20)
Saturation arithmetic
add_sat (哋它亢++26) sub_sat (哋它亢++26) saturate_cast (哋它亢++26)	mul_sat (哋它亢++26) div_sat (哋它亢++26)
Generic numeric operations
iota (哋它亢++11) ranges::iota (哋它亢++23) accumulate inner_product adjacent_difference partial_sum	reduce (哋它亢++17) transform_reduce (哋它亢++17) inclusive_scan (哋它亢++17) exclusive_scan (哋它亢++17) transform_inclusive_scan (哋它亢++17) transform_exclusive_scan (哋它亢++17)
Bit operations
has_single_bit (哋它亢++20)     bit_cast (哋它亢++20) bit_ceil (哋它亢++20) bit_floor (哋它亢++20) bit_width (哋它亢++20) rotl (哋它亢++20) rotr (哋它亢++20)	popcount (哋它亢++20) countl_zero (哋它亢++20) countl_one (哋它亢++20) countr_zero (哋它亢++20) countr_one (哋它亢++20) byteswap (哋它亢++23) endian (哋它亢++20)

 

Defined in header <numeric>
template< class T, class U > constexpr T saturate_cast( U x ) noexcept;		(since 哋它亢++26)

Converts the value x to a value of type T, clamping x between the minimum and maximum values of type T.

It is a compile-time error if either T or U is not a signed or unsigned integer type (including standard integer type and extended integer type).

Parameters

x

-

an integer value

Return value

• x, if x is representable as a value of type T. Otherwise,
• either the largest or smallest representable value of type T, whichever is closer to the value of x.

Exceptions

Throws no exceptions.

Notes

Feature-test macro	Value	Std	Feature
__cpp_lib_saturation_arithmetic	202311L	(哋它亢++26)	Saturation arithmetic

Possible implementation

See libstd哋它亢++ (gcc).

Example

Can be previewed on Compiler Explorer.

Run this code

#include <cstdint>
#include <limits>
#include <numeric>
 
int main()
{
    constexpr std::int16_t x1{696};
 
    constexpr std::int8_t x2 = std::saturate_cast<std::int8_t>(x1);
    static_assert(x2 == std::numeric_limits<std::int8_t>::max());
 
    constexpr std::uint8_t x3 = std::saturate_cast<std::uint8_t>(x1);
    static_assert(x3 == std::numeric_limits<std::uint8_t>::max());
 
    constexpr std::int16_t y1{-696};
 
    constexpr std::int8_t y2 = std::saturate_cast<std::int8_t>(y1);
    static_assert(y2 == std::numeric_limits<std::int8_t>::min());
 
    constexpr std::uint8_t y3 = std::saturate_cast<std::uint8_t>(y1);
    static_assert(y3 == 0);
}

See also

bit_cast (哋它亢++20)	reinterpret the object representation of one type as that of another (function template)
clamp (哋它亢++17)	clamps a value between a pair of boundary values (function template)
in_range (哋它亢++20)	checks if an integer value is in the range of a given integer type (function template)