답변.

고차 함수는 다른 함수를 매개변수로 받거나 결과로 반환하는 함수입니다. 러스트는 처음부터 타입 안전성과 성능에 중점을 두고 개발되어 왔으며, 이는 이러한 종류의 함수 처리에 반영됩니다.

문제의 역사:

함수형 언어에서는 고차 함수가 표준이지만, 많은 시스템 언어에서는 종종 성능 저하를 초래했습니다(예: 할당 또는 코드의 인라인 호출 불가능 때문). 러스트에서는 엄격한 타입 시스템, 정적 디스패칭 또는 트레이트(Fn, FnMut, FnOnce)를 통해 이 기능을 구현하여 대부분의 경우 비용을 피할 수 있습니다.

문제:

기본 문제는 함수나 클로저를 전송하면서 타입 안전성을 유지하고, 변수를 캡처할 수 있는 가능성(람다 표현식의 용이성) 및 할당이나 가상 호출 없이 성능을 유지해야 한다는 것입니다.

해결책:

러스트에서 고차 함수는 제네릭 매개변수와 함수/클로저에 대한 트레이트 래퍼를 통해 구현됩니다. 표준 트레이트 Fn, FnMut 및 FnOnce는 전달되는 함수에 대한 요구 사항을 매우 명확하게 선언할 수 있게 해줍니다(변경할 수 있는지 또는 환경을 소비할 수 있는지). 제네릭을 통한 전송은 컴파일 단계에서 호출을 인라인화할 수 있게 합니다. 또한, 타입이 미리 알려지지 않았을 때 Box<dyn Fn...>를 통한 동적 디스패칭도 가능합니다.

코드 예시:

fn apply_to_vec<F: Fn(i32) -> i32>(v: Vec<i32>, f: F) -> Vec<i32> {
    v.into_iter().map(f).collect()
}

let nums = vec![1, 2, 3];
let doubled = apply_to_vec(nums, |x| x * 2);
// doubled == [2, 4, 6]

주요 특징:

타입 안전성은 컴파일 단계에서 보장됩니다.
개발자가 선택할 수 있는 정적 및 동적 디스패칭을 모두 지원합니다.
클로저 메커니즘은 러스트의 대여 및 소유권 모델과 호환됩니다.

속임수 질문.

Fn, FnMut 및 FnOnce는 어떻게 다릅니까?

많은 사람들은 이들이 문법적으로만 다르거나 Fn과 FnMut이 상호 교체 가능하다고 생각합니다. 실제로는:

FnOnce는 한 번만 호출할 수 있습니다(예: 클로저가 캡처된 값을 이동할 때).
FnMut은 캡처된 환경의 상태를 변경할 수 있지만 여러 번 호출할 수 있습니다.
Fn은 환경을 변경하지 않습니다.

예시:

let mut sum = 0;
let mut add = |x| { sum += x; };
// add는 FnMut를 구현하지만 Fn이 아닙니다.

Boxing 없이 값을 함수로 전달할 수 있습니까?

종종 함수 인자는 반드시 박싱 되어야 한다고 생각합니다(Box<dyn Fn...>). 사실, 동적 디스패칭이 필요할 때만 박싱이 필요합니다. 제네릭 매개변수를 통해 함수는 완전히 정적으로 타입이 지정될 수 있으며, 할당이나 박싱 없이 가능합니다.

클로저가 언제 Copy가 되지 않습니까?

일부 사람들은 간단한 클로저가 내부 변수들이 Copy라면 항상 Copy 또는 Clone이라고 생각합니다. 실제로 클로저는 캡처된 변수가 Copy일 경우에도 기본적으로 Copy가 아닙니다. 트레이트를 명시적으로 구현해야 하거나 단순한 함수에 의존해야 합니다.

일반적인 오류 및 안티 패턴

필요 없이 항상 Box<dyn Fn>을 사용하여 성능을 저하시키는 경우.
Fn/FnMut/FnOnce 간의 차이를 이해하지 못하여 불필요한 clone 또는 borrow 충돌을 유발함.
클로저가 Copy 데이터를 캡처하면 자동으로 Copy일 것이라고 예상하는 경우.

실제 사례

부정적인 케이스

프로젝트에서 모든 콜백에 대해 Box<dyn Fn()>만 사용하여 인라인 및 할당에 대한 깊은 고려 없이 작업했습니다. 결과적으로 성능 향상을 얻지 못했으며 빈번한 할당이 지연을 초래했습니다.

장점:

API 인터페이스의 단순화.

단점:

루프 및 대량의 입력 데이터에서 성능 크게 저하.

긍정적인 케이스

이벤트 핸들러는 FnMut 트레잇 제한이 있는 제네릭 함수로 설정하여 할당 없이 처리했습니다.