On Thu, Aug 09, 2007 at 02:11:34PM -0700, Joe Buck wrote: > On Thu, Aug 09, 2007 at 02:29:28PM -0600, Tom Tromey wrote: > > Also in Java it is possible to devirtualize calls in some situations > > where only a bound on the type is known. For instance at a call site > > we might know that all possible targets are derived from a class where > > the virtual method is final.
I wrote: > Likewise in C++ we might know that a method is effectively final because > no class overrides it. Whoops, that didn't come out the way that I intended. I meant to say that we might know that a given method (member function) call is effectively final because no class that the pointer/reference can refer to overrides the call.
