Fale sobre a palavra-chave _fastcall, sua finalidade e características de uso.

fastcall — é um especificador de chamada (calling convention) em C/C++, que define como os argumentos de uma função são passados e como o valor de retorno é devolvido entre a função que chama e a função chamada. O objetivo principal do fastcall é melhorar o desempenho da chamada de funções transferindo parte ou todos os argumentos para os registos do processador, em vez de através da pilha.

Características de uso:

• Transferência de argumentos: Os primeiros argumentos (a quantidade depende da arquitetura e do compilador, geralmente 2-4) são passados em registos de uso geral. Os restantes argumentos são passados através da pilha.
• Registos: São utilizados registos específicos, dependendo da arquitetura e do compilador (por exemplo, em x86, podem ser ECX, EDX).
• Pilha: Se houver mais argumentos do que cabem nos registos, os restantes são colocados na pilha de direita para esquerda.
• Limpeza da pilha: A limpeza da pilha após a chamada da função é feita pela própria função chamada (callee-cleanup).
• Tipos de dados: Normalmente, tipos de dados inteiros e ponteiros são passados nos registos. Estruturas e objetos grandes são geralmente passados através da pilha.
• Compatibilidade: fastcall não é um especificador de chamada padrão em C/C++. O seu suporte e comportamento dependem do compilador (por exemplo, MSVC, GCC). Não se deve misturar chamadas com diferentes especificadores sem declaração explícita.
• Aplicação: Pode ser usado para otimizar funções que são chamadas frequentemente com poucos argumentos.
• Declaração: Declarado antes do tipo de retorno da função.

Exemplo:

// Declaração de função usando fastcall (para MSVC)
int __fastcall AddNumbers(int a, int b, int c);

// Implementação da função
int __fastcall AddNumbers(int a, int b, int c) {
    // a e b podem ser passados em registos (por exemplo, ECX, EDX)
    // c será passado na pilha
    return a + b + c;
}

// Chamada da função
int result = AddNumbers(1, 2, 3);