comportamiento de conexión extraño en .NET 4

Question

tengo problemas para entender lo que la hace que el error de compilación en el código de abajo:

static class Program 
{ 
    static void Main() 
    { 
     dynamic x = ""; 
     var test = foo(x); 

     if (test == "test") 
     { 
      Console.WriteLine(test); 
     } 

     switch (test) 
     { 
      case "test": 
       Console.WriteLine(test); 
       break; 
     } 
    } 

    private static string foo(object item) 
    { 
     return "bar"; 
    } 
} 

El error que consigo es en switch (test) línea:

A switch expression or case label must be a bool, char, string, integral, 
enum, or corresponding nullable type. 

espectáculos Intellisence esa operación foo se resolverá en tiempo de ejecución, lo cual está bien porque estoy usando un tipo dinámico como un param. Sin embargo, no entiendo cómo se compila bien la condición if cuando el interruptor no lo hace.

El código anterior es simplemente una versión simplificada de lo que tengo en mi aplicación (VSTO) que apareció después de migrar la aplicación de VSTO3 a VSTO4 cuando un método en VSTO cambiaba para devolver dynamic valores de tipo en lugar de object.

¿Alguien puede darme una explicación cuál es el problema. Sé cómo resolverlo, pero me gustaría entender qué está pasando.

Answer 1

Debido a que usted está llamando a un método de forma dinámica, el resultado es también un dynamic (como el valor de retorno es nada - no se sabe hasta el tiempo de ejecución). Y no puede switch en un tipo de variable dynamic.

Answer 2

Esto es un comportamiento inesperado: esperaba un conjunto de var para un método que devuelve explícitamente una cadena para inferir correctamente un tipo de cadena. Oh, bueno .....

Si reemplaza:

var test = foo (x);

con:

cadena de prueba = foo (x);

todo compila como usted sabe.

Esto es seguro ya que has declarado que foo() devuelve una cadena, y tal vez un poco más intuitiva de leer en el largo plazo de todos modos.

Answer 3

El tipo de expresión del modificador es evaluado por el compilador, en tiempo de compilación. El tipo de dynamic se evalúa en tiempo de ejecución, por lo que el compilador no puede verificar si es (o es convertible) uno de los tipos permitidos (que, de acuerdo con C# 4 Language Specification es sbyte, byte, short, ushort, int, uint, long, ulong, bool, char, string o un tipo enum).

Answer 4

Como dice Matt Ellen, pero con un poco más de fondo.

Para la declaración switch: Del C# Language Specification v4.0:

El tipo de gobierno de una declaración switch se establece por la expresión switch.

• Si el tipo de la expresión switch es sbyte, byte, short, ushort, int, uint, long, ulong, bool, char, string, o un enumeración de tipo, o si es el anulable tipo correspondiente a uno de estos tipos, entonces ese es el tipo de gobierno de la declaración switch.
• De lo contrario, exactamente una conversión implícita definida por el usuario (§6.4) debe existir desde el tipo de la expresión cambiar a uno de los siguientes tipos de gobierno posibles: sbyte, byte, short, ushort, int, uint, long, ulong, char, string, o, un tipo anulable correspondiente a uno de esos tipos.
• De lo contrario, si no existe tal conversión implícita, o si existe más de una conversión implícita de este tipo, se produce un error en tiempo de compilación.

---

Para la declaración if la expresión se evalúa como una operación booleana. La evaluación de expresión se difiere al tiempo de ejecución debido al uso de dynamic en la llamada a método en la asignación de variable. De la especificación anterior, parece que switch requiere una evaluación en tiempo de compilación de los tipos de conmutadores.

Answer 5

Las sentencias de cambio solo admiten números, caracteres, enumeraciones y cadenas. dynamic no es ninguna de esas cosas. Si se estima que x es una cadena, puede simplemente echarlo:

dynamic x = ""; 
string test = (string)foo(x); 

vas a tener un error de ejecución si no lo es.