base::internal::CheckedDivOp< 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 = typename MaxExponentPromotion< T, U >::type

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

Detailed Description

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

Definition at line 207 of file checked_math_impl.h.

Member Typedef Documentation

result_type

template<typename T , typename U >

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

Definition at line 211 of file checked_math_impl.h.

Member Function Documentation

Do()

template<typename T , typename U >

template<typename V >

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

inlinestaticconstexpr

Definition at line 213 of file checked_math_impl.h.

                                                {
    if (BASE_NUMERICS_UNLIKELY(!y))
      return false;
 
    // The overflow check can be compiled away if we don't have the exact
    // combination of types needed to trigger this case.
    using Promotion = typename BigEnoughPromotion<T, U>::type;
    if (BASE_NUMERICS_UNLIKELY(
            (std::is_signed<T>::value && std::is_signed<U>::value &&
             IsTypeInRangeForNumericType<T, Promotion>::value &&
             static_cast<Promotion>(x) ==
                 std::numeric_limits<Promotion>::lowest() &&
             y == static_cast<U>(-1)))) {
      return false;
    }
 
    // This branch always compiles away if the above branch wasn't removed.
    if (BASE_NUMERICS_UNLIKELY((!IsValueInRangeForNumericType<Promotion>(x) ||
                                !IsValueInRangeForNumericType<Promotion>(y)) &&
                               x)) {
      return false;
    }
 
    Promotion presult = Promotion(x) / Promotion(y);
    *result = static_cast<V>(presult);
    return IsValueInRangeForNumericType<V>(presult);
  }

---

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

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