C++ Logo


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 std-proposals-owner@lists.isocpp.org

Standard Proposals Archives on Google Groups