base::internal::CheckedLshOp< T, U, typename std::enable_if< std::is_integral< T >::value &&std::is_integral< U >::value >::type > Struct Template Reference

#include <checked_math_impl.h>

Public Types
using	result_type = T

Static Public Member Functions
template<typename V >
static constexpr bool	Do (T x, U shift, V *result)

Detailed Description

template<typename T, typename U>
struct base::internal::CheckedLshOp< T, U, typename std::enable_if< std::is_integral< T >::value &&std::is_integral< U >::value >::type >

Definition at line 280 of file checked_math_impl.h.

Member Typedef Documentation

result_type

template<typename T , typename U >

using base::internal::CheckedLshOp< T, U, typename std::enable_if< std::is_integral< T >::value &&std::is_integral< U >::value >::type >::result_type = T

Definition at line 284 of file checked_math_impl.h.

Member Function Documentation

Do()

template<typename T , typename U >

template<typename V >

static constexpr bool base::internal::CheckedLshOp< T, U, typename std::enable_if< std::is_integral< T >::value &&std::is_integral< U >::value >::type >::Do ( T  x, U  shift, V *  result  )

inlinestaticconstexpr

Definition at line 286 of file checked_math_impl.h.

                                                    {
    // Disallow negative numbers and verify the shift is in bounds.
    if (BASE_NUMERICS_LIKELY(!IsValueNegative(x) &&
                             as_unsigned(shift) <
                                 as_unsigned(std::numeric_limits<T>::digits))) {
      // Shift as unsigned to avoid undefined behavior.
      *result = static_cast<V>(as_unsigned(x) << shift);
      // If the shift can be reversed, we know it was valid.
      return *result >> shift == x;
    }
 
    // Handle the legal corner-case of a full-width signed shift of zero.
    return std::is_signed<T>::value && !x &&
           as_unsigned(shift) == as_unsigned(std::numeric_limits<T>::digits);
  }

---

The documentation for this struct was generated from the following file:

• third_party/accessibility/base/numerics/checked_math_impl.h