Classe System::Exception

Cet article vous offre des remarques complémentaires à la documentation de référence pour cette API.

La Exception classe est la classe de base pour toutes les exceptions. Lorsqu’une erreur se produit, le système ou l’application en cours d’exécution le signale en levant une exception qui contient des informations sur l’erreur. Une fois qu’une exception est levée, elle est gérée par l’application ou par le gestionnaire d’exceptions par défaut.

Erreurs et exceptions

Les erreurs d’exécution peuvent se produire pour plusieurs raisons. Toutefois, toutes les erreurs ne doivent pas être gérées en tant qu’exceptions dans votre code. Voici quelques catégories d’erreurs qui peuvent se produire au moment de l’exécution et les méthodes appropriées pour y répondre.

• Erreurs d’utilisation. Une erreur d’utilisation représente une erreur dans la logique du programme qui peut entraîner une exception. Toutefois, l’erreur ne doit pas être traitée par le biais de la gestion des exceptions, mais plutôt en modifiant le code défectueux. Par exemple, le remplacement de la méthode Object.Equals(Object) dans l’exemple suivant suppose que l’argument obj doit toujours ne pas être nul.

  using System;
  
  public class Person1
  {
     private string _name;
  
     public string Name
     {
        get { return _name; }
        set { _name = value; }
     }
  
     public override int GetHashCode()
     {
        return this.Name.GetHashCode();
     }
  
     public override bool Equals(object obj)
     {
        // This implementation contains an error in program logic:
        // It assumes that the obj argument is not null.
        Person1 p = (Person1) obj;
        return this.Name.Equals(p.Name);
     }
  }
  
  public class UsageErrorsEx1
  {
     public static void Main()
     {
        Person1 p1 = new Person1();
        p1.Name = "John";
        Person1 p2 = null;
  
        // The following throws a NullReferenceException.
        Console.WriteLine("p1 = p2: {0}", p1.Equals(p2));
     }
  }
  

  // In F#, null is not a valid state for declared types 
  // without 'AllowNullLiteralAttribute'
  [<AllowNullLiteral>]
  type Person() =
      member val Name = "" with get, set
  
      override this.GetHashCode() =
          this.Name.GetHashCode()
  
      override this.Equals(obj) =
          // This implementation contains an error in program logic:
          // It assumes that the obj argument is not null.
          let p = obj :?> Person
          this.Name.Equals p.Name
  
  let p1 = Person()
  p1.Name <- "John"
  let p2: Person = null
  
  // The following throws a NullReferenceException.
  printfn $"p1 = p2: {p1.Equals p2}"
  

  Public Class Person
     Private _name As String
     
     Public Property Name As String
        Get
           Return _name
        End Get
        Set
           _name = value
        End Set
     End Property
     
     Public Overrides Function Equals(obj As Object) As Boolean
        ' This implementation contains an error in program logic:
        ' It assumes that the obj argument is not null.
        Dim p As Person = CType(obj, Person)
        Return Me.Name.Equals(p.Name)
     End Function
  End Class
  
  Module Example2
      Public Sub Main()
          Dim p1 As New Person()
          p1.Name = "John"
          Dim p2 As Person = Nothing
  
          ' The following throws a NullReferenceException.
          Console.WriteLine("p1 = p2: {0}", p1.Equals(p2))
      End Sub
  End Module
  

  L’exception NullReferenceException qui se produit lorsqu’il obj est null peut être éliminée en modifiant le code source pour tester explicitement la valeur nul avant d’appeler le remplacement Object.Equals, puis de recréer la compilation. L’exemple suivant contient le code source corrigé qui gère un argument null.

  using System;
  
  public class Person2
  {
      private string _name;
  
      public string Name
      {
          get { return _name; }
          set { _name = value; }
      }
  
      public override int GetHashCode()
      {
          return this.Name.GetHashCode();
      }
  
      public override bool Equals(object obj)
      {
          // This implementation handles a null obj argument.
          Person2 p = obj as Person2;
          if (p == null)
              return false;
          else
              return this.Name.Equals(p.Name);
      }
  }
  
  public class UsageErrorsEx2
  {
      public static void Main()
      {
          Person2 p1 = new Person2();
          p1.Name = "John";
          Person2 p2 = null;
  
          Console.WriteLine("p1 = p2: {0}", p1.Equals(p2));
      }
  }
  // The example displays the following output:
  //        p1 = p2: False
  

  // In F#, null is not a valid state for declared types 
  // without 'AllowNullLiteralAttribute'
  [<AllowNullLiteral>]
  type Person() =
      member val Name = "" with get, set
  
      override this.GetHashCode() =
          this.Name.GetHashCode()
  
      override this.Equals(obj) =
          // This implementation handles a null obj argument.
          match obj with
          | :? Person as p -> 
              this.Name.Equals p.Name
          | _ ->
              false
  
  let p1 = Person()
  p1.Name <- "John"
  let p2: Person = null
  
  printfn $"p1 = p2: {p1.Equals p2}"
  // The example displays the following output:
  //        p1 = p2: False
  

  Public Class Person2
      Private _name As String
  
      Public Property Name As String
          Get
              Return _name
          End Get
          Set
              _name = Value
          End Set
      End Property
  
      Public Overrides Function Equals(obj As Object) As Boolean
          ' This implementation handles a null obj argument.
          Dim p As Person2 = TryCast(obj, Person2)
          If p Is Nothing Then
              Return False
          Else
              Return Me.Name.Equals(p.Name)
          End If
      End Function
  End Class
  
  Module Example3
      Public Sub Main()
          Dim p1 As New Person2()
          p1.Name = "John"
          Dim p2 As Person2 = Nothing
  
          Console.WriteLine("p1 = p2: {0}", p1.Equals(p2))
      End Sub
  End Module
  ' The example displays the following output:
  '       p1 = p2: False
  

  Au lieu d’utiliser la gestion des exceptions pour les erreurs d’utilisation, vous pouvez utiliser la méthode Debug.Assert pour identifier les erreurs d’utilisation dans les builds de débogage et la méthode Trace.Assert pour identifier les erreurs d’utilisation dans les builds de débogage et de mise en production. Pour plus d’informations, consultez Assertions dans du code managé.

