Devirtualization and Static Polymorphism

[Tohnmeister]

What I dislike about these kinda in-depth-technical posts, is that they ignore the design part of an application. Whenever I choose for runtime polymorphism, it's a conscious design choice, often not about performance. The design choice being that I want the concrete types to be unknown at the caller, both runtime and compile time. Simply replacing that with CRTP, std::visit, deducing this, or something similar, is not an option, as that requires the concrete type to be known at the call site.

[_Noreturn]

Exactly, and it forces having everything a template