函数能否根据函数中的条件语句返回不同的类型？

Question

我想知道是否可以根据函数中的条件返回不同的类型： 如果您删除 '||，此代码将起作用bool' 和 'if/else' 语句。

提前致谢。

fn main() {
    let vector: Vec<i32> = vec![0, 2, 5, 8, 9];
    let targetL i32 = 3;
    let found_item = linear_search(vector, target);
    println!("{}", &found_item);
}
fn linear_search(vector: Vec<i32>, target: i32) -> i32 || bool {
    let mut found: i32 = 0;
    for item in vector {
        if item == target {
            found = item;
            break
        }
    }
    if found == 0 {
        false
    } else {
        found
    }
}

Answer 1

在编译时必须知道精确的类型（并随后被删除）。您不能随意决定在运行时返回哪些类型。

但是，您可以通过将类型包装到通用枚举中（替换代码中的 ||）来做您尝试过的事情：

enum TypeOr<S, T> {
    Left(S),
    Right(T),
}

fn linear_search(vector: ...) -> TypeOr<i32, bool> { //...

缺点是必须先从枚举中解包值，然后才能对结果执行任何其他操作。但是，这在实践中并不那么艰巨。

这本质上是常用Option 和Result 类型的通用版本。

编辑：事实上，在您的情况下，Option 类型的语义为您提供了非常好的服务：您永远不会返回 true，因此您可以将 None 结果等同于您的 false 结果函数返回，这抓住了你试图表达的想法：或者你的线性搜索找到目标并返回它（Some(found)），或者它没有，并且没有任何东西可以返回（None）。