c++ - 有条件的 static_assert

Question

在 C++11 中是否有一种优雅的方式来执行条件 static_assert

例如:

template <class T>
class MyClass
{
    COMPILE_TIME_IF( IsTypeBuiltin<T>::value)
       static_assert(std::is_floating_point<T>::value, "must be floating pt");
};

Answer 1

static_assert() 中的简单 bool 逻辑应该可以做到这一点:

static_assert(
  (!std::is_fundamental<T>::value)
  || std::is_floating_point<T>::value,
  "must be floating pt"
);

即T 要么不是 基本的，要么是 float 。换句话说:如果 T 是基本的，那么它也必须是 float 。