컴파일러 최적화에서 Lambda가 함수에 비해 인라인 이점을 갖는 이유는 무엇입니까?

컴파일러 최적화에서 Lambda가 함수보다 성능이 뛰어난 이유

그의 저서 "The C Standard Library(Second Edition)"에서 Nicolai Josuttis는 람다가 다음과 같이 주장합니다. 일반 함수에 비해 뛰어난 컴파일러 최적화를 누려보세요. 이러한 구별은 특정 람다 객체에 맞게 조정된 함수 템플릿 인스턴스화를 허용하는 함수 개체로서의 람다의 특성에서 비롯됩니다.

람다의 인라인 장점

일반 함수와 달리 함수 포인터를 함수 템플릿에 전달하면 람다는 함수 개체로 전달됩니다. 그러면 특정 람다 객체에 맞는 새로운 함수 생성이 트리거됩니다. 결과적으로 컴파일러는 람다 호출을 손쉽게 인라인할 수 있습니다.

함수 포인터 장애

반면, 함수는 함수 템플릿의 전달 메커니즘으로 인해 방해를 받습니다. 컴파일러는 함수 포인터를 통해 이루어진 호출을 인라인하는 데 어려움을 겪습니다. 이론적인 인라인 처리는 가능하지만, 이를 포함하는 함수의 인라인 처리도 필요합니다.

인스턴스화 예

아래 함수 템플릿 "map"을 고려하세요.

template <typename Iter, typename F>
void map(Iter begin, Iter end, F f) {
    for (; begin != end; ++begin)
        *begin = f(*begin);
}

람다를 사용하여 "map" 호출:

int a[] = { 1, 2, 3, 4 };
map(begin(a), end(a), [](int n) { return n * 2; });

다음 인스턴스화를 생성합니다.

template <>
void map<int*, _some_lambda_type>(int* begin, int* end, _some_lambda_type f) {
    for (; begin != end; ++begin)
        *begin = f.operator()(*begin);
}

컴파일러는 람다의 연산자()를 식별하고 다음 호출을 손쉽게 인라인할 수 있습니다.

그러나 "map"이 함수 포인터로 호출되는 경우:

template <>
void map<int*, int (*)(int)>(int* begin, int* end, int (*f)(int)) {
    for (; begin != end; ++begin)
        *begin = f(*begin);
}

함수 포인터 "f"는 "map" 호출마다 다른 위치를 가리킵니다. 컴파일러가 "f" 호출만 인라인하는 것은 다루기 어렵습니다. 인라인을 사용하려면 포괄적인 "map" 호출도 인라인되어야 하며, 이를 통해 컴파일러는 "f"가 가리키는 특정 함수를 결정할 수 있습니다.

위 내용은 컴파일러 최적화에서 Lambda가 함수에 비해 인라인 이점을 갖는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!