hi
in java i found that when a method has a throws clause in the definition,
callers must either handle the exceptions thrown by the method they are
calling or "forward" the exception to the caller by specifying a throws
clause as well.
is there a similar machanism in c++? i want to force a developer to write
handlers for all possible exceptions a method of my class library can throw.
thanks
bruno
12  3644 
On Fri, 25 Jul 2003 23:30:55 +0200, "Ritz, Bruno" <br********@gmx.ch> wrote: in java i found that when a method has a throws clause in the definition,
callers must either handle the exceptions thrown by the method they are
calling or "forward" the exception to the caller by specifying a throws
clause as well.
is there a similar machanism in c++?
Nope. There are exception specifications, but the default
is a call to std::unexpected when an exception doesn't match,
and std::unexpected defaults to calling std::terminate or,
if the exception specification "lists" (very unclear language
in the standard here) std::bad_exception, throwing that. Most
experienced C++ programmers regard the empty exception
specification, and possibly but just possibly the specification
allowing std::exception, as the only useful specification(s).
i want to force a developer to write handlers for all possible
exceptions a method of my class library can throw.
You're EVIL! <g>
Could you give a concrete example of method throwing some
different exceptions, where these _must_ be handled by the
caller and in different fashions?
"Ritz, Bruno" wrote:
[...] is there a similar machanism in c++?
Nope.
i want to force a developer to write
handlers for all possible exceptions a method of my class library can throw.
And why do you want to force anyone to do (or not do) anything? If
all you want is just to exercise some authority, well, that's what
kids are for. Do you have kids?
regards,
alexander.
P.S. Ah well, http://groups.google.com/groups?selm...00006%40web.de
(Subject: Re: C++ exception handling) http://groups.google.com/groups?thre...8A462%40web.de
(Subject: Re: Guru of the Week #82: Solution)
it is not about "to exercise some authority". ever had the idea that i had
the stability of the application in mind?
i just do not want uncaught exceptions.
"Alexander Terekhov" <te******@web.de> wrote in message
news:3F***************@web.de...
"Ritz, Bruno" wrote:
[...] is there a similar machanism in c++?
Nope.
i want to force a developer to
write handlers for all possible exceptions a method of my class library can
throw.
And why do you want to force anyone to do (or not do) anything? If
all you want is just to exercise some authority, well, that's what
kids are for. Do you have kids?
regards,
alexander.
P.S. Ah well,
http://groups.google.com/groups?selm...00006%40web.de
(Subject: Re: C++ exception handling)
http://groups.google.com/groups?thre...8A462%40web.de
(Subject: Re: Guru of the Week #82: Solution)
why is that a useless mechanism?
"Jonathan Mcdougall" <DE******************@yahoo.ca> wrote in message
news:at********************************@4ax.com... in java i found that when a method has a throws clause in the definition,
callers must either handle the exceptions thrown by the method they are
calling or "forward" the exception to the caller by specifying a throws
clause as well.
Which is a completly useless mechanism.
is there a similar machanism in c++?
Of course not.
i want to force a developer to write
handlers for all possible exceptions a method of my class library can
throw.
Comments would be best.
Jonathan
On Sat, 26 Jul 2003 00:01:25 +0200, Alexander Terekhov <te******@web.de> wrote:
"Alf P. Steinbach" wrote:
[...] in the standard here) std::bad_exception, throwing that. Most
experienced C++ programmers regard the empty exception
specification, and possibly but just possibly the specification
allowing std::exception, as the only useful specification(s).
Yeah. But
But?
most MOST experienced C++ programmers
I looketh at tree first URLs, all postings from you, my friend.
You're certainly experienced in threading issues.
I don't dispute that it might be true that most MOST experienced
C++ programmers think there are problems, and I even agree that there
are problems (although perhaps not the ones you're referring to), but
I think such appeals to vaguely defined authority, as opposed to
information about common practice, are irrelevant.
think that there are
serious problems with the current C++ exception handling due to lack
of mandatory *2-phase* processing and totaly busted ESes.
http://google.com/groups?threadm=3EB...E66C4%40web.de
(Subject: __attribute__((cleanup(function)) versus try/finally)
http://google.com/groups?threadm=3EC...0B266%40web.de
(Subject: Exception handling... it's time to fix the standard)
http://google.com/groups?threadm=3EE...7A32D%40web.de
(Subject: std0X::expected_exception<T>())
http://google.com/groups?threadm=ubr...consulting.com
(Subject: Re: std0X::expected_exception<T>() [repost])
Could you perhaps summarize your views with no _parenthetical_
examples?
A few examples with following elucidation would be nice.
"Ritz, Bruno" wrote:
it is not about "to exercise some authority". ever had the idea that i had
the stability of the application in mind?
i just do not want uncaught exceptions.
How about terrorists or natural disasters? You can't really "force"
someone to prevent them, I'm afraid. http://article.gmane.org/gmane.comp....st.devel/22348
(Re: [boost::thread] locks, exceptions and assertions)
regards,
alexander.
"Alf P. Steinbach" wrote:
On Sat, 26 Jul 2003 00:01:25 +0200, Alexander Terekhov <te******@web.de> wrote:
"Alf P. Steinbach" wrote:
[...] in the standard here) std::bad_exception, throwing that. Most
experienced C++ programmers regard the empty exception
specification, and possibly but just possibly the specification
allowing std::exception, as the only useful specification(s).
Yeah. But
But?
Uhmm. Better understanding things. "But",
most MOST experienced C++ programmers
I looketh at tree first URLs, all postings from you, my friend.
Really? Your local google has some problems, I guess.
[...] Could you perhaps summarize your views with no _parenthetical_
examples?
Here's a "copy&paste". Does this help?
David Butenhof wrote:
[...] --- in C/POSIX module ---
void cleanup(void *) {
printf("hello\n");
}
void c_f() {
pthread_cleanup_push(cleanup, 0);
pthread_exit(0);
pthread_cleanup_pop(0);
}
--- in C++ 'main' module ---
struct object { ~object() { printf("hello\n"); } };
void f() throw() {
object o;
c_f();
}
int main() {
f();
}
How many times will we see "hello"?
I see it three times, because that's how many times you typed it. (Was that
a trick question? ;-) )
;-)
Seriously, though, I think that's very much the crux of your argument, isn't
it?
Yep.
I would expect "hello" to be output by the POSIX cleanup handler as
c_f() is unwound in response to pthread_exit(). THAT is clearly specified
by current standards.
NO! I can see nothing in the POSIX standard that would prohibit
the following implementation of pthread_exit():
extern "C" void pthread_exit(void * ptr) {
std::thread_exit(ptr);
}
using something along the lines of: (from the "std" namespace)
class thread_termination_request : public std::exception ...
class thread_cancel_request : public std::thread_termination_request ...
class thread_exit_request : public std::thread_termination_request ...
template<typename T>
class thread_exit_value : public std::thread_exit_request ...
template<typename T>
void thread_exit(T value) {
assert(std::thread_self().can_exit_with<T>());
throw thread_exit_value(value);
}
< as an aside: Attila, do you follow me? >
I see almost-no-problems** catching and "finalizing" ANY of these
exceptions. If one can catch-and-finalize "thread termination" and
cause an abnormal process termination right after "finalizing" it,
I don't see why this can't be done by the implementation at throw
point due to ES violation.
**) http://www.opengroup.org/austin/mail.../msg05202.html
(Subject: XSH ERN 77, 81 and 82)
Now, though, we face what may be a philosophical issue, if it's not
carefully tied down by the C++ standard (which I haven't read, much less
analyzed in detail). If C++ is required to have 2-phase exceptions AND if
It isn't required, currently.
an implementation is not allowed to SEARCH (phase 1) through f()'s empty
throw() specification, then I would expect to see std::unexpected() fire
before the second "hello" can be written by o's destructor.
NO! Before the FIRST "hello"! (I know that you know that the answer
I wanted is a sort of /pthread_/null of "hello" ;-) ). Because the
"handler" inject by pthread_cleanup_push() shall be modeled upon
a C++ destructor, not archaic try/finally.
However, you have suggested that a single phase unwind implementation is
allowed, and in such an implementation I would expect o's destructor to
run, printing a second "hello", and THEN for std::unexpected() to fire as
the runtime attempts to unwind through the empty throw() specification.
Yes. Well, please take a loot at:
http://groups.google.com/groups?selm...0B266%40web.de
(Subject: Exception handling... it's time to fix the standard)
I can tell you that the C++ implementation on both Tru64 UNIX and OpenVMS,
compiled and run with default options, print "hello" twice and THEN abort
with unexpected().
That's exactly what the C++ standard currently mandates, so to speak.
(Proving that, as I said, while OpenVMS has always
supported 2-phase exceptions and recommends cleanup on the unwind phase,
not everyone actually uses it that way. ;-) )
Yeah, unfortunately, that's seems to be true with respect to majority
of C++ committee members too.
I can also say that on Tru64 UNIX (I didn't bother going through the extra
gyrations to get and analyze a process core dump on OpenVMS), the core file
leads one to the f() frame (though there's terminate and abort and raise
and all that stuff on top of it) so that someone diagnosing the abort might
be lead to examine the f() function and notice the empty throw()
specification. (While OpenVMS reports that "terminate or unexpected" has
been invoked, on Tru64 you get only "Resources lost(coredump)".)
This at least meets my minimal requirements, that the cleanup and unwind be
properly synchronized. I'd be vexed at an implementation that maintained a
separate stack of cleanup handlers, for example, and called them without
actually unwinding the call stack, so that the final core file might show
c_f() as the active frame even though cleanup had occurred out through f().
I'd be annoyed if the core file showed NO active frames, because there'd be
no clue to what happened.
Yes.
I also understand that YOU would prefer that std::unexpected() would fire
without running ANY cleanup OR unwinding any frames as the SEARCH exception
pass (phase 1) ran up against the empty throw() specification.
YES!
I'm inclined to agree with you philosophically, but with one foot (plus a
heel of the other foot) planted firmly in the real world, I'd worry about
the consequences of breaking external invariants by suddenly adding a
requirement that ~o() not be run in this case. Even your trivial example
shows where this could cause problems, because you do have an external
invariant. The output of this program might be redirected into a file that
might be used as a benchmark for testing (or for other purposes),
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^
Oh, http://groups.google.com/groups?selm...C5B37%40web.de
#include <cassert> // The C++ stuff
#include <stdio.h> // The POSIX one
#include "errbutt" // That's my own
int main() {
int rc;
rc = printf("Hello World\n");
assert(rc);
if (rc < 0 || (rc = fclose(stdout)) == EOF) {
rc = errno;
assert(rc);
}
else {
assert(!rc);
}
return rc ? report_error(rc) : 0;
}
;-)
and the
change in output from "hello\nhello\n" to "hello\n" between one version of
the C++ runtime and another could indeed be an issue.
Yes, I understand. But please note that propagation of exceptions
(unwinding) when "no matching handler found" is implemention-defined
(well, ES aside) in the current C++ standard. Portably, folks just
can't rely on always-unwind... if they don't use catch(...) and/or
"current" version of ES. The funny thing is that exceptions specs
are considered sort-of "harmful" by many "prominent" members of the
C++ community and aren't recommended. http://www.gotw.ca/publications/mill22.htm http://www.boost.org/more/lib_guide....-specification
regards,
alexander.
-- http://groups.google.com/groups?selm...2F8B2%40web.de
Please, don't top post. >in java i found that when a method has a throws clause in the definition,
>callers must either handle the exceptions thrown by the method they are
>calling or "forward" the exception to the caller by specifying a throws
>clause as well.
Which is a completly useless mechanism.
why is that a useless mechanism?
<personal opinion>
If your function throws, write it in the documentations, but let me
deal with it. If I think an exception is worth catching it (such as a
minor error), let me catch it. If not, give me a break with
compilation errors, I've got well enough with templates and typos :)
Even then, I believe exceptions are not to be thrown when minor errors
occured, but that is the way I work.
I don't think a programmer has to be *forced* to catch an exception,
such mechanisms are useless when you know what you are doing and
knowing what I do does not mean I catch every exception.
</personal opinion>
Jonathan
you are right, i cannot prevent everything, but i want to prevent exceptions
thrown within my code to cause serious application errors or crashes. if the
os fails (i mean really fails), then of course i cannot to too much.
if i force handling or "forwarding" of an exception, it is a way of "asking"
a developer "are you aware of that possible error case?"
when forcing exception handling i know everywhere in the code what errors
could occur so i can prepare the code for proper handling.
"Alexander Terekhov" <te******@web.de> wrote in message
news:3F***************@web.de...
"Ritz, Bruno" wrote:
it is not about "to exercise some authority". ever had the idea that i
had the stability of the application in mind?
i just do not want uncaught exceptions.
How about terrorists or natural disasters? You can't really "force"
someone to prevent them, I'm afraid.
http://article.gmane.org/gmane.comp....st.devel/22348
(Re: [boost::thread] locks, exceptions and assertions)
regards,
alexander.
"Ritz, Bruno" <br********@gmx.ch> wrote in message
news:3f********@news.swissonline.ch... why is that a useless mechanism?
"Jonathan Mcdougall" <DE******************@yahoo.ca> wrote in message
news:at********************************@4ax.com...in java i found that when a method has a throws clause in the
definition,callers must either handle the exceptions thrown by the method they are
calling or "forward" the exception to the caller by specifying a throws
clause as well.
Which is a completly useless mechanism.
is there a similar machanism in c++?
Of course not.
i want to force a developer to write
handlers for all possible exceptions a method of my class library can
throw.
Comments would be best.
Jonathan
IMO, the best way of doing this is enclosing _all_ your code in a try block,
followed by a catch(...) clause. This way, if the code in the catch clause
is reached, you will know for sure that you have an unhandled exception.
E.g.:
#include <iostream>
#include "whatever.h"
#define UnhandledExceptionHandler() UnhandledExceptionHandler(__FILE__,
__LINE__)
void UnhandledExceptionHandler(const char* c, int n)
{
std::cout << "Unhandled eexception in file " << c << " on line " << n <<
'\n';
}
in your code do this:
void function()
{
try
{
//everything
}
catch (MyException1 e)
{
//handle it
}
catch (MyException2 e)
{
//handle it
}
// and so on
catch (...)
{
UnhandledExceptionHandler();
}
}
HTH,
S. Armondi This thread has been closed and replies have been disabled. Please start a new discussion. Similar topics
by: adi |
last post by:
Dear all,
This is more like a theoretical or conceptual question:
which is better, using exception or return code for
a .NET component?
I had created a COM object (using VB6), which uses...
|
by: Noor |
last post by:
please tell the technique of centralize exception handling without try catch
blocks in c#.
|
by: Master of C++ |
last post by:
Hi,
I am an absolute newbie to Exception Handling, and I am trying to
retrofit exception handling to a LOT of C++ code that I've written
earlier. I am just looking for a bare-bones, low-tech...
|
by: tom |
last post by:
Hi,
I am developing a WinForm application and I am looking for a guide on where
to place Exception Handling. My application is designed into three tiers
UI, Business Objects, and Data Access...
|
by: C# Learner |
last post by:
Some time ago, I remember reading a discussion about the strengths and
weaknesses of exception handling. One of the weaknesses that was put
forward was that exception handling is inefficient (in...
|
by: craig |
last post by:
I am wondering if there are some best practices for determining a strategy
for using try/catch blocks within an application.
My current thoughts are:
1. The code the initiates any high-level...
|
by: Mark Rae |
last post by:
Hi,
I wrote a Windows service for a client a few months ago, and the client has
now asked me to modify it so that it shuts itself down under certain
circumstances e.g. a catastrophic failure of...
|
by: Steve |
last post by:
Hi,
Is their any way to setup VS such that it forces programmers to handle all
exception (similar to Java).
Thanks
--
|
by: George2 |
last post by:
Hello everyone,
Such code segment is used to check whether function call or exception-
handling mechanism runs out of memory first (written by Bjarne),
void perverted()
{
try{
|
by: taylorcarr |
last post by:
A Canon printer is a smart device known for being advanced, efficient, and reliable. It is designed for home, office, and hybrid workspace use and can also be used for a variety of purposes. However,...
|
by: Charles Arthur |
last post by:
How do i turn on java script on a villaon, callus and itel keypad mobile phone
|
by: ryjfgjl |
last post by:
If we have dozens or hundreds of excel to import into the database, if we use the excel import function provided by database editors such as navicat, it will be extremely tedious and time-consuming...
|
by: ryjfgjl |
last post by:
In our work, we often receive Excel tables with data in the same format. If we want to analyze these data, it can be difficult to analyze them because the data is spread across multiple Excel files...
|
by: emmanuelkatto |
last post by:
Hi All, I am Emmanuel katto from Uganda. I want to ask what challenges you've faced while migrating a website to cloud.
Please let me know.
Thanks!
Emmanuel
|
by: nemocccc |
last post by:
hello, everyone, I want to develop a software for my android phone for daily needs, any suggestions?
|
by: Sonnysonu |
last post by:
This is the data of csv file
1 2 3
1 2 3
1 2 3
1 2 3
2 3
2 3
3
the lengths should be different i have to store the data by column-wise with in the specific length.
suppose the i have to...
|
by: Hystou |
last post by:
There are some requirements for setting up RAID:
1. The motherboard and BIOS support RAID configuration.
2. The motherboard has 2 or more available SATA protocol SSD/HDD slots (including MSATA, M.2...
|
by: marktang |
last post by:
ONU (Optical Network Unit) is one of the key components for providing high-speed Internet services. Its primary function is to act as an endpoint device located at the user's premises. However,...
| |
