类型之间是否有类型特征检查包含？

Question

我正在寻找一种能够知道一个类型的范围是否包含在另一个类型中的类型特征。当T 类型的每个值都可以存储为U 类型的值时，is_included_in<T,U>::value 为true 的类型特征。示例：

is_included_in<float,double>::value; // true
is_included_in<double,float>::value; // false
is_included_in<int,double>::value; // true
is_included_in<bool,long int>::value; // true
is_included_in<long long int,float>::value; // false

Boost 中有什么东西可以做到这一点吗？还是我自己写？

注意：出于兼容性原因，我不使用 C++11。

Answer 1

不，你必须自己做。

话虽如此，如果你想使用它来使算术转换值安全，Boost 已经有numeric_cast 可以实现这一点。

因此，根据您的目标，您可能不需要特质。

至少您可以检查numeric_cast 实现并使用其原理来构建您自己的特征。

Answer 2

对于基本的整数和浮点类型，您可以按如下方式比较它们的位数：

template <typename T, typename U>  
struct is_included_in
  : boost::integral_constant<bool,
      std::numeric_limits<T>::digits <= std::numeric_limits<U>::digits> { };

它适用于所有典型案例。唯一的问题是它产生true，例如<float, long>。部分专业化在这里有帮助：

template <typename T, typename U,
  bool = boost::is_floating_point<T>::value && boost::is_integral<U>::value>
struct is_included_in
  : boost::integral_constant<bool,
      std::numeric_limits<T>::digits <= std::numeric_limits<U>::digits> { };

template <typename T, typename U>
struct is_included_in<T, U, true> : boost::false_type { };

现场演示：https://wandbox.org/permlink/NBXFOUK8fX9sxyfm。