面试题：Rust移动语义与错误传播的结合

错误类型选择：
- 可以选择定义自定义错误类型。例如，使用enum来定义特定于该函数逻辑的错误。
```
#[derive(Debug)]
enum MyFunctionError {
    SpecificError1,
    SpecificError2,
}
```
- 如果函数的错误与标准库中的错误类型相关，也可以使用标准库中的错误类型，如io::Error等。
错误传播方式：
- 使用Result类型来传播错误。函数签名可以定义为fn my_function(data: MyStruct) -> Result<(), MyFunctionError>，其中MyStruct是实现了Drop trait的结构体。
```
fn my_function(data: MyStruct) -> Result<(), MyFunctionError> {
    // 函数逻辑
    if some_condition {
        Err(MyFunctionError::SpecificError1)
    } else {
        Ok(())
    }
}
```
- 当调用可能产生错误的操作时，可以使用?操作符来简洁地传播错误。例如，如果函数内部调用另一个返回Result的函数inner_function：
```
fn my_function(data: MyStruct) -> Result<(), MyFunctionError> {
    inner_function()?;
    Ok(())
}
```
确保资源的正确管理：
- 由于MyStruct实现了Drop trait，当MyStruct实例离开作用域时，Drop trait的drop方法会自动被调用以释放资源。
- 当函数返回Err时，data参数会离开函数作用域，从而触发Drop方法，确保资源释放。例如：
```
fn main() {
    let my_struct = MyStruct::new();
    match my_function(my_struct) {
        Ok(_) => println!("Function executed successfully"),
        Err(e) => println!("Error: {:?}", e),
    }
    // 此时如果函数返回错误，my_struct已离开作用域，其资源已通过Drop trait释放
}
```
- 在函数内部，如果提前返回Err，同样会导致data离开作用域触发Drop。例如：
```
fn my_function(data: MyStruct) -> Result<(), MyFunctionError> {
    if some_error_condition {
        return Err(MyFunctionError::SpecificError1);
    }
    // 其他逻辑
    Ok(())
}
```
- 即使在函数执行过程中发生恐慌（panic!），Rust的运行时也会确保所有实现了Drop trait的对象的drop方法被调用，从而保证资源的正确释放。

星途面试题库

面试题：Rust移动语义与错误传播的结合

知识考点

面试题答案