c# - parcial - nulidad absoluta y relativa ejemplos argentina

C#casting a tipo anulable?

Question

Más allá de la diferencia aburrida regular entre Cast y As

• si sé que la manzana es una fruta, entonces puedo usar la (Fruit)apple y arroja una excepción si no está
• as value se puede comparar con el valor nulo para ver si tuvo éxito [no se lanzará la Excepción ...]

Sin embargo, he estado leyendo el article @EricLippert sobre esto y hubo una buena muestra sobre los tipos de valores anulables:

short? s = (short?)123;
int? i = s as int?;

esto no compilará ...

_{No se puede convertir el tipo ''short?'' a ''int?'' a través de una conversión de referencia, conversión de boxeo, conversión de desempaquetado, conversión de ajuste o conversión de tipo nulo}

Multa.

así que por qué esto:

    short? s = (short?)123;
    int? i = (int?)s;

Hace compilar? (¡ Contra TODAS las expectativas ! SÉ que s no es int? - y debería ir en BANG pero no es ...)

La comprobación del elenco aquí debería ser mucho más letal que el ejemplo anterior (que fue Bang)

Me siento mal preguntando por este tema tan hablado.

Gracias por adelantado.

Answer 1

Creo que se debe a que, en caso de as se produzca una falla, se le otorgará un resultado null "válido", por lo que es falso positivo En el segundo caso, el lanzamiento está permitido porque, en caso de falla, generará una excepción.

Answer 2

El ejemplo:

int? i = (int?)s;

¿El compilador porque un reparto le dice al compilador que sabe algo que no puede inferir, es decir, que se puede convertir en un int? .

Solo obtendrá la excepción en el tiempo de ejecución si la conversión no tiene éxito.

Answer 3

En su primer ejemplo, ¿el operador as intenta usar los objetos s como un int? . Ya que int? ¿No está en ninguna parte en la cadena de herencia de short? , esta operación falla.

En tu segundo ejemplo, ¿estás creando un nuevo int? i int? i con el valor de short? s short? s . Esta es una operación más generosa, ya que no tiene que preservar el objeto original en el lado izquierdo.

El punto importante aquí es que no se permite hacer nada que no preserve la identidad de su objeto. Un elenco explícito puede.

Esto es lo que dice el estándar de C # sobre cómo funciona el formulario (int?) :

6.1.4 Conversiones anulables implícitas

Las conversiones implícitas predefinidas que operan en tipos de valores no anulables también se pueden usar con formas anulables de esos tipos. Para cada una de las identidades implícitas predefinidas y las conversiones numéricas que se convierten de un tipo de valor no anulable S a un tipo de valor no anulable T, existen las siguientes conversiones anulables implícitas:

· ¿Una conversión implícita de S? a T?

· ¿Una conversión implícita de S a T?

La evaluación de una conversión nulable implícita basada en una conversión subyacente de S a T procede de la siguiente manera:

· Si la conversión anulable es de S? a T ?:

o Si el valor de origen es nulo (la propiedad HasValue es falsa), el resultado es el valor nulo de tipo T?

o De lo contrario, la conversión se evalúa como un desenvolvimiento de S? a S, seguido de la conversión subyacente de S a T, seguido de un ajuste (§4.1.10) de T a T?

· Si la conversión anulable es de S a T, la conversión se evalúa como la conversión subyacente de S a T seguida de un ajuste de T a T ?.

Answer 4

La razón es que int? es solo una abreviatura de System.Nullable<int> ( System.Nullable<T> es el tipo). El tipo corto define una conversión explícita a un int, sin embargo, System.Nullable<T> no tiene ninguna conversión explícita, ya que T podría ser cualquier otro tipo de valor.