• Erreurs de programme. Une erreur de programme est une erreur d’exécution qui ne peut pas nécessairement être évitée en écrivant du code sans bogue.

  Dans certains cas, une erreur de programme peut refléter une condition d’erreur attendue ou de routine. Dans ce cas, vous pouvez éviter d’utiliser la gestion des exceptions pour traiter l’erreur du programme et réessayer l’opération. Par exemple, si l’utilisateur est censé entrer une date dans un format particulier, vous pouvez analyser la chaîne de date en appelant la méthode DateTime.TryParseExact, qui retourne une valeur Boolean indiquant si l’opération d’analyse a réussi, au lieu d’utiliser la méthode DateTime.ParseExact, qui lève une exception FormatException si la chaîne de date ne peut pas être convertie en valeur DateTime. De même, si un utilisateur tente d’ouvrir un fichier qui n’existe pas, vous pouvez d’abord appeler la méthode File.Exists pour vérifier si le fichier existe et, si ce n’est pas le cas, inviter l’utilisateur à le créer.

  Dans d’autres cas, une erreur de programme reflète une condition d’erreur inattendue qui peut être gérée dans votre code. Par exemple, même si vous avez vérifié l’existence d’un fichier, il peut être supprimé avant de pouvoir l’ouvrir, ou il peut être endommagé. Dans ce cas, la tentative d’ouverture du fichier en instanciant un objet StreamReader ou en appelant la méthode Open peut lever une exception FileNotFoundException. Dans ces cas, vous devez utiliser la gestion des exceptions pour pouvoir récupérer à partir de l’erreur.

• Défaillances de système. Une défaillance système est une erreur d’exécution qui ne peut pas être gérée de manière significative par un programme. Par exemple, toute méthode peut lever une exception OutOfMemoryException si le Common Language Runtime est incapable d’allouer de la mémoire supplémentaire. En règle générale, les défaillances de système ne sont pas gérées à l’aide de la gestion des exceptions. Au lieu de cela, vous pouvez utiliser un événement tel que AppDomain.UnhandledException et appeler la méthode Environment.FailFast pour consigner les informations d’exception et avertir l’utilisateur de l’échec avant la fin de l’application.

Try/catch (blocs)

Le Common Language Runtime fournit un modèle de gestion des exceptions basé sur la représentation des exceptions en tant qu’objets, ainsi que la séparation du code de programme et du code de gestion des exceptions en blocs try et en blocs catch. Il peut y avoir un ou plusieurs blocs catch, chacun conçu pour gérer un type particulier d’exception ou un bloc conçu pour intercepter une exception plus spécifique qu’un autre bloc.

Si une application gère les exceptions qui se produisent pendant l’exécution d’un bloc de code d’application, le code doit être placé dans une instruction try et est appelé bloc try . Le code d’application qui gère les exceptions levées par un bloc try est placé dans une instruction catch et est appelé bloc catch. Zéro ou plusieurs blocs catch sont associés à un bloc try, et chaque bloc catch inclut un filtre de type qui détermine les types d’exceptions qu’il gère.

Lorsqu’une exception se produit dans un bloc try, le système recherche les blocs catch associés dans l’ordre dans lequel ils apparaissent dans le code de l’application, jusqu’à ce qu’il localise un bloc catch capable de gérer l’exception. Un bloc catch gère une exception de type T si le filtre de type du bloc catch spécifie T ou tout type T dérivé. Le système cesse de rechercher après avoir trouvé le premier bloc catch capable de gérer l’exception. Pour cette raison, dans le code de l’application, un bloc catch qui gère un type doit être spécifié avant un bloc catch capable de gérer ses types de base, comme illustré dans l’exemple suivant cette section. Un bloc catch System.Exception capable de gérer spécifié en dernier.

Si aucun des blocs catch associés au bloc try actuel ne gère l’exception et que le bloc try actuel est imbriqué dans d’autres blocs try dans l’appel actuel, les blocs catch associés au bloc try englobant suivant sont recherchés. Si aucun bloc catch pour l’exception n’est trouvé, le système recherche les niveaux d’imbrication précédents dans l’appel actuel. Si aucun bloc catch pour l’exception n’est trouvé dans l’appel actuel, l’exception est passée à la pile des appels et le cadre de pile précédent est recherché pour un bloc catch qui gère l’exception. La recherche de la pile des appels se poursuit jusqu’à ce que l’exception soit gérée ou jusqu’à ce qu’il n’existe plus d’images sur la pile des appels. Si le haut de la pile des appels est atteint sans trouver un bloc catch qui gère l’exception, le gestionnaire d’exceptions par défaut le gère et l’application se termine.

F# try...with (expression)

F# n’utilise pas de blocs catch. Au lieu de cela, une exception levée est mise en correspondance à l’aide d’un bloc unique with. Comme il s’agit d’une expression, plutôt qu’une instruction, tous les chemins d’accès doivent retourner le même type. Pour plus d’informations, consultez Try...with (expression).

Fonctionnalités de type d’exception

Les types d’exceptions prennent en charge les fonctionnalités suivantes :

• Texte lisible par un humain qui décrit l’erreur. Lorsqu’une exception se produit, le runtime met à disposition un message de texte pour l’informer l’utilisateur de la nature de l’erreur et suggérer une action pour résoudre le problème. Ce message texte est conservé dans la propriété Message de l’objet exception. Lors de la création de l’objet d’exception, vous pouvez passer une chaîne de texte au constructeur pour décrire les détails de cette exception particulière. Si aucun argument de message d’erreur n’est fourni au constructeur, le message d’erreur par défaut est utilisé. Pour plus d'informations, consultez la propriété Message.

