On 08/13/2012 05:32 PM, Dmitry Olshansky wrote:
I think the true cryptonite that melts "checked exceptions" to a pile of green goo is templated code: So (*yawn*) tell what kind of exception specification the following function should have: auto joiner(RoR, Separator)(RoR r, Separator sep); How would you guarantee upfront what kind of exceptions it can throw is beyond me. It all depends on code that you can't reach or know by the very definition of template.
Well, presumably the exception specification would be inferred automatically for templates.