Na minha opinião, templates são um dos mais importantes, superestimados, subvalorizados e depreciados aspectos da linguagem de programação C++. A Comunidade Java parece odiar os Templates do C++, como pode ser visto na documentação a respeito de Generics do Java. No link apresentado em [1], o autor chama Templates C++ de "um Extravagante Processador de Macros". A prestigiosa revista Dr.Dobbs [2] possui uma opinião diferente.

Precisamos entender que os engenheiros e o quadro de funcionários da Sun (e, agora, da Oracle), no geral, tentam vender Java como uma panacéia; então eles precisam inflar as ferramentas do Java e depreciar qualquer tipo de concorrência. A opinião deles é muito enviesada, mas, para mim, é inaceitável dizer que uma das melhores e mais bem engenheiradas ferramentas de Metaprogramação (os Templates de C++) são apenas um "Processador de Macros Extravagante".

Eu concordo com a opinião de que os Templates de C++ são exatamente como um processador de macros que, sendo um Processador de Macros, é daqueles muitíssimo poderosos. Qualquer pessoa que sabe programar com a linguagem M4 entende do que estou falando. Por outro lado, podemos dizer que Generics do Java são uma ferramenta de metaprogramação que utiliza uma "Extravagante Forma de Remoção da Tipos" para garantir genericidade e capacidade de conteinerização ao Java, dependendo fortemente de reflexão para alcançar padrões complexos. E eu odeio reflexão em linguagens de programação. Mesmo quando elas são completamente disponíveis (como em JavaScript, Python ou Perl), eu raramente uso, e quando uso, o faço com muito cuidado, uma vez que acho que o uso de reflexão pode tornar um programa tão badernado quando o uso de variáveis globais.

Como o Java é uma linguagem com capacidades dinâmicas muito maiores do que C++, Generics podem ser eficientes porque a linguagem pode contar com ferramentas de tempo de execução para garantir o rigor de uso dos tipos - o que é quase impossível com C++, por conta de sua anêmica RTTI (Run-Time Type Information, algo como "informação de tipagem em tempo de execução"). Mas eu sou um programador Java também, e não quero participar da rivalidade que existe entre essas linguagens. Não vou compará-las, mais, mas você precisa entender que alguns dos padrões descritos aqui são praticamente impossíveis de serem reproduzidos usando Generics do Java.

Voltando ao C++, Templates são uma forma de programação que roda em tempo de compilação. Eles são, apenas, uma pequena linguagem de programação inclusas dentro do C++, feita para trabalhar com o código C++ como seus dados. Essa linguagem permite a criação de pequenos subprocedimentos (as próprias classes ou funções "templatezadas") cuja implementação é o seu próprio texto "templatezado" e seus parâmetros de entrada são constantes de tipos inteiros, Classes, Estruturas ou qualquer outra definição de tipo. Templates C++ são completamente conscientes do Sistema de Tipagem de C++, o que é uma capacidade muito grande e crítica.

Templates suportam recursividade, sendo possível programar loops com eles. Outro aspecto presente nos templates é a existência de Guards (guardiães). Um guard apenas é um conjunto de definições de uma mesma expressão (no nosso caso, um Template), com diferentes constantes como valores de entrada, promovendo, para cada valor de entrada específico, um comportamento diferente; ou seja, um guard é um condicional. Com essas características, os Templates C++ se tornam Turing Completos. Veja as referências presentes no Artigo da Wikipédia presente em [4] e vocês vão verificar o que eu estou falando.

Depois dessa explicação a respeito de o que é um Template C++, precisamos entender como eles trabalham, quando compilamos um programa.

Quando definimos um Template, eles são como uma definição de classe: estáticos e inativos. Mas, cada vez que chamamos um template com um dado parâmetro (os valores que ficam circundados por <..>), que pode ser uma constante ou um tipo, nós instanciamos o template. Antes de chamarmos o compilador propriamente dito, o compilador de templates do C++ irá criar uma cópia do código do template, substituindo os parâmetros pelos valores dados àquela instância em particular. Para cada instanciação, uma nova cópia do código será gerada pelo compilador. Então o código seguirá para o compilador C++ propriamente dito e gerará o objeto binário, com diferentes identificadores e símbolos para cada instância do template. Quando revisitarmos o padrão Singleton, isso ficará mais claro.

Os Templates C++ são tão poderosos, que a mais influente e abrangente Biblioteca de C++ (na minha opinião), o Boost [3], depende fortemente do uso de Templates, e mesmo pesquisa de ponta em metaprogramação é feita usando essa biblioteca. Para todo programador C++, o Boost é conhecimento obrigatório.

Depois desse conteúdo profundamente teórico, vamos para os padrões de design. Vamos revisitar o Singleton.

Créditos:

[1] Artigo Oficial de Java Generics da Sun (agora Oracle): http://www.oracle.com/technetwork/articles/javase/generics-136597.html
[2] Revista Dr.Dobbs: http://www.drdobbs.com/184401818
[3] O Boost pode ser encontrado em: http://www.boost.org
[4] A wikipédia possui um arquivo poderoso a respeito de metaprogramação com Templates, que pode ser visto em: http://en.wikipedia.org/wiki/Template_metaprogramming