• L’état de la pile des appels lorsque l’exception a été levée. La propriété StackTrace comporte une trace de pile qui peut être utilisée pour déterminer où l’erreur se produit dans le code. La trace de pile répertorie toutes les méthodes appelées et les numéros de ligne dans le fichier source où les appels sont effectués.

Propriétés de classe d’exception

La classe Exception inclut un certain nombre de propriétés qui permettent d’identifier l’emplacement du code, le type, le fichier d’aide et la raison de l’exception : StackTrace, InnerException, Message, HelpLink, HResult, Source, TargetSite et Data.

Lorsqu’une relation causale existe entre deux exceptions ou plus, la propriété InnerException conserve ces informations. L’exception externe est levée en réponse à cette exception interne. Le code qui gère l’exception externe peut utiliser les informations de l’exception interne précédente pour gérer l’erreur de manière plus appropriée. Des informations supplémentaires sur l’exception peuvent être stockées sous la forme d’une collection de paires clé/valeur dans la propriété Data.

La chaîne de message d’erreur transmise au constructeur pendant la création de l’objet d’exception doit être localisée et peut être fournie à partir d’un fichier de ressources à l’aide de la classe ResourceManager. Pour plus d’informations sur les ressources localisées, consultez les rubriques Création d’Assemblages satellites et Ressources de déploiement et d’empaquetage.

Pour fournir à l’utilisateur des informations détaillées sur la raison pour laquelle l’exception s’est produite, la propriété HelpLink peut contenir une URL (ou URN) dans un fichier d’aide.

La classe Exception utilise HRESULT COR_E_EXCEPTION, qui a la valeur 0x80131500.

Pour obtenir la liste des valeurs de propriété initiales d'une instance de la classe Exception, consultez les constructeurs Exception.

Considérations relatives aux performances

La levée ou la gestion d’une exception consomme une quantité importante de ressources système et de temps d’exécution. Lever des exceptions uniquement pour gérer des conditions vraiment extraordinaires, et non pour gérer les événements prévisibles ou le contrôle de flux. Par exemple, dans certains cas, comme lorsque vous développez une bibliothèque de classes, il est raisonnable de lever une exception si un argument de méthode n’est pas valide, car vous vous attendez à ce que votre méthode soit appelée avec des paramètres valides. Un argument de méthode non valide, s’il n’est pas le résultat d’une erreur d’utilisation, signifie que quelque chose en dehors de l’ordinaire s’est produit. À l’inverse, ne levez pas d’exception si l’entrée utilisateur n’est pas valide, car vous pouvez vous attendre à ce que les utilisateurs entrent occasionnellement des données non valides. Au lieu de cela, fournissez un mécanisme de nouvelle tentative afin que les utilisateurs puissent entrer une entrée valide. Vous ne devez pas non plus utiliser des exceptions pour gérer les erreurs d’utilisation. Utilisez plutôt des assertions pour identifier et corriger les erreurs d’utilisation.

En outre, ne levez pas d’exception lorsqu’un code de retour est suffisant, ne convertissez pas de code de retour en exception et ne interceptez pas régulièrement une exception. À au lieu de cela, ignorez-la, puis poursuivez le traitement.

Lever à nouveau l’exception

Dans de nombreux cas, un gestionnaire d’exceptions souhaite simplement transmettre l’exception à l’appelant. Cela se produit le plus souvent dans :

• Bibliothèque de classes qui encapsule à son tour les appels aux méthodes dans la bibliothèque de classes .NET ou d’autres bibliothèques de classes.

• Application ou bibliothèque qui rencontre une exception irrécupérable. Le gestionnaire d’exceptions peut enregistrer l’exception, puis lever à nouveau l’exception.

La méthode recommandée pour lever une exception consiste simplement à utiliser l’instruction throw en C#, la fonction reraise en F# et l’instruction Throw en Visual Basic sans ajouter d’expression. Cela garantit que toutes les informations de pile d’appels sont conservées lorsque l’exception est propagée à l’appelant. L'exemple suivant illustre ce comportement. Une méthode d’extension de chaîne, FindOccurrences, encapsule au préalable un ou plusieurs appels à String.IndexOf(String, Int32) sans valider ses arguments.

using System;
using System.Collections.Generic;

public static class Library1
{
    public static int[] FindOccurrences(this String s, String f)
    {
        var indexes = new List<int>();
        int currentIndex = 0;
        try
        {
            while (currentIndex >= 0 && currentIndex < s.Length)
            {
                currentIndex = s.IndexOf(f, currentIndex);
                if (currentIndex >= 0)
                {
                    indexes.Add(currentIndex);
                    currentIndex++;
                }
            }
        }
        catch (ArgumentNullException)
        {
            // Perform some action here, such as logging this exception.

            throw;
        }
        return indexes.ToArray();
    }
}

open System

module Library = 
    let findOccurrences (s: string) (f: string) =
        let indexes = ResizeArray()
        let mutable currentIndex = 0
        try
            while currentIndex >= 0 && currentIndex < s.Length do
                currentIndex <- s.IndexOf(f, currentIndex)
                if currentIndex >= 0 then
                    indexes.Add currentIndex
                    currentIndex <- currentIndex + 1
        with :? ArgumentNullException ->
            // Perform some action here, such as logging this exception.
            reraise ()
        indexes.ToArray()

Imports System.Collections.Generic
Imports System.Runtime.CompilerServices

