6

Содержит ли следующий код UB или надо вызвать функцию для этого?

int foo() {
   int a = 2 + 3;
   // no return
}

int main() {
   // foo();
}
10
  • Конечно нужно, а что не работает?
    – Dimabytes
    13 июн 2020 в 17:43
  • Что такое UB?
    – AvidCoder
    13 июн 2020 в 17:43
  • @Dimabytes то есть код корректный?
    – 0x25
    13 июн 2020 в 17:45
  • @ИмяФамилия неопределённое поведение
    – 0x25
    13 июн 2020 в 17:45
  • За что минус???
    – 0x25
    13 июн 2020 в 17:55

3 ответа 3

10
+50

Нет здесь никакого неопределенного поведения.

У UB бывает два вида причин:

  1. Времени компиляции. (Например, использование зарезервированного идетификатора.)

  2. Времени выполнения. (Например целочисленное деление на ноль.)

Во втором случае, чтобы поведение стало неопределенным, выполнение должно достичь1 какого-то участка кода, про который в стандарте написано, что он вызывает неопределенное поведение (или его поведение не описано вообще). (см 1 2 3)

У нас второй случай:

[stmt.return]/2

Flowing off the end of a ... function with a cv void return type is equivalent to a return with no operand. Otherwise flowing off the end of a function ... results in undefined behavior.

(выделение добавлено мной)

Написано, "если выполнение выходит из функции...", т.е. во время выполнения. Если бы речь шла о времени компиляции, то так и написали бы: "если любой возможный путь выполнения функции всегда достигает ее конца...".


1 Точнее, UB появляется когда выполнение вызывающего его кода становится неизбежным. Пример: программа может проигнорировать условие if-а и отказаться заходить в ветку, которая всегда вызывает UB.

3

Нашёл ответ на похожий вопрос. Спасибо LShadow77 за помощь.

https://stackoverflow.com/a/23154502

So, an unreachable statement with UB doesn't give the program UB.

11
  • 2
    не все так просто. Во-первых, проверки на достижимость или недостижимость тех или иных участков кода не регламентированы. Во-вторых, тут не "statement with UB", а отсутствие необходимого statement. В-третьих, функция не является static и даже без ее вызова в main она в обязательном порядке должна быть скомпилирована (но затем выкинута при линковке). Как компилятор должен справиться (и должен ли) с компиляцией функции, проход потока управления через которую будет завершаться UB - это еще вопрос. 13 июн 2020 в 19:16
  • @user7860670 да, поэтому у меня и возникали сомнения. Но разве ситуация по ссылке не точно такая же? Или там неверные выводы?
    – 0x25
    13 июн 2020 в 19:20
  • @user7860670 насчёт 2) и 3) согласен, не знаю влияет ли это. Насчёт 1) - в Стандарте есть "Flowing off the end of a constructor, a destructor, or a non-coroutine function with a cv void return type is equivalent to a return with no operand. Otherwise, flowing off the end of a function other than main or a coroutine ([dcl.fct.def.coroutine]) results in undefined behavior.", т.е. этот "flowing off" считается определенным чем-то
    – 0x25
    13 июн 2020 в 19:22
  • 1
    "[control] flowing off the end of a function" может произойти только в рантайме, поэтому никакого UB тут нет. Если бы сама компиляция компиляция функции без return (в одной из ветвей выполнения) вызывала UB, то так и было бы написано. 13 июн 2020 в 19:27
  • 1
    Ну в любом случае на английском стековерфолу консенсус, что UB в недостижимом коде не происходит. Одну ссылку вы сами привели, еще есть stackoverflow.com/questions/18385020/… и stackoverflow.com/questions/48210052/… 13 июн 2020 в 19:53
1

Я склоняюсь к тому, что неопределенное поведение тут есть. Дело в том, что стандарт позволяет реализации содержать ряд допущений относительно потока исполнения:

6.9.2.2 Forward progress [intro.progress]
1 The implementation may assume that any thread will eventually do one of the following:
— (1.1) terminate,
— (1.2) make a call to a library I/O function,
— (1.3) perform an access through a volatile glvalue, or
— (1.4) perform a synchronization operation or an atomic operation.

То бишь, что поток исполнения в какой-то момент либо завершится, либо вызовет функцию ввода / вывода, либо произведет доступ к некоторому volatile значению или либо сделает синхронизацию или атомарную операцию. А поток исполнении в функции foo из примера просто обрывается, не приводя ни к чему из вышеперечисленного, подрывая допущения, которые может делать конформная реализации.

6
  • Там же есть замечание к приведённому вами пункту: "This is intended to allow compiler transformations such as removal of empty loops, even when termination cannot be proven.". То есть, насколько я понимаю, если какой-либо поток исполнения вызовет функцию foo, то ни один из пунктов (1.1)-(1.4) не произойдёт, а значит, компилятор имеет право выбросить вызов функции foo. Хотя он и так имеет право это сделать, ибо при вызове будет UB.
    – wololo
    14 июн 2020 в 7:31
  • @wololo Главное в том, что в компилятор могут быть заложены подобные допущения. А использует ли он их для того, чтобы что-то оптимизировать, или же просто брякнется - это уже не регламентируется. 14 июн 2020 в 7:35
  • 1
    Не согласен, тут написано "любой поток" (тред), а не "любая функция". В вопросе поток один, и он не дергает foo. 14 июн 2020 в 11:40
  • @HolyBlackCat Эти допущения вполне позволяют судить о свойствах любых мест, через которые проходит поток исполнения: раз с потоком должно происходить одно из 4 вышеупомянутых действий, то и содержимое любой (ну или как минимум extern) функции должно быть таким, чтобы непременно к ним приводить. А заранее определить, что в программе создается только один главный поток и что эта функция в итоге вообще не вызывается, и проигнорировать ее содержимое компилятор не может. 14 июн 2020 в 16:16
  • Разве в приведённом вами пункте стандарта говорится, что если с потоком не произойдёт одно из четырёх вышеупомянутых действий, то поведение неопределено? Смысл этого пункта в том, чтобы дать возможность реализации удалить любой код, выполнение которого не позволило бы потоку выполнения осуществить пункты (1.1)-(1.4).
    – wololo
    14 июн 2020 в 17:33

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.