C # Переключення виразів, що повертають різні результати

Я перейшов на C # 8 в одному зі своїх проектів. І всі свої switchвисловлювання я перемістив до виразів. Однак я дізнався, що мій проект почав працювати по-іншому, і я дізнався, що це було через switchвираз. Давайте, наприклад, отримаємо цей код

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(),
        };
    }
}

Результат я написав як коментар, але tl; dr, коли використовується класичний перемикач, кастинг значення повертає значення в очікуваному Type, але коли використовується вираз перемикача, він повертає тип "Double", що призводить до різних byte[]при отриманні байти значення.

Яка різниця між ними? Що я сумую?

У формі заяви заяви про перемикання кожна рука повертає значення безпосередньо. Це перетворення з числового типу безпосередньо в object, оскільки це фактично тип повернення методу.

Форма вираження вашого перемикача дещо відрізняється. Спочатку він витягує результат з виразу перемикача, а потім перетворює цей результат у оголошений тип повернення. То який тип виразу перемикача? Це "найкращий" тип з усіх типів окремих виразів на озброєнні виразу перемикача.

Усі ці типи можна неявно перетворити на double(що є одним із самих типів), тому це найкращий тип. Тож ваш виразний метод вираження еквівалентний:

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;
}

Ви можете побачити цей "найкращий тип" без використання виразу перемикача, використовуючи неявно набрані масиви:

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

Тут arrayможна зробити висновок про тип double[].