Краткий ответ

for<'a> означает, что тип обязан удовлетворять bound для любого времени жизни 'a, выбранного вызывающей стороной. Это не привязка к одному конкретному lifetime, а универсальное требование: реализация не может заранее выбрать или сохранить определённое время жизни.

Например, bound F: for<'a> Fn(&'a str) -> usize требует, чтобы функция могла принять строковый срез с любой длительностью заимствования.

Исторический контекст

В Rust время жизни является частью системы типов, поэтому обобщённые API должны описывать не только типы, но и допустимые связи между заимствованиями. Обычного параметра lifetime недостаточно, когда вызывающий код может передавать значения с разными и заранее неизвестными сроками жизни.

Higher-ranked trait bounds, или HRTB, появились как средство выразить универсальность по lifetime. Они позволяют описывать callbacks и другие обобщённые компоненты, которые должны работать с любым краткосрочным заимствованием.

Постановка проблемы

Представим функцию, принимающую обработчик строки. Каждый вызов может передавать срез, заимствованный на свой срок: из локальной переменной, поля структуры или временного участка обработки.

Если bound разрешает обработчику работать только с одним заранее выбранным 'a, API становится чрезмерно узким. Компилятор не примет вызов, если фактический срок заимствования не совпадает с этим lifetime, хотя обработчик логически не зависит от его конкретной длительности.

Подробное решение

Запись F: Trait<'a> проверяет реализацию для конкретного 'a, обычно связанного с параметрами текущей функции. Запись F: for<'a> Trait<'a> означает квантор: bound должен выполняться отдельно для каждого возможного 'a.

Внутренне lifetime после for является late-bound: он выбирается в месте применения bound, а не самим типом F. Поэтому реализация не может требовать, чтобы входное заимствование жило дольше какого-либо заранее известного значения.

Минимальный пример:

fn apply<F>(f: F, text: &str) -> &str
where
    F: for<'a> Fn(&'a str) -> &'a str,
{
    f(text)
}

fn identity(value: &str) -> &str {
    value
}

fn main() {
    let text = String::from("rust");
    println!("{}", apply(identity, &text));
}

Здесь identity может принять срез с любым lifetime и вернуть срез, связанный с lifetime входа. Она не может вернуть ссылку на локальную переменную или на данные, срок жизни которых меньше входного заимствования.

Важно не путать HRTB с 'static. for<'a> не требует, чтобы данные жили постоянно; он требует универсальности по lifetime. Кроме того, запись Fn(&str) во многих контекстах является сокращённой формой bound с универсальным lifetime, но явная форма for<'a> полезна для понимания и нужна при параметризации собственных трейтов.

HRTB не делает тип динамически диспетчеризуемым и не меняет владение. Это только ограничение на множество допустимых реализаций трейта; выбор статической или динамической диспетчеризации определяется отдельно через generic-параметр или dyn Trait.

Ситуация из практики

В библиотеке обработки сетевых буферов callback должен анализировать разные срезы одного буфера. Один вариант — копировать каждый срез в String или Vec, что упрощает lifetime, но увеличивает время и объём аллокаций.

Другой вариант — связать callback с lifetime всего буфера. Это уменьшает гибкость: обработчик нельзя безопасно переиспользовать для срезов с другим сроком жизни.

Выбран bound с HRTB: обработчик принимает &str или &[u8] на любой lifetime и возвращает только значение, не содержащее заимствования, либо ссылку, явно связанную с входом. Такой вариант сохраняет нулевое копирование и позволяет безопасно вызывать callback для разных участков буфера.

Что кандидаты часто упускают

Эквивалентен ли for<'a> требованию 'a: 'static?

Нет. 'static описывает конкретное требование к сроку жизни: ссылка или тип должны быть совместимы со временем жизни всей программы. for<'a> не увеличивает срок жизни данных, а требует, чтобы реализация была корректной для каждого выбранного lifetime, включая короткие локальные заимствования.

Может ли HRTB разрешить callback вернуть ссылку на переданный аргумент?

Да, если bound описывает связь результата с входом, например for<'a> Fn(&'a str) -> &'a str. В этом случае результат может жить ровно столько же, сколько входное заимствование. HRTB не разрешает вернуть ссылку на локальную переменную callback или на данные, уничтожаемые до использования результата.

Чем HRTB отличается от lifetime-параметра внешней функции?

Внешний параметр вроде 'a может связать несколько аргументов и результат с одним конкретным lifetime вызова. HRTB, напротив, требует, чтобы переданный тип сам поддерживал любой lifetime, выбранный внутри каждого применения bound. Поэтому HRTB особенно полезен для универсальных callbacks, а обычный параметр lifetime — для описания конкретной связи заимствований между аргументами и результатом.