Блог

Я пишу это, потому что я действительно понятия не имею, почему это происходит. Я знаю, как это исправить / обойти, но я хотел бы знать причину, по которой это происходит. Я использую C, и мой компилятор — gcc 4.4.1 (TDM), работающий на компьютере Intel.

Предположения о плавающих значениях: -Соответствует стандарту IEEE 754 — Хранятся в виде большого конечного значения

Давайте предположим, что у нас есть функция, принимающая массив из 4 байт и возвращающая их в виде числа с плавающей запятой. Это цель функции. Давайте также скажем, что, например, все, что будет делать функция, это получать байты в «правильном порядке», а поскольку система имеет небольшой конечный код, она просто поменяет их местами и поместит их в число с плавающей точкой, чтобы вернуть значение. Для простоты я не включаю никаких проверок для NaN или INF, поскольку это не является целью этого вопроса.

 float testFunction(char* arr)
{
    //this will be the float we return
    float ret;

    //let's just get a char pointer to the float so we can alter its byte values
    char* c = (char*)amp;ret;
    //just swap them so they conform with little endian byte order
    c[0] = arr[3];
    c[1] = arr[2];
    c[2] = arr[1];
    c[3] = arr[0];

    //up to here if you debug and watch ret's value it is correct as it is supposed to be
    return ret;
}
  

Проблема везде, где я использую функцию… допустим, как показано ниже

    float f = testFunction(arr);
  

Тогда значение с плавающей запятой f имеет совершенно неуместное значение с плавающей запятой для байтов, которые вы передаете в качестве параметров.

Способ успешно обойти это — объявить функцию, которая принимает значение с плавающей точкой в качестве параметра, и присвоить ей значение внутри функции следующим образом:

 void testFunction(char* arr,float* f)
{
   char* c = ((char*)f)
   c[0] = arr[3];
   c[1] = arr[2];
   c[2] = arr[1];
   c[3] = arr[0];
 }
  

Но все же мой вопрос в том, почему это происходит, когда я пытаюсь вернуть значение? Я понимаю, что float ret — это временное значение внутри области действия функции, но оператор return должен копировать его значение за пределы функции. Разве это не правильно?
Чего мне не хватает? Я думаю, это должно быть что-то действительно очевидное.

На самом деле в обоих случаях значение с плавающей точкой должно иметь «совершенно нерелевантное» значение, если вы не тщательно обработаете этот массив символов (например memcpy , из a float ).

Вы не можете просто установить байты и надеяться, что они волшебным образом будут соответствовать представлению на вашей платформе.

Я скажу что-нибудь глупое. Но попробуйте инициализировать ret , например float ret = 0; .

Я не уверен, что вы можете инициализировать переменную «piecemail» char по одному и считать ее «инициализированной» для стандарта C (и компилятора)

WAG. Из-за приведения типов компилятор не распознает, что f переменная была обновлена. Для компилятора нет связи между f переменной и вашим c указателем. Он не знает, что это псевдоним. Поскольку в ABI значение float возвращается в регистре, оно должно генерировать загрузку из стека, когда оно выполняет return , но поскольку оно видит, что f оно не инициализировано, оно ничего не делает и возвращает случайное содержимое используемого для этого регистра. Если вы объявите float , как volatile это должно делать то, что вы ожидаете.

Как уже было сказано, это дикий a.. угадайте.