Что такое inline-функции в C++, как работает ключевое слово inline? Каковы реальные ограничения и риски избыточного использования inline-функций при крупных сборках?

Ответ.

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

• Ключевое слово inline даёт компилятору совет, но не обязательство: может быть проигнорировано, если функция слишком сложная.
• В реальности функции, определённые внутри класса, по умолчанию считаются inline.
• Inline-функции часто используют для коротких, часто вызываемых функций, чтобы избежать накладных расходов на вызовы.

Ограничения и риски:

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

Пример:

inline int add(int a, int b) {
    return a + b;
}

struct X {
    int get() const { return value; }
    int value;
};
// get() будет рассматриваться как inline

Вопрос с подвохом.

Вопрос: Гарантирует ли ключевое слово inline, что функция будет встроена во всех точках вызова?

Ответ: Нет. Компилятор принимает решение о подстановке функции inline самостоятельно, исходя из внутренних эвристик. inline — только рекомендация.

Примеры реальных ошибок из-за незнания тонкостей темы.

---

История

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

---

История

При миграции кроссплатформенного ПО обнаружили, что некоторые компиляторы (например, MSVC и GCC) по-разному обрабатывают inline: часть функций не разворачивалась inline, часть — наоборот, что вызывало трудновоспроизводимые различия в скорости и размере приложений между платформами.

---

История

Разработчик объявил inline-функции только в header-файле, но реализацию вынес в отдельный cpp-файл. В результате при линковке возникали ошибки multiple definition или unresolved external, так как inline-функции должны быть определены именно в заголовках.