The require statement
The word require denotes constraints. Declaring require statements means declaring prerequisites for running the function; in other words, it means declaring constraints that should be satisfied before executing the following lines of code.
The require statement takes in a single argument: a statement that evaluates to a true or false boolean value. If the evaluation of the statement is false, an exception is raised and execution is halted. The unused gas is returned to the caller and the state is reversed to the original. The require statement results in the revert opcode, which is responsible for reverting the state and returning unused gas.
The following code illustrates use of the require statement:
Let's take a ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Read now
Unlock full access