给定两个数值类型From和To。以下代码是否实际确定是否可以将任何From类型的值表示为To类型的值,而不会丢失信息?如果是,是否有更短或更具可读性的方法来确定?
template <class From, class To>
struct can_cast
{
static const bool value =
(std::numeric_limits<From>::is_integer || // either From is an integer type OR
std::is_floating_point<To>::value) && // ...they're both floating point types AND
(std::numeric_limits<From>::is_signed == false || // either From is unsigned OR
std::numeric_limits<To>::is_signed == true) && // ...they're both signed AND
(std::numeric_limits<From>::digits < std::numeric_limits<To>::digits || // To has more bits for digits than From OR
std::numeric_limits<From>::digits == std::numeric_limits<To>::digits && // To and From have same number of bits, but
std::numeric_limits<From>::is_signed == std::numeric_limits<To>::is_signed); // they're either both signed or both unsigned.
};发布于 2012-09-24 22:53:31
编译器现在内置了这个功能:当使用列表初始化时,不允许缩小转换。
您可以在To { std::declval<From>() }的基础上编写传统的表达式测试器特征,并可能使用std::is_integral和std::is_floating_point添加其他检查。
template <typename T>
struct sfinae_true : std::true_type {};
struct can_cast_tester {
template <typename From, typename To>
sfinae_true<decltype(To { std::declval<From>() })> static test(int);
template <typename...>
std::false_type static test(...);
};
template <typename From, typename To>
struct can_cast // terrible name
: decltype(can_cast_tester::test<From, To>(0)) {};从理论上讲,这应该是可行的,但目前看来,无论是GCC还是clang都没有做对。
https://stackoverflow.com/questions/12567335
复制相似问题