[c++] 재귀 함수가 인라인 일 수 있습니까?

첫째, inline함수 의 스펙은 힌트 일뿐입니다. 컴파일러는 inline한정자의 유무를 완전히 무시할 수 있으며 종종 무시합니다 . 즉, 상기와 더불어, 컴파일러 수 는 무한 루프 언 롤링 수만큼 재귀 함수를 인라인. 단순히 기능을 “롤”할 수있는 수준에 제한을 두어야합니다.

최적화 컴파일러는 다음 코드를 사용할 수 있습니다.

inline int factorial(int n)
{
    if (n <= 1)
    {
        return 1;
    }
    else
    {
        return n * factorial(n - 1);
    }
}

int f(int x)
{
    return factorial(x);
}

이 코드로 :

int factorial(int n)
{
    if (n <= 1)
    {
        return 1;
    }
    else
    {
        return n * factorial(n - 1);
    }
}

int f(int x)
{
    if (x <= 1)
    {
        return 1;
    }
    else
    {
        int x2 = x - 1;
        if (x2 <= 1)
        {
            return x * 1;
        }
        else
        {
            int x3 = x2 - 1;
            if (x3 <= 1)
            {
                return x * x2 * 1;
            }
            else
            {
                return x * x2 * x3 * factorial(x3 - 1);
            }
        }
    }
}

이 경우 기본적으로 함수를 3 번 ​​인라인했습니다. 일부 컴파일러 는 이 최적화를 수행합니다. MSVC ++는 재귀 함수 (최대 20 개)에서 수행 될 인라인 레벨을 조정하는 설정을 가지고 있습니다.

답변

template <int N>
struct Factorial
{
    enum { value = N * Factorial<N - 1>::value };
};

template <>
struct Factorial<0>
{
    enum { value = 1 };
};