Public Module Library
    <Extension()>
    Public Function FindOccurrences1(s As String, f As String) As Integer()
        Dim indexes As New List(Of Integer)
        Dim currentIndex As Integer = 0
        Try
            Do While currentIndex >= 0 And currentIndex < s.Length
                currentIndex = s.IndexOf(f, currentIndex)
                If currentIndex >= 0 Then
                    indexes.Add(currentIndex)
                    currentIndex += 1
                End If
            Loop
        Catch e As ArgumentNullException
            ' Perform some action here, such as logging this exception.

            Throw
        End Try
        Return indexes.ToArray()
    End Function
End Module

Un appelant appelle ensuite FindOccurrences deux fois. Dans le deuxième appel à FindOccurrences, l’appelant passe une null en tant que chaîne de recherche. Ainsi, la méthode String.IndexOf(String, Int32) lève une exception ArgumentNullException. Cette exception est gérée par la méthode FindOccurrences et renvoyée à l’appelant. Étant donné que l’instruction lever (throw) est utilisée sans expression, la sortie de l’exemple montre que la pile des appels est conservée.

public class RethrowEx1
{
    public static void Main()
    {
        String s = "It was a cold day when...";
        int[] indexes = s.FindOccurrences("a");
        ShowOccurrences(s, "a", indexes);
        Console.WriteLine();

        String toFind = null;
        try
        {
            indexes = s.FindOccurrences(toFind);
            ShowOccurrences(s, toFind, indexes);
        }
        catch (ArgumentNullException e)
        {
            Console.WriteLine("An exception ({0}) occurred.",
                              e.GetType().Name);
            Console.WriteLine("Message:\n   {0}\n", e.Message);
            Console.WriteLine("Stack Trace:\n   {0}\n", e.StackTrace);
        }
    }

    private static void ShowOccurrences(String s, String toFind, int[] indexes)
    {
        Console.Write("'{0}' occurs at the following character positions: ",
                      toFind);
        for (int ctr = 0; ctr < indexes.Length; ctr++)
            Console.Write("{0}{1}", indexes[ctr],
                          ctr == indexes.Length - 1 ? "" : ", ");

        Console.WriteLine();
    }
}
// The example displays the following output:
//    'a' occurs at the following character positions: 4, 7, 15
//
//    An exception (ArgumentNullException) occurred.
//    Message:
//       Value cannot be null.
//    Parameter name: value
//
//    Stack Trace:
//          at System.String.IndexOf(String value, Int32 startIndex, Int32 count, Stri
//    ngComparison comparisonType)
//       at Library.FindOccurrences(String s, String f)
//       at Example.Main()

open Library

let showOccurrences toFind (indexes: int[]) =
    printf $"'{toFind}' occurs at the following character positions: "
    for i = 0 to indexes.Length - 1 do
        printf $"""{indexes[i]}{if i = indexes.Length - 1 then "" else ", "}"""
    printfn ""

let s = "It was a cold day when..."
let indexes = findOccurrences s "a"
showOccurrences "a" indexes
printfn ""

let toFind: string = null
try
    let indexes = findOccurrences s toFind
    showOccurrences toFind indexes

with :? ArgumentNullException as e ->
    printfn $"An exception ({e.GetType().Name}) occurred."
    printfn $"Message:\n   {e.Message}\n"
    printfn $"Stack Trace:\n   {e.StackTrace}\n"

// The example displays the following output:
//    'a' occurs at the following character positions: 4, 7, 15
//
//    An exception (ArgumentNullException) occurred.
//    Message:
//       Value cannot be null. (Parameter 'value')
//
//    Stack Trace:
//          at System.String.IndexOf(String value, Int32 startIndex, Int32 count, Stri
//    ngComparison comparisonType)
//       at Library.findOccurrences(String s, String f)
//       at <StartupCode$fs>.main@()

Module Example1
    Public Sub Main()
        Dim s As String = "It was a cold day when..."
        Dim indexes() As Integer = s.FindOccurrences1("a")
        ShowOccurrences(s, "a", indexes)
        Console.WriteLine()

        Dim toFind As String = Nothing
        Try
            indexes = s.FindOccurrences1(toFind)
            ShowOccurrences(s, toFind, indexes)
        Catch e As ArgumentNullException
            Console.WriteLine("An exception ({0}) occurred.",
                           e.GetType().Name)
            Console.WriteLine("Message:{0}   {1}{0}", vbCrLf, e.Message)
            Console.WriteLine("Stack Trace:{0}   {1}{0}", vbCrLf, e.StackTrace)
        End Try
    End Sub

    Private Sub ShowOccurrences(s As String, toFind As String, indexes As Integer())
        Console.Write("'{0}' occurs at the following character positions: ",
                    toFind)
        For ctr As Integer = 0 To indexes.Length - 1
            Console.Write("{0}{1}", indexes(ctr),
                       If(ctr = indexes.Length - 1, "", ", "))
        Next
        Console.WriteLine()
    End Sub
End Module
' The example displays the following output:
'    'a' occurs at the following character positions: 4, 7, 15
'
'    An exception (ArgumentNullException) occurred.
'    Message:
'       Value cannot be null.
'    Parameter name: value
'
'    Stack Trace:
'          at System.String.IndexOf(String value, Int32 startIndex, Int32 count, Stri
'    ngComparison comparisonType)
'       at Library.FindOccurrences(String s, String f)
'       at Example.Main()

En revanche, si l’exception est levée à nouveau à l’aide de cette instruction :

throw e;

Throw e

raise e

... la pile d’appels complète n’est pas conservée, et l’exemple génère la sortie suivante :

'a' occurs at the following character positions: 4, 7, 15

An exception (ArgumentNullException) occurred.
Message:
   Value cannot be null.
Parameter name: value

Stack Trace:
      at Library.FindOccurrences(String s, String f)
   at Example.Main()

Une alternative légèrement plus fastidieuse consiste à lever une nouvelle exception et à conserver les informations de pile d’appels de l’exception d’origine dans une exception interne. L’appelant peut ensuite utiliser la propriété de la nouvelle exception pour récupérer le frame de pile InnerException et d’autres informations sur l’exception d’origine. Dans ce cas, l’instruction lever (throw) est la suivante :

