Chamadas de função
Uma chamada de função é uma expressão que passa o controle e os argumentos (se houver) para uma função e tem o formato:
expression (expression-listopt)
em que expression é um nome de função ou é avaliado em um endereço de função e expression-list é uma lista de expressões (separadas por vírgulas). Os valores dessas últimas expressões são os argumentos passados para a função. Se a função não retorna um valor, você a declara para ser uma função que retorna void.
Se uma declaração existe antes da chamada de função, mas nenhuma informação é fornecida quanto aos parâmetros, os argumentos não declarados simplesmente passam pelas conversões aritméticas comuns.
Observação
As expressões na lista de argumentos da função podem ser avaliadas em qualquer ordem, portanto, os argumentos cujos valores podem ser alterados por efeitos colaterais de outro argumento têm valores indefinidos. O ponto de sequência definido pelo operador de chamada de função apenas garante que todos os efeitos colaterais na lista de argumentos sejam avaliados antes que o controle passe para a função chamada. (Observe que a ordem em que os argumentos são enviados por push na pilha é uma questão à parte). Confira Pontos de sequência para obter mais informações.
O único requisito em qualquer chamada de função é que a expressão antes dos parênteses devem ser avaliadas como um endereço de função. Isso significa que uma função pode ser chamada por qualquer expressão de ponteiro de função.
Exemplo
Este exemplo ilustra as chamadas de função de uma instrução switch:
int main()
{
/* Function prototypes */
long lift( int ), step( int ), drop( int );
void work( int number, long (*function)(int i) );
int select, count;
.
.
.
select = 1;
switch( select )
{
case 1: work( count, lift );
break;
case 2: work( count, step );
break;
case 3: work( count, drop );
/* Fall through to next case */
default:
break;
}
}
/* Function definition */
void work( int number, long (*function)(int i) )
{
int i;
long j;
for ( i = j = 0; i < number; i++ )
j += ( *function )( i );
}
Nesse exemplo, a chamada de função em main,
work( count, lift );
passa uma variável de inteiro, count, e o endereço da função lift para a função work. Observe que o endereço da função é passado simplesmente fornecendo o identificador de função, pois um identificador de função é avaliado em uma expressão de ponteiro. Para usar um identificador de função dessa forma, a função deve ser declarada ou definida antes que o identificador seja usado; caso contrário, o identificador não é reconhecido. Nesse caso, um protótipo para work é fornecido no início da função main.
O parâmetro function em work é declarado para ser um ponteiro para uma função que usa um argumento int e retorna um valor long. Os parênteses em torno do nome do parâmetro são necessários; sem eles, a declaração especificaria uma função que retorna um ponteiro para um valor long.
A função work chama a função selecionada dentro do loop for usando a seguinte chamada de função:
( *function )( i );
Um argumento, i, é passado para a função chamada.