可选类型和错误处理

  1. struct User {
  2.     id int 
  3.     name string
  4. } 
  6. struct Repo {
  7.     users []User 
  8. } 
  10. fn new_repo() Repo {
  11.     return Repo {
  12.         users: [User{1, 'Andrew'}, User {2, 'Bob'}, User {10, 'Charles'}]
  13.     }
  14. } 
  16. fn (r Repo) find_user_by_id(id int) ?User { 
  17.     for user in r.users {
  18.         if user.id == id {
  19.             // V automatically wraps this into an option type  
  20.             return user 
  21.         } 
  22.     } 
  23.     return error('User $id not found') 
  24. } 
  26. fn main() {
  27.     repo := new_repo() 
  28.     user := repo.find_user_by_id(10) or { // Option types must be handled by `or` blocks  
  29.         return  // `or` block must end with `return`, `break`, or `continue`  
  30.     } 
  31.     println(user.id) // ==> "10"  
  32.     println(user.name) // ==> 'Charles'
  33. }

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

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

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

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

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

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

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

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

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