throw new ArgumentNullException("You must supply a search string.", e);

raise (ArgumentNullException("You must supply a search string.", e) )

Throw New ArgumentNullException("You must supply a search string.",
                             e)

Le code utilisateur qui gère l’exception doit savoir que la propriété InnerException contient des informations sur l’exception d’origine, comme le montre le gestionnaire d’exceptions suivant.

try
{
    indexes = s.FindOccurrences(toFind);
    ShowOccurrences(s, toFind, indexes);
}
catch (ArgumentNullException e)
{
    Console.WriteLine("An exception ({0}) occurred.",
                      e.GetType().Name);
    Console.WriteLine("   Message:\n{0}", e.Message);
    Console.WriteLine("   Stack Trace:\n   {0}", e.StackTrace);
    Exception ie = e.InnerException;
    if (ie != null)
    {
        Console.WriteLine("   The Inner Exception:");
        Console.WriteLine("      Exception Name: {0}", ie.GetType().Name);
        Console.WriteLine("      Message: {0}\n", ie.Message);
        Console.WriteLine("      Stack Trace:\n   {0}\n", ie.StackTrace);
    }
}
// The example displays the following output:
//    'a' occurs at the following character positions: 4, 7, 15
//
//    An exception (ArgumentNullException) occurred.
//       Message: You must supply a search string.
//
//       Stack Trace:
//          at Library.FindOccurrences(String s, String f)
//       at Example.Main()
//
//       The Inner Exception:
//          Exception Name: ArgumentNullException
//          Message: Value cannot be null.
//    Parameter name: value
//
//          Stack Trace:
//          at System.String.IndexOf(String value, Int32 startIndex, Int32 count, Stri
//    ngComparison comparisonType)
//       at Library.FindOccurrences(String s, String f)

try
    let indexes = findOccurrences s toFind
    showOccurrences toFind indexes
with :? ArgumentNullException as e ->
    printfn $"An exception ({e.GetType().Name}) occurred."
    printfn $"   Message:\n{e.Message}"
    printfn $"   Stack Trace:\n   {e.StackTrace}"
    let ie = e.InnerException
    if ie <> null then
        printfn "   The Inner Exception:"
        printfn $"      Exception Name: {ie.GetType().Name}"
        printfn $"      Message: {ie.Message}\n"
        printfn $"      Stack Trace:\n   {ie.StackTrace}\n"
// The example displays the following output:
//    'a' occurs at the following character positions: 4, 7, 15
//
//    An exception (ArgumentNullException) occurred.
//       Message: You must supply a search string.
//
//       Stack Trace:
//          at Library.FindOccurrences(String s, String f)
//       at Example.Main()
//
//       The Inner Exception:
//          Exception Name: ArgumentNullException
//          Message: Value cannot be null.
//    Parameter name: value
//
//          Stack Trace:
//          at System.String.IndexOf(String value, Int32 startIndex, Int32 count, Stri
//    ngComparison comparisonType)
//       at Library.FindOccurrences(String s, String f)

Try
    indexes = s.FindOccurrences(toFind)
    ShowOccurrences(s, toFind, indexes)
Catch e As ArgumentNullException
    Console.WriteLine("An exception ({0}) occurred.",
                   e.GetType().Name)
    Console.WriteLine("   Message: {1}{0}", vbCrLf, e.Message)
    Console.WriteLine("   Stack Trace:{0}   {1}{0}", vbCrLf, e.StackTrace)
    Dim ie As Exception = e.InnerException
    If ie IsNot Nothing Then
        Console.WriteLine("   The Inner Exception:")
        Console.WriteLine("      Exception Name: {0}", ie.GetType().Name)
        Console.WriteLine("      Message: {1}{0}", vbCrLf, ie.Message)
        Console.WriteLine("      Stack Trace:{0}   {1}{0}", vbCrLf, ie.StackTrace)
    End If
End Try
' The example displays the following output:
'       'a' occurs at the following character positions: 4, 7, 15
'
'       An exception (ArgumentNullException) occurred.
'          Message: You must supply a search string.
'
'          Stack Trace:
'             at Library.FindOccurrences(String s, String f)
'          at Example.Main()
'
'          The Inner Exception:
'             Exception Name: ArgumentNullException
'             Message: Value cannot be null.
'       Parameter name: value
'
'             Stack Trace:
'             at System.String.IndexOf(String value, Int32 startIndex, Int32 count, Stri
'       ngComparison comparisonType)
'          at Library.FindOccurrences(String s, String f)

Choisir des exceptions standard

Lorsque vous devez lever une exception, vous pouvez souvent utiliser un type d’exception existant dans .NET au lieu d’implémenter une exception personnalisée. Vous devez utiliser un type d’exception standard dans ces deux conditions :

• Vous levez une exception provoquée par une erreur d’utilisation (c’est-à-dire par une erreur dans la logique du programme effectuée par le développeur qui appelle votre méthode). En règle générale, vous levez une exception telle que ArgumentException, ArgumentNullException, InvalidOperationException ou NotSupportedException. La chaîne que vous fournissez au constructeur de l’objet d’exception lors de l’instanciation de l’objet d’exception doit décrire l’erreur afin que le développeur puisse le corriger. Pour plus d'informations, consultez la propriété Message.

• Vous gérez une erreur qui peut être communiquée à l’appelant avec une exception .NET existante. Vous devez lever l’exception la plus dérivée possible. Par exemple, si une méthode exige qu’un argument soit un membre valide d’un type d’énumération, vous devez lever une InvalidEnumArgumentException (la classe la plus dérivée) plutôt qu’une ArgumentException.

Le tableau suivant répertorie les types d’exceptions courants et les conditions dans lesquelles vous les liez.

Implémenter des exceptions personnalisées

