funções constEval e parâmetros de modelos dependentes de argumentos da função

em c 17, um parâmetro de modelo não pode depender de um argumento de função porque o compilador ainda precisa gerar instruções de execução para o sem-fostex. Compile Time.

C 20 FUNÇÕES CONSTITEVAL

c 20 apresenta funções do ConstEval, que devem ser avaliadas em tempo de compilação, removendo a restrição de tempo de execução. No entanto, permanece a pergunta: esses parâmetros de modelo significa agora podem depender de argumentos de função?

nenhum dos parâmetros de modelos dependentes

apesar da introdução das funções constyval, a resposta é não. O artigo reconhece que os parâmetros não devem ser tratados como expressões constantes do núcleo. Isso se deve a possíveis discrepâncias de digitação, como demonstrado pelo exemplo no artigo:

 constEval int sqrsqr (int n) {
  retornar SQR (SQR (N)); // não é uma expressão constante neste momento,
} // Mas tudo bem.