- Calling a Method
- Declaring a Method
- The using Directive
- Returns and Parameters on Main()
- Advanced Method Parameters
- Recursion
- Method Overloading
- Optional Parameters
- Basic Error Handling with Exceptions
- Summary
Basic Error Handling with Exceptions
This section examines how to handle error reporting via a mechanism known as exception handling.
With exception handling, a method is able to pass information about an error to a calling method without using a return value or explicitly providing any parameters to do so. Listing 5.22 contains a slight modification to Listing 1.16, the HeyYou program from Chapter 1. Instead of requesting the last name of the user, it prompts for the user’s age.
Listing 5.22: Converting a string to an int
using System; class ExceptionHandling { static void Main() { string firstName; string ageText; int age; Console.WriteLine("Hey you!"); Console.Write("Enter your first name: "); firstName = System.Console.ReadLine(); Console.Write("Enter your age: "); ageText = Console.ReadLine(); age = int.Parse(ageText); Console.WriteLine( $"Hi { firstName }! You are { age*12 } months old."); } }
Output 5.11 shows the results of Listing 5.22.
Output 5.11
Hey you! Enter your first name: Inigo Enter your age: 42 Hi Inigo! You are 504 months old.
The return value from System.Console.ReadLine() is stored in a variable called ageText and is then passed to a method with the int data type, called Parse(). This method is responsible for taking a string value that represents a number and converting it to an int type.
Given the converted string, the final System.Console.WriteLine() statement will print the age in months by multiplying the age value by 12.
But what happens if the user does not enter a valid integer string? For example, what happens if the user enters “forty-two”? The Parse() method cannot handle such a conversion. It expects the user to enter a string that contains only digits. If the Parse() method is sent an invalid value, it needs some way to report this fact back to the caller.
Trapping Errors
To indicate to the calling method that the parameter is invalid, int.Parse() will throw an exception. Throwing an exception halts further execution in the current control flow and jumps into the first code block within the call stack that handles the exception.
Since you have not yet provided any such handling, the program reports the exception to the user as an unhandled exception. Assuming there is no registered debugger on the system, the error will appear on the console with a message such as that shown in Output 5.12.
Output 5.12
Hey you! Enter your first name: Inigo Enter your age: forty-two Unhandled Exception: System.FormatException: Input string was not in a correct format. at System.Number.ParseInt32(String s, NumberStyles style, NumberFormatInfo info) at ExceptionHandling.Main()
Obviously, such an error is not particularly helpful. To fix this, it is necessary to provide a mechanism that handles the error, perhaps reporting a more meaningful error message back to the user.
This process is known as catching an exception. The syntax is demonstrated in Listing 5.23, and the output appears in Output 5.13.
Listing 5.23: Catching an Exception
using System; class ExceptionHandling { static int Main() { string firstName; string ageText; int age; int result = 0; Console.Write("Enter your first name: "); firstName = Console.ReadLine(); Console.Write("Enter your age: "); ageText = Console.ReadLine(); try { age = int.Parse(ageText); Console.WriteLine( $"Hi { firstName }! You are { age*12 } months old."); } catch (FormatException ) { Console.WriteLine( $"The age entered, { ageText }, is not valid."); result = 1; } catch(Exception exception) { Console.WriteLine( $"Unexpected error: { exception.Message }"); result = 1; } finally { Console.WriteLine($"Goodbye { firstName }"); } return result; } }
Output 5.13
Enter your first name: Inigo Enter your age: forty-two The age entered, forty-two, is not valid. Goodbye Inigo
To begin, surround the code that could potentially throw an exception (age = int.Parse()) with a try block. This block begins with the try keyword. It indicates to the compiler that the developer is aware of the possibility that the code within the block might throw an exception, and if it does, one of the catch blocks will attempt to handle the exception.
One or more catch blocks (or the finally block) must appear immediately following a try block. The catch block header (see the Advanced Topic titled “General Catch” later in this chapter) optionally allows you to specify the data type of the exception, and as long as the data type matches the exception type, the catch block will execute. If, however, there is no appropriate catch block, the exception will fall through and go unhandled as though there were no exception handling. The resultant control flow appears in Figure 5.1.
Figure 5.1: Exception-Handling Control Flow
For example, assume the user enters “forty-two” for the age in the previous example. In this case, int.Parse() will throw an exception of type System.FormatException, and control will jump to the set of catch blocks. (System.FormatException indicates that the string was not of the correct format to be parsed appropriately.) Since the first catch block matches the type of exception that int.Parse() threw, the code inside this block will execute. If a statement within the try block threw a different exception, the second catch block would execute because all exceptions are of type System.Exception.
If there were no System.FormatException catch block, the System.Exception catch block would execute even though int.Parse throws a System.FormatException. This is because a System.FormatException is also of type System.Exception. (System.FormatException is a more specific implementation of the generic exception, System.Exception.)
The order in which you handle exceptions is significant. Catch blocks must appear from most specific to least specific. The System.Exception data type is least specific, so it appears last. System.FormatException appears first because it is the most specific exception that Listing 5.23 handles.
Regardless of whether control leaves the try block normally or because the code in the try block throws an exception, the finally block of code will execute after control leaves the try-protected region. The purpose of the finally block is to provide a location to place code that will execute regardless of how the try/catch blocks exit—with or without an exception. Finally blocks are useful for cleaning up resources regardless of whether an exception is thrown. In fact, it is possible to have a try block with a finally block and no catch block. The finally block executes regardless of whether the try block throws an exception or whether a catch block is even written to handle the exception. Listing 5.24 demonstrates the try/finally block, and Output 5.14 shows the results.
Listing 5.24: Finally Block without a Catch Block
using System; class ExceptionHandling { static int Main() { string firstName; string ageText; int age; int result = 0; Console.Write("Enter your first name: "); firstName = Console.ReadLine(); Console.Write("Enter your age: "); ageText = Console.ReadLine(); try { age = int.Parse(ageText); Console.WriteLine( $"Hi { firstName }! You are { age*12 } months old."); } finally { Console.WriteLine($"Goodbye { firstName }"); } return result; } }
Output 5.14
Enter your first name: Inigo Enter your age: forty-two Unhandled Exception: System.FormatException: Input string was not in a correct format. at System.Number.StringToNumber(String str, NumberStyles options, NumberBuffer& number, NumberFormatInfo info, Boolean parseDecimal) at System.Number.ParseInt32(String s, NumberStyles style, NumberFormatInfo info) at ExceptionHandling.Main() Goodbye Inigo
The attentive reader will have noticed something interesting here: The runtime first reported the unhandled exception and then ran the finally block. What explains this unusual behavior?
First, the behavior is legal because when an exception is unhandled, the behavior of the runtime is implementation defined; any behavior is legal! The runtime chooses this particular behavior because it knows before it chooses to run the finally block that the exception will be unhandled; the runtime has already examined all of the activation frames on the call stack and determined that none of them is associated with a catch block that matches the thrown exception.
As soon as the runtime determines that the exception will be unhandled, it checks whether a debugger is installed on the machine, because you might be the software developer who is analyzing this failure. If a debugger is present, it offers the user the chance to attach the debugger to the process before the finally block runs. If there is no debugger installed or if the user declines to debug the problem, the default behavior is to print the unhandled exception to the console and then see if there are any finally blocks that could run. Due to the “implementation-defined” nature of the situation, the runtime is not required to run finally blocks in this situation; an implementation may choose to do so or not.
A method could throw many exception types. Table 5.2 lists some of the more common ones within the framework.
Table 5.2: Common Exception Types
Exception Type |
Description |
System.Exception |
The “base” exception from which all other exceptions derive. |
System.ArgumentException |
Indicates that one of the arguments passed into the method is invalid. |
System.ArgumentNullException |
Indicates that a particular argument is null and that this is not a valid value for that parameter. |
System.ApplicationException |
To be avoided. The original idea was that you might want to have one kind of handling for system exceptions and another for application exceptions, which, although plausible, doesn’t actually work well in the real world. |
System.FormatException |
Indicates that the string format is not valid for conversion. |
System.IndexOutOfRangeException |
Indicates that an attempt was made to access an array or other collection element that does not exist. |
System.InvalidCastException |
Indicates that an attempt to convert from one data type to another was not a valid conversion. |
System.InvalidOperationException |
Indicates that an unexpected scenario has occurred such that the application is no longer in a valid state of operation. |
System.NotImplementedException |
Indicates that although the method signature exists, it has not been fully implemented. |
System.NullReferenceException |
Thrown when code tries to find the object referred to by a reference that is null. |
System.ArithmeticException |
Indicates an invalid math operation, not including divide by zero. |
System.ArrayTypeMismatchException |
Occurs when attempting to store an element of the wrong type into an array. |
System.StackOverflowException |
Indicates an unexpectedly deep recursion. |
Reporting Errors Using a throw Statement
C# allows developers to throw exceptions from their code, as demonstrated in Listing 5.26 and Output 5.15.
Listing 5.26: Throwing an Exception
using System; public class ThrowingExceptions { public static void Main() { try { Console.WriteLine("Begin executing"); Console.WriteLine("Throw exception"); throw new Exception("Arbitrary exception"); Console.WriteLine("End executing"); } catch(FormatException exception) { Console.WriteLine( "A FormateException was thrown"); } catch(Exception exception) { Console.WriteLine( $"Unexpected error: { exception.Message }"); } catch { Console.WriteLine("Unexpected error!"); } Console.WriteLine( "Shutting down..."); } }
Output 5.15
Begin executing Throw exception... Unexpected error: Arbitrary exception Shutting down...
As the arrows in Listing 5.26 depict, throwing an exception causes execution to jump from where the exception is thrown into the first catch block within the stack that is compatible with the thrown exception type.6 In this case, the second catch block handles the exception and writes out an error message. In Listing 5.26, there is no finally block, so execution falls through to the System.Console.WriteLine() statement following the try/catch block.
To throw an exception, it is necessary to have an instance of an exception. Listing 5.26 creates an instance using the keyword new followed by the type of the exception. Most exception types allow a message to be generated as part of throwing the exception, so that when the exception occurs, the message can be retrieved.
Sometimes a catch block will trap an exception but be unable to handle it appropriately or fully. In these circumstances, a catch block can rethrow the exception using the throw statement without specifying any exception, as shown in Listing 5.27.
Listing 5.27: Rethrowing an Exception
... catch(Exception exception) { Console.WriteLine( $@"Rethrowing unexpected error: { exception.Message }"); throw; } ...
In Listing 5.27, the throw statement is “empty” rather than specifying that the exception referred to by the exception variable is to be thrown. This illustrates a subtle difference: throw; preserves the call stack information in the exception, whereas throw exception; replaces that information with the current call stack information. For debugging purposes, it is usually better to know the original call stack.
Avoid Using Exception Handling to Deal with Expected Situations
Developers should make an effort to avoid throwing exceptions for expected conditions or normal control flow. For example, developers should not expect users to enter valid text when specifying their age.7 Therefore, instead of relying on an exception to validate data entered by the user, developers should provide a means of checking the data before attempting the conversion. (Better yet, they should prevent the user from entering invalid data in the first place.) Exceptions are designed specifically for tracking exceptional, unexpected, and potentially fatal situations. Using them for an unintended purpose such as expected situations will cause your code to be hard to read, understand, and maintain.
Additionally, like most languages, C# incurs a slight performance hit when throwing an exception—taking microseconds compared to the nanoseconds most operations take. This delay is generally not noticeable in human time—except when the exception goes unhandled. For example, when Listing 5.22 is executed and the user enters an invalid age, the exception is unhandled and there is a noticeable delay while the runtime searches the environment to see whether there is a debugger to load. Fortunately, slow performance when a program is shutting down isn’t generally a factor to be concerned with.
End 2.0