Dans les cas suivants, l’utilisation d’une exception .NET existante pour gérer une condition d’erreur n’est pas adéquate :

• Lorsque l’exception reflète une erreur de programme unique qui ne peut pas être mappée à une exception .NET existante.

• Lorsque l’exception nécessite une gestion différente de la gestion appropriée pour une exception .NET existante, ou l’exception ne doit pas être confondue avec une exception similaire. Par exemple, si vous levez une exception ArgumentOutOfRangeException lors de l’analyse de la représentation numérique d’une chaîne hors de portée du type intégral cible, il n’est pas intéressant d’utiliser la même exception pour une erreur qui résulte de l’appelant ne fournissant pas les valeurs contraintes appropriées lors de l’appel de la méthode.

La classe Exception est la classe de base de toutes les exceptions dans .NET. De nombreuses classes dérivées s’appuient sur le comportement hérité des membres de la classe Exception. Elles ne remplacent pas les membres de Exception, ni ne définissent aucun membre unique.

Pour définir votre propre classe d’exception :

1. Définissez une classe qui hérite de Exception. Si nécessaire, définissez les membres uniques nécessaires à votre classe pour fournir des informations supplémentaires sur l’exception. Par exemple, la classe ArgumentException inclut une propriété ParamName qui spécifie le nom du paramètre dont l’argument a provoqué l’exception, et la RegexMatchTimeoutException propriété inclut une MatchTimeout propriété qui indique l’intervalle de délai d’attente.

2. Si nécessaire, remplacez les membres hérités dont vous souhaitez modifier ou modifier les fonctionnalités. Notez que la plupart des classes dérivées existantes de Exception ne remplacent pas le comportement des membres hérités.

3. Déterminez si votre objet d’exception personnalisé est sérialisable. La sérialisation vous permet d’enregistrer des informations sur l’exception et d’autoriser le partage d’informations d’exception par un serveur et un proxy client dans un contexte de communication à distance. Pour rendre l’objet d’exception sérialisable, marquez-le avec l’attribut SerializableAttribute .

4. Définissez les constructeurs de votre classe d’exception. En règle générale, les classes d’exception ont un ou plusieurs des constructeurs suivants :

   • Exception(), qui utilise des valeurs par défaut pour initialiser les propriétés d’un nouvel objet d’exception.

   • Exception(String), qui initialise un nouvel objet d’exception avec un message d’erreur spécifié.

   • Exception(String, Exception), qui initialise un nouvel objet d’exception avec un message d’erreur et une exception interne spécifiés.

   • Exception(SerializationInfo, StreamingContext), qui est un constructeur protected responsable pour initialiser un nouvel objet d’exception à partir de données sérialisées. Vous devez implémenter ce constructeur si vous avez choisi de rendre votre objet d’exception sérialisable.

L’exemple suivant illustre l’utilisation d’une classe d’exception personnalisée. Cela définit une exception NotPrimeException levée lorsqu’un client tente de récupérer une séquence de nombres premiers en spécifiant un nombre de départ qui n’est pas premier. L’exception définit une nouvelle propriété, NonPrime, qui retourne le nombre non premier qui a provoqué l’exception. Outre l’implémentation d’un constructeur sans paramètre protégé et d’un constructeur avec des paramètres SerializationInfo et StreamingContext pour la sérialisation, la classe NotPrimeException définit trois constructeurs supplémentaires pour prendre en charge la propriété NonPrime. Chaque constructeur appelle un constructeur de classe de base en plus de conserver la valeur du nombre non premier. La classe NotPrimeException est également marquée avec l’attribut SerializableAttribute.

using System;
using System.Runtime.Serialization;

[Serializable()]
public class NotPrimeException : Exception
{
   private int notAPrime;

   protected NotPrimeException()
      : base()
   { }

   public NotPrimeException(int value) :
      base(String.Format("{0} is not a prime number.", value))
   {
      notAPrime = value;
   }

   public NotPrimeException(int value, string message)
      : base(message)
   {
      notAPrime = value;
   }

   public NotPrimeException(int value, string message, Exception innerException) :
      base(message, innerException)
   {
      notAPrime = value;
   }

   protected NotPrimeException(SerializationInfo info,
                               StreamingContext context)
      : base(info, context)
   { }

   public int NonPrime
   { get { return notAPrime; } }
}

namespace global

open System
open System.Runtime.Serialization

[<Serializable>]
type NotPrimeException = 
    inherit Exception
    val notAPrime: int

    member this.NonPrime =
        this.notAPrime

    new (value) =
        { inherit Exception($"%i{value} is not a prime number."); notAPrime = value }

    new (value, message) =
        { inherit Exception(message); notAPrime = value }

    new (value, message, innerException: Exception) =
        { inherit Exception(message, innerException); notAPrime = value }

    // F# does not support protected members
    new () = 
        { inherit Exception(); notAPrime = 0 }

    new (info: SerializationInfo, context: StreamingContext) =
        { inherit Exception(info, context); notAPrime = 0 }

Imports System.Runtime.Serialization

<Serializable()> _
Public Class NotPrimeException : Inherits Exception
   Private notAPrime As Integer

   Protected Sub New()
      MyBase.New()
   End Sub

   Public Sub New(value As Integer)
      MyBase.New(String.Format("{0} is not a prime number.", value))
      notAPrime = value
   End Sub

   Public Sub New(value As Integer, message As String)
      MyBase.New(message)
      notAPrime = value
   End Sub

   Public Sub New(value As Integer, message As String, innerException As Exception)
      MyBase.New(message, innerException)
      notAPrime = value
   End Sub

   Protected Sub New(info As SerializationInfo,
                     context As StreamingContext)
      MyBase.New(info, context)
   End Sub

   Public ReadOnly Property NonPrime As Integer
      Get
         Return notAPrime
      End Get
   End Property
