인라인 함수

함수는 코드 재사용과 모듈화에 큰 이점을 줍니다. 최적화 뒤에도 실제 함수 호출이 남는다면 호출·복귀와 호출 규약에 따른 비용이 생길 수 있지만, 모든 소스 코드의 호출이 반드시 별도 스택 프레임이나 기계어 call 명령으로 이어지는 것은 아닙니다.

C++의 inline을 이해할 때는 다음 두 층을 분리해야 합니다.

• 언어 계약: inline 함수의 선언, 정의 도달성(reachability), 여러 번역 단위에 놓인 정의와 ODR(One Definition Rule).
• optimizer 변환: 특정 호출 지점에서 함수 본문을 실제로 펼칠지, 일반 호출을 남길지에 대한 구현의 비용 판단.

표준은 inline 지정자가 호출 위치의 본문 치환을 선호한다는 뜻도 부여하지만, 구현에 치환을 강제하지 않습니다. 치환하지 않더라도 inline 함수의 언어 규칙은 그대로 적용됩니다.

인라인 함수란 무엇인가?

함수 선언에 inline 지정자를 붙이면 inline 함수를 선언합니다.

inline 반환타입 함수이름(매개변수타입1 매개변수이름1, ...) {
    // 함수 몸체
}

다음 예제의 getMax는 inline 함수이지만, 이 키워드만 보고 실제 기계어가 호출 치환 형태라고 단정할 수는 없습니다.

#include <iostream>

inline int getMax(int a, int b) {
    return (a > b) ? a : b;
}

int main() {
    int x = 10;
    int y = 20;

    std::cout << getMax(x, y) << '\n';
    std::cout << getMax(50, 30) << '\n';
}

소스 코드에서 중요한 규칙은 다음과 같습니다.

• inline은 함수의 linkage를 바꾸지 않습니다.
• inline 함수가 odr-use된 각 definition domain의 끝에서는 그 정의가 도달 가능해야 합니다.
• 외부 linkage를 가진 inline 함수가 여러 definition domain에 선언되면 inline 선언도 일관되게 도달 가능해야 합니다. 규칙 위반에 대한 진단이 보장되지 않는 경우가 있으므로 linker의 우연한 동작에 기대면 안 됩니다.
• named module에 붙지 않은 inline 함수는 ODR의 일치 요건을 만족하는 정의를 여러 번역 단위에 둘 수 있습니다. 이때도 프로그램에서는 주소가 하나인 단일 entity입니다.
• constexpr 함수는 암시적으로 inline이며, global module에서 클래스 정의 안에 정의한 멤버 함수도 암시적으로 inline입니다.

이 장에서는 일반적인 헤더와 소스 파일 모델을 다룹니다. C++20 named module에 붙은 inline 함수에는 같은 정의를 여러 번역 단위에 두는 설명을 그대로 적용할 수 없는 추가 규칙이 있습니다.

optimizer는 호출 지점마다 다시 판단한다

실제 인라인화는 보통 다음 정보를 함께 사용합니다.

• 함수 본문의 크기와 제어 흐름.
• 호출 지점이 실제로 자주 실행되는지에 대한 정적 추정이나 profile 정보.
• caller에서 보이는 상수 인자와 치환 뒤 가능한 상수 전파·분기 제거.
• target, 최적화 수준, PGO(Profile-Guided Optimization)와 LTO(Link-Time Optimization) 설정.
• 본문 복제로 늘어나는 binary 크기와 instruction-cache 비용.

작고 자주 실행되는 함수는 좋은 후보일 수 있지만, 함수 크기나 호출 형태 하나만으로 결과가 정해지지는 않습니다.

• 재귀 호출을 무한히 펼칠 수는 없어도, 비재귀 호출 지점이나 제한된 깊이, 일부 경로를 인라인화할 수 있습니다.
• 함수 포인터나 virtual 호출도 target을 알아내거나 devirtualize할 수 있다면 직접 호출로 바뀐 뒤 후보가 될 수 있습니다.
• 큰 for 루프, switch 또는 복잡한 제어 흐름은 비용을 높일 수 있지만 절대적인 비인라인 조건은 아닙니다.
• 정상적으로 한 .cpp에 정의한 일반 함수도 LTO가 번역 단위 정보를 결합하면 cross-TU 인라인화가 가능할 수 있습니다. 이는 inline 함수의 정의 reachability 규칙을 대신하지 않습니다.

