[Rust] lifetime: async와 콜백

#Rust

2025.02.03 작성
2025.02.23 수정

Rust의 라이프타임 시스템이 어렵고 난해하다고 하지만, 사실 일반적인 경우에서는 그렇게 벽을 느낄만한 경우가 많지는 않다.
단순하게 함수에 참조를 넘기거나 하는 경우는 문제가 될 경우가 잘 없다.

하지만 참조에 async가 붙고 콜백도 엮인다면 머리가 아파지기 시작한다.

문제 없는 경우

async가 아니라면 뒷면에서의 코드 생성이 거의 일어나지 않기도 하고, 대체로는 별 문제가 없다.
콜백함수를 받아서 실행하는 retry 함수를 만든다고 하면, 이런 식으로 할 수 있을 것이다.

잘 동작한다.

그러면 콜백에 가변 참조 같은 값을 파라미터로 넘기면 어떨까? 참조라서 문제가 생길까?

동기 코드에서는 별다른 문제가 없다.

문제: async callback과 참조 전달

문제가 생기는건 보통 async를 쓸때부터다.
하지만 콜백이 파라미터를 받지 않는다면 이 또한 문제는 없다.

문제가 생기는건, async 콜백이 참조 파라미터를 받을때부터다
async 자체가 문제라기보단, async가 trait으로 확장되는 과정에서 미묘한 뭐시기들이 생기는 것이다.

이런 식으로 짜면

사용할때 lifetime 관련 오류가 돌출되기 시작한다.

이러한 오류 메세지는 관련해서 아는게 없다면 직관적으로 받아들이기 어렵다.
저기서 문제가 된건 클로저인데, 하나씩 까보자.

|context: &mut Context| async {
    println!("Hello, world!");
    context.do_something();

    Ok(())
}

일단 클로저의 파라미터 타입이 (context: &'1 mut Context)로 해석된다.
그리고 클로저의 반환 타입 (여기서는 async block)이 라이프타임 '2로 암시된다.

타입 시그너처로 표현하면 이렇게 풀린다고 보면 된다.

(context: &'1 mut Context) -> 
(impl Fn(&mut Context) -> impl '2 + Future<Output = anyhow::Result<()>>)

이것도 어지럽긴 하다.

아무튼 여기서 rust가 말하는건, '1 참조가 '2보다 오래 살아있다는 보장이 없다는 것이다.

사실 로직상으로는 별다른 문제가 없긴 한데, parameter와 return Future 사이의 이 미묘한 간극을 rust 컴파일러가 완벽히 추적을 하지는 못해서 생기는 문제다.
어떤 식으로라든 이 부정교합을 해결해야 컴파일이 될 것이다. 여기엔 2가지 정도의 방법이 있었는데, 1.85부터 깔끔한 방법이 생겼다.