24

Есть вот такой очень простой код.

using System;

class Test
{       
    static void Main()
    {
        byte x = byte.Parse(Console.ReadLine());
        byte y = byte.Parse(Console.ReadLine());
        Console.WriteLine(x + y);
    }
}

При вводе 123 и 221 выводит 344. Но ведь должно было произойти переполнение, почему оно не произошло? Почему не вывело 344 - 255 = 89?

3
  • 1
    Потому что это C# ... У этого языка девиз такой - преобразуй всё во всё, читайте спецификацию. 29 авг 2017 в 9:30
  • 2
    Если вы в студии наведете курсор на знак + между x и y, то увидите всплывающую подсказку int int.operator +(int left, int right), т. е. они перед сложением приводятся в int и результат получается тоже в int. Для int, естественно переполнения тут нет. 29 авг 2017 в 9:38
  • Если явно преобразовать ответ в byte, то всё получится логично. Проблема кроется в неявном приведении к int. Console.WriteLine((byte)(x + y));
    – Grekov
    7 ноя 2022 в 8:46

2 ответа 2

30

Отличный вопрос!

Согласно спецификации языка, определены следующие операторы числового сложения:

int operator +(int x, int y);
uint operator +(uint x, uint y);
long operator +(long x, long y);
ulong operator +(ulong x, ulong y);

float operator +(float x, float y);
double operator +(double x, double y);

decimal operator +(decimal x, decimal y);

Сложение байтов не определено. Таким образом, язык применяет конверсию, и превращает byte в int, чтобы использовать int operator +(int x, int y);.

Почему выбирается именно перегрузка с int, а не, скажем, с uint? Обратимся снова к спецификации.

Правила конверсии описаны здесь (перевод мой):

Расширение типов для бинарных операторов состоит в применении следующих правил в том порядке, в каком они специфицированы тут:

  • Если хотя бы один из операндов имеет тип decimal, другой операнд преобразуется в тип decimal, или возникает ошибка времени привязки типов, если тип другого операнда — float или double.
  • Иначе, если тип хотя бы одного из операндов double, другой операнд преобразуется в double.
  • Иначе, если тип хотя бы одного из операндов float, другой операнд преобразуется в float.
  • Иначе, если тип хотя бы одного из операндов ulong, другой операнд преобразуется в ulong, или возникает ошибка времени привязки типов если другой операнд имеет тип sbyte, short, int или long.
  • Иначе, если тип хотя бы одного из операндов long, другой операнд преобразуется в long.
  • Иначе, если тип хотя бы одного из операндов uint и тип другого операнда sbyte, short или int, оба операнда преобразуются в long.
  • Иначе, если тип хотя бы одного из операндов uint, другой операнд преобразуется в uint.
  • Иначе оба операнда преобразуются в int.

В нашем случае работает последний пункт, остальные неприменимы. Значения преобразуются в int до сложения, и тип результата — int.

3
  • 1
    Вот это больше похоже на правду.
    – nick_n_a
    29 авг 2017 в 9:24
  • 1
    Я бы добавил что WriteLine(int) существует а WriteLine(byte) нет, поэтому это сужает выбор преобразований. Возможно там где есть такая перезагрузка - будет преобразование назад.
    – nick_n_a
    29 авг 2017 в 9:29
  • 3
    @nick_n_a: Насколько я понимаю, в этой точке ожидаемый тип не играет роли.
    – VladD
    29 авг 2017 в 9:45
6

Дело в том, что результат сложения byte + byte вовсе не обязан иметь тип byte.

На самом деле, результат сложения имеет тип int, в который можно запросто поместить число 334.

А проверить это утверждение можно вот так:

using System;

class Test
{       
    static void Main()
    {
        byte x = 123;
        byte y = 221;
        byte z = x + y;
        Console.WriteLine(z);
    }
}

Приведет к ошибке:

Cannot implicitly convert type 'int' to 'byte'. An explicit conversion exists (are you missing a cast?)

8
  • 1
    Не понятно почему не обязан. Решение я бы сократил в одну строчку.
    – nick_n_a
    29 авг 2017 в 9:26
  • 1
    ideone.com/JU08im - да :) Хотя странно. Вроде другие языки в таком случае кастят сами.
    – Qwertiy
    29 авг 2017 в 9:26
  • 1
    @nick_n_a, byte + byte = int. Все дело в спецификации языка :) 29 авг 2017 в 9:27
  • 1
    @Qwertiy Не кастит потому что нет перезагрузки WriteLine(byte)
    – nick_n_a
    29 авг 2017 в 9:28
  • 1
    Нет такого неявного преобразования int в byte, поэтому только явно надо кастовать 29 авг 2017 в 9:39

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.