c++ - 如何在模板中同时允许浮点和整数类型但不允许 bool

Question

假设我有一些数字类，其构造函数允许“数字”(故意引号)。在内部，它存储为浮点值，因此我只需要一个数字作为参数，因此我拒绝对浮点以外的其他类型进行实例化:

template<typename T>
struct MyClass
{
   MyClass( T value ) : _v(value)
   {
      static_assert( std::is_floating_point<T>::value, "only numbers!" );
   }
   double _v;
};

但是，这很烦人，因为我总是必须写 MyClass m(42.); 有时我会忘记，或者其他什么，而我希望能够只写 MyClass m(42)；。所以我添加了整数类型:

template<typename T>
struct MyClass
{
   MyClass( T value ) : _v(value)
   {
      static_assert( std::is_floating_point<T>::value || std::is_integral<T>::value, "only numbers!" );
   }
   double _v;
};

这样做的缺点是 std::is_integral还允许 bool。而且我觉得允许从 bool 值自动转换为数值完全是胡说八道(当然在这种情况下)。

MyClass m(true);  // no way !

问题:如何允许浮点和整数类型，并禁用 bool 类型？ (没有 std::is_boolean 可用)

Answer 1

您可以使用 std::is_same 检查 bool。例如

MyClass( T value ) : _v(value)
{
   static_assert( ( std::is_floating_point<T>::value || 
                    std::is_integral<T>::value ) && 
                  !std::is_same<T, bool>::value, "only numbers!" );
}