Почему inline функция не компилилируется?

Question

[Имя]

Компилирую файл с помощью gcc, используя флаги -O0 -std=gnu11
В файле следующая конструкция:

inline void some_inline_func(uint32_t num)
{
    . . .
}

void func()
{
    . . .
    some_inline_func(...);
    . . .
}

По итогу, при компиляции, я получаю это от ld: undefined reference to `some_inline_func'.
Если убрать спецификатор inline, то всё работает.
Почему так происходит?

Comments

[shurshur]

inline-функция не должна компилироваться, её тело должно вставляться в нужное место программы и компилироваться каждый раз заново. Соответственно, ld её и не сможет увидеть никогда в принципе. Кстати, inline-функции надо описывать в h-файлах, а не c-файлах.

[skyazimuth]

Попробуйте прототип перед функцией объявить.

inline void some_inline_func(uint32_t num);
inline void some_inline_func(uint32_t num)
{
//
}

[jcmvbkbc]

inline-функция не должна компилироваться

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

[shurshur]

jcmvbkbc, нет, inline-функция это не макрос и не может содержать ошибок. Изначально inline-функции в C означали именно то, что они никак не вызывались (call/ret), а просто копировались в целевую функцию, чтобы избежать относительно дорогой операции вызова (особенно far call, когда вызов осуществлялся не в пределах сегмента по смещению, а с переходом в другой сегмент) для очень простых функций. Разумеется, это также означает, что экспорт inline-функции как символа в принципе лишён смысла.

Но в итоге всё стало совсем запутано: https://ru.stackoverflow.com/questions/747334/inli...

Answer 1

[jcmvbkbc]

Почему так происходит?

Потому что стандарт С11 (9899:201x 6.7.4:7, черновик доступен тут) говорит следующее про спецификатор inline:

Any function with internal linkage can be an inline function. For a function
with external linkage, the following restrictions apply: If a function is declared
with an inline function specifier, then it shall also be defined in the same translation
unit. If all of the file scope declarations for a function in a translation unit include
the inline function specifier without extern, then the definition in that translation
unit is an inline definition. An inline definition does not provide an external
definition for the function, and does not forbid an external definition in another
translation unit. An inline definition provides an alternative to an external
definition, which a translator may use to implement any call to the function
in the same translation unit. It is unspecified whether a call to the function uses
the inline definition or the external definition.

Самое главное тут -- в середине: инлайн-реализация не предоставляет и не запрещает реализацию со внешней линковкой, и в последнем предложении: транслятор волен сам выбирать, какую реализацию функции использовать -- инлайновую или со внешней линковкой.
Поскольку ты написал так:

inline void some_inline_func(uint32_t num)
{
    . . .
}

ты тем самым реализовал инлайн-версию этой функции, но не реализовал версию со внешней линковкой. А транслятор выбрал (вернее ты ему подсказал выбрать, опцией -O0) использовать реализацию функции со внешней линковкой, поэтому ты получил ошибку от линковщика.

Вариантов решения этой проблемы примерно 3:
- определить функцию следующим образом:

extern inline void some_inline_func(uint32_t num)
{
    . . .
}

Такая функция будет доступна из других единиц трансляции.

- либо определить функцию следующим образом:

static inline void some_inline_func(uint32_t num)
{
    . . .
}

Такая функция будет доступна только для данной единицы трансляции.

- оставить в этом исходнике всё как есть, а в каком-нибудь другом определить следующую функцию:

void some_inline_func(uint32_t num)
{
    . . .
}

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

Answer 2

[mayton2019]

Вот так у меня получилось

#include <stdint.h>

static inline uint32_t
some_inline_func(uint32_t num) {

}