Tabla de contenido:
Definición: ¿Qué significa Operador verificado?
Un operador verificado, en C #, es un operador utilizado para imponer la comprobación de desbordamiento para operaciones aritméticas de tipo integral y conversiones en tiempo de ejecución. Los operadores marcados se utilizan para detectar errores de desbordamiento que pueden ocurrir en tiempo de ejecución para operaciones aritméticas que resultan en un número demasiado grande para la cantidad de bits asignados al tipo de datos del resultado en uso.
Aunque hay otras opciones para la verificación de desbordamiento, como los conmutadores del compilador y las configuraciones del entorno de ejecución, los operadores verificados proporcionan una forma programática para lograr lo mismo y garantizar que se maneje el desbordamiento.
Techopedia explica Operador verificado
Las operaciones que se ven afectadas por la comprobación de desbordamiento con operadores verificados son aquellas que usan operadores predefinidos, incluidos "++", "-" y operadores binarios como "+", "-", "/", "*" y conversiones numéricas explícitas de un tipo integral a otro, o de tipo flotante / doble a integral. La salida de la operación se basará en los operandos. Para las expresiones que contienen solo valores constantes, el compilador puede detectar el desbordamiento y mostrarlo como un error. Para las expresiones que consisten en uno o más de un valor no constante, el desbordamiento se verificará durante el tiempo de ejecución y se generará una excepción (System.OverflowException).
A diferencia de la comprobación de desbordamiento para la aritmética de enteros con signo en C / C ++ en el que está "definida por la implementación", C # ha mejorado la forma en que se controla la comprobación de desbordamiento. El operador marcado se usa para ejecutar sentencias de C # en un contexto verificado de modo que se genera una excepción cuando se produce un desbordamiento aritmético. Obliga al Common Language Runtime (CLR) a manejar situaciones de desbordamiento de pila mientras realiza operaciones en tipos enteros que pueden dar como resultado valores fuera de los límites del tipo de datos.
Un operador verificado afecta el contexto de comprobación de desbordamiento para operaciones que se especifican textualmente entre paréntesis. No afecta a ninguna función invocada como resultado de la evaluación de la expresión contenida.
