Вот самый близкий дубликат, который я мог найти.
Несмотря на теги, вопрос, кажется, о C, и пригодный для использования ответ ссылается на спецификацию C99.
Как правильно обрабатывать эту проверку в C ++ 98, не используя Boost или другие библиотеки?
Вы можете скопировать код из gsl::narrow()
и слегка подправить его, превратив в can_narrow()
возвращая bool
скорее, чем throw
ING:
// narrow_cast(): a searchable way to do narrowing casts of values
template<class T, class U>
inline constexpr T narrow_cast(U u) noexcept
{ return static_cast<T>(u); }
namespace details
{
template<class T, class U>
struct is_same_signedness : public std::integral_constant<bool, std::is_signed<T>::value == std::is_signed<U>::value>
{};
}
template<class T, class U>
inline bool can_narrow(U u)
{
T t = narrow_cast<T>(u);
if (static_cast<U>(t) != u)
return false;
if (!details::is_same_signedness<T, U>::value && ((t < T{}) != (u < U{})))
return false;
return true;
}
Других решений пока нет …