Quando se deve usar especialização de template, se não para metaprogramação?

Quando usamos especializações de modelo em C ++, senão para SFINAE ou metaprogramação? type_traits , enable_if e outros confiam muito nisto, mas estou mais curioso sobre situações que são usos mais "óbvios" de modelos - algoritmos e objetos agnósticos de tipos.

Pode-se criar facilmente um exemplo artificial de algoritmo que faz coisas completamente diferentes para tipos diferentes, por isso gostaria de limitar o escopo a cenários mais "reais". Especificamente, as seguintes propriedades devem ser satisfeitas:

1. Pode-se formular uma invariante de uma versão genérica do modelo (por isso, faz sentido falar em especialização ) e
2. A versão especializada não viola quaisquer invariantes da versão genérica (se o fizer, provavelmente é uma má especialização e uma classe / função separada deve ser criada).

Eu tenho três exemplos em mente:

• %código%. É conhecido por ter uma interface diferente do genérico std::vector<bool> ( 1 , 2 ) e, portanto, considero um mau exemplo - ele não satisfaz a propriedade 2.
• %código%. Apesar de não ter implementação "genérica", tem invariante "genérico".
• %código%. Satisfaz as duas propriedades.

Estes exemplos, no entanto, parecem muito específicos para mim. Eu estou querendo saber se é possível descrever quando se deve usar a especialização de modelo. Por exemplo. "se você tiver um contêiner de tipo agnóstico que tenha uma implementação estritamente melhor para algum tipo específico" provavelmente é verdade, mas, novamente, bastante específico.