if 是用于測試某個條件（布爾型或邏輯型）的語句，如果該條件成立，則會執(zhí)行 if 后由大括號括起來的代碼塊，否則就忽略該代碼塊繼續(xù)執(zhí)行后續(xù)的代碼。

if condition {
    // do something 
}

如果存在第二個分支，則可以在上面代碼的基礎(chǔ)上添加 else 關(guān)鍵字以及另一代碼塊，這個代碼塊中的代碼只有在條件不滿足時才會執(zhí)行。if 和 else 后的兩個代碼塊是相互獨立的分支，只可能執(zhí)行其中一個。

if condition {
    // do something 
} else {
    // do something 
}

如果存在第三個分支，則可以使用下面這種三個獨立分支的形式：

if condition1 {
    // do something 
} else if condition2 {
    // do something else    
} else {
    // catch-all or default
}

else-if 分支的數(shù)量是沒有限制的，但是為了代碼的可讀性，還是不要在 if 后面加入太多的 else-if 結(jié)構(gòu)。如果你必須使用這種形式，則把盡可能先滿足的條件放在前面。

即使當代碼塊之間只有一條語句時，大括號也不可被省略(盡管有些人并不贊成，但這還是符合了軟件工程原則的主流做法)。

關(guān)鍵字 if 和 else 之后的左大括號 { 必須和關(guān)鍵字在同一行，如果你使用了 else-if 結(jié)構(gòu)，則前段代碼塊的右大括號 } 必須和 else-if 關(guān)鍵字在同一行。這兩條規(guī)則都是被編譯器強制規(guī)定的。

非法的 Go 代碼:

if x{
}
else {  // 無效的
}

要注意的是，在你使用 gofmt 格式化代碼之后，每個分支內(nèi)的代碼都會縮進 4 個或 8 個空格，或者是 1 個 tab，并且右大括號與對應的 if 關(guān)鍵字垂直對齊。

在有些情況下，條件語句兩側(cè)的括號是可以被省略的；當條件比較復雜時，則可以使用括號讓代碼更易讀。條件允許是符合條件，需使用 &&、|| 或 !，你可以使用括號來提升某個表達式的運算優(yōu)先級，并提高代碼的可讀性。

一種可能用到條件語句的場景是測試變量的值，在不同的情況執(zhí)行不同的語句，不過將在第 5.3 節(jié)講到的 switch 結(jié)構(gòu)會更適合這種情況。

示例 5.1 booleans.go

package main
import "fmt"
func main() {
    bool1 := true
    if bool1 {
        fmt.Printf("The value is true\n")
    } else {
        fmt.Printf("The value is false\n")
    }
}

輸出：

The value is true

注意事項 這里不需要使用 if bool1 == true 來判斷，因為 bool1 本身已經(jīng)是一個布爾類型的值。

這種做法一般都用在測試 true 或者有利條件時，但你也可以使用取反 ! 來判斷值的相反結(jié)果，如：if !bool1 或者 if !(condition)。后者的括號大多數(shù)情況下是必須的，如這種情況：if !(var1 == var2)。

當 if 結(jié)構(gòu)內(nèi)有 break、continue、goto 或者 return 語句時，Go 代碼的常見寫法是省略 else 部分（另見第 5.2 節(jié)）。無論滿足哪個條件都會返回 x 或者 y 時，一般使用以下寫法：

if condition {
    return x
}
return y

注意事項 不要同時在 if-else 結(jié)構(gòu)的兩個分支里都使用 return 語句，這將導致編譯報錯 function ends without a return statement（你可以認為這是一個編譯器的 Bug 或者特性）。（ 譯者注：該問題已經(jīng)在 Go 1.1 中被修復或者說改進 ）

這里舉一些有用的例子：

1. 判斷一個字符串是否為空：
   • if str == "" { ... }
   • if len(str) == 0 {...}

2. 判斷運行 Go 程序的操作系統(tǒng)類型，這可以通過常量 runtime.GOOS 來判斷(第 2.2 節(jié))。

     if runtime.GOOS == "windows"     {
         .   ..
     } else { // Unix-like
         .   ..
     }

   這段代碼一般被放在 init() 函數(shù)中執(zhí)行。這兒還有一段示例來演示如何根據(jù)操作系統(tǒng)來決定輸入結(jié)束的提示：

     var prompt = "Enter a digit, e.g. 3 "+ "or %s to quit."
   
     func init() {
         if runtime.GOOS == "windows" {
             prompt = fmt.Sprintf(prompt, "Ctrl+Z, Enter")       
         } else { //Unix-like
             prompt = fmt.Sprintf(prompt, "Ctrl+D")
         }
     }

3. 函數(shù) Abs() 用于返回一個整型數(shù)字的絕對值:

     func Abs(x int) int {
         if x < 0 {
             return -x
         }
         return x    
     }

4. isGreater 用于比較兩個整型數(shù)字的大小:

     func isGreater(x, y int) bool {
         if x > y {
             return true 
         }
         return false
     }

在第四種情況中，if 可以包含一個初始化語句（如：給一個變量賦值）。這種寫法具有固定的格式（在初始化語句后方必須加上分號）：

if initialization; condition {
    // do something
}

例如:

val := 10
if val > max {
    // do something
}

你也可以這樣寫:

if val := 10; val > max {
    // do something
}

但要注意的是，使用簡短方式 := 聲明的變量的作用域只存在于 if 結(jié)構(gòu)中（在 if 結(jié)構(gòu)的大括號之間，如果使用 if-else 結(jié)構(gòu)則在 else 代碼塊中變量也會存在）。如果變量在 if 結(jié)構(gòu)之前就已經(jīng)存在，那么在 if 結(jié)構(gòu)中，該變量原來的值會被隱藏。最簡單的解決方案就是不要在初始化語句中聲明變量（見 5.2 節(jié)的例 3 了解更多)。

示例 5.2 ifelse.go

package main

import "fmt"

func main() {
    var first int = 10
    var cond int

    if first <= 0 {

        fmt.Printf("first is less than or equal to 0\n")
    } else if first > 0 && first < 5 {

        fmt.Printf("first is between 0 and 5\n")
    } else {

        fmt.Printf("first is 5 or greater\n")
    }
    if cond = 5; cond > 10 {

        fmt.Printf("cond is greater than 10\n")
    } else {

        fmt.Printf("cond is not greater than 10\n")
    }
}

輸出：

first is 5 or greater cond is not greater than 10

下面的代碼片段展示了如何通過在初始化語句中獲取函數(shù) process() 的返回值，并在條件語句中作為判定條件來決定是否執(zhí)行 if 結(jié)構(gòu)中的代碼：

if value := process(data); value > max {
    ...
}

鏈接

• 目錄
• 上一節(jié)：控制結(jié)構(gòu)
• 下一節(jié)：測試多返回值函數(shù)的錯誤