без оператора возврата функция успешно выполнена

Question

без оператора возврата функция успешно выполнена

0

Я нашел этот код на каком-то сайте, что у него нет оператора возврата для возврата значения. Но на сайте это написано, так как оно дает ошибку времени компиляции. Хотя я пытался скомпилировать программу, чтобы узнать, какая ошибка будет видна в компиляторе. Программа скомпилирована с ошибкой.

Код c++:

int multiply(int x, int y)
{
  int product = x * y;
}

int main()
{
  cout << multiply(4, 5) << endl;
  return 0;
}

выход: 20

Теперь я смущен тем, что без какой-либо обратной инструкции, как компиляция прошла успешно.

shaan 06 июнь 2014, в 07:16

Источник

1

Скомпилируйте две версии, одну с, другую без, инструкцию возврата. Запустите оба в отладчике и посмотрите на разборку перед каждым ret . То, что происходит, будет очевидно. Тем не менее, не полагайтесь на это.
WhozCraig 06 июнь 2014, в 04:54
0

включить все предупреждения ...
user1810087 06 июнь 2014, в 04:54
0

Что бы там ни говорили, это должно быть ошибкой компилятора. Возможно, вы неверно истолковали это, и речь шла только о конкретном компиляторе (например, MSVC).
chris 06 июнь 2014, в 04:55
0

Привет Крис я использую компилятор GnuGcc и код скомпилирован в IDE блока кода .. :)
shaan 06 июнь 2014, в 05:03
0

@chris: MSVC выдает error C4716: 'multiply' : must return a value диагностическое error C4716: 'multiply' : must return a value даже если я полностью error C4716: 'multiply' : must return a value уровень предупреждения (/ W0).
Blastfurnace 06 июнь 2014, в 05:06

Показать ещё 3 комментария

Теги:

c++

3 ответа

Ещё вопросы

Скомпилируйте две версии, одну с, другую без, инструкцию возврата. Запустите оба в отладчике и посмотрите на разборку перед каждым ret . То, что происходит, будет очевидно. Тем не менее, не полагайтесь на это.
Что бы там ни говорили, это должно быть ошибкой компилятора. Возможно, вы неверно истолковали это, и речь шла только о конкретном компиляторе (например, MSVC).
Привет Крис я использую компилятор GnuGcc и код скомпилирован в IDE блока кода .. :)
@chris: MSVC выдает error C4716: 'multiply' : must return a value диагностическое error C4716: 'multiply' : must return a value даже если я полностью error C4716: 'multiply' : must return a value уровень предупреждения (/ W0).

haccks · Answer 1 · 2014-06-06T03-42-00.000Z

Без оператора return в функции этот код вызывал неопределенное поведение. Функция non void должна иметь оператор return.

С++ 11 § 6.6.3 Оператор возврата:

3... Выключение конца функции эквивалентно возврату без значения; это приводит к неопределенному поведению в возвращающей значение функции.

Как указано в комментарии WhozCraig, существует одно стандартное исключение из возвращаемого значения non-void, требующего return: int main()

С++ 11 § 3.6.1p5 [basic.start.main]

Если элемент управления достигает конца main без столкновения с оператором return, это эффект выполнения return 0;

В случае UB вы можете получить либо ожидаемый, либо неожиданный результат.
Печатным значением может быть значение, хранящееся в стеке.

Привет, хак, я верю, что не void функция должна иметь оператор return. Но в приведенном выше коде функция выполнена успешно, без какого-либо оператора return, для которого я запутался ... :)
@ user1903535, прочитайте еще раз: неопределенное поведение .
Примечание: есть одно стандартное исключение для возвращаемого значения, не являющегося пустым, требующее return : int main() C ++ 11 § 3.6.1p5 [basic.start.main] "Если управление достигает конца main, не встречая оператор return, результат выполнения return 0; "Насколько я знаю, это единственный, который имеет это исключение. Все остальные функции, не являющиеся пустыми, не возвращаются с ошибками. Кроме того, наличие оператора возврата недостаточно. Все пути должны иметь достижимый оператор возврата.
Это только неопределенное поведение, если вы действительно достигли конца функции. Нормально не иметь оператора возврата в конце, если функция никогда не вызывается, или она имеет бесконечный цикл, или ранее выполняется другой оператор возврата, который всегда достигается

Yu Hao · Answer 2 · 2014-06-06T03-40-00.000Z

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

Вероятно, происходит то, что значение product все еще находится в стеке после выхода функции, и std::cout печатает это значение. Но опять же, не полагайтесь на неопределенное поведение.

Или (для большинства соглашений о вызовах x86) вычисление помещает свой результат в регистр eax , где вызывающая сторона ожидает возвращаемое значение.

Russell Borogove · Answer 3 · 2014-06-06T02-59-00.000Z

Это неопределенное поведение, поэтому нет гарантии, что он будет работать.

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