따라서 getMax처럼 짧은 함수도 “인라인화될 가능성이 있는 후보”라고 표현해야 하며, 최종 결과는 해당 compiler·옵션·호출 지점의 최적화 기록이나 생성 코드를 확인해야 합니다.

헤더와 .cpp 경계를 정확히 나누기

보통 각 .cpp는 포함한 헤더 내용과 함께 하나의 번역 단위가 됩니다.

일반 외부 함수는 헤더에 선언하고 한 .cpp에 정의하는 구조가 올바릅니다.

// 선언
int add(int a, int b);

#include "my_math.h"

// 프로그램의 한 정의
int add(int a, int b) {
    return a + b;
}

다른 번역 단위는 본문을 직접 보지 못하므로 일반적으로 out-of-line 호출을 만들 수 있지만, LTO를 사용하면 link-time에 본문을 분석해 인라인화할 수도 있습니다.

반면 여러 번역 단위에서 odr-use하는 inline 함수는 정의가 각 definition domain에서 도달 가능해야 하므로 보통 헤더에 정의합니다.

#pragma once

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

#include <iostream>
#include "my_math.h"

int main() {
    int sum = add(10, 20);
    std::cout << "합계: " << sum << '\n';
}

헤더가 여러 .cpp에 포함되어 정의가 반복되더라도 ODR의 일치 요건을 만족하면 허용됩니다. 단순히 “linker가 중복을 합친다”가 아니라 언어가 하나의 entity로 취급하도록 규정한 것입니다.

다른 번역 단위에서도 inline으로 선언하고 odr-use하는 함수를 한 .cpp에만 정의하는 것은 일반 호출로 자동 전환되는 정상 패턴이 아닙니다. 정의 reachability 규칙을 위반한 ill-formed 프로그램이며 진단이 보장되지 않을 수 있습니다.

함수 template도 보통 인스턴스화 지점에서 정의를 볼 수 있도록 헤더에 둡니다. 하지만 template의 다중 정의 허용은 template·ODR 규칙에서 오며, 그 이유만으로 inline을 붙일 필요는 없습니다.

template <typename T>
T sum(T a, T b) {
    return a + b;
}

인라인 함수와 함수형 매크로

C와 오래된 C++ 코드에서는 호출 모양을 만들기 위해 함수형 매크로를 사용하기도 합니다.

#define SQUARE(x) ((x) * (x))

매크로는 함수가 아니라 preprocessing 단계의 텍스트 치환입니다.

• 타입과 scope 규칙이 약함: 함수 overload, parameter type checking, namespace와 같은 언어 기능을 그대로 제공하지 않습니다.
• 인자를 여러 번 평가할 수 있음: SQUARE(i++)는 i++를 두 번 치환하며, 이 예제는 unsequenced modification으로 undefined behavior가 됩니다.
• 진단과 디버깅이 어려움: 오류가 확장된 토큰에서 나타나고 일반 함수처럼 단계별 호출을 추적하기 어렵습니다.

함수는 각 인자 표현식을 한 번씩 평가하고 C++의 type·scope 규칙을 따릅니다. preprocessing이 꼭 필요한 조건부 컴파일, 문자열화 또는 token 결합이 아니라면 일반 함수, constexpr 함수나 함수 template을 먼저 선택합니다.

후보 선정과 측정

실제 인라인화를 검토할 때는 inline 표기부터 늘리지 말고 다음 순서를 따릅니다.

1. 실제 target과 release 최적화 옵션, LTO·PGO 설정, 대표 입력을 고정합니다.
2. profiler로 hot call site를 찾습니다.
3. compiler optimization remark나 생성 assembly에서 실제 치환 여부와 미치환 이유를 확인합니다.
4. runtime과 함께 binary 크기, instruction-cache 지표를 비교합니다.

핵심은 두 문장으로 정리할 수 있습니다.

• 헤더의 inline 정의는 정의 도달성과 ODR을 위한 언어 계약입니다.
• 성능을 위한 실제 인라인화는 optimizer가 호출 지점별로 수행하고, 개발자는 측정으로 결과를 확인합니다.