End Class

La classe PrimeNumberGenerator illustrée dans l’exemple suivant utilise le crible d'Ératosthène pour calculer la séquence de nombres premiers de 2 à une limite spécifiée par le client dans l’appel à son constructeur de classe. La méthode GetPrimesFrom retourne tous les nombres premiers supérieurs ou égaux à une limite inférieure spécifiée, mais lève une valeur NotPrimeException si cette limite inférieure n’est pas un nombre premier.

using System;
using System.Collections.Generic;

[Serializable]
public class PrimeNumberGenerator
{
   private const int START = 2;
   private int maxUpperBound = 10000000;
   private int upperBound;
   private bool[] primeTable;
   private List<int> primes = new List<int>();

   public PrimeNumberGenerator(int upperBound)
   {
      if (upperBound > maxUpperBound)
      {
         string message = String.Format(
                           "{0} exceeds the maximum upper bound of {1}.",
                           upperBound, maxUpperBound);
         throw new ArgumentOutOfRangeException(message);
      }
      this.upperBound = upperBound;
      // Create array and mark 0, 1 as not prime (True).
      primeTable = new bool[upperBound + 1];
      primeTable[0] = true;
      primeTable[1] = true;

      // Use Sieve of Eratosthenes to determine prime numbers.
      for (int ctr = START; ctr <= (int)Math.Ceiling(Math.Sqrt(upperBound));
            ctr++)
      {
         if (primeTable[ctr]) continue;

         for (int multiplier = ctr; multiplier <= upperBound / ctr; multiplier++)
            if (ctr * multiplier <= upperBound) primeTable[ctr * multiplier] = true;
      }
      // Populate array with prime number information.
      int index = START;
      while (index != -1)
      {
         index = Array.FindIndex(primeTable, index, (flag) => !flag);
         if (index >= 1)
         {
            primes.Add(index);
            index++;
         }
      }
   }

   public int[] GetAllPrimes()
   {
      return primes.ToArray();
   }

   public int[] GetPrimesFrom(int prime)
   {
      int start = primes.FindIndex((value) => value == prime);
      if (start < 0)
         throw new NotPrimeException(prime, String.Format("{0} is not a prime number.", prime));
      else
         return primes.FindAll((value) => value >= prime).ToArray();
   }
}

namespace global

open System

[<Serializable>]
type PrimeNumberGenerator(upperBound) =
    let start = 2
    let maxUpperBound = 10000000
    let primes = ResizeArray()
    let primeTable = 
        upperBound + 1
        |> Array.zeroCreate<bool>

    do
        if upperBound > maxUpperBound then
            let message = $"{upperBound} exceeds the maximum upper bound of {maxUpperBound}."
            raise (ArgumentOutOfRangeException message)
        
        // Create array and mark 0, 1 as not prime (True).
        primeTable[0] <- true
        primeTable[1] <- true

        // Use Sieve of Eratosthenes to determine prime numbers.
        for i = start to float upperBound |> sqrt |> ceil |> int do
            if not primeTable[i] then
                for multiplier = i to upperBound / i do
                    if i * multiplier <= upperBound then
                        primeTable[i * multiplier] <- true
        
        // Populate array with prime number information.
        let mutable index = start
        while index <> -1 do
            index <- Array.FindIndex(primeTable, index, fun flag -> not flag)
            if index >= 1 then
                primes.Add index
                index <- index + 1

    member _.GetAllPrimes() =
        primes.ToArray()

    member _.GetPrimesFrom(prime) =
        let start = 
            Seq.findIndex ((=) prime) primes
        
        if start < 0 then
            raise (NotPrimeException(prime, $"{prime} is not a prime number.") )
        else
            Seq.filter ((>=) prime) primes
            |> Seq.toArray

Imports System.Collections.Generic

<Serializable()> Public Class PrimeNumberGenerator
   Private Const START As Integer = 2
   Private maxUpperBound As Integer = 10000000
   Private upperBound As Integer
   Private primeTable() As Boolean
   Private primes As New List(Of Integer)

   Public Sub New(upperBound As Integer)
      If upperBound > maxUpperBound Then
         Dim message As String = String.Format(
             "{0} exceeds the maximum upper bound of {1}.",
             upperBound, maxUpperBound)
         Throw New ArgumentOutOfRangeException(message)
      End If
      Me.upperBound = upperBound
      ' Create array and mark 0, 1 as not prime (True).
      ReDim primeTable(upperBound)
      primeTable(0) = True
      primeTable(1) = True

      ' Use Sieve of Eratosthenes to determine prime numbers.
      For ctr As Integer = START To CInt(Math.Ceiling(Math.Sqrt(upperBound)))
         If primeTable(ctr) Then Continue For

         For multiplier As Integer = ctr To CInt(upperBound \ ctr)
            If ctr * multiplier <= upperBound Then primeTable(ctr * multiplier) = True
         Next
      Next
      ' Populate array with prime number information.
      Dim index As Integer = START
      Do While index <> -1
         index = Array.FindIndex(primeTable, index, Function(flag)
                                                       Return Not flag
                                                    End Function)
         If index >= 1 Then
            primes.Add(index)
            index += 1
         End If
      Loop
   End Sub

   Public Function GetAllPrimes() As Integer()
      Return primes.ToArray()
   End Function

   Public Function GetPrimesFrom(prime As Integer) As Integer()
      Dim start As Integer = primes.FindIndex(Function(value)
                                                 Return value = prime
                                              End Function)
      If start < 0 Then
         Throw New NotPrimeException(prime, String.Format("{0} is not a prime number.", prime))
      Else
         Return primes.FindAll(Function(value)
                                  Return value >= prime
                               End Function).ToArray()
      End If
   End Function
End Class

L’exemple suivant effectue deux appels à la méthode GetPrimesFrom avec des nombres non premiers, dont l’un dépasse les limites du domaine d’application. Dans les deux cas, l’exception est levée et gérée avec succès dans le code client.

