C++ Logo

STD-PROPOSALS

Advanced search

Subject: Re: [std-proposals] Conditional final class-virt-specifier
From: Ville Voutilainen (ville.voutilainen_at_[hidden])
Date: 2020-07-15 11:46:28


On Wed, 15 Jul 2020 at 19:30, Thiago Macieira via Std-Proposals
<std-proposals_at_[hidden]> wrote:
>
> On Wednesday, 15 July 2020 08:02:54 PDT Arthur O'Dwyer via Std-Proposals
> wrote:
> > the keyword doesn't really *do* anything except documentation
>
> It could allow the compiler to devirtualise function calls, since a pointer to
> a final class can only point to an object of that particular class.

"Does" rather than "could". GCC does devirtualize calls with the help
of the keyword, that's implementation-wise
why its handling was moved from C++-specific parts of the compiler to
the less-language-specific ones because
the middle-end prefers it to be expressed that way.


STD-PROPOSALS list run by herb.sutter at gmail.com

Standard Proposals Archives on Google Groups