RFC: New C++ Attribute: final

[Robert Dewar]

Per Abrahamsen wrote:
> Nathan Sidwell <nathan@codesourcery.com> writes:
> 
> 
>>The point of virtual functions is to allow old code to call new code,
>>your 'final' proposal subverts that behaviour.
>>
>>what is its point?
> 
> 
> I'd use it when I want to disallow old code to call new code, in order
> to be able to reason about it. 

Note that this may also be useful in an environment requiring
formal certification.