There's no "evil force" lurking behind the CRTP, apart maybe from the issue you mentioned with equally named interface functions and their implementations, but that's a bit like "asking for troubles" in my opinion.
As for the question "Why isn't this approach used?", I don't think that's the case. This approach is widely used when it is needed; but no design pattern makes sense all the time. Each comes handy in some particular design situation, and the CRTP is no exception.
The CRTP is mostly useful when you have several, unrelated classes that support a common interface but realize it slightly (not entirely) differently. If any of these words I've put in bold font does not describe your design use case, probably the CRTP makes no sense:
- "Several": If you have only one such class instead of many, why factor out its interface into a superclass? It just introduces some redundant naming convention;
- "Unrelated": If your classes are related, meaning that they derive from a common base class because run-time polymorphism is needed (this is very often the case, like if you want to have a heterogeneous collection of objects), then it often becomes natural to factor the common interface into that base class;
- "Common": If your classes do not share a reasonably extensive common interface, there is not much to factor out into a base class. If all of your classes only have a
size()
method in common, for instance, creating a base class just to hold that method is likely a uselessly fine granularity of factoring;
- "Slightly": If your interfaces are realized in a completely different way, meaning there is no common implementation, then it does not makes sense to create a base class that simply forwards all function calls to the subclasses. What for?
When your design situation, however, is such that all of the four properties above apply, then you definitely have a use case for the CRTP: no virtual function overhead, the compiler can fully optimize your code, you have a clean separation of interface and implementation, you achieve minimal redundancy by capturing the common implementation logic, and so on.
However, you might realize that this situation is just not that common. Hopefully this answers your question.