Re: etiology of exceptions

From	Rui Maciel <rui.maciel@gmail.com>
Newsgroups	comp.programming
Subject	Re: etiology of exceptions
Date	2012-10-11 15:35 +0100
Organization	Aioe.org NNTP Server
Message-ID	<k56leo$2j3$1@speranza.aioe.org> (permalink)
References	<d4aa81c8-9fb6-4251-a065-e3573eccce62@googlegroups.com> <902b53ef-fa30-4470-914f-a5d3bf904b60@googlegroups.com> <02c3ed18-a81a-4ae0-b03d-666bc239d862@k6g2000vbr.googlegroups.com> <k54b09$v0v$1@dont-email.me> <0eed1afd-7a29-4b46-b990-0ee9d988c76d@ib4g2000vbb.googlegroups.com>

Show all headers | View raw

Nick Keighley wrote:

>> >> -exception do not add to program correctness, but to robustness
>> >> (operation out of specifications)
>>
>> > the exceptions a function may throw could be thought of as part of its
>> > specification (though C++ has problems with this)
>>
>> If it is not in the spec, it is not an exception in the technical sense.
>> This might be clearer if we think, for instance, of the case of accessing
>> an external API.
> 
> the difficulty is that exception specifications are broken in C++
> 
> http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2010/n3051.html
> (that's just the first hit I got looking for "C++ exception problem")
> 
> If you are specifying an API then the exceptions that may thrown are
> usually documented (eg. with comments) but not by using exception
> specifications

That isn't exactly a major issue.  A catch(...){} block is quite capable of 
catching exceptional events which are themselves exceptional.


Rui Maciel

Thread

etiology of exceptions bob <bob@coolfone.comze.com> - 2012-09-25 07:29 -0700
  Re: etiology of exceptions Daniel Pitts <newsgroup.nospam@virtualinfinity.net> - 2012-09-25 09:15 -0700
    Re: etiology of exceptions "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> - 2012-09-25 18:50 +0200
    Re: etiology of exceptions Willem <willem@turtle.stack.nl> - 2012-09-25 20:51 +0000
      Re: etiology of exceptions Daniel Pitts <newsgroup.nospam@virtualinfinity.net> - 2012-09-25 15:32 -0700
  Re: etiology of exceptions James Dow Allen <jdallen2000@yahoo.com> - 2012-09-25 23:43 -0700
  Re: etiology of exceptions "Chris Uppal" <chris.uppal@metagnostic.REMOVE-THIS.org> - 2012-09-28 08:07 +0100
    Re: etiology of exceptions Rui Maciel <rui.maciel@gmail.com> - 2012-09-28 09:47 +0100
  Re: etiology of exceptions jussi.santti@ard.fi - 2012-10-07 23:13 -0700
    Re: etiology of exceptions "LudovicoVan" <julio@diegidio.name> - 2012-10-08 22:37 +0100
      Re: etiology of exceptions Ian Collins <ian-news@hotmail.com> - 2012-10-09 10:46 +1300
        Re: etiology of exceptions "LudovicoVan" <julio@diegidio.name> - 2012-10-08 22:52 +0100
    Re: etiology of exceptions Nick Keighley <nick_keighley_nospam@hotmail.com> - 2012-10-10 08:06 -0700
      Re: etiology of exceptions "LudovicoVan" <julio@diegidio.name> - 2012-10-10 18:24 +0100
        Re: etiology of exceptions Nick Keighley <nick_keighley_nospam@hotmail.com> - 2012-10-11 05:35 -0700
          Re: etiology of exceptions "LudovicoVan" <julio@diegidio.name> - 2012-10-11 14:40 +0100
            Re: etiology of exceptions Nick Keighley <nick_keighley_nospam@hotmail.com> - 2012-10-11 08:20 -0700
            Re: etiology of exceptions jussi.santti@ard.fi - 2012-10-15 08:28 -0700
              Re: etiology of exceptions "LudovicoVan" <julio@diegidio.name> - 2012-10-15 22:13 +0100
          Re: etiology of exceptions Rui Maciel <rui.maciel@gmail.com> - 2012-10-11 15:35 +0100
            Re: etiology of exceptions Nick Keighley <nick_keighley_nospam@hotmail.com> - 2012-10-11 08:21 -0700
      Re: etiology of exceptions jussi.santti@ard.fi - 2012-10-15 08:10 -0700
        Re: etiology of exceptions "LudovicoVan" <julio@diegidio.name> - 2012-10-15 22:16 +0100

csiph-web