Почему файлы скомпилируются при несовпадении сигнатуры функции

@vglv · Регистрация: 04.04.2018

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

Допустим, имеется два файла:
foo.cpp

C++
1
2
3
4
5
6
void bar();
 
void foo()
{
    bar();
}

bar.cpp

C++
1
int bar() { return 1; }

Почему линковщик позволит скомпилировать эти два файла? Ведь объявление функции в foo.cpp не совпадает по сигнатуре с определением функции в bar.cpp. Линковщик не сравнивает сигнатуры функций, для него главное, чтобы совпадали лишь имена? Хотелось бы подробнее узнать про логику работы линковщика и компилятора.

@Electroflower · 04.07.2018, 16:11

Ну у вас один cpp в другом не подключен, вот и дает скомпилировать, как я понимаю.

@hoggy · 04.07.2018, 17:06

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

Почему линковщик позволит скомпилировать эти два файла?

потому что линковщик занимается линковкой.
и к компиляции отношения не имеет вообще.

Добавлено через 59 секунд

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

и компилятора.

а компилятор каждую ед трансляции отдельно обслуживает.
ничего не зная и не думая об остальных.

@Mesteriis · 04.07.2018, 19:03

vglv, ну если прям совсем на пальцах у вас 3 функций

int bar();
void bar();
void foo();

если в одном файле то запутается если в разных то ок. Проще не заворачивайтесь. кстати на сколько я помню в некоторых компиляторах (clang) есть флаг на проверку такой ереси но по умолчанию он выключен. а то слишком долго будет это все.

@TheCalligrapher · 04.07.2018, 20:23

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

Ведь объявление функции в foo.cpp не совпадает по сигнатуре с определением функции в bar.cpp.

Во-первых, сигнатура функции - это то, что определяет поведение функции в процессе разрешения перегрузки (overload resolution). Сигнатура функции состоит из ее имени и количества и типов ее параметров. Тип возвращаемого значения не является частью сигнатуры функции.

Во-вторых, подобного рода нарушения "правила одного определения" обычно не требуют обязательной диагностики. Поведение просто будет не определено.

Новые блоги и статьи Все статьи Все блоги /
Почему дизайн решает? Neotwalker 09.01.2026 В современном мире, где конкуренция за внимание потребителя достигла пика, дизайн становится мощным инструментом для успеха бренда. Это не просто красивый внешний вид продукта или сайта — это. . .	Модель микоризы: классовый агентный подход 3 anaschu 06.01.2026 aa0a7f55b50dd51c5ec569d2d10c54f6/ O1rJuneU_ls https:/ / vkvideo. ru/ video-115721503_456239114	Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ФедосеевПавел 06.01.2026 Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ВВЕДЕНИЕ Введу сокращения: аналоговый ПИД — ПИД регулятор с управляющим выходом в виде числа в диапазоне от 0% до. . .	Модель микоризы: классовый агентный подход 2 anaschu 06.01.2026 репозиторий https:/ / github. com/ shumilovas/ fungi ветка по-частям. коммит Create переделка под биомассу. txt вход sc, но sm считается внутри мицелия. кстати, обьем тоже должен там считаться. . . .
Расчёт токов в цепи постоянного тока igorrr37 05.01.2026 / * Дана цепь постоянного тока с сопротивлениями и напряжениями. Надо найти токи в ветвях. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа и решает её. Последовательность действий:. . .	Новый CodeBlocs. Версия 25.03 palva 04.01.2026 Оказывается, недавно вышла новая версия CodeBlocks за номером 25. 03. Когда-то давно я возился с только что вышедшей тогда версией 20. 03. С тех пор я давно снёс всё с компьютера и забыл. Теперь. . .	Модель микоризы: классовый агентный подход anaschu 02.01.2026 Раньше это было два гриба и бактерия. Теперь три гриба, растение. И на уровне агентов добавится между грибами или бактериями взаимодействий. До того я пробовал подход через многомерные массивы,. . .	Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .

@Electroflower Shiningemerald 384 / 117 / 22 Регистрация: 05.01.2012 Сообщений: 951
	04.07.2018, 16:11
	Ну у вас один cpp в другом не подключен, вот и дает скомпилировать, как я понимаю. 0

@Mesteriis 599 / 237 / 69 Регистрация: 08.08.2015 Сообщений: 1,637
	04.07.2018, 19:03
	vglv, ну если прям совсем на пальцах у вас 3 функций int bar(); void bar(); void foo(); если в одном файле то запутается если в разных то ок. Проще не заворачивайтесь. кстати на сколько я помню в некоторых компиляторах (clang) есть флаг на проверку такой ереси но по умолчанию он выключен. а то слишком долго будет это все. 0