21 Exceptions
21.1 General
Exceptions in C# provide a structured, uniform, and type-safe way of handling both system level and application-level error conditions.
21.2 Causes of exceptions
Exceptions can be thrown in two different ways.
- A
throw
statement (§13.10.6) throws an exception immediately and unconditionally. Control never reaches the statement immediately following thethrow
. - Certain exceptional conditions that arise during the processing of C# statements and expressions cause an exception to be thrown in certain circumstances when the operation cannot be completed normally. See §21.5 for a list of the various exceptions that can be thrown in this way.
Example: An integer division operation (§12.10.3) throws a
System.DivideByZeroException
if the denominator is zero. end example
21.3 The System.Exception class
The System.Exception
class is the base type of all exceptions. This class has a few notable properties that all exceptions share:
Message
is a read-only property of typestring
that contains a human-readable description of the reason for the exception.InnerException
is a read-only property of typeException
. If its value is non-null
, it refers to the exception that caused the current exception. (That is, the current exception was raised in a catch block handling theInnerException
.) Otherwise, its value isnull
, indicating that this exception was not caused by another exception. The number of exception objects chained together in this manner can be arbitrary.
The value of these properties can be specified in calls to the instance constructor for System.Exception
.
21.4 How exceptions are handled
Exceptions are handled by a try
statement (§13.11).
When an exception is thrown (§21.2), the system searches for the nearest catch clause that can handle the exception, as determined by the run-time type of the exception. First, the current method is searched for a lexically enclosing try
statement, and the associated catch
clauses of the try
statement are considered in order. If that fails, the method that called the current method is searched for a lexically enclosing try
statement that encloses the point of the call to the current method. This search continues until a catch
clause is found that can handle the current exception, by naming an exception class that is of the same class, or a base class, of the run-time type of the exception being thrown. A catch
clause that doesn’t name an exception class can handle any exception.
Once a matching catch
clause is found, the system prepares to transfer control to the first statement of the catch
clause. Before execution of the catch
clause begins, the system first executes, in order, any finally
clauses that were associated with try
statements more nested that than the one that caught the exception.
If no matching catch
clause is found:
- If the search for a matching
catch
clause reaches a static constructor (§15.12) or static field initializer, then aSystem.TypeInitializationException
is thrown at the point that triggered the invocation of the static constructor. The inner exception of theSystem.TypeInitializationException
contains the exception that was originally thrown. - Otherwise, if an exception occurs during finalizer execution, and that exception is not caught, then the behavior is unspecified.
- Otherwise, if the search for matching
catch
clauses reaches the code that initially started the thread, then execution of the thread is terminated. The impact of such termination is implementation-defined.
21.5 Common exception classes
The following exceptions are thrown by certain C# operations.
Exception Type | Description |
---|---|
System.ArithmeticException |
A base class for exceptions that occur during arithmetic operations, such as System.DivideByZeroException and System.OverflowException . |
System.ArrayTypeMismatchException |
Thrown when a store into an array fails because the type of the stored element is incompatible with the type of the array. |
System.DivideByZeroException |
Thrown when an attempt to divide an integral value by zero occurs. |
System.IndexOutOfRangeException |
Thrown when an attempt to index an array via an index that is less than zero or outside the bounds of the array. |
System.InvalidCastException |
Thrown when an explicit conversion from a base type or interface to a derived type fails at run-time. |
System.NullReferenceException |
Thrown when a null reference is used in a way that causes the referenced object to be required. |
System.OutOfMemoryException |
Thrown when an attempt to allocate memory (via new ) fails. |
System.OverflowException |
Thrown when an arithmetic operation in a checked context overflows. |
System.StackOverflowException |
Thrown when the execution stack is exhausted by having too many pending calls; typically indicative of very deep or unbounded recursion. |
System.TypeInitializationException |
Thrown when a static constructor or static field initializer throws an exception, and no catch clause exists to catch it. |
ECMA C# draft specification