Static Analysis at Mozilla, @must_override

[Andrei Alexandrescu]

On 07/12/2010 07:15 AM, bearophile wrote:
> A video, Large-Scale Static Analysis of C++ code at Mozilla, video, July 9th, 2010:
> http://vimeo.com/12614626
>
>
>  From the video I have seen that Mozilla developers have felt the need to add this new attribute in C++ (implemented in JavaScript through their hydra plug-ins and used with a define NS_MUST_OVERRIDE):
> http://mxr.mozilla.org/mozilla-central/source/xpcom/analysis/must-override.js

I discussed this with Walter. The pattern is of pretty narrow
usefulness, but the scenarios are quite compelling:

- cloning

- opCmp

- opEquals

Such functions, if ever used, must be overridden transitively.


Andrei