I have tried writing code like the following:
template <typename T>
ReturnType Function(T&& arg)
{
if constexpr(condition_on_<T>) {
// Something to do
} else if constexpr(another_condition_on<T>) {
// Something else to do
} else {
static_assert(false, "T does not satisfy constraint");
}
// Some common processing regarding arg
}
Yet, even if the provided T goes to one of the first two constexpr condition branches, the static assertion will fail....
Yes, I can rewrite the code above as:
template <typename T>
ReturnType Function(T&& arg)
{
static_assert(condition_on<T> && another_condition_on<T>);
if constexpr(condition_on_<T>) {
// Something to do
} else {
// Something else to do
}
}
But then I have the conditions duplicated. Code duplications are bad, right?
So my question is: Is there a reason that the static_assert(false) in an unused if-constexpr branch must cause the whole compilation to fail? Is there a way to achieve what I want without code duplications?
Thanks in advance.
Best regards,
--