Неожиданный результат

[megachuhancer]

Может кто-нибудь прокомментировать столь странный(как вы увидите) вывод программы?

program Project18;

{$APPTYPE CONSOLE}

var
   v : double;

begin

   v := 1.7e308;

   writeln(1.7e308 - v);

end.

Впрочем, у меня в программе выражение 1.7e308 - v является частью более сложного выражения, только вот результат один и тот же - где-то 6.11e291.

[Пепел Феникса]

используй extended

[megachuhancer]

До этого я мог и сам додуматься. Мне интересно, почему именно приведенный выше код выдает именно такой результат. Понятно, что само выражение 1.7e308 имеет тип extended, неясно почему результат выражения 1.7e308 - v такой, как было показано выше. Разве тип всего выражения не приводится к "наибольшему" типу? Или, если в выражении константа и переменная, тип всего выражения приводится к типу переменной, в данном случае к типу double? Но ведь 0, он и в extended'е и в double 0... А максимальное значение double, если верить мануалу - это как раз 1.7e308.

[Пепел Феникса]

как я понял типы extended и double не очень совместимы
(8байт и 10байт...мне кажется причина кроется тут)

[megachuhancer]

То есть их нельзя использовать в одном выражении?

program Project18;

{$APPTYPE CONSOLE}

var
   v : double;

begin

   v := 2;

   writeln(v + 2.0);

end.

работает вполне нормально.
Да и непонятно вот что: выражение 1.7e308 - v имеет вполне определенный тип. Поэтому даже если 0 в extended - это 6.11e291 в double , writeln выводит значение вполне определенного типа.

[Пепел Феникса]

var d:extended;
     v:double;

begin
 v:=1.7e308;
 d:=extended(v);
 writeln(d);
 readln;
end.

не компилится...а ведь Дельфи похоже всетаки приводит эти типы...потому и получается бред(в extended же иная структура хранения числа)
так тоже не то выходит:

var d:extended;
    v:double;

begin
 v:=1.7e308;
 d:=v-1.7e308;
 writeln(d);
 readln;
end.

вот так вполне норм...но помоему результат то не тот:

var d:extended;
    v:double;

begin
 v:=1.7e150;
 d:=v-1.7e130;
 writeln(d);
 readln;
end.

[megachuhancer]

Даааа.... Присвоить можно, typecast нельзя сделать...

[Пепел Феникса]

поэтому придется переводить через присваивание

[Somebody]

В первом случае преобразование выполняет компилятор, во втором - FPU.
Компилятор получает 73 B2 DB B9 83 89 16 F2 FE 43.
FPU получает 00 B0 DB B9 83 89 16 F2 FE 43.
Оба они выводятся как 1.7e308, но разность их примерно 6.11E+0291. Возникает это, похоже, из-за глюка компилятора в преобразовании. А вот почему разность такая... Это надо разбираться с представлением вещественных чисел.