using System;
using System.Reflection;

class Example1
{
    public static void Main()
    {
        int limit = 10000000;
        PrimeNumberGenerator primes = new PrimeNumberGenerator(limit);
        int start = 1000001;
        try
        {
            int[] values = primes.GetPrimesFrom(start);
            Console.WriteLine("There are {0} prime numbers from {1} to {2}",
                              start, limit);
        }
        catch (NotPrimeException e)
        {
            Console.WriteLine("{0} is not prime", e.NonPrime);
            Console.WriteLine(e);
            Console.WriteLine("--------");
        }

        AppDomain domain = AppDomain.CreateDomain("Domain2");
        PrimeNumberGenerator gen = (PrimeNumberGenerator)domain.CreateInstanceAndUnwrap(
                                          typeof(Example).Assembly.FullName,
                                          "PrimeNumberGenerator", true,
                                          BindingFlags.Default, null,
                                          new object[] { 1000000 }, null, null);
        try
        {
            start = 100;
            Console.WriteLine(gen.GetPrimesFrom(start));
        }
        catch (NotPrimeException e)
        {
            Console.WriteLine("{0} is not prime", e.NonPrime);
            Console.WriteLine(e);
            Console.WriteLine("--------");
        }
    }
}

open System
open System.Reflection

let limit = 10000000
let primes = PrimeNumberGenerator limit
let start = 1000001
try
    let values = primes.GetPrimesFrom start
    printfn $"There are {values.Length} prime numbers from {start} to {limit}"
with :? NotPrimeException as e ->
    printfn $"{e.NonPrime} is not prime"
    printfn $"{e}"
    printfn "--------"

let domain = AppDomain.CreateDomain "Domain2"
let gen = 
    domain.CreateInstanceAndUnwrap(
        typeof<PrimeNumberGenerator>.Assembly.FullName,
        "PrimeNumberGenerator", true,
        BindingFlags.Default, null,
        [| box 1000000 |], null, null)
    :?> PrimeNumberGenerator
try
    let start = 100
    printfn $"{gen.GetPrimesFrom start}"
with :? NotPrimeException as e ->
    printfn $"{e.NonPrime} is not prime"
    printfn $"{e}"
    printfn "--------"

Imports System.Reflection

Module Example
   Sub Main()
      Dim limit As Integer = 10000000
      Dim primes As New PrimeNumberGenerator(limit)
      Dim start As Integer = 1000001
      Try
         Dim values() As Integer = primes.GetPrimesFrom(start)
         Console.WriteLine("There are {0} prime numbers from {1} to {2}",
                           start, limit)
      Catch e As NotPrimeException
         Console.WriteLine("{0} is not prime", e.NonPrime)
         Console.WriteLine(e)
         Console.WriteLine("--------")
      End Try

      Dim domain As AppDomain = AppDomain.CreateDomain("Domain2")
      Dim gen As PrimeNumberGenerator = domain.CreateInstanceAndUnwrap(
                                        GetType(Example).Assembly.FullName,
                                        "PrimeNumberGenerator", True,
                                        BindingFlags.Default, Nothing,
                                        {1000000}, Nothing, Nothing)
      Try
         start = 100
         Console.WriteLine(gen.GetPrimesFrom(start))
      Catch e As NotPrimeException
         Console.WriteLine("{0} is not prime", e.NonPrime)
         Console.WriteLine(e)
         Console.WriteLine("--------")
      End Try
   End Sub
End Module
' The example displays the following output:
'      1000001 is not prime
'      NotPrimeException: 1000001 is not a prime number.
'         at PrimeNumberGenerator.GetPrimesFrom(Int32 prime)
'         at Example.Main()
'      --------
'      100 is not prime
'      NotPrimeException: 100 is not a prime number.
'         at PrimeNumberGenerator.GetPrimesFrom(Int32 prime)
'         at Example.Main()
'      --------

Exemples

L’exemple suivant illustre un bloc catch (with en F#) défini pour gérer les erreurs ArithmeticException. Ce bloc catch intercepte également les erreurs DivideByZeroException, car DivideByZeroException dérive de ArithmeticException et il n’existe aucun bloc catch explicitement défini pour les erreurs DivideByZeroException.

using System;

class ExceptionTestClass
{
   public static void Main()
   {
      int x = 0;
      try
      {
         int y = 100 / x;
      }
      catch (ArithmeticException e)
      {
         Console.WriteLine($"ArithmeticException Handler: {e}");
      }
      catch (Exception e)
      {
         Console.WriteLine($"Generic Exception Handler: {e}");
      }
   }	
}
/*
This code example produces the following results:

ArithmeticException Handler: System.DivideByZeroException: Attempted to divide by zero.
   at ExceptionTestClass.Main()

*/

module ExceptionTestModule

open System

let x = 0
try
    let y = 100 / x
    ()
with
| :? ArithmeticException as e ->
    printfn $"ArithmeticException Handler: {e}"
| e ->
    printfn $"Generic Exception Handler: {e}"

// This code example produces the following results:
//     ArithmeticException Handler: System.DivideByZeroException: Attempted to divide by zero.
//        at <StartupCode$fs>.$ExceptionTestModule.main@()

Class ExceptionTestClass
   
   Public Shared Sub Main()
      Dim x As Integer = 0
      Try
         Dim y As Integer = 100 / x
      Catch e As ArithmeticException
         Console.WriteLine("ArithmeticException Handler: {0}", e.ToString())
      Catch e As Exception
         Console.WriteLine("Generic Exception Handler: {0}", e.ToString())
      End Try
   End Sub
End Class
'
'This code example produces the following results:
'
'ArithmeticException Handler: System.OverflowException: Arithmetic operation resulted in an overflow.
'   at ExceptionTestClass.Main()
'