Я хочу создать шаблон класса
template <class T>
class X {
// here I'll use T::value (among other things)
};
T::value
часто является статической переменной constexpr, но не всегда. T::value
должно быть положительным, поэтому я хочу, чтобы люди знали это во время компиляции, когда это возможно.
Если T::value
всегда constexpr, я бы добавил static_assert
как
static_assert(T::value > 0, "need positive number");
Можно ли добавить этот static_assert только в случаях, когда T::value
является constexpr?