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
objdoit 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 ModuleL’exception NullReferenceException qui se produit lorsqu’il
objestnullpeut ê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 argumentnull.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: FalsePublic 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: FalseAu 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.
| Exception | Condition |
|---|---|
| ArgumentException | Un argument non nul passé à une méthode n’est pas valide. |
| ArgumentNullException | Un argument passé à une méthode est null. |
| ArgumentOutOfRangeException | Un argument est en dehors de la plage de valeurs valides. |
| DirectoryNotFoundException | Une partie d’un chemin d’accès au répertoire n’est pas valide. |
| DivideByZeroException | Le dénominateur dans une opération d’entier ou de division Decimal est égal à zéro. |
| DriveNotFoundException | Un lecteur n’est pas disponible ou n’existe pas. |
| FileNotFoundException | Un fichier n'existe pas. |
| FormatException | Une valeur n’est pas dans un format approprié à convertir à partir d’une chaîne par une méthode de conversion telle que Parse. |
| IndexOutOfRangeException | Un index est en dehors des limites d’un tableau ou d’une collection. |
| InvalidOperationException | Un appel de méthode n’est pas valide dans l’état actuel d’un objet. |
| KeyNotFoundException | La clé spécifiée pour accéder à un membre dans une collection est introuvable. |
| NotImplementedException | Une méthode ou une opération n’est pas implémentée. |
| NotSupportedException | Une méthode ou l'opération n'est pas prise en charge. |
| ObjectDisposedException | Une opération est effectuée sur un objet qui a été supprimé. |
| OverflowException | Une opération arithmétique, de forçage de type ou de conversion entraîne un dépassement de capacité. |
| PathTooLongException | Un chemin d’accès ou un nom de fichier dépasse la longueur maximale définie par le système. |
| PlatformNotSupportedException | L’opération n'est pas prise en charge sur la plateforme actuelle. |
| RankException | Un tableau avec le nombre de dimensions incorrect est passé à une méthode. |
| TimeoutException | L’intervalle de temps alloué à une opération a expiré. |
| UriFormatException | Un URI (Uniform Resource Identifier) non valide est utilisé. |
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 :
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.
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.
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 .
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
protectedresponsable 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()
'
Commentaires
Bientôt disponible : Tout au long de 2024, nous allons supprimer progressivement GitHub Issues comme mécanisme de commentaires pour le contenu et le remplacer par un nouveau système de commentaires. Pour plus d’informations, consultez https://aka.ms/ContentUserFeedback.
Envoyer et afficher des commentaires pour