Как совместить с & 'статической str в Rust

Question

Я начинаю ржавчину, и я не могу решить проблему этого типа. Я попытался заменить &name на name, но ошибка «шаблон &_ не покрыт».

fn get_project(name: &'static str) { 
    match &name { 
     "hi" => {}, 
    } 
} 

fn main() { 
    let project = get_project("hi"); 
} 

Compiler ошибка:

error[E0308]: mismatched types 
--> <anon>:3:9 
    | 
3 |   "hi" => {}, 
    |   ^^^^ expected &str, found str 
    | 
    = note: expected type `&&str` 
    = note: found type `&'static str` 

Answer 1

В вашем примере, name не нужно иметь static жизни. Поскольку в вашей функции используется только name, name не требует расширенного срока службы. Проверьте strings chapterЯзык программирования ржавчины. Чтобы соответствовать &str с &'static str, вам не нужно &, достаточно просто переменной.

pub fn get_project(name: &str) { 
    match name { 
     "hi" => println!("I found hi!"), 
     _ => println!("Nothing match"), 
    } 
} 

fn main() { 
    get_project("hi"); 
    get_project("42"); 
} 

Answer 2

Строковые литералы - как "hi" - имеют тип &'static str. Так что, если у вас уже есть &str, вам не нужно, чтобы добавить &:

fn get_project(name: &str) { 
    match name { 
     "hi" => {}, 
     _ => {}, // matches have to be exhaustive 
    } 
} 

Я также добавил случай в по умолчанию, потому что матчи в Rust должны быть исчерпывающими: они должны охватывать все возможные случаи ,

---

Может быть, вы заметили, что я удалил 'static из списка аргументов. Если вы хотите прочитать о некоторых вещах на всю жизнь, продолжайте. Остальное, перестаньте читать здесь, потому что это, возможно, запутанно и не так важно в этом случае.

В этой функции нет необходимости ограничивать время жизни данного аргумента 'static. Может быть, вы хотите передать в строковых кусочки, которые заимствованных из String:

let user_input = read_user_input(); // type `String` 
get_project(&input); 

Код выше работает только при удалении 'static от аргумента. После удаления, функция эквивалентна:

fn get_project<'a>(name: &'a str) { ... } 

Это означает, что функция является общей в течение всей жизни 'a. Функция говорит: при любой жизни 'a вы можете дать мне строку с указанным сроком службы, и я могу сделать свое дело. Что является правдой. Если функция не сможет сделать это на протяжении всей жизни, компилятор будет жаловаться ;-)