Re: [C++ RFC / Patch] PR 54080, PR 52875 and more (aka SFINAE vs template recursion depth)

[Florian Weimer <fweimer at redhat dot com>]

On 08/09/2013 08:43 AM, Paolo Carlini wrote:

> > Yes, that is intended.  Changing that could mean that the meaning of
> > code depends on what max depth the user selected.
>
> Indeed. Yesterday I wondered what would happen if the front-end had a way to detect, in some very specific and special cases only of course, really infinite recursions, in the sense that no increase in the depth would "cure" them. Would it be ok in that case to sfinae away?

Eh, hopefully not.  Otherwise, program behavior would depend on how well 
the compiler solves the halting problem.

It's interesting question, but hopefully we can make all errors due to 
exceeded implementation limits hard errors, not subject to SFINAE.

--
Florian Weimer / Red Hat Product Security Team