... there are dark corners in the Bourne shell, and people use all of them.
Every command returns an exit status (sometimes referred to as a return status or exit code). A successful command returns a 0, while an unsuccessful one returns a non-zero value that usually can be interpreted as an error code. Well-behaved UNIX commands, programs, and utilities return a 0 exit code upon successful completion, though there are some exceptions.
Likewise, functions within a script and the script itself return an exit status. The last command executed in the function or script determines the exit status. Within a script, an exit nnn command may be used to deliver an nnn exit status to the shell (nnn must be an integer in the 0 - 255 range).
When a script ends with an exit that has no parameter, the exit status of the script is the exit status of the last command executed in the script (previous to the exit).
The equivalent of a bare exit is exit $? or even just omitting the exit.
$? reads the exit status of the last command executed. After a function returns, $? gives the exit status of the last command executed in the function. This is Bash's way of giving functions a "return value."  After a script terminates, a $? from the command-line gives the exit status of the script, that is, the last command executed in the script, which is, by convention, 0 on success or an integer in the range 1 - 255 on error.
Example 6-1. exit / exit status
1 #!/bin/bash 2 3 echo hello 4 echo $? # Exit status 0 returned because command executed successfully. 5 6 lskdf # Unrecognized command. 7 echo $? # Non-zero exit status returned because command failed to execute. 8 9 echo 10 11 exit 113 # Will return 113 to shell. 12 # To verify this, type "echo $?" after script terminates. 13 14 # By convention, an 'exit 0' indicates success, 15 #+ while a non-zero exit value means an error or anomalous condition.
Example 6-2. Negating a condition using !
Certain exit status codes have reserved meanings and should not be user-specified in a script.
In those instances when there is no return terminating the function.