Table des matières:
Définition - Que signifie opérateur vérifié?
Un opérateur vérifié, en C #, est un opérateur utilisé pour appliquer la vérification de débordement pour les opérations arithmétiques de type intégral et les conversions au moment de l'exécution. Les opérateurs vérifiés sont utilisés pour détecter les erreurs de débordement qui peuvent se produire au moment de l'exécution pour les opérations arithmétiques qui se traduisent par un trop grand nombre pour le nombre de bits alloués au type de données du résultat utilisé.
Bien qu'il existe d'autres options pour la vérification du débordement, telles que les commutateurs du compilateur et les configurations d'environnement d'exécution, les opérateurs vérifiés fournissent un moyen par programme pour y parvenir et garantissent que le débordement est géré.
Techopedia explique l'opérateur vérifié
Les opérations affectées par la vérification du débordement à l'aide des opérateurs vérifiés sont celles qui utilisent des opérateurs prédéfinis, notamment "++", "-" et des opérateurs binaires comme "+", "-", "/", "*" et conversions numériques explicites d'un type intégral à un autre, ou de type float / double à type intégral. La sortie de l'opération sera basée sur les opérandes. Pour les expressions qui ne contiennent que des valeurs constantes, un débordement peut être détecté par le compilateur et affiché comme une erreur. Pour les expressions composées d'une ou plusieurs valeurs non constantes, le débordement sera vérifié pendant l'exécution et une exception (System.OverflowException) sera levée.
Contrairement à la vérification de dépassement pour l'arithmétique d'entier signé en C / C ++ dans laquelle il est "défini par l'implémentation", C # a amélioré la façon dont la vérification de dépassement est contrôlée. L'opérateur vérifié est utilisé pour exécuter des instructions C # dans un contexte vérifié de sorte qu'une exception est déclenchée lorsqu'un dépassement arithmétique se produit. Il oblige le Common Language Runtime (CLR) à gérer les situations de débordement de pile lors de l'exécution d'opérations sur des types entiers qui peuvent entraîner des valeurs en dehors des limites du type de données.
Un opérateur vérifié affecte le contexte de vérification de dépassement pour les opérations spécifiées textuellement entre parenthèses. Il n'affecte aucune fonction invoquée à la suite de l'évaluation de l'expression contenue.
