Ошибка переполнения и sqr.

[ray13]

Друзья, объясните почему здесь выскакивает ошибка переполнения. Ведь значение 640000 присваивается переменной x типа longint и входит в диапазон значений.

program p1;
{$Q+}
var r:integer;
     x:longint;
begin
     r:=800;
     x:=sqr(r);
     write(x)
end.

Например, в аналогичном случае всё работает без ошибок.

program p2;
{$Q+}
var i:integer;
     y:longint;
begin
     i:=255;
     y:=i+1;
     write(y)
end.

Объясните в чем тут логика? почему Паскаль в первом случае действует так, а во втором иначе?

[Sazary]

ray13 В Free Pascal все работает.
В TP действительно говорит о переполнении.
Думаю, здесь дело в приведении типов, т.к. если переменную r сделать типа longint, ошибка исчезает.

[capta1n]

объясняю: турбо паскаль считает так - он сначала выполняет выражение в правой части присваивания, а потом правую часть присваивает левой, то есть сначала есть переменная "r" - она возводится в квадрат функцией sqr - эта функция имеет такой же тип, как и тип переменной, поэтому, возводя в квадрат, вы получаете значение, находящееся за границей типа integer и получаете сообщение об ошибке

program p2;
{$Q+}
var i:integer;
     y:longint;
begin
     i:=255;
     y:=i+1;
     write(y)
end.

здесь случай не аналогичный - используете integer, а он поддерживает числа от -32768 до 32767 - как видно, у вас не используется никакая функция, поэтому данное присваивание совершенно нормальное и выводит нормальный результат - попробуйте использовать ту же функцию sqr на типе byte с тем же значением 255 - будет ошибка

[ray13]

спасибо! стало ясно.

но вот момент

Сообщение от capta1n

поэтому значение записывается не куда попало, а на место переменной "r", стирая старое значение

то есть в результате и r и x будут равны 640000 ?
но при write(r) выводиться старое значение 800.

2Sazary: можно поподробнее про приведение типов. в чем тут логика?

[capta1n]

простите, я ошибся немного с объяснением, перечитайте снова.

[Sazary]

Сообщение от ray13

можно поподробнее про приведение типов. в чем тут логика?

При вычислении выражения операнды приводятся к одному типу (старшему). Вот я и предположил, что происходит приведение, только к младшему типу. Пару раз были подобные ситуации, поэтому и сделал такой вывод.

[ray13]

2capta1n: то есть sqr возвращает результат того же типа integer что и заданный аргумент r, а т.к. результат выходит за рамки Integerа - вылетает ошибка. то есть ошибка в выполнении самой функции и к операции присваивания она не имеет отношения. я правильно понял?

2Sazary: подобные ситуации - это глюк Турбо Паскаля?

[capta1n]

правильно поняли, да, а я первый раз наговорил чушь, простите

[Sazary]

Сообщение от ray13

подобные ситуации - это глюк Турбо Паскаля?

Возможно. Как вы могли заметить, мы с capta1n говорим практически об одном и том же (приведении к младшему типу). Имхо, такого быть не должно, поэтому в данном случае это скорее особенности компилятора. Функция должна возвращать значение того же типа, что и переменная, которой это значение присваивается.

[ray13]

спасибо за помощь! буду читать теорию)
кстати в тему особенностей компилятора, такой код срабатывает и выдает верный ответ

program p;
var i:byte;
     y:integer;
begin
     i:=20;
     y:=sqr(i);
     writeln(y);
end.