Re: Exception Specification Compromise

From:

"Nevin :-] Liber" <nevin@eviloverlord.com>

Newsgroups:

comp.lang.c++.moderated

Date:

Fri, 12 Feb 2010 21:39:23 CST

Message-ID:

<nevin-78CE6B.17343212022010@chi.news.speakeasy.net>

In article
<6bb964cd-04bb-49b0-b344-a17a2e943209@b7g2000yqd.googlegroups.com>,
ThosRTanner <ttanner2@bloomberg.net> wrote:

On Feb 12,> It's easy to do static checking of throw specifications at compile
time because the compiler knows the throw spec of all the called
functions, because it has to see the prototype before it can compile
the call.

Again, I just don't see how you can analyze this without whole program
analysis, which isn't trivial.

GIven the following:

struct Foo
{
    virtual void Bar() const = 0;
};

bool DoIThrow(Foo const& f)
{
     try { f.Bar(); return false; }
     catch (...) { return true; }
}

So, what does DoIThrow() return: true or false?

Personally, I don't know how to do the analysis w/o looking at *every*
derived class of DoIThrow. What is your "easy" way to figure this out?

And this is still a fairly simple case...

--
  Nevin ":-)" Liber <mailto:nevin@eviloverlord.com> 773 961-1620

      [ See http://www.gotw.ca/resources/clcm.htm for info about ]
      [ comp.lang.c++.moderated. First time posters: Do this! ]