Привет, All.

Поставил свежий QT Creator с компилятором min-gw в комплекте и обнаружил забавный сюрприз. Если у вас в объявлении или определении функции используется слово 'inline', а само определение вынесено в cpp файл, то собрать проект не удастся - пойдут ошибки 'undefined reference'. Хотя, это скорее привет от компилятора...

Это только у меня так, или действительно нельзя выносить реализацию inline-функций в cpp-файлы?

Dimitry SibiryakovBagaBagaЭто только у меня так, или действительно нельзя выносить реализацию
inline-функций в cpp-файлы?
Ты, очевидно, не понимаешь, что такое inline и что она делает с генерируемым кодом.

Спасибо, КЭП. Я спросил ровно то, что не понимаю.

Про inline - это подсказка компилятору, не более того, что вместо вызова данной функции по месту её "вызова" можно подставить её бинарный код. Это сокращает накладные расходы на вызов функции. И имеет смысл только для "коротких" функций. Т.к. подстановка "больших" функций приводит к "разбуханию" исполняемого кода. В прочем, как любая подсказка, inline ничего не гарантирует - компилятор имеет полное право её проигнорировать и всё равно вставить вызов функции (а не подстановку).

а, забыл добавить, с чего это...

Некий С++ гуру (можно найти и ссылочку, но под рукой нет) советует выносить директивы inline (и реализацию функций) из заголовочных файлов в cpp-файлы. Мотивация такая: заголовочный файл - это предоставляемый пользователю интерфейс. Интерфейс должен (чтобы не вводить в "искушение") скрывать детали реализации. inline - это "деталь реализации", и потому как любая деталь должна быть из интерфейса исключена.

Для меня вполне понятно, когда компилятор не может применить inline-оптимизацию, если объявление и тело встраиваемой функции разнесены. В конце концов, на корректность программы это не влияет, просто она может быть немного медленнее (и то не факт). Но для меня удивительно, что это может привести к ошибкам компиляции (inline же не должен влиять на сигнатуру функции).

Dimitry SibiryakovBagaBagainline - это подсказка компилятору, не более того, что вместо вызова данной
функции по месту её "вызова" можно подставить её бинарный код.
А теперь подумай, как и какой код компилятор должен засунуть в объектный файл при
компиляции файла А, если в нём используется функция, реализованная в файле Б.


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

Для себя я нашёл ответ на ISO C++
https://isocpp.org/wiki/faq/inline-functions Note: It’s imperative that the function’s definition (the part between the {...}) be placed in a header file, unless the function is used only in a single .cpp file. In particular, if you put the inline function’s definition into a .cpp file and you call it from some other .cpp file, you’ll get an “unresolved external” error from the linker.

Вероятно, можно докопаться и до пункта стандарта, требующего этого. Но это не принципиально, по крайней мере для меня. Жаль только, что для этого потребовалось двое суток...