Wie kann ich implizite Konvertierungen für nicht übereinstimmende Funktionstypen in C verhindern?

Implizite Konvertierungen für nicht übereinstimmende Funktionstypen verhindern

In C können Funktionen Parameter verschiedener Typen annehmen. Dazu gehören benutzerdefinierte Typen, die durch implizites Casting als Funktionsargumente übergeben werden können. In bestimmten Szenarien kann es jedoch wünschenswert sein, diese implizite Umwandlung zu verhindern und Funktionsaufrufe nur auf die Argumente zu beschränken, die mit der deklarierten Funktionssignatur übereinstimmen.

Um implizite Konvertierungen für nicht konstruierende Funktionen zu vermeiden, kann das Schlüsselwort „explicit“ verwendet werden verwendet werden. Dieser Ansatz funktioniert jedoch nur für die Konstruktion von Funktionen, nicht für nicht-konstruierende Funktionen.

Eine Lösung für dieses Problem besteht darin, eine Funktionsvorlage zu definieren, die mit allen anderen Typen übereinstimmt. Diese Technik priorisiert die Vorlagenfunktion für nicht übereinstimmende Typen und verhindert so, dass sie mit der genauen Funktionssignatur an die Originalfunktion übergeben werden.

Beispiel:

// Original function signature requires an int
void function(int);

// Function template matches all other types
template <class T>
void function(T) = delete; // C++11 

Dieser Ansatz stellt sicher, dass die ursprüngliche Funktion mit der genauen Signatur function(int) nur aufgerufen wird, wenn ein ganzzahliges Argument übergeben wird. Alles andere, wie etwa Zeichen oder Long-Zeichen, löst die Funktionsvorlage aus und führt zu einem Kompilierungsfehler.

Methode vor C 11:

Für C-Versionen vor C 11 kann eine andere Technik verwendet werden:

// Creating a class to handle overload deletion
class DeleteOverload {
private:
    DeleteOverload(void*);
};

// Function template with overload deletion
template <class T>
void function(T a, DeleteOverload = 0);

// Original function with exact signature
void function(int a) {}

Bei diesem Ansatz kann die Klasse „DeleteOverload“ nicht instanziiert werden, was ihre Verwendung effektiv verbietet als Vorlagenargument. Dies zwingt alle nicht übereinstimmenden Typen dazu, die Vorlagenfunktion auszulösen, und verhindert, dass sie die ursprüngliche Funktion mit der genauen Signatur erreichen.

C 23-Version:

C 23 führt ein die static_assert-Funktion, die für mehr Klarheit in diesem Szenario verwendet werden kann:

void function(int); // Chosen for ints

template <class T>
void function(T) {
    static_assert(false, "function should only be called for ints");
}

int main() {
    function(1);
    // function(1l); // Error: static assertion failed
}

Durch die Verwendung dieser Methode wird die Fehlermeldung klar ausgedrückt dass die Funktion ausschließlich für Ganzzahlen gedacht ist, was die Lesbarkeit und das Verständnis des Codes verbessert.

Das obige ist der detaillierte Inhalt vonWie kann ich implizite Konvertierungen für nicht übereinstimmende Funktionstypen in C verhindern?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!