Ни для кого не секрет, что первый сценарий использования "static", который приходит на ум, - это сценарий в сочетании со ссылкой. Скажем, `&'static str` . Любой человек время от времени объявлял такие переменные `const` в своем коде. Кроме того, крайне важно поставить этот явный апостроф с дополнительной надписью после него. Это не может быть опущено, поскольку предполагается, что константы будут существовать всё время выполнения.
На первый взгляд новичку может показаться, что это уникальный контекст, в котором уместно указывать время жизни. Но это просто не так.
Давайте взглянем на следующий код:
Это какой-то сервис, зависящий от универсального типа, который должен каким-то образом настраивать сервис. Довольно обычный, не так ли?
Теперь давайте представим, что мы хотим дополнить нашу программу каким-нибудь асинхронным материалом. Скажем, такие каналы, как `tokio::sync::mpsc`, `futures::channel::mpsc` или даже `tokio::sync::broadcast`, почему бы и нет? Вдобавок ко всему, мы бы предпочли не только открыть `pipe`, но и передавать в него, иначе это было бы совершенно бессмысленно.
Как вы относитесь к `tokio::spawn` асинхронного блока для этой задачи? Если вы согласны со мной, вы бы согласились с утверждением, что это может иметь свое применение для передачи точного типа по каналу, являющемуся частью универсального `ServiceSetup`.
Итак, каковы предварительные условия для того, чтобы `Message` можно было передавать внутри асинхронного блока?
Поначалу для неподготовленного пользователя может показаться ошеломляющим навязывать такое пожизненное требование без символа `&` или не как общий параметр для структуры, а просто как ограничение наравне с трейтами. И все же так оно и есть.
Неудивительно, что это должно быть отправлено синхронно, но этого недостаточно. Это должно быть независимым от области, в которой оно было создано, т.е. это может быть что-то без внешних ссылок. Как это указать? С самого начала используя `'static`.
В целом, эту дополнительную привязку не следует путать с привязкой к ссылке. Поскольку это не требуется, чтобы базовый тип был постоянным в течение всего времени выполнения, сделать просто без внешних ссылок.
Статья на list-site.
