diff --git a/include/gsl/gsl_util b/include/gsl/gsl_util index bc65923..cdb94ac 100644 --- a/include/gsl/gsl_util +++ b/include/gsl/gsl_util @@ -100,15 +100,6 @@ struct narrowing_error : public std::exception { }; -namespace details -{ - template - struct is_same_signedness - : public std::integral_constant::value == std::is_signed::value> - { - }; -} // namespace details - // narrow() : a checked version of narrow_cast() that throws if the cast changed the value template GSL_SUPPRESS(type.1) // NO-FORMAT: attribute @@ -118,10 +109,17 @@ constexpr #endif T narrow(U u) noexcept(false) { - T t = narrow_cast(u); - if (static_cast(t) != u) throw narrowing_error{}; - if (!details::is_same_signedness::value && ((t < T{}) != (u < U{}))) + constexpr const bool is_same_signedness = std::is_signed::value == std::is_signed::value; + + const T t = narrow_cast(u); + + if (static_cast(t) != u + || (!is_same_signedness + && ((t < T{}) != (u < U{})))) + { throw narrowing_error{}; + } + return t; }