"Не-темплейтность" Qt

[Igors]

с точно таким же математически определенным поведением, как и для int.

Это недостижимо из-за самого формата флотов (ну или "их природы"). Еще раз тот же пример

Код

C++ (Qt)
float a, b;
...
b = a + 1;
if (a == b)  // для флотов может вернуть true

Др словами если мы хотим хранить гигантское число - мы должны смириться с потерей точности, это нормально

[Racheengel]

Формат флотов это понятно, но я не имею в виду "побитное" сравнение - иначе сравнение инта с флотом тоже никогда бы не работало, хотя и инт, и флот по умолчанию оба занимают по 4 байта. Для сравнения инта и флота компилятор генерирует код, который гарантирует приведение флота к инту непосредственно перед выполнением операции сравнения. Собственно, то же самое можно делать при сравнении двух флотов - сгенерировать базовый фузи-код. Естественно, с потерей точности.

[Igors]

Для сравнения инта и флота компилятор генерирует код, который гарантирует приведение флота к инту непосредственно перед выполнением операции сравнения.

Наоборот, инт приводится к флоту 

Собственно, то же самое можно делать при сравнении двух флотов - сгенерировать базовый фузи-код. Естественно, с потерей точности.

Фузи-фузи, а что в нем собственно такого хорошего? Для больших чисел он вообще бесполезен а для малых проблематичен.

[Racheengel]

Например, a = 0.123456789000001, а b = 0.123456789000002. Ну или около того. В текущей имплементации оператор if (a == b) вернет false, в принципе с одной стороны они и правда не равны, с другой - отличаются достаточно незначительно. Поэтому и пишет народ фузи типа if (qAbs(a-b) < MyLittleEpsilon). То есть оператор == вообще не используется должным образом, и как по мне, это недостаток. Компилятор должен сам уметь генерировать подобный фузи-код для сравнения флотов, встретив if (a == b).

[Igors]

Например, a = 0.123456789000001, а b = 0.123456789000002. Ну или около того. В текущей имплементации оператор if (a == b) вернет false, в принципе с одной стороны они и правда не равны, с другой - отличаются достаточно незначительно. Поэтому и пишет народ фузи типа if (qAbs(a-b) < MyLittleEpsilon). То есть оператор == вообще не используется должным образом, и как по мне, это недостаток. Компилятор должен сам уметь генерировать подобный фузи-код для сравнения флотов, встретив if (a == b).

Я понимаю что Вы хотите, но думаю что здесь нет удачной возможности "единого решения". Что есть "достаточно незначительно" определяется задачей. Напр Qt реализация вполне хороша/грамотна, но

Код

C++ (Qt)
float a = 100.0f;
float b = 100.005f;

Qt fuzzy скажет что равны - но есть масса примеров где это не устроит. А раз так - нечего рыпаться на "общность" - это конкретно (и нолрмально)

[Racheengel]

В STL существует стандартное значение std::numeric_limits::epsilon. Его было бы достаточно. Если кого не устраивает - пишем свой фузи