有条件的 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()简单布尔逻辑应该这样做：

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

即T要么不是基本的，要么是浮点数。 换句话说：如果T是基本的，它也必须是浮点数。