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

Нет. Ограничение T: 'static означает, что значение типа T не содержит заимствований, которые могут стать недействительными раньше статического времени жизни. Само значение при этом может быть уничтожено значительно раньше завершения программы.

Например, владеющая строка String обычно удовлетворяет T: 'static, хотя её можно освободить сразу после выхода из области видимости. Отдельно проверяется Send: T: 'static не означает, что значение безопасно передавать между потоками.

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

Rust использует времена жизни, чтобы разрешать заимствования только пока объект-владелец гарантированно существует. Ограничение 'static нужно в ситуациях, где компилятор не может доказать конкретную длительность работы: например, при передаче замыкания в поток, который потенциально переживёт текущую функцию.

Вместо ручного управления памятью Rust требует либо передать потоку полностью независимое владение, либо гарантировать, что все заимствования внутри передаваемого значения живут достаточно долго. Это предотвращает обращение к уже освобождённой памяти без сборщика мусора и без runtime-проверок.

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

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

Если фоновое значение содержит ссылку на такую локальную переменную, ссылка станет висячей. Поэтому API вроде std::thread::spawn требует, чтобы захваченное замыканием состояние удовлетворяло 'static. Это ограничение не говорит, что поток обязан работать вечно; оно лишь запрещает ему зависеть от краткоживущих внешних заимствований.

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

У типа T: 'static нет ссылок с временем жизни короче 'static. Практически это означает, что тип может состоять из собственных данных или из ссылок, явно пригодных для жизни всей программы, например &'static str.

Собственность и время жизни — разные свойства:

String владеет буфером и поэтому не содержит внешнего заимствования; он удовлетворяет String: 'static, но может быть уничтожен в любой момент.
&'static str содержит ссылку, действительную до конца программы.
&'a str, где 'a — локальная ограниченная жизнь, обычно не удовлетворяет требованию T: 'static.

Минимальный пример показывает это различие:

use std::thread;

fn start() {
    let message = String::from("готово");

    thread::spawn(move || {
        println!("{message}");
    });
}

Ключевым является move: замыкание получает владение строкой, поэтому не зависит от локальной переменной message после выхода из start. Строка всё равно будет освобождена, когда владелец внутри замыкания исчезнет; 'static не превращает её в бессрочно живой объект.

Для thread::spawn обычно нужны две независимые гарантии: 'static предотвращает висячие ссылки, а Send разрешает перемещение значения в другой поток. Тип может удовлетворять одному из этих требований и не удовлетворять другому.

Компромисс состоит в том, что требование 'static иногда заставляет клонировать данные или передавать владение вместо заимствования. Если нужна работа с заимствованиями, можно использовать scoped-потоки: их API гарантирует завершение дочерних потоков до выхода из области видимости, поэтому краткоживущие заимствования могут быть допустимы.

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

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

Второй вариант клонирует конфигурацию и передаёт клон по владению. Он прост и безопасен, но может быть дорогим для большого состояния. Третий вариант переносит исходную конфигурацию в замыкание; это обычно лучший выбор, если вызывающему коду больше не нужен объект.

Если же поток должен лишь временно работать с общим объектом, применяют scoped-поток либо явно разделяемое владение, например Arc, при этом для изменяемого доступа дополнительно выбирают подходящую синхронизацию. Итоговое решение зависит от того, требуется ли совместное использование, изменение данных и возможность пережить область видимости вызывающей функции.

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

Дополнительный вопрос: Может ли локальная переменная типа String удовлетворять T: 'static, если она уничтожается при выходе из функции?

Ответ: Да. Требование относится к ссылкам, содержащимся внутри типа, а не к фактической длительности жизни экземпляра. String владеет своими данными и не заимствует их у локального объекта, поэтому его тип удовлетворяет 'static; конкретный экземпляр можно уничтожить сразу после последнего использования.
Дополнительный вопрос: Достаточно ли ограничения T: 'static, чтобы передать T в другой поток?

Ответ: Нет. Нужен также Send. 'static гарантирует отсутствие краткоживущих заимствований, но не гарантирует потокобезопасность перемещения: тип может содержать состояние, которое Rust запрещает передавать между потоками.
Дополнительный вопрос: Почему scoped-поток может принимать заимствование локальных данных без требования 'static?

Ответ: Scoped-API устанавливает структурированную гарантию: все дочерние потоки должны завершиться до выхода из scope. Поэтому локальный владелец не будет уничтожен, пока поток ещё способен использовать ссылку. Это не отменяет правил заимствования и не делает обычный неограниченный поток безопасным; меняется именно доказуемая граница жизни потока.