Warum akzeptieren die Absolutwertfunktionen in C keine konstanten Eingaben?

In C ist der Prototyp für die Absolutwertfunktion (die einen Float akzeptiert).

 float fabsf( float );

Warum akzeptiert dieser Prototyp keinen konstanten Wert wie diesen:

 float fabsf( float const );

fabsf ändert den Wert der Eingabe nicht, oder?

Wenn ich eine Funktion habe, die eine Eingabe akzeptiert und fabsf aufruft, muss ich dann vermeiden, die Eingabe als const anzugeben?

Was ist der angemessene Weg, um in dieser Situation mit konstanter Korrektheit umzugehen?

C verwendet Wertübergabe. Der Wert für den Parameter einer Funktion ist eine Kopie des Arguments, das Sie angeben.

Es ist in Ordnung, sowohl konstante als auch nicht konstante Gleitkommazahlen zu kopieren, und das Ergebnis ist eine nicht konstante Gleitkommazahl.

Es ist ähnlich wie bei der Zuweisung:

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

Tatsächlich gibt die Sprache an, dass der Wert eines Ausdrucks niemals sein kann constdh wenn ein Wert aus einer Variablen gelesen wird, wird dieser Wert nicht const auch wenn die Variable war.

Bearbeiten

Wie MM kommentierte, über Parameter in Prototypen das const wird ignoriert. Die bearbeitete Quelle der ursprünglichen Antwort (siehe unten) zeigt dies:

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;
}

Es gibt keine Fehlermeldung.

Wie auch immer, ich werde das Original an Ort und Stelle lassen, in der Hoffnung, dass es helfen könnte.

Original

Das const an einem Parameter macht dies Parameter schreibgeschützt innerhalb der Funktion.

Zum Beispiel:

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

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

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

Diese Quelle wird nicht ohne Fehlermeldung kompiliert.

Die Funktion correct() liest den gegebenen Wert, ändert sein Vorzeichen und gibt den negierten Wert zurück.

Die Funktion erroneous() scheint effektiv dasselbe zu tun, außer dass es eine Zuweisung zum Parameter gibt. Aber wie der Parameter ist const Das ist nicht erlaubt.

Als nächstes die Funktion changer() wird wie die beiden zuvor funktionieren, aber es gibt keine Fehler.

Schauen wir uns die Aufrufseite an:

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

Die Variable f als Argument angegeben werden kopiert in den Parameter value. Es wird sich nie ändern, selbst wenn changer() wird angerufen werden.

Vielleicht möchten Sie Parameter als eine Art lokaler Variablen betrachten. Tatsächlich werden sie im generierten Maschinencode meistens so behandelt.

Also, warum siehst du const manchmal? Sie sehen es, wenn a Zeiger ist als Parameter definiert.

Wenn Sie den Wert nicht wollen wies auf geändert werden, müssen Sie hinzufügen const; aber an der richtigen Stelle!

void effective(int const * pointer);

void futile(int * const pointer);

void possible_but_overly_restricted(int const * const pointer);

Da die C-Sprache Pass-by-Value-Semantik verwendet, irgendein Argument, das Sie ihm übergeben, obwohl es intern geändert werden könnte, wirkt sich nicht direkt auf den Wert aus, den Sie übergeben.

Das bedeutet aus Sicht des Anrufers, float fabsf( float ); und float fabsf( const float ); sind gleich. Es macht also keinen Sinn, den Parameter zu machen const.

Wo es tut sinnvoll einzusetzen const ist, wenn der Parameter, den Sie übergeben, ein Zeiger ist, zum Beispiel:

void print_string(char *str)

Diese Funktion kann, entgegen dem, was der Name vermuten lässt, den angegebenen Zeiger dereferenzieren und ändern, worauf er zeigt, dh str[0] = 'x', um zu einer Änderung zu führen, die von der aufrufenden Funktion sichtbar ist. Wenn diese Funktion so definiert wäre:

void print_string(const char *str)

Dem Aufrufer wird sichergestellt, dass die Funktion keine Änderungen an what vornehmen kann str verweist auf.

So fügen Sie eine sprachjuristische Perspektive hinzu:

Damit zwei Funktionstypen kompatibel sind, müssen beide kompatible Rückgabetypen angeben. Darüber hinaus müssen die Parametertyplisten, falls beide vorhanden sind, in der Anzahl der Parameter und in der Verwendung des Auslassungszeichens übereinstimmen; entsprechende Parameter müssen kompatible Typen haben.
[..]
Bei der Bestimmung der Typenkompatibilität und eines zusammengesetzten Typs, [..] jeder Parameter, der mit qualifiziertem Typ deklariert ist, wird so behandelt, als hätte er die nicht qualifizierte Version seines deklarierten Typs.

N1570 6.7.6.3/15

Das heißt, diese beiden sind kompatibel:

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

Daher können Sie den Prototyp mit oder ohne schreiben const (also ohne macht mehr Sinn; weniger tippen/lesen) und hinzufügen kann const in der Funktionsdefinition, wenn Sie vermeiden möchten, dass der (kopierte – Aufruf nach Wert!) Parameter innerhalb des Funktionskörpers versehentlich geändert wird.