Вопрос на засыпку

[mrMeerkat]

Гм, vb.nete иногда грешу конструкциями типа
Dim a as IntPtr = IIf(b>c, vbNull, IntPtr.Zero)

Или переменные обьявляю:
int? i = null;

Ну это так.
Реально достали ограничения языка программирования, через которые приходится переступать

[ds.Dante]

Внимание, вопрос.

using System;

class Program
{
	static void Main()
	{
		double a = double.MaxValue;
		double b = double.MaxValue;
		Console.WriteLine((a + b) / 2);
		Console.ReadKey();
	}
}

На платформе x86 эта программа выдаёт 1.79769313486232E+308, а на x64 - Infinity. Почему?

Особая благодарность тому, кто скажет, что программа выдаст на Itanium.

[Utkin]

Потому что надо пользоваться длинной арифметикой. И никаких проблем не возникнет.

[ds.Dante]

Это не проблема, это вопрос на знание платформы.

[m0nax]

И какой же ответ?

[ds.Dante]

А я надеялся, что кто-нибудь не поленится поковыряться с дизассемблером и в спецификациях...

Есть два основных механизма работы с дробными числами - сопроцессор x87 и набор инструкций SSE.
- x87 появился в 1980-м году и присутствует даже в допотопных 16-битных 8086. Он имеет избыточную 80-битную разрядность.
- SSE (32-битный) появился в 1999-м, а SSE2 (64-битный) - в 2001-м году, поэтому они есть не во всех 32-битных процессорах (но во всех 64-битных). Зато они быстрее, благодаря тому, что могут обрабатывать сразу несколько чисел одной операцией.

В итоге x64 jitter использует быстрый SSE, а x86 jitter ради совместимости использует 80-битный x87 FPU. Поэтому при компиляции под x86 операция double.MaxValue * 2 не вызовет переполнения, пока программа не попытается записать эту величину в переменную double. Этого может и не случиться, потму что спецификация CLI (см. стр. 75) позволяет использовать внутреннее представление вещественных чисел, и требует приведения к float32/float64 только при фактической записи величины в поле класса. При использовании SSE2 переполнение происходит всегда, поэтому мы в любом случае получим Infinity.

[mrMeerkat]

Уважаемый ds.Dante, вы при создании темы какой вопрос задали?
"В каком случае необходимо писать if (flag == true) вместо if (flag)?"
Это зависит от ЯП.

Так как тема находится в разделе .NET: я писал бы
flag = (z=true AND q=false)
на vb.net.

Поэтому при компиляции под x86 операция double.MaxValue * 2 не вызовет переполнения

Используйте вместо " * 2 " - "<<1", быстрее будет исполняться.

ЗЫ: может и не прав, добью уже свой профиль.

[mrMeerkat]

Дополню:

Сообщение от ds.Dante

А я надеялся, что кто-нибудь не поленится поковыряться с дизассемблером и в спецификациях...

С Ildasm или Reflector?
Тема то в разделе про .NET?
Какие дизасемблеры и математические сопроцессоры?

[ds.Dante]

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

Так как тема находится в разделе .NET: я писал бы
flag = (z=true AND q=false)
на vb.net.

Я точно не помню, почему задал вопрос именно в этом разделе. Кажется, потому что здесь гораздо меньше студентов с лабораторными.

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

Используйте вместо " * 2 " - "<<1", быстрее будет исполняться.

Это только для целочисленных. Да и для них не будет работать быстрее - оба варианта jitter скомпилирует в одно и то же:

mov ecx,dword ptr [rsp+20h]
add ecx,ecx

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

С Ildasm или Reflector?

Я использовал ILDasm и Debug->Windows->Disassembly. Кстати, IL практически не зависит ни от x86/x64, ни от Debug/Release, ни от float/double. Существенные отличия возникают только в машинном коде.

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

Тема то в разделе про .NET?
Какие дизасемблеры и математические сопроцессоры?

Ключевой момент всё-таки в том, что для разных платформ jitter использует разные механизмы работы с вещественными числами, поэтому вопрос про .NET. Таков закон дырявых абстракций: даже в дотнете мы периодически натыкаемся на особенности процессоров и прочие низкоуровневости.

[ds.Dante]

Очередной вопрос.

using System;

class Program
{
    static void Main()
    {
        int x = ...
        Console.Write(x == -x);
    }
}

Чему должно быть равно x, чтобы программа выдала "True"? Есть два варианта.