switch語句中falltrough的行爲

Question

我正在閱讀關於Go中switch語句的this book部分。但這個例子讓我感到困惑：

package main 

import "fmt" 

func main() { 
k := 6 
switch k { 
    case 4: fmt.Println("was <= 4"); fallthrough; 
    case 5: fmt.Println("was <= 5"); fallthrough; 
    case 6: fmt.Println("was <= 6"); fallthrough; 
    case 7: fmt.Println("was <= 7"); fallthrough; 
    case 8: fmt.Println("was <= 8"); fallthrough; 
    default: fmt.Println("default case") 
    } 
} 

輸出是：

was <= 6 
was <= 7 
was <= 8 
default case 

而且書中指出：

使用下通聲明，表明以下的情況下塊的當前必須執行。

現在我要提問：

1. 爲什麼Go默認比較，在這種情況下，k是低？
2. 該文字提到執行以下情況。精細。但爲什麼他們不是隻執行案例匹配k？

Answer 1

The Go Programming Language Specification

Switch statements

表達切換

在表達開關，開關表達式求值和 情況下的表達式，它不必是常數，被評估 左從右到上和從上到下;第一個等於開關 表達式觸發執行關聯的 大小寫的語句;其他情況會被跳過。如果沒有大小寫匹配並且存在 「默認」情況，則執行其語句。最多隻能有一個 默認情況，它可能出現在「switch」語句的任何地方。 A 缺少的開關表達式等同於布爾值true。

ExprSwitchStmt = "switch" [ SimpleStmt ";" ] [ Expression ] "{" { ExprCaseClause } "}" . 
ExprCaseClause = ExprSwitchCase ":" StatementList . 
ExprSwitchCase = "case" ExpressionList | "default" . 

在的情況下，或默認條款，最後的非空語句可以是 （可能標記的）「下通」語句，以指示控制 應該從這個子句的端部流向的第一個語句接下來的條款是 。否則控制流向「開關」 聲明的末尾。 「fallthrough」語句可能會顯示爲表達式切換的最後一個子句的最後一個語句 。

表達式前面可能有一個簡單的語句，它在計算表達式之前執行 。

從上到下評估案例表達式。 case 4和case 5是false,case 6是true。 case 7,case 8和default是false，但通過fallthrough流向下一個子句執行。