함수를 매개 변수로 전달할 수 있습니까? 그렇지 않다면 좋은 대안은 무엇입니까?
몇 가지 다른 구문을 시도했지만 올바른 구문을 찾지 못했습니다. 나는 이것을 할 수 있다는 것을 안다.
fn example() {
let fun: fn(value: i32) -> i32;
fun = fun_test;
fun(5i32);
}
fn fun_test(value: i32) -> i32 {
println!("{}", value);
value
}
하지만 다른 함수에 매개 변수로 함수를 전달하지 않습니다.
fn fun_test(value: i32, (some_function_prototype)) -> i32 {
println!("{}", value);
value
}
답변
물론 넌 할 수있어:
fn fun_test(value: i32, f: &dyn Fn(i32) -> i32) -> i32 {
println!("{}", f(value));
value
}
fn times2(value: i32) -> i32 {
2 * value
}
fn main() {
fun_test(5, ×2);
}
이것은 Rust이기 때문에 클로저 의 소유권과 수명 을 고려해야합니다 .
TL; DR; 기본적으로 3 가지 유형의 클로저 (호출 가능한 객체)가 있습니다.
Fn
: 캡처 한 개체를 수정할 수 없습니다.FnMut
: 캡처 한 객체를 수정할 수 있습니다.FnOnce
: 가장 제한적입니다. 호출 될 때 자체 및 캡처를 소비하므로 한 번만 호출 할 수 있습니다.
클로저는 Fn, FnMut 및 FnOnce를 언제 구현합니까?를 참조하십시오 . 상세 사항은
클로저와 같은 간단한 함수 포인터를 사용하는 경우 캡처 세트가 비어 있고 Fn
맛 이 있습니다.
더 멋진 일을하고 싶다면 람다 함수를 사용해야합니다.
Rust에는 C 에서처럼 작동하는 함수에 대한 적절한 포인터가 있습니다. 그 유형은 예를 들어 fn(i32) -> i32
. Fn(i32) -> i32
, FnMut(i32) -> i32
그리고 FnOnce(i32) -> i32
실제로 특징이다. 함수에 대한 포인터는 항상이 세 가지를 모두 구현하지만, Rust에는 함수에 대한 포인터 (캡처 세트가 비어 있는지에 따라)로 변환되거나 변환되지 않을 수도있는 클로저도 있지만 이러한 특성 중 일부를 구현합니다.
예를 들어 위의 예를 확장 할 수 있습니다.
fn fun_test_impl(value: i32, f: impl Fn(i32) -> i32) -> i32 {
println!("{}", f(value));
value
}
fn fun_test_dyn(value: i32, f: &dyn Fn(i32) -> i32) -> i32 {
println!("{}", f(value));
value
}
fn fun_test_ptr(value: i32, f: fn(i32) -> i32) -> i32 {
println!("{}", f(value));
value
}
fn times2(value: i32) -> i32 {
2 * value
}
fn main() {
let y = 2;
//static dispatch
fun_test_impl(5, times2);
fun_test_impl(5, |x| 2*x);
fun_test_impl(5, |x| y*x);
//dynamic dispatch
fun_test_dyn(5, ×2);
fun_test_dyn(5, &|x| 2*x);
fun_test_dyn(5, &|x| y*x);
//C-like pointer to function
fun_test_ptr(5, times2);
fun_test_ptr(5, |x| 2*x); //ok: empty capture set
fun_test_ptr(5, |x| y*x); //error: expected fn pointer, found closure
}
답변
Fn
, FnMut
및 FnOnce
다른 대답 설명이다 폐쇄 유형. 범위에서 닫히는 함수 유형입니다.
클로저를 전달하는 것 외에도 Rust는 다음과 같은 간단한 (비 클로저) 함수 전달도 지원합니다.
fn times2(value: i32) -> i32 {
2 * value
}
fn fun_test(value: i32, f: fn(i32) -> i32) -> i32 {
println!("{}", f (value));
value
}
fn main() {
fun_test (2, times2);
}
fn(i32) -> i32
여기에 함수 포인터 유형이 있습니다.
함수 유형으로 작업하는 것보다 완전한 클로저가 필요하지 않은 경우 이러한 클로저 수명 nicities를 처리 할 필요가 없기 때문에 종종 더 간단합니다.