Как мне справиться со временем жизни при реализации ржавчины?

Question

Итак, я проходил серию видео Handmade Hero и подумал, что будет интересным упражнением перевести код в ржавчину. Однако мне никогда прежде не приходилось иметь дело с жизнями, и теперь я получаю связанные с ними ошибки компиляции. В настоящее время у меня есть следующий код:

struct TextureData<'a> {
    texture: Texture<'a>,
    width: usize,
    height: usize,
    bytes_per_pixel: usize,
    pixels: Vec<u8>
}

impl TextureData<'_> {
    fn new(texture: Texture, width: usize, height: usize) -> Self {
        TextureData { texture, width, height, bytes_per_pixel: PIXEL_BYTES, pixels: Vec::new() }
    }

    fn fill_texture(&mut self) {
        let size = self.width * self.height * self.bytes_per_pixel;
        let mut pixels: Vec<u8> = Vec::with_capacity(size);
        for i in 0..(self.width * self.height){
            let x = i / self.width;
            let y = i % self.height;
            pixels.push((x % 0xff) as u8);
            pixels.push((y % 0xff) as u8);
            pixels.push(0);
            pixels.push(0);
        }

        self.pixels = pixels;
    }

    fn update(&mut self) {
        let pitch = self.width * self.bytes_per_pixel;
        self.texture.update(None, &self.pixels, pitch);
    }
}

, и я получаю следующий отзыв:

error[E0495]: cannot infer an appropriate lifetime for lifetime parameter `'a` due to conflicting requirements
  --> src/main.rs:21:2
   |
21 |     TextureData { texture, width, height, bytes_per_pixel: PIXEL_BYTES, pixels: Vec::new() }
   |     ^^^^^^^^^^^
   |
note: first, the lifetime cannot outlive the anonymous lifetime #1 defined on the method body at 20:5...
  --> src/main.rs:20:5
   |
20 | /     fn new(texture: Texture, width: usize, height: usize) -> Self {
21 | |     TextureData { texture, width, height, bytes_per_pixel: PIXEL_BYTES, pixels: Vec::new() }
22 | |     }
   | |_____^
note: ...so that the expression is assignable
  --> src/main.rs:21:16
   |
21 |     TextureData { texture, width, height, bytes_per_pixel: PIXEL_BYTES, pixels: Vec::new() }
   |                   ^^^^^^^
   = note: expected  `sdl2::render::Texture<'_>`
              found  `sdl2::render::Texture<'_>`
note: but, the lifetime must be valid for the lifetime `'_` as defined on the impl at 19:18...
  --> src/main.rs:19:18
   |
19 | impl TextureData<'_> {
   |                  ^^
note: ...so that the expression is assignable
  --> src/main.rs:21:2
   |
21 |     TextureData { texture, width, height, bytes_per_pixel: PIXEL_BYTES, pixels: Vec::new() }
   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   = note: expected  `TextureData<'_>`
              found  `TextureData<'_>`

error: aborting due to previous error

For more information about this error, try `rustc --explain E0495`.

Я, конечно, прочитал документы для E0495, но понятия не имею как это применяется в этом случае.

Answer 1

Вам нужно повторить это так же, как вы делали, когда объявляли структуру TextureData:

impl<'a> TextureData<'a> {
    fn new(texture: Texture<'a>, width: usize, height: usize) -> Self {
        ...
    }

    ...
}

Обратите внимание на добавленную 3 <'a>. Это не обязательно должно быть 'a, оно может быть равно 'b в этих 3 местах.

В качестве альтернативы, если вы хотите использовать форму «анонимного времени жизни», то вам нужно написать ее как это.

impl TextureData<'_> {
    fn new(texture: Texture<'_>, width: usize, height: usize) -> TextureData<'_> {
        ...
    }

    ...
}