Rust中的“type（）”是什么类型？

Question

作为学习Rust的一个简单练习，我决定实现一个简单的二进制搜索：

pub fn binary_search(arr: &[i32], key: i32) -> usize {
    let min: usize = 0;
    let max: usize = arr.len();
    while max >= min {
        let mid: usize = (max - min) / 2 as usize;
        if key == arr[mid] {
            mid as usize
        }

        if key < arr[mid] {
            min = mid + 1;
            continue;
        }

        max = mid - 1;
    }
    -1 as usize
}

#[cfg(test)]
mod tests {

    use super::binary_search;

    #[test]
    fn binary_search_works() {
        let arr: [i32; 8] = [1, 2, 3, 4, 5, 6, 7, 8];
        let index: usize = binary_search(&arr, 2);
        assert_eq!(1, index);
    }
}

在构建时，我得到了这个我不理解的错误。什么是类型？变量mid始终是usize，但即使使用cast，我也会遇到这个编译错误。

error: mismatched types [E0308]
            mid as usize
            ^~~~~~~~~~~~
help: run `rustc --explain E0308` to see a detailed explanation
note: expected type `()`
note:    found type `usize`

Answer 1

1. 返回类型

关于您的特定代码示例：

if key == arr[mid] {
    mid as usize
}

通过在此表达式末尾省略分号，您将尝试返回类型（）。

“为什么？”你可能会问。请看这个答案，但长话短说，它通过避免if语句中的类型使核心语言更简单。

24 | |         };
   | |_________^ expected `()`, found integer
   |
   = note: `if` expressions without `else` evaluate to `()`
   = help: consider adding an `else` block that evaluates to the expected type

For more information about this error, try `rustc --explain E0317`.

即使在这里添加ore语句也无济于事，因为您要做的是提前从函数返回，而不是返回表达式的值。请记住，任何非分号结尾的表达式{表达式}都将其值返回给周围的上下文，在这种情况下，该上下文是函数的主体。

使用return会导致函数提前返回，这正是您想要的。

if key == arr[mid] {
    return mid as usize;
}

请注意，函数末尾不需要return函数的原因

-1 as usize

因为它正在返回到周围的上下文：在本例中，是调用函数的位置。

Answer 2

（）是单元类型，类似于其他语言中的val返回类型。

你在这里得到它：

if key == arr[mid] {
    mid as usize
}

Rust期望if表达式返回（），但您返回的是该表达式的usize。由于Rust中的几乎所有内容都是一个表达式，因此通常可以像这里尝试的那样隐式返回，但在这种特定情况下，您不能这样做，因为if表达式不是while表达式中的唯一表达式。您可以通过使用return mid as usize来解决眼前的问题 ”。

Answer 3

是单位类型或单件类型：它有一个值，也表示为。

我个人认为它是一个包含0个元素的元组。

如果C或C将使用void（没有值）来指示函数的返回类型，而该函数没有返回任何有趣的内容，则Rust将使用void（没有值）。这对元编程更好，因为它是一种常规类型，可以接受值，可以进行变异、借用等。。。

关于您的特定代码示例：

if key == arr[mid] {
    mid as usize
}

是（）类型的表达式（因为没有其他分支），但您正在尝试将if块评估为中作为usize，其类型为usize，因此编译器会注意到不匹配。

您想在此处使用返回：

if key == arr[mid] {
    return mid as usize;
}