Wie handhaben Sie die Fehlerprüfung mit „Require“, „Assert“ und „Revert“?

Fehlerbehandlungsmechanismen in Solidity verstehen

In der Welt der Blockchain-Entwicklung, insbesondere im Ethereum-Ökosystem, ist das Schreiben sicherer und zuverlässiger Smart Contracts von größter Bedeutung. Einer der Kernaspekte zur Gewährleistung der Vertragsintegrität ist die ordnungsgemäße Fehlerbehandlung. Solidity bietet mehrere integrierte Funktionen zum Verwalten von Fehlern: require , revert und Assert . Jedes dient einem bestimmten Zweck und wird unter bestimmten Umständen verwendet, um die logische Korrektheit aufrechtzuerhalten und unbeabsichtigtes Verhalten zu verhindern.

Verwenden von require für die Eingabe- und Bedingungsvalidierung

Die require- Anweisung wird hauptsächlich verwendet, um Eingaben, externe Bedingungen oder Zustandsanforderungen zu validieren, bevor kritische Vorgänge ausgeführt werden. Es stellt sicher, dass bestimmte Voraussetzungen erfüllt sind, wie zum Beispiel ausreichende Guthaben, korrekte Absenderrollen oder gültige Zeitstempel. Wenn die Bedingung in einer Require-Anweisung „falsch“ ergibt, wird die Transaktion rückgängig gemacht und alle während der Ausführung vorgenommenen Änderungen werden rückgängig gemacht. Wichtig ist, dass dem Anrufer ungenutztes Gas erstattet wird, was die Validierung von Benutzereingaben effizient macht.

1. Verwenden Sie require, um Funktionsargumente wie Adressen oder numerische Werte zu überprüfen.
2. Überprüfen Sie die Zugriffskontrolle, indem Sie bestätigen, dass msg.sender über die entsprechende Rolle verfügt.
3. Stellen Sie sicher, dass zeitbasierte Bedingungen erfüllt sind, z. B. die Überprüfung von block.timestamp anhand einer Frist.
4. Bestätigen Sie Token-Freibeträge oder Guthaben, bevor Sie Vermögenswerte übertragen.
5. Fügen Sie beschreibende Zeichenfolgen in Anforderungsanweisungen ein, um den Grund für den Fehler zu verdeutlichen.

Nutzung von Revert für eine individuelle Fehlerbehandlung

Revert bietet im Vergleich zu Revert eine detailliertere Kontrolle über Fehlermeldungen und Bedingungen. Während „Require“ automatisch zurückgesetzt wird, wenn eine Bedingung fehlschlägt, können Entwickler mit „Revert“ an jeder Stelle im Code ein Zurücksetzen mit optionalen benutzerdefinierten Fehlermeldungen auslösen. Seit Solidity 0.8.4 können Entwickler mithilfe des Schlüsselworts „error “ benutzerdefinierte Fehlertypen definieren, was durch die effizientere Codierung von Fehlern als String-Nachrichten Gas spart.

1. Definieren Sie benutzerdefinierte Fehler mithilfe des Schlüsselworts „error“, um die Gaskosten bei Rücksendungen zu senken.
2. Rufen Sie „revert“ explizit auf, wenn komplexe Logik einen ungültigen Zustand ermittelt.
3. Verwenden Sie aus Gründen der Übersichtlichkeit strukturierte Fehlertypen wie InvalidAddress() oder InsufficientFunds(uint).
4. Zurücksetzen des Triggers nach Erkennung unerwarteter Randfälle, die nicht durch die Anforderung abgedeckt sind.
5. Kombinieren Sie Revert mit Modifikatoren, um die Validierungslogik über mehrere Funktionen hinweg zu zentralisieren.

Anwenden von Assert für interne Invariantenprüfungen

„assert“ ist für die Überprüfung interner Invarianten reserviert – Bedingungen, die bei korrekter Implementierung des Codes niemals falsch sein sollten. Wenn es ausgelöst wird, weist es auf einen Fehler im Vertrag hin. Im Gegensatz zu „require“ verbraucht „asser“ bei einem Ausfall die gesamte verbleibende Leistung und sollte nur zur Erkennung nicht behebbarer Fehler wie arithmetischer Überläufe (vor Solidity 0.8) oder unerwarteter Änderungen in gespeicherten Daten verwendet werden. Bei neueren Versionen von Solidity werden viele arithmetische Probleme automatisch behandelt, wodurch die Notwendigkeit manueller Bestätigungen verringert wird.

1. Verwenden Sie „assertion“, um zu überprüfen, ob der Wert einer Variablen nach der Berechnung innerhalb der erwarteten Grenzen bleibt.
2. Stellen Sie sicher, dass kritische Speichervariablen während der Ausführung nicht beschädigt wurden.
3. Bestätigen Sie, dass nicht erreichbare Codepfade tatsächlich nicht erreichbar sind, indem Sie „assert(false)“ verwenden.
4. Vermeiden Sie die Verwendung von „assert“ für die Eingabevalidierung oder externe Bedingungen – es dient der internen Konsistenz.
5. Verstehen Sie, dass Assert-Fehler auf schwerwiegende Fehler hinweisen, die Codekorrekturen und keine Benutzerkorrekturen erfordern.

Häufig gestellte Fragen

Was passiert mit dem Gas, wenn die Anforderung ausfällt? Wenn eine Anforderungsanweisung fehlschlägt, wird die Transaktion rückgängig gemacht und alle Statusänderungen werden rückgängig gemacht. Nicht verbrauchtes Gas wird an den Anrufer zurückgegeben, wodurch die Kosten für Benutzer, die ungültige Eingaben übermitteln, minimiert werden.

Kann ich benutzerdefinierte Fehler mit require verwenden? Nein, require akzeptiert nur eine boolesche Bedingung und eine optionale Zeichenfolgennachricht. Um benutzerdefinierte Fehlertypen zu verwenden, die mit dem Schlüsselwort „error“ definiert sind, müssen Sie stattdessen „revert“ verwenden.

Ist Assert in Solidity 0.8+ noch notwendig? Seine Verwendung ist aufgrund automatischer Überlaufprüfungen in Solidity 0.8 und höher zurückgegangen. Es bleibt jedoch nützlich, um benutzerdefinierte Invarianten oder unerwartete logische Zustände zu überprüfen, die auf einen Programmierfehler hinweisen.

Warum „Zurücksetzen“ statt „Anfordern“ wählen? Zurücksetzen wird gewählt, wenn Sie komplexe Auswertungen durchführen müssen, bevor Sie sich zum Abbruch der Ausführung entscheiden, oder wenn Sie benutzerdefinierte Fehler für eine bessere Lesbarkeit und niedrigere Gaskosten nutzen. Es bietet Flexibilität, die über die einfache Zustandsprüfung von require hinausgeht.