Compreendendo modelos C com parâmetros não-tipo

Em C , os modelos fornecem um mecanismo poderoso para programação genérica, permitindo que você escreva código que opera em diferentes tipos de dados em tempo de compilação. Embora os parâmetros de tipo sejam comumente usados ​​em modelos, também é possível definir parâmetros que não são de tipo.

Parâmetros que não são de tipo

Os parâmetros que não são de tipo em modelos referem-se ao capacidade de parametrizar um modelo com:

• Expressões constantes integrais (por exemplo, unsigned int N no seu exemplo)
• Ponteiros
• Referências

Exemplo: parâmetro de expressão constante integral

Em seu código, o modelo declara um parâmetro de expressão constante integral. Este parâmetro representa uma constante de tempo de compilação do tipo unsigned int. Você pode então usar esse parâmetro dentro do modelo como um valor constante.

Modelo sem parâmetro de tipo

Embora os modelos normalmente exijam pelo menos um parâmetro de tipo, é possível crie um modelo apenas com parâmetros que não sejam de tipo. Nesse caso, o modelo é essencialmente uma função genérica que opera nos valores especificados pelos parâmetros não-tipo.

Tipos de parâmetros não-tipo

Em além de expressões constantes integrais, os parâmetros sem tipo podem incluir:

• Ponteiros, que podem fazer referência a funções ou objetos com ligação externa.
• Referências, que podem fazer referência a variáveis ​​com ligação externa.

Parâmetros padrão

Os modelos também podem ter parâmetros padrão, portanto, não é necessário especificar explicitamente valores para todos os parâmetros que não sejam de tipo. Se não for fornecido, o valor padrão especificado na declaração do modelo será usado.

Especialização de modelo

O modelo de sintaxe normalmente é usado para definir uma especialização explícita de um modelo para um conjunto específico de parâmetros. No exemplo fornecido, não seria uma especialização de modelo válida, pois não possui valores de parâmetro explícitos.

Resumo

Os parâmetros sem tipo permitem que você crie modelos que pode ser parametrizado com vários tipos de constantes, ponteiros e referências, fornecendo flexibilidade e controle adicionais no design e implementação de seu código.