检查浮点类型是否是另一个浮点类型的超集

Question

是否有一种标准的一致且可移植的方法可以在编译时检查一种浮点类型的所有值是否可以在另一种浮点类型中表示？另请考虑即将推出的类型，例如 std::bfloat16_t。

Answer 1

可以使用

std::is_convertable

模板 https://en.cppreference.com/w/cpp/types/is_convertible（例如

static_assert

）。但它并不能避免准确性损失。