Por que as funções de valor absoluto em C não aceitam entradas const?

Em C, o protótipo para a função de valor absoluto (que aceita um float) é

 float fabsf( float );

Por que esse protótipo não aceita um valor constante, como este:

 float fabsf( float const );

O fabsf não altera o valor da entrada, altera?

Se eu tiver uma função que aceite uma entrada e chame fabsf, sou forçado a evitar especificar a entrada como const?

Qual é a maneira apropriada de lidar com a correção const nesta situação?

Editar

Como MM comentou, nos parâmetros nos protótipos o consté ignorado. A fonte editada da resposta original (veja abaixo) mostra isso:

float correct(float const value);

float erroneous(float const value);

float changer(float value);

float correct(float value) {
  return -value;
}

float erroneous(float value) {
  value = -value;
  return value;
}

float changer(float value) {
    value = -value;
    return value;
}

Não há nenhuma mensagem de erro.

De qualquer forma, deixarei o original no lugar, na esperança de que possa ajudar.

Original

O constparâmetro at torna esse parâmetro somente leitura dentro da função.

Por exemplo:

float correct(float const value) {
  return -value;
}

float erroneous(float const value) {
  value = -value;
  return value;
}

float changer(float value) {
  value = -value;
  return value;
}

Esta fonte não será compilada sem mensagem de erro.

A função correct()lerá o valor fornecido, alterará seu sinal e retornará o valor negado.

A função erroneous()parece efetivamente fazer o mesmo, exceto que há uma atribuição ao parâmetro. Mas, como o parâmetro é, constisso não é permitido.

Em seguida, a função changer()funcionará como as duas anteriores, mas não apresenta erros.

Vejamos o site de chamadas:

float f = 3.14159;
float g = correct(f); // or erroneous(f) or changer(f)

A variável fdada como um argumento será copiado para o parâmetro value. Isso nunca mudará, mesmo que changer()seja chamado.

Você pode considerar os parâmetros como algum tipo de variável local. Na verdade, eles são manipulados dessa maneira no código de máquina gerado.

Então, por que você vê constàs vezes? Você vê se um ponteiro é definido como parâmetro.

Quando você não deseja que o valor apontado seja alterado, é necessário adicionar const; mas faça-o na posição correta!

void effective(int const * pointer);

void futile(int * const pointer);

void possible_but_overly_restricted(int const * const pointer);

C usa passagem por valor. O valor para o parâmetro de uma função é uma cópia do argumento que você fornece.

Não há problema em copiar flutuações constantes e não constantes, e o resultado é uma flutuação não const.

É semelhante à atribuição:

const float f = 5.5f;
float g = f;   // OK

De fato, a linguagem especifica que o valor de uma expressão nunca pode ser const, ou seja, quando um valor é lido de uma variável, esse valor não é igual constse a variável fosse.

Como a linguagem C usa semântica de passagem por valor, qualquer argumento que você passar para ela, embora possa ser modificado internamente, não afeta diretamente o valor que você passa.

Isto significa que do ponto de vista do autor da chamada, float fabsf( float );e float fabsf( const float );são os mesmos. Portanto, não há sentido em fazer o parâmetroconst .

Onde faz sentido usar consté se o parâmetro que você passa é um ponteiro, por exemplo:

void print_string(char *str)

Esta função, apesar do que o nome sugere, pode desreferenciar o ponteiro especificado e modificar o que aponta, ou seja str[0] = 'x', para resultar em uma alteração visível pela função de chamada. Se esta função foi definida assim:

void print_string(const char *str)

O chamador está garantido de que a função não pode executar nenhuma modificação para o que straponta.

Para adicionar uma perspectiva de advogado de idiomas:

Para que dois tipos de função sejam compatíveis, ambos devem especificar tipos de retorno compatíveis. Além disso, as listas de tipos de parâmetros, se ambas estiverem presentes, devem concordar com o número de parâmetros e com o uso do terminador de reticências; parâmetros correspondentes devem ter tipos compatíveis . [..] Na determinação da compatibilidade de tipo e de um tipo composto, [..] cada parâmetro declarado com tipo qualificado é considerado como tendo a versão não qualificada de seu tipo declarado .

N1570 6.7.6.3/15

Isso significa que esses dois são compatíveis:

void foo(int const);
void foo(int);

Portanto, você pode escrever o protótipo com ou sem const(o que significa que sem faz mais sentido; menos digitar / ler) e pode adicionar consta definição de função se desejar evitar modificar acidentalmente o parâmetro (copiado - chamada por valor!) Dentro das funções corpo.