Nano Hash - криптовалюты, майнинг, программирование

не может вывести подходящее время жизни для шаблона из-за конфликтующих требований в шаблоне `ref mut`

struct RefWrap<'a> {
    wrap: &'a mut Option<String>,
}

impl<'a> RefWrap<'a> {
    fn unwrap(&mut self) -> &'a mut String {
        match *self.wrap {
            Some(ref mut s) => s,
            None => panic!(),
        }
    }
}

(площадка)

Насколько я понимаю, это правильный код (возвращенная ссылка действительно имеет время жизни 'a. Но Rust выдает следующую ошибку:

error[E0495]: cannot infer an appropriate lifetime for pattern due to conflicting requirements
 --> <anon>:8:18
  |
8 |             Some(ref mut s) => s,
  |                  ^^^^^^^^^

При использовании неизменяемых ссылок он работает без ошибок.

Был один похожий вопрос, но я почти уверен, что он бесполезно в этом случае.

rust lifetime
22.02.2017

Ответы:


1

Похоже, конфликт заключается в том, что возвращаемое значение:

  • Должен быть действителен как минимум 'a
  • Не должно пережить &mut self, который является только временем жизни вызова функции.

Если бы это было разрешено, это позволило бы вам вызвать его дважды и получить две &'a mut ссылки на одно и то же String содержимое:

let mut w = RefWrap { wrap: &mut s };
let ref1 = w.unwrap();
let ref2 = w.unwrap();  // two mutable references!

Причина в том, что Rust рассуждает о том, заимствовано ли что-то, путем связывания времени жизни вместе - но здесь вы явно говорите, что время жизни возвращаемого значения не связано с &mut self, что означает, что он не расширяет заимствование - и тогда вы можете заимствовать снова с другим звонком.

Решение здесь, чтобы получить исходное время жизни ссылки без риска наложения второй &mut ссылки на нее, состоит в том, чтобы взять self по значению (переместить), чтобы ее нельзя было использовать снова. Компилятор этим доволен:

impl<'a> RefWrap<'a> {
    fn unwrap(self) -> &'a mut String {
        match *self.wrap {
            Some(ref mut s) => s,
            None => panic!(),
        }
    }
}

(площадка)

22.02.2017
  • это позволит вам вызвать его дважды и получить две &'a mut ссылки - ›Я так не думаю. Например, посмотрите этот код. Я использовал transmute(), чтобы метод заработал, но я все еще не могу создать две изменяемые ссылки. Также: я специально хочу, чтобы возвращенная ссылка имела более длительный срок службы, а именно 'a. 22.02.2017
  • Да, вы можете: play.rust-lang.org/ 22.02.2017
    • Новые материалы
    Кластеризация: более глубокий взгляд
    Кластеризация — это метод обучения без учителя, в котором мы пытаемся найти группы в наборе данных на основе некоторых известных или неизвестных свойств, которые могут существовать. Независимо от..
    Как написать эффективное резюме
    Предложения по дизайну и макету, чтобы представить себя профессионально Вам не позвонили на собеседование после того, как вы несколько раз подали заявку на работу своей мечты? У вас может..
    Частный метод Python: улучшение инкапсуляции и безопасности
    Введение Python — универсальный и мощный язык программирования, известный своей простотой и удобством использования. Одной из ключевых особенностей, отличающих Python от других языков, является..
    Как я автоматизирую тестирование с помощью Jest
    Шутка для победы, когда дело касается автоматизации тестирования Одной очень важной частью разработки программного обеспечения является автоматизация тестирования, поскольку она создает..
    Работа с векторными символическими архитектурами, часть 4 (искусственный интеллект)
    Hyperseed: неконтролируемое обучение с векторными символическими архитектурами (arXiv) Автор: Евгений Осипов , Сачин Кахавала , Диланта Хапутантри , Тимал Кемпития , Дасвин Де Сильва ,..
    Понимание расстояния Вассерштейна: мощная метрика в машинном обучении
    В обширной области машинного обучения часто возникает необходимость сравнивать и измерять различия между распределениями вероятностей. Традиционные метрики расстояния, такие как евклидово..
    Обеспечение масштабируемости LLM: облачный анализ с помощью AWS Fargate и Copilot
    В динамичной области искусственного интеллекта все большее распространение получают модели больших языков (LLM). Они жизненно важны для различных приложений, таких как интеллектуальные..