[[Alexandrescu]] pointed out a fundamental weakness in MI for library design — base classes “do not have enough type information to carry out their tasks”, and “MI loses type information (about subclasses) which abounds in templates”
This statement can only be understood based on TMP. I like and will repeat this statement in QQ interviews. If interviewer is knowledgeable enough about TMP to quiz me further, I would say
“TMP can be combined with inheritance. I don’t remember the various TMP techniques that make use of the type information of subtypes”.
TMP is a compile-time technique so type information is more available.