您在内部循环中使用了传统的for循环。
其格式为：

for i := 0; i < 10; i++ {
}

i := 0是InitStmt，i < 10是Condition，i++是PostStmt。PostStmt在每个循环迭代中运行。
在您的示例中，mapVal访问是InitStmt的一部分，ok是Condition的一部分，但没有PostStmt。
因此，因为InitStmt只在for循环开始时运行一次，所以ok的值永远不会改变。

问题出在你的内部循环上。它不会为下一次重新分配ok的值，如果它的值为真，它就会进入无限循环。下面是我的更新：

package main

import "fmt"

func main() {

    mapVal := map[string]string{
        "a": "k",
    }
    a := []string{"a", "b"}

    for i := range a {
        for _, ok := mapVal[a[i]]; ok; {
            i++
            fmt.Printf("the value of i is %d\n", i)
            _, ok = mapVal[a[i]]
        }
    }

}