可选类型和错误处理

struct User {
    id int 
    name string
} 
struct Repo {
    users []User 
} 
fn new_repo() Repo {
    return Repo {
        users: [User{1, 'Andrew'}, User {2, 'Bob'}, User {10, 'Charles'}]
    }
} 
fn (r Repo) find_user_by_id(id int) ?User { 
    for user in r.users {
        if user.id == id {
            // V automatically wraps this into an option type  
            return user 
        } 
    } 
    return error('User $id not found') 
} 
fn main() {
    repo := new_repo() 
    user := repo.find_user_by_id(10) or { // Option types must be handled by `or` blocks  
        return  // `or` block must end with `return`, `break`, or `continue`  
    } 
    println(user.id) // ==> "10"  
    println(user.name) // ==> 'Charles'
}

V语言针对函数返回值增加了一个可选的属性，这样可以用于处理失败的情况。

将函数升级到可选类型的返回值很简单，只需要给返回值类型增加一个?就可以，这样就可以区别错误和真正的返回值。

如果不需要返回错误信息，可以简单返回Node（TODO：还没有实现）。

这是V语言处理错误的主要手段。函数的返回值依然是值，但是错误处理要简洁很多。

当然，错误还可以继续传播：

resp := http.get(url)?
println(resp.body)

http.get返回的是?http.Response可选类型。如果错误发生，将传播到调用函数，这里是导致main函数抛出异常。

上面代码是下面代码的简写：

resp := http.get(url) or {
    panic(err)
}
println(resp.body)