Exception programming difficult

[Dmitry Olshansky]

On 13-Aug-12 19:50, Timon Gehr wrote:
> 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.

What's the propose then? And how end user will get any idea what to put 
in his function where he uses it? I see one, but it's not pretty - run 
compiler once - see complaints, add requested types to throws, re-run 
the compiler?

-- 
Dmitry Olshansky