отсутствует срок службы спецификатор [E0106] по типу псевдонима

Question

Этот код:

use std::fmt; 
use std::result::Result::{self, Ok, Err}; 

#[derive(Clone)] 
#[derive(Copy)] 
enum Tile { 
    White, 
    Black, 
    Empty 
} 
type Board = &[[Tile; 19]; 19]; 

Производит эту ошибку:

Compiling go v0.1.0 (file:///home/max/gits/go_rusty) 
src/main.rs:12:14: 12:31 error: missing lifetime specifier [E0106] 
src/main.rs:12 type Board = &[[Tile; 19]; 19]; 
          ^~~~~~~~~~~~~~~~~ 
error: aborting due to previous error 
Could not compile `go`. 

To learn more, run the command again with --verbose. 

У меня трудно найти что-нибудь, что объясняет то, что срок службы спецификатор и почему мне это нужно в объявлении псевдонимов типа.

Answer 1

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

type Board<'a> = &'a [[Tile; 19]; 19]; 

---

Ржавчина всегда четко о общих аргументов. Жизненные времена также являются общими аргументами. Представьте, что вы были бы родовыми по типу Tile.

type Board = &[[T; 19]; 19]; 

Это вызовет ошибку о T не существует (за исключением, если вы определили фактический тип по имени T). Но вы бы хотели использовать Board для любого внутреннего типа. Так что вам нужно сделать, это добавить общий аргумент определения:

type Board<T> = &[[T; 19]; 19]; 

Поэтому, когда вы используете псевдоним Board типа, вы также должны пройти T типа.

Назад к нашей проблеме с продолжительностью жизни. Наш псевдоним типа имеет ссылку. Мы не знаем, какова продолжительность жизни этой ссылки. Причина, по которой вам редко приходится указывать продолжительность жизни, - lifetime-elision. Это один из случаев, когда вам нужно указать срок службы, так как вы хотите, чтобы срок жизни определялся во всех местах, где вы используете Board, как будто вы использовали &[[Tile; 19]; 19] всюду напрямую. При определении псевдонима типа единственное доступное время жизни - 'static, поэтому нам нужно определить новый общий.