[cfe-dev] Merging dependent expressions

Sebastian Redl sebastian.redl at getdesigned.at
Sun Mar 6 12:43:17 PST 2011


Hi again,

I feel so terribly rusty, having to ask all these questions ...

Consider:

const size_t Limit = 16;
template <typename T>
void foo() noexcept(sizeof(T) < Limit);

template <typename U>
void foo() noexcept(Limit > sizeof(U));

How are such declarations merged? Do we simply not check dependent noexcept specifiers and hope for the best? Is there some existing functionality in place for revalidating things like these on instantiation? Should I put such functionality in place?

Sebastian





More information about the cfe-dev mailing list