Почему вывод 5, когда сумма ничего не возвращает? [Дубликат]

Я пробовал небольшую программу:

#include <stdio.h>
int f1() {
}
int main() {
    printf("TEST: <%d>\n",  f1());
    printf("TEST: <%d>\n",  f1());
    printf("TEST: <%d>\n",  f1());
    printf("TEST: <%d>\n",  f1());
    printf("TEST: <%d>\n",  f1());
}

Результат:

TEST: & lt; 1>

TEST: & lt; 10>

TEST: & lt; 11>

TEST: & lt; 11>

TEST: & lt; 11>

Я использовал mingw32-gcc компилятор, поэтому могут быть разные.

Вы могли бы просто поиграть и попробовать например функция char. Если вы не используете значение результата, оно будет работать нормально.

#include <stdio.h>
char f1() {
}
int main() {
    f1();
}

Но я бы рекомендовал установить либо функцию void, либо дать некоторое возвращаемое значение.

Ваш функция, похоже, нуждается в возврате:

char toUpper(char c)
{
    if(c>='a'&&c<='z')
        c = c - 32;
    return c;
}

Вы должны помнить, что такой код может упасть в зависимости от компилятора. Например, clang генерирует команду ud2 в конце такой функции, и ваше приложение будет аварийно завершено во время выполнения.

Локальных переменных нет, поэтому значение в верхней части стека в конце функции будет параметром c. Значение в верхней части стека при выходе - это возвращаемое значение. Таким образом, независимо от c, это возвращаемое значение.

Это зависит от Application Binary Interface и какие регистры используются для вычисления.

Например. на x86 первый параметр функции и возвращаемое значение сохраняются в EAX, и поэтому gcc, скорее всего, использует это, чтобы сохранить результат вычисления.

Я не могу сказать вам специфику вашей платформы, поскольку я ее не знаю, но есть общий ответ на поведение, которое вы видите.

Когда какая-то функция с возвратом компилируется , компилятор будет использовать соглашение о том, как вернуть эти данные. Это может быть машинный регистр или определенное место памяти, например, через стек или другое (хотя обычно используются машинные регистры). Скомпилированный код может также использовать это местоположение (регистр или другое), выполняя работу функции.

Если функция ничего не возвращает, компилятор не будет генерировать код, который явно заполняет это местоположение с возвращаемым значением. Однако, как я уже сказал выше, он может использовать это местоположение во время функции. Когда вы пишете код, который читает возвращаемое значение (ch2 = toUpper(ch);), компилятор будет писать код, который использует свое соглашение о том, как получить это возвращение из обычного местоположения. Что касается кода вызывающего абонента, он просто прочитает это значение из местоположения, даже если там ничего явно не было написано. Следовательно, вы получаете значение.

Теперь посмотрите на пример @ Ray, компилятор использовал регистр EAX, чтобы сохранить результаты операции верхнего корпуса. Так получилось, это, вероятно, место, в которое записываются значения возврата. На вызывающей стороне ch2 загружается значение, которое находится в EAX - следовательно, возвращается фантом. Это справедливо только для процессоров x86, так как на других архитектурах компилятор может использовать совершенно другую схему при определении того, как должно быть организовано соглашение

. Однако хорошие компиляторы будут оптимизированы в соответствии с множеством локальных условий , знание кода, правил и эвристики. Поэтому важно отметить, что это просто удача, что она работает. Компилятор может оптимизировать и не делать этого или что-то еще - вы не должны отвечать на поведение.

Одна недостающая вещь, которая важна для понимания, заключается в том, что редко диагностическая ошибка пропускает оператор return. Рассмотрим эту функцию:

int f(int x)
{
    if (x!=42) return x*x;
}

Пока вы не вызываете ее с аргументом 42, программа, содержащая эту функцию, отлично действует C и не вызывает никакого неопределенного поведения, несмотря на то, что она будет вызывать UB, если вы вызвали f(42) и впоследствии попытались использовать возвращаемое значение.

Как таковой, хотя компилятор может предоставить эвристику предупреждения для отсутствующих операторов возврата, это невозможно сделать это без ложных срабатываний или ложных негативов. Это является следствием невозможности решения проблемы остановки.

По существу, c помещается в пятно, которое позднее должно быть заполнено возвращаемым значением; поскольку он не перезаписывается с помощью return, он заканчивается как возвращаемое значение.

Обратите внимание, что полагаться на это (на C или на любом другом языке, где это не является явной функцией языка, например Perl), это плохая идея. В крайнем случае.