面试题：Rust函数默认值参数在不同作用域及生命周期下的表现

1. Rust 中带默认值且涉及生命周期参数的函数

在 Rust 中，当函数参数带有默认值且涉及生命周期时，需要确保默认值的生命周期与函数调用所处的上下文相匹配。

2. 不同作用域下默认值参数生命周期与其他变量的交互

局部变量作为默认值：如果默认值是一个局部变量，其生命周期仅限于定义它的块。当函数在该块外使用默认值时，会导致生命周期不匹配错误。
引用类型作为默认值：如果默认值是一个引用类型，它必须引用一个在函数调用期间有效的对象。这意味着被引用对象的生命周期必须长于函数调用的生命周期。

3. 确保引用类型默认值生命周期有效性

为确保引用类型默认值的生命周期有效性，有以下几种方法：

使用 'static 生命周期：如果引用的对象是 'static 的（例如字符串字面量），则可以直接使用。
传入生命周期足够长的引用：调用者需要传入一个生命周期至少与函数调用期间一样长的引用。

4. 举例代码说明可能出现的生命周期相关错误及解决方法

// 错误示例
fn print_with_default(s: &str = "default value") {
    println!("{}", s);
}

fn main() {
    let local = String::from("local string");
    {
        let short_lived = String::from("short lived");
        // 这里会报错，因为 short_lived 的生命周期短于函数调用
        print_with_default(&short_lived); 
    }
    // 这里调用没问题，因为 "default value" 是 'static 的
    print_with_default(); 
    // 这里调用也没问题，因为 local 的生命周期长于函数调用
    print_with_default(&local); 
}

在上述错误示例中，print_with_default(&short_lived); 这一行会报错，因为 short_lived 的生命周期在块结束时就结束了，而函数调用可能会在块结束后继续使用该引用。

解决方法：

确保传入的引用生命周期足够长，例如使用 local 而不是 short_lived。
如果一定要使用局部变量，可以将函数定义修改为接受所有权而不是引用：

fn print_with_default(s: Option<String> = None) {
    let s = s.unwrap_or_else(|| String::from("default value"));
    println!("{}", s);
}

fn main() {
    let local = String::from("local string");
    {
        let short_lived = String::from("short lived");
        // 这里不会报错，因为函数接受所有权
        print_with_default(Some(short_lived)); 
    }
    // 这里调用没问题，使用默认值
    print_with_default(); 
    // 这里调用也没问题，传入 local 的所有权
    print_with_default(Some(local)); 
}

这样，函数接受 Option<String>，如果是 None 则使用默认值，否则使用传入的 String，避免了生命周期不匹配的问题。

星途面试题库

面试题：Rust函数默认值参数在不同作用域及生命周期下的表现

知识考点

面试题答案

1. Rust 中带默认值且涉及生命周期参数的函数

2. 不同作用域下默认值参数生命周期与其他变量的交互

3. 确保引用类型默认值生命周期有效性

4. 举例代码说明可能出现的生命周期相关错误及解决方法