러스트의 HRTB

2026-04-21T00:00:00+00:00
HRTB는 Higher-Rank Trait Bound</code>의 약자다. 기존 라이프타임의 한계를 해결하기 위해 만들어진 문법이다. 예를 들면 다음과 같은 상황과 같다:</p>
fn</span> foo</span><</span>'</span>a</span>,</span> F</span>></span>(</span>closure</span>:</span> F</span>)</span></span>
where</span></span>
    F</span>:</span> Fn</span>(</span>&</span>'</span>a</span> i32</span>)</span>,</span></span>
{</span></span>
    let</span> bar</span> =</span> 42</span>;</span></span>
    </span></span>
    closure</span>(</span>&</span>bar</span>)</span>;</span> //</span> Compile errors here</span></span>
}</span></span></code></pre>
보통 클로저에 참조를 넘겨야할 때 이런 이슈를 꽤 자주 마주친다. 지금 보면 인자 foo</code>가 Fn(&'a i32)</code> 함수 타입 트레잇을 받고 있다. 위 코드를 컴파일해보면 에러가 난다.</p>
위 코드가 왜 에러가 나냐면, 러스트 컴파일러에서 참조 라이프타임을 추론할 때 caller의 라이프타임을 적용시킨다. main</code> 함수에서 foo를 호출했다고 하자. 그럼 &'a</code> 라이프타임은 자연스럽게 main</code> 스코프와 같은 수명을 갖게된다. 즉, 지역 참조인 &bar</code>의 수명이 성립이 안되는 거다. (main</code>보다 빨리 드랍된다.)</p>
그래서 해결책으로 HRTB</strong>를 사용한다.</p>
fn</span> foo</span><</span>F</span>></span>(</span>closure</span>:</span> F</span>)</span></span>
where</span></span>
    F</span>:</span> for</span><</span>'</span>a</span>></span> Fn</span>(</span>&</span>'</span>a</span> i32</span>)</span>,</span></span>
{</span></span>
    let</span> bar</span> =</span> 42</span>;</span></span>
    closure</span>(</span>&</span>bar</span>)</span>;</span></span>
}</span></span></code></pre>
위와 같이 작성할 수 있다. 차이점은 아까 코드와 다르게 제네릭 정의에 함수에 붙지 않고 F에 직접 for<'a></code> 문법으로 바인딩해준다..</p>
이게 무슨 말이냐면 선언하는 주체를 F</code>에게 넘기곘다는 것이다. 즉 기존엔 caller가 라이프타임의 수명을 정했지만 이젠 F</code>가 정한다는 것이다. 사실상 뭐가 들어오든 상관 없는 셈.</p>
이름이 Higher-Rank</code>인 이유도 여기서 나온다. 일반적인 라이프타임 정의는 rank-1, 즉 함수 시그니처 바깥에 있고 위와 같은 바인딩은 trait bound 안쪽, 즉 rank-2가 된다.</p>

참조</strong></p>

https://rust-lang.github.io/rfcs/0387-higher-ranked-trait-bounds.html</a></li>
https://www.rustfinity.com/blog/higher-rank-trait-bounds</a></li>
</ul>
CWLog - lifetime

러스트의 HRTB
