Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

Use cases for final classes

Tags:

I was reading comments on Herb Sutter's Guru of the Week redux about virtual functions, and finally saw him mentioning this:

[...] “uses of final are rarer” – well, they sort of are. I don’t know of many, and during standardization Bjarne repeatedly asked for examples of problems it solved and patterns where it should be used, and I don’t recall any major ones that stood out. The only one I know of offhand is that if you’re defining a library module (which isn’t a Standard concept yet) then making leaf classes final can give the compiler more information to devirtualize calls because of knowing code outside the library won’t further derive, but I’m not sure how important that is these days in the presence of whole program optimization including aggressive devirtualization.

That answer does not provide many examples about the use cases for final on classes, and I would be interested in knowing what problems it can really solve. Do you know any, or will final on classes only become some obscure and almost unused feature?

like image 392
Morwenn Avatar asked May 29 '13 07:05

Morwenn


Video Answer


1 Answers

One interesting unusual use case I have found I described here. In short, by preventing inheritance from your int-like class, you buy yourself a possibility to replace it with a built-in type in the future releases of your library, without the risk of breaking your user's code.

But a more common example is devirtualization. If you mark your class as final, compiler can apply certain run-time optimizations. For instance,

struct Object {   virtual void run() = 0;   virtual ~Object() {} };  struct Impl final : Object {   void run() override {} };  void fun(Impl & i) {   i.run(); // inlined! } 

The call to i.run() can be now inlined due to final specifier. The compiler knows that vtable look-up will not be needed.

like image 190
Andrzej Avatar answered Sep 28 '22 13:09

Andrzej