c++ - 是否有类型特征显示一种类型是否可能包含其他类型的值

Question

是否有一些类型特征可以检查一个整数类型是否可以在不丢失数据的情况下保存其他整数类型的值？

例如 int32_t 可能包含 uint16_t、uint8_t、int32_t、int16_t和 int8_t。

但是 int32_t 不能容纳 uint32_t，uint64_t 或 int64_t。

更新

我提出了天真的解决方案，并将其作为答案发布。我知道可以使用 std::is_same 但我认为这种方式更具表现力。

Answer 1

我们可以在这里利用现有的语言规则。

对于列表初始化，缩小转换是错误格式的。我们正在尝试检测缩小转换。因此，void_t!

template <class X, class Y, class = void>
struct can_hold : std::false_type { };

template <class X, class Y>
struct can_hold<X, Y,
    void_t<decltype(X{std::declval<Y>()})>>
: std::true_type { };