C++ 람다(lambda) 표현식 완전 정복: 익명 함수로 STL 알고리즘을 더 강력하게!

📌 람다 표현식이란?

람다(lambda) 표현식은 익명 함수(anonymous function)를 선언하는 문법입니다.
C++11부터 도입되었으며, 별도의 함수 정의 없이도 한 줄로 함수처럼 사용할 수 있는 강력한 기능입니다.
JavaScript나 Python 등에서 익숙한 분이라면 C++에서도 비슷한 구조를 구현할 수 있다는 점이 반가울 텐데요.
특히, 반복 처리나 조건 검색에 자주 사용하는 STL 알고리즘과 함께 사용할 때 그 진가를 발휘합니다.

람다는 함수 포인터나 함수 객체보다 훨씬 간단하게 함수를 전달할 수 있어, 복잡한 로직을 더 가독성 좋게 만들 수 있습니다.
기본 문법은 다음과 같습니다.

// 기본 문법
[capture](parameter) -> return_type {
    // 함수 본문
};

이 중 capture는 외부 변수를 함수 내부에서 사용할 수 있도록 지정하는 부분이며, parameter는 일반적인 함수 인자와 같습니다.
return_type은 생략 가능하며, 함수 본문은 중괄호로 감싸서 처리합니다.

예를 들어, 두 정수 중 더 큰 값을 반환하는 람다는 다음과 같이 표현할 수 있습니다.

auto max = [](int a, int b) {
    return (a > b) ? a : b;
};

이렇게 정의된 max는 일반 함수처럼 max(10, 20)처럼 호출할 수 있으며, 복잡한 조건문을 함수로 분리할 필요 없이 한 줄로 깔끔하게 처리할 수 있습니다.
실제 STL에서의 활용은 다음 섹션에서 더 자세히 알아보겠습니다.

📌 STL 알고리즘과 람다의 조합

C++의 STL(Standard Template Library) 알고리즘은 반복자 기반으로 다양한 작업을 수행할 수 있는 유용한 도구입니다.
이러한 알고리즘에 람다 표현식을 함께 사용하면 별도의 함수 정의 없이 조건을 즉석에서 작성할 수 있어 훨씬 더 직관적이고 효율적인 코드 작성이 가능합니다.

예를 들어, 특정 조건을 만족하는 요소를 찾고 싶을 때 사용하는 std::find_if에 람다를 사용하면 아래와 같이 표현할 수 있습니다.

#include <algorithm>
#include <vector>
#include <iostream>

int main() {
    std::vector<int> nums = {1, 3, 5, 8, 10};
    
    auto it = std::find_if(nums.begin(), nums.end(), [](int x) {
        return x % 2 == 0;
    });
    
    if (it != nums.end()) {
        std::cout << "처음 발견된 짝수: " << *it << std::endl;
    }
}

위 예제에서 짝수를 찾는 조건을 람다로 직접 넘겨주고 있으며, 코드의 흐름이 함수로 분리된 경우보다 훨씬 자연스럽고 읽기 쉬운 형태를 갖추고 있습니다.

또 다른 예시로는 std::sort에서 사용자 정의 정렬 조건을 사용할 때도 람다가 매우 유용합니다.

std::sort(nums.begin(), nums.end(), [](int a, int b) {
    return a > b; // 내림차순 정렬
});

함수 포인터를 따로 정의하지 않고도 정렬 기준을 한눈에 파악할 수 있어 협업 시에도 큰 도움이 됩니다.

결론적으로 STL 알고리즘과 람다 표현식은 궁합이 매우 좋은 조합입니다.
불필요한 함수 정의를 줄이고, 코드를 더 선언적이고 직관적으로 작성하는 데 큰 도움이 됩니다.

📌 캡처 리스트 완벽 이해하기

람다 표현식에서 가장 중요한 요소 중 하나가 바로 캡처 리스트(capture list)입니다.
캡처 리스트는 람다가 외부 변수를 어떻게 가져올지를 명시하는 부분으로, 대괄호 [] 안에 작성됩니다.
이를 통해 람다는 함수 외부의 변수에 접근할 수 있으며, 접근 방식에 따라 복사 또는 참조로 캡처할 수 있습니다.

📌 복사 캡처와 참조 캡처

기본적인 캡처 방식은 다음과 같습니다.

• 📦[=] : 모든 외부 변수를 값으로 복사
• 🔗[&] : 모든 외부 변수를 참조로 캡처
• 🎯[a] : 변수 a만 복사
• 🧷[&a] : 변수 a만 참조

참조로 캡처하면 원본 변수의 값이 바뀌는 반면, 복사로 캡처하면 람다 내부에서만 값이 유지되며 외부 변수에는 영향을 주지 않습니다.

📌 예제 코드로 이해하기

int a = 10, b = 20;

// 값으로 캡처
auto f1 = [=]() {
    std::cout << a + b << std::endl;
};

// 참조로 캡처
auto f2 = [&]() {
    b += 10;
};

이처럼 캡처 리스트를 적절히 활용하면 람다 함수 내부에서 외부 변수들을 효율적으로 사용할 수 있으며,
특정 상황에 맞게 값을 보호하거나 수정할 수 있는 유연한 컨트롤이 가능합니다.

📌 반환 타입과 mutable 키워드 활용

C++의 람다 표현식은 단순히 함수를 익명으로 정의하는 데서 그치지 않고, 반환 타입 명시나 내부 상태 수정까지도 가능하게 설계되어 있습니다.
특히 복잡한 계산 결과를 반환하거나, 캡처한 변수의 값을 수정해야 할 때 유용하게 활용할 수 있죠.

📌 명시적 반환 타입 지정

람다의 반환 타입은 대부분 컴파일러가 자동으로 추론할 수 있지만, 복잡한 표현식이거나 반환 타입이 명확하지 않을 경우 -> 반환형을 통해 명시적으로 지정할 수 있습니다.

auto divide = [](int a, int b) -> double {
    return static_cast<double>(a) / b;
};

위처럼 실수형 반환이 필요한 경우, 명시적 타입 지정은 매우 유용합니다.

📌 mutable 키워드의 역할

람다에서 [=]처럼 값으로 캡처한 변수는 일반적으로 읽기 전용입니다.
그러나 mutable 키워드를 사용하면 람다 내부에서 해당 변수의 복사본을 수정할 수 있습니다.

int x = 5;

auto modify = [=]() mutable {
    x += 10; // 외부 x는 그대로, 복사본 수정
    std::cout << "내부 x: " << x << std::endl;
};

modify();
std::cout << "외부 x: " << x << std::endl;

이처럼 mutable을 사용하면 람다 내부에서 캡처된 값의 복사본을 자유롭게 변경할 수 있지만,
원본 값에는 영향을 주지 않기 때문에 임시 변경 처리에 적합합니다.

📌 함수 객체와의 차이점 비교

람다 표현식은 간결함과 직관성을 강점으로 가지지만, C++에서는 예전부터 함수 객체(functor)라는 방식도 존재해왔습니다.
두 방식은 모두 함수처럼 동작한다는 공통점이 있지만, 구조와 활용 방법에서는 몇 가지 차이가 있습니다.

📌 함수 객체(Functor)란?

함수 객체는 operator()를 오버로드한 클래스 또는 구조체입니다.
다음은 간단한 예시입니다.

struct Add {
    int operator()(int a, int b) const {
        return a + b;
    }
};

Add add;
std::cout << add(3, 4); // 7 출력

이처럼 함수 객체는 클래스 기반이라 상태를 가질 수 있고, 반복 사용에도 유리합니다.
하지만 구현이 길어지고, 매번 타입을 선언해야 하는 번거로움이 있습니다.

📌 람다와 함수 객체 비교

정리하자면, 간단한 조건 처리나 한 줄 함수에는 람다가, 복잡하고 재사용이 필요한 로직에는 함수 객체가 더 적합하다고 할 수 있습니다.

❓ 자주 묻는 질문 (FAQ)