Доброго времени суток!
Есть самописная серверная программа. С клиентами этот сервер общается по самописному же бинарному протоколу. Разбор пришедших данных осуществляется самым простым образом - memcpy массива принятых байт в структуру с упакованными полями. Формат протокола подразумевает наличие в пакете данных полей с типом unsigned float. Так как float в языке С должен соответствовать стандарту IEEE, то бывают ситуации, когда приходят некорректные данные и в поле типа float лежат данные, не соответствующие этому формату. Каким образом можно определить, что в переменной типа float данные в битовом виде соответствуют (или не соответствуют) формату  IEEE и с ними можно работать как с переменной типа float?

Это как?!  

http://steve.hollasch.net/cgindex/coding/ieeefloat.html
http://ru.wikipedia.org/wiki/%D0%A7%D0%B8%...%81%D1%82%D0%B8
http://www.binaryconvert.com/convert_float.html
http://cant.ua.ac.be/old/ieeecc754.html

Проверить, что данные не меньше минимального и не больше максимального числа и не бесконечности.

Сорри, ошибся. float. так как определить корректность-то? я знаю, что есть стандарт. может подскажете какие-нибудь способы или библиотеки. найти ссылку на стандарт я и сам могу.

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

Что за ситуации?


Это сообщение отредактировал(а) Леопольд - 24.10.2011, 12:52

Способ варварский, но работает 

borisbn,  спасибо, попробую.
Хоть один человек вместо спама дело написал.

Тебе остальные не спам писали, а пытались объяснить, что эта задача не имеет смысла. Ну отловишь ты 0.0001% возможных ошибок. А дальше что? А если тебе придет вполне штатным образом NaN или Inf? Эта функция обозначит их ошибками. Уж лучше добавь контрольную сумму в пакет - надежность возрастет на несколько порядков. Если структура пакета фиксирована, то остается только логический контроль. Т.е. если тебе приходит текущая координата автомобиля, и на основании предыдущих вычислений ты установил, что скорость равна 20 м/с, то можно предположить, что через секунду координата изменится на 20 м. Если водитель нажал на газ, то она может измениться чуть сильнее. А если въехал в бетонный столб - то не измениться (но в этом случае, координата уже не так важна). Но она не может измениться на 5000 м. А уж тем более, уменьшиться (ну если только он не въехал во встречный камаз, груженый песком).

в math.h определён макрос isnan() - лучше пользоваться им

Проблема в том, что в протоколе есть CRC и оно корректно, так как отправитель упаковывает некорректные данные на своей стороне. Поэтому CRC не подойдет. А всякие эвристические методы анализа данных - это всегда куча допущений. Поэтому проще проверить float это или нет. И если нет, то не выдавать ошибку.
math64,  спасибо, посмотрю.

_fpclass
Если не _FPCLASS_PN или не _FPCLASS_PN, то подозрительное число.
Еще _finite.

супер. Отправителя поправить нельзя? Может у него какой-то другой формат float? Как выглядят некорректные данные, т.е. как их ты сам отличаешь от корректных?

Формат float такой-же, как и у меня. Отличает их БД, потому что в запрос, где должен быть float кладется хз что. БД, соответственно, ругается. 
То есть парсер, по сути, у меня сейчас БД. Но это неправильно, хотя и просто. И хотелось бы парсер сделать на серверной стороне.

Если БД нужен нормальный 0, а пришёл какой-то нестандарнтый вариант, можно сделать нормализацию:

Кем и что кладется?