Visual studio компилирует функцию без return

@Optimus11 · Регистрация: 10.01.2017

Студворк — интернет-сервис помощи студентам

Здравствуйте,

Подскажите пожалуйста, возможны ли случаи, что мы скомпилировался подобный код:

C++
1
2
3
4
5
6
int main()
{
 
my_first_func();
 
}

my_first_func.cpp

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
static int my_func(...)
{
//...код
 
//Никаких return в это функции нет.
 
}
 
 
int my_first_func()
{
///..код
 
int status = my_func();
 
return 0;
 
}

Функция my_func в my_first_func.cpp - без какого либо return`а, но Visual Studio - без проблем компилирует код.

@TheCalligrapher · 07.12.2022, 21:15

Сообщение от Optimus11

Функция my_func в my_first_func.cpp - без какого либо return`а, но Visual Studio - без проблем компилирует код.

Ни в С, ни в С++ отсутствие return не является диагностируемым нарушением правил языка. То есть формально никакой ошибки компилятор тут и не должен обнаруживать.

Сообщение от Optimus11

возможны ли случаи, что мы скомпилировался подобный код:

Разумеется. Более того, он должен компилироваться, за исключением оговорок ниже.

Отсутствие return в такой функции в С++ приводит к неопределенному поведению. Неопределенное поведение теоретически может выражаться и в ошибке компиляции. А может и не выражаться. Другими словами, следить за такими вещами - ваша обязанность. Нет никаких гарантий того, что компилятор будет ловить такие проблемы.

@Optimus11 · 07.12.2022, 21:18 **[ТС]**

Сообщение от TheCalligrapher

Ни в С, ни в С++ отсутствие return не является диагностируемым нарушением правил языка. То есть формально никакой ошибки компилятор и не должен сообщать.

Отсутствие return в такой функции в С++ приводит к неопределенному поведению.

Ну вообще Visual Studio до этого момента мне всегда выдавала ошибку "функция должна возвращать значение" и в других частях проекта - так же продолжает это делать, но именно в этой части - почему то не хочет.
Можно ли как то объяснить такое "выборочное" поведение VS ?

@TheCalligrapher · 07.12.2022, 21:22

Сообщение от Optimus11

Можно ли как то объяснить такое "выборочное" поведение VS ?

Мало ли в чем может быть дело? В настройках компиляции? В особенностях кода функции? Телепатов нет.

У меня в VS тоже такая функция прекрасно компилируется, если она static и нигде не вызывается.

@hoggy · 07.12.2022, 23:31

Сообщение от Optimus11

возможны ли случаи, что мы скомпилировался подобный код

да, возможны.

отлавливается на уровне предупреждений:

C++
1
2
3
4
5
6
7
8
#include <iostream>
 
int foo() {}
 
int main()
{
    std::cout << foo() << '\n';
}

Code
1
2
3
4
900041873/source.cpp: In function ‘int foo()’:
900041873/source.cpp:3:12: warning: no return statement in function returning non-void [-Wreturn-type]
 int foo() {}
            ^

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

Сообщение от Optimus11

Visual Studio - без проблем компилирует код.

Visual Studio случается разная:

C++
1
2
3
int ololo()
{
}

Code
1
error C4716: 'ololo': must return a value

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:	Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .	Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .
Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .	SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .	SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip Сканируйте QR-код на мобильном и вы увидите, что появится джойстик для управления главным героем. . . .