Expressões de opção C # retornando resultado diferente

13

Eu mudei para o C # 8 em um dos meus projetos. E eu tenho movido todas as minhas switchdeclarações para expressões. No entanto, descobri que meu projeto começou a funcionar de maneira diferente e descobri que era por causa da switchexpressão. Vamos obter esse código, por exemplo

class Program
{
    public enum DataType
    {
        Single,
        Double,
        UInt16,
        UInt32,
        UInt64,
        Int16,
        Int32,
        Int64,
        Byte
    }

    static void Main(string[] args)
    {
        dynamic value1 = 5;
        dynamic value2 = 6;

        var casted = CastToType(value1, DataType.Int16);
        var casted1 = CastToTypeExpression(value2, DataType.Int16);


        var type = casted.GetType(); // Int16
        var type1 = casted1.GetType(); // Double
        var bytes = BitConverter.GetBytes(casted); // byte arr with 2 el => [5, 0] <- expected behavior 
        var bytes1 = BitConverter.GetBytes(casted1); // byte arr with 8 el => [0, 0, 0, 0, 0, 0, 24, 64]
    }

    public static dynamic CastToType(dynamic value, DataType type)
    {
        switch (type)
        {
            case DataType.Byte:
                return (byte)value;
            case DataType.Double:
                return (double)value;
            case DataType.Int16:
                return (short)value;
            case DataType.Int32:
                return (int)value;
            case DataType.Int64:
                return (long)value;
            case DataType.Single:
                return (float)value;
            case DataType.UInt16:
                return (ushort)value;
            case DataType.UInt32:
                return (uint)value;
            case DataType.UInt64:
                return (ulong)value;
            default: throw new InvalidCastException();
        }
    }

    public static dynamic CastToTypeExpression(dynamic value, DataType type)
    {
        return type switch
        {
            DataType.Byte => (byte)value,
            DataType.Double => (double)value,
            DataType.Int16 => (short)value,
            DataType.Int32 => (int)value,
            DataType.Int64 => (long)value,
            DataType.Single => (float)value,
            DataType.UInt16 => (ushort)value,
            DataType.UInt32 => (uint)value,
            DataType.UInt64 => (ulong)value,
            _ => throw new InvalidCastException(),
        };
    }
}

Eu escrevi o resultado como um comentário, mas tl; dr quando o switch clássico é usado lançando o valor retorna o valor no Type esperado, mas quando a expressão do switch é usada, ele retorna o tipo de "Double", resultando em diferente byte[]ao obter o bytes do valor.

Qual a diferença entre os dois? Do que sinto falta?

Expressandox
fonte
11
Não sei explicar exatamente por que e como isso acontece, mas se você der uma olhada em uma versão descompilada do seu código aqui ( gist.github.com/MaDOS/4904683d461d022e4b24f4080009ae5e ), você perceberá que o compilador parece notar que todos os tipos possíveis de retorno da expressão caberá em um duplo e automaticamente declara um duplo onde armazenará qualquer resultado que seja retornado. ( gist.github.com/MaDOS/… )
Robin B

Respostas:

17

No formulário de declaração do switch , cada braço está retornando um valor diretamente. Ele está convertendo do tipo numérico diretamente para object, pois esse é efetivamente o tipo de retorno do método.

Seu formulário de expressão da opção é um pouco diferente. Primeiro extrai um resultado da expressão do comutador e depois converte esse resultado no tipo de retorno declarado. Então, qual é o tipo da expressão switch? É o tipo "melhor" de todos os tipos de expressões individuais nos braços da expressão switch.

Todos esses tipos podem ser implicitamente convertidos em double(que é um dos tipos em si), então esse é o melhor tipo. Portanto, seu método de expressão de chave é equivalente a:

public static dynamic CastToTypeExpression(dynamic value, DataType type)
{
    double result = type switch
    {
        DataType.Byte => (byte)value,
        DataType.Double => (double)value,
        DataType.Int16 => (short)value,
        DataType.Int32 => (int)value,
        DataType.Int64 => (long)value,
        DataType.Single => (float)value,
        DataType.UInt16 => (ushort)value,
        DataType.UInt32 => (uint)value,
        DataType.UInt64 => (ulong)value,
        _ => throw new InvalidCastException(),
    };
    return result;
}

Você pode ver esse "melhor tipo" sem usar uma expressão de opção, usando matrizes de tipo implícito:

var array = new[]
{
    (byte) 0, 0.0, (short) 0, 0,
    0L, 0f, (ushort) 0, 0U, 0UL
};

Aqui o tipo de arrayé inferido como sendo double[].

Jon Skeet
fonte