Wie gehe ich mit Fehlern in der Solidität um? (Erfordern, zurückkehren, behaupten)

Verständnis der Fehlerbehandlung in der Solidität

Solidität, die primäre Programmiersprache für Ethereum -Smart Contracts, bietet mehrere Mechanismen für die Fehlerbehandlung . Diese Mechanismen sind entscheidend dafür, dass sich Verträge vorhersehbar und sicher verhalten, wenn unerwartete oder ungültige Bedingungen auftreten. Die wichtigsten Tools, die für die Fehlerbehandlung bei Solidität zur Verfügung stehen, sind require , revert und assert . Jede dieser Funktionen dient einem anderen Zweck und sollte basierend auf der Situation angemessen verwendet werden.

Verwenden von require für die Eingabevalidierung

Die require Funktion wird hauptsächlich verwendet, um Eingaben und Bedingungen zu validieren, bevor die Kernlogik einer Funktion ausgeführt wird. Wenn die Bedingung für die require von false erfolgt, wird die Transaktion zurückgekehrt und alle Änderungen am Zustand zurückgerollt. Ermöglicht require den Entwicklern, eine benutzerdefinierte Fehlermeldung anzugeben.

Beispiel:

 function transfer(address to, uint amount) public { require(amount > 0, 'Amount must be greater than zero'); require(balance[msg.sender] >= amount, 'Insufficient balance'); balance[msg.sender] -= amount; balance[to] += amount;

}

In diesem Beispiel require sichergestellt, dass der Absender ausreichend ausgleichen und dass der übertragene Betrag gültig ist. Wenn eine Bedingung fehlschlägt, wird die Transaktion mit einer klaren Fehlermeldung zurückgeführt.

Verwendung von revert für benutzerdefinierte Fehlerbedingungen

Die revert bietet mehr Flexibilität als require , indem Entwickler die Ausführung zu einem beliebigen Punkt innerhalb einer Funktion zurückversetzen können. Es ist besonders nützlich, wenn es sich um komplexe Logik oder mehrere Bedingungen handelt, die möglicherweise nicht einfach von einer einzigen require behandelt werden.

Beispiel:

 function withdraw(uint amount) public { if (amount > balance[msg.sender]) { revert('Insufficient funds for withdrawal'); } if (block.timestamp < lockTime[msg.sender]) { revert('Funds are locked until a later time'); } balance[msg.sender] -= amount; payable(msg.sender).transfer(amount);

}

In diesem Szenario wird revert verwendet, um zwei unterschiedliche Bedingungen zu verarbeiten, die einen Entzug verhindern könnten. Jede Bedingung wird separat bewertet und eine bestimmte Nachricht zurückgegeben, wenn die Bedingung ausfällt.

Verwendung von assert für die interne Fehlererkennung

Die assert -Funktion ist für die Überprüfung von Invarianten und zum Aufnehmen interner Fehler bestimmt, die unter normalen Umständen niemals auftreten sollten. Im Gegensatz zu require und revert verbraucht die Verwendung assert das gesamte in der Transaktion bereitgestellte Gas, wenn sie ausgelöst werden. Daher sollte es für Situationen reserviert werden, in denen ein kritischer Fehler vermutet wird.

Beispiel:

 function calculateSum(uint a, uint b) internal pure returns (uint) { uint sum = a + b; assert(sum >= a); return sum;

}

In dieser Funktion stellt assert sicher, dass der Additionsvorgang nicht zu einem Unterlauf oder einem Überlauf führt. Wenn eine solche Anomalie auftritt, kehrt die Transaktion zurück, was einen potenziellen Fehler im Code anzeigt.

Unterschiede zwischen require , revert und assert

Das Verständnis der Unterscheidungen zwischen require , revert und assert ist für die effektive Fehlerbehandlung bei der Solidität von wesentlicher Bedeutung:

• Gasverbrauch : require und revert und zurückkehren, bis zum Fehler die Gas konsumiert, während assert alle bereitgestellten Gas konsumiert.
• Anwendungsfälle : require ist für die Eingabevalidierung am besten, für benutzerdefinierte Bedingungen revert und für interne Logikprüfungen assert .
• Fehlermeldungen : Sowohl require als auch revert zu benutzerdefinierten Fehlermeldungen. assert bietet keine Möglichkeit, benutzerdefinierte Nachrichten in älteren Versionen der Solidität zurückzugeben (vor 0,8,0).

Durch die Auswahl der entsprechenden Fehlerbehandlungsmethode sind Ihre intelligenten Verträge sowohl sicher als auch effizient .

Benutzerdefinierte Fehler in der Solidität

Ausgehend von Solidity 0,8.0 können Entwickler benutzerdefinierte Fehlertypen definieren, die gaseffizienter und lesbar sind als String-basierte Fehlermeldungen. Benutzerdefinierte Fehler werden mithilfe des error definiert und können in Verbindung mit revert verwendet werden.

Beispiel:

 error InsufficientBalance(uint requested, uint available); error FundsLocked(uint releaseTime, uint currentTime); Funktion abheben (uint Betrag) public {
if (amount > balance[msg.sender]) { revert InsufficientBalance(amount, balance[msg.sender]); } if (block.timestamp < lockTime[msg.sender]) { revert FundsLocked(lockTime[msg.sender], block.timestamp); } balance[msg.sender] -= amount; payable(msg.sender).transfer(amount);
 }

Durch die Verwendung von benutzerdefinierten Fehlern können Entwickler strukturierte Fehlerinformationen bereitstellen, die in Bezug auf die Gasverbrauch sowohl leicht zu verstehen als auch effizient sind.

Häufig gestellte Fragen

F: Kann ich assert für die Eingabevalidierung verwenden? A: Nein, assert sollten nicht für die Eingabevalidierung verwendet werden. Es ist für interne Überprüfungen ausgelegt und sollte nur verwendet werden, um nicht erreichbare Code oder kritische Fehler zu erkennen.

F: Wie speichern benutzerdefinierte Fehler im Vergleich zu String -Nachrichten Gas? A: Benutzerdefinierte Fehler werden als Vier-Byte-Selektoren codiert, ähnlich wie Funktionssignaturen, die viel kürzer und billiger sind als vollständige Zeichenfolgennachrichten. Dies führt zu niedrigeren Gaskosten , wenn ein Fehler ausgelöst wird.

F: Was passiert, wenn ich keine Fehler in meinem Vertrag bewältige? A: Wenn Fehler nicht ordnungsgemäß behandelt werden, können ungültige oder unerwartete Bedingungen zu falschen staatlichen Änderungen , dem Verlust von Geldern oder Schwachstellen führen, die von Angreifern ausgenutzt werden können.

F: Kann ich in derselben Funktion require kombinieren und revert ? A: Ja, require und revert kann in derselben Funktion zusammen verwendet werden. require wird normalerweise für einfache Bedingungsüberprüfungen verwendet, während revert für komplexere oder bedingtere Rückkehrungen später in der Funktion verwendet wird.