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
