What I'm trying to do is this simple template clamp function. I want to ensure upper >= lower either in runtime and at compile-time.
template <typename T>
T clamp(const T& lower, const T& upper, const T& n)
{
weak_assert(upper >= lower);
return std::max(lower, std::min(n, upper));
}
It seems reasonable to write:
static_assert(upper >= lower, "invalid bounds");
However, when called with non-constexpr arguments, compiler gives me this:
Static_assert expression is not an integral constant expression
In instantiation of function template specialization 'clamp<int>' requested here
Is there any way to achieve this properly? When called with constexpr (say, clamp<int>(0, 10, myvar) the static_assert should be fired, otherwise the usual dynamic assert will do?
Aucun commentaire:
Enregistrer un commentaire