Я знаю, что некоторые значения не могут быть легко определены в числах с плавающей запятой и являются только «аппроксимированными», из-за чего прямые сравнения «равно» часто не работают.
Можно ли точно хранить std::numeric_limits::max в вещественном числе, и будет ли этот код работать должным образом?
float myFloat = std::numeric_limits<float>::max();
//...later...
if(myFloat == std::numeric_limits<float>::max())
{
//...myFloat hasn't changed...
}
max - это функция, вы, вероятно, хотите max() там... 25.02.2013 Для данной (не NaN) переменной float, f, гарантируется, что f == f всегда истинно. Поскольку myFloat устанавливается на некоторое значение float, конечно, оно будет сравниваться с тем же самым значением.
Вы, видимо, имеете в виду такие случаи, как:
float f1 = 0.1;
float f2 = 1.0/10;
assert( f1 == f2 );
который может потерпеть неудачу, но это не потерпит неудачу:
float f1 = 0.1;
float f2 = 0.1;
assert( f1 == f2 );
Хотя значение, хранящееся в переменных, может не быть точно равным 0.1, а вместо этого может иметь другое значение, вы получите одно и то же значение для обеих переменных, и поэтому они будут сравниваться равными.
Какое бы значение numeric_limits<float>::max() ни возвращалось, это фиксированное значение, которое будет сравниваться с самим собой.
Да.
числовые ограничения — это шаблон класса, а max — это статический метод:
template <class T> class numeric_limits {
public:
...
static T max() throw(); //constexpr if using C++11
...
};
Таким образом, для типа float вы фактически будете использовать std::numeric_limits<float>::max() и просто сравнивать два числа с плавающей запятой с одинаковым значением (если вы не работали с myFloat до сравнения). Значение из max() будет согласованным числом с плавающей запятой для вашей платформы и будет иметь эквивалентное двоичное представление самого себя.
Основная проблема, с которой вы столкнулись бы, — это попытка сериализации и десериализации на разных платформах с другим двоичным представлением с плавающей запятой. Итак, если вы попытаетесь сериализовать свою переменную myFloat и на какой-либо другой машине вы попытаетесь сравнить результат десериализованного значения непосредственно с numeric_limits::max():
if( myFloat == std::numeric_limits<float>::max() )
Результат может больше не соответствовать действительности. Затем вам нужно будет закодировать вашу концепцию «MAX» в двоичном представлении и явно интерпретировать ее так, как вы хотите.
numeric_limits<float>::max() возвращает некоторое значение float. Каким бы ни было это значение, должно быть точно представлено, поскольку оно уже сохранено в float! Вы не можете точно сохранить 0.1 в float, но любое значение, возвращаемое numeric_limits<float>::max(), возвращает уже сохранено в float, т.е., как сказано в ответе выше, оно будет иметь эквивалентное двоичное представление для себя 25.02.2013 Да, но
myFloat += someSmallFloat;
не может изменить значение myFloat.
Если вы хотите узнать больше, есть отличный учебник по представлениям с плавающей запятой под названием Что должен знать каждый программист об арифметике с плавающей запятой.
operator==должно датьtrue, если указанное отношение истинно, иfalse, если оно ложно. Очевидно, что значение переменной равно самому себе, потому что по определению она содержит то же значение, что и она сама, она не может содержать более одного значения! (Это не относится к значениям NaN, которые всегда возвращают false даже по сравнению с самими собой, но значения NaN особенные) 25.02.2013numeric_limisне реализуется компилятором, это просто библиотечная функция, которая возвращает число с плавающей запятой. Если значение уже сохранено в вещественном числе, то как его значение может измениться? каждый раз, когда вы вызываете функцию, вы возвращаете одно и то же значение. Если вы присвоите это значениеfloatзначениюfloat, у вас останется то же самое значение. Даже если функция вернула значение, которое нельзя точно представить (которое она не представляет), например 0,1, каждый раз, когда вы ее вызываете, вы получаете одно и то же значение. 25.02.2013f1==f2в моем ответе демонстрирует такую ситуацию: двум переменным присваивается одно и то же значение, поэтому они имеют одинаковое значение. 25.02.2013f==fвсегда верно, аcomplicated_expr()==complicated_expr()очень редко ложно. Многие компиляторы намеренно (gcc -ffast-math) или случайно иногда позволяют себе выполнять математические операции с плавающей запятой с точностью, отличной от запрошенной. Например, еслиfсодержит0.1, то не совсем умный компилятор может оптимизироватьf==fвf==0.1и выполнить сравнение с двойной точностью (возможно, потому, что это быстрее для любой цели, о которой он больше всего заботится), поэтому в итоге он будет эквивалентно0.1f==0.1, что неверно. 05.12.2013