zoukankan      html  css  js  c++  java
  • golang 自学系列(三)—— if,for,channel

    golang 自学系列(三)—— if,for,channel

    一般情况下,if 语句跟大多数语言的 if 判断语句一样,根据一个 boolean 表达式结果来执行两个分支逻辑。

    但凡总是有例外,go 语言还有这种写法:

    // 写法1
    if i:= getID(); i < currentID {
    	execute some logic
    } else {
    	execute some other logic
    }
    
    // 写法2
    var obj = map[string]interface{}
    if val,ok := obj["id"]; ok {
    	execute some logic
    } else {
    	execute some other logic
    }
    

    写法 1 的意思是在判断逻辑前,可以加一个表达式,比如获取 ID 赋值给 i,然后参与后续的判断是否小于当前 ID。

    写法 2 的意思同样是在判断逻辑前,可以加一个表达式,获取对象 ID(obj["id"])给 val,但是与 1 不同的是,这里 val、ok 的值是有直接关联的。val 值取得成功与否,就是 ok 的结果值。

    即 ok 一定是 boolean 类型值,表示 val = obj["id"] 是否赋值成功。我认为这种特性很好,完全不用取得值是否不存在,会报错等。

    for 语句

    for 语句一般表示为重复执行块。由三个部分组成,一个是单条件控制的迭代,一个是 “for” 语句,最后一个是 “range” 语句。

    ForStmt = "for" [ Condition | ForClause | RangeClause ] Block .
    Condition = Expression .
    

    for 查了资料才发现用法特别多

    一. 使用单条件的 for 语句

    for a < b {
    	a *= 2
    }
    

    这个是最简单的,意思就是只要你的条件计算得出来的是 true 就会重复执行代码段。就如上面所示,只要 a < b 就会一直会执行 a *= 2。相当于 while 死循环。

    二. 使用 for 从句

    // 句法格式
    ForClause = [ InitStmt ] ";" [ Condition ] ";" [ PostStmt ] .
    InitStmt = SimpleStmt .
    PostStmt = SimpleStmt .
    
    for i := 0; i < 10; i++ {
    	f(i)
    }
    

    使用 for 从句的 for 语句也是通过条件控制的,但是会额外指定一个 init 以及 post 语句,就好比分配一个数,这个数会自增或递减。满足条件判断,就会在重复运行执行体。

    只要初始化语句变量不为空,就会在第一次迭代运行之前计算。有几点要注意:

    for 从句中的任何元素都可以为空,除非它之后一个条件,否则这种情况下分号是不能丢的。如果条件是缺省的,它就等价于这个条件是 true。例如

    for condtion { exec() }  等同于 for ; condition ; { exec() }
    for 				 { exec() }  等同于 for   true			 ; { exec() }
    

    三. 使用 range 从句

    使用了 range 从句的 for 语句代表从执行的这些对象,这些对象会是数组、分片、字符串或映射以及通道(channel)上接收的值。如果迭代的条目存在,就把它赋值给迭代变量。

    RangeClause = [ ExpressionList "=" | IdentifierList ":=" ] "range" Expression .
    

    这个表达式 “range” 的后边的表达式被称为 range 表达式,它可能是数组、数组指针、分片、字符串、映射(map)或者是通道接收操作(channel permitting receive operations.)。就像赋值一样,如果左边有操作数,那么则必须是可寻址的或是映射索引表达式。

    如果范围表达式是一个通道(channel),那么最多只有一个迭代变量,否则最多有两个变量。如果最后一个迭代变量是空标识符,那么就相当于没有这个标识符的 range 表达式。

    range 表达式 x 要在循环体开始之前计算一次,有一个例外:如果存在最多一个迭代变量以及 len(x) 是常熟,那么 range 表达式就不会计算。下面是官网给出的例子

    var testdata *struct {
    	a *[7]int
    }
    for i, _ := range testdata.a {
    	// testdata.a is never evaluated; len(testdata.a) is constant
    	// i ranges from 0 to 6
    	f(i)
    }
    
    var a [10]string
    for i, s := range a {
    	// type of i is int
    	// type of s is string
    	// s == a[i]
    	g(i, s)
    }
    
    var key string
    var val interface{}  // element type of m is assignable to val
    m := map[string]int{"mon":0, "tue":1, "wed":2, "thu":3, "fri":4, "sat":5, "sun":6}
    for key, val = range m {
    	h(key, val)
    }
    
    // key == last map key encountered in iteration
    // val == map[key]
    
    var ch chan Work = producer()
    for w := range ch {
    	doWork(w)
    }
    
    // empty a channel
    for range ch {}
    

    Channel 类型

    chan 关键字:起初这个官网没有查到具体对 chan 的解释,就只知道是一个关键字,后来经过一番资料查询,发现这个是用来方便创建 channel 类型的快捷方式。其默认值是 nil。

    既然知道 chan 是用来创建 channel 的,那么我们就来看 channel 类型的定义:

    A channel provides a mechanism for concurrently executing functions to communicate by sending and receiving values of a specified element type. The value of an uninitialized channel is nil.
    

    就是说 channel 类型为并发运行函数提供一个机制,通过发送和接收指定元素类型的值通信。未分配的 channel 的值是 nil。

    在来了解下 chan 的操作符 <-,它表示指定 channel 方向、发送或接收。如果没有给定方向,就是双向。channel 被限制只能通过赋值或显示转换来发送或接收。

    chan T 	// 可以用来发送和接收 T 类型的值
    chan <- float64	// 只能被用于发送 64 位浮点数
    <- chan int	// 只能用于接收 int 数
    

    官网还描述下面这种用法,说实话我没怎么看懂

    chan<- chan int    // same as chan<- (chan int)
    chan<- <-chan int  // same as chan<- (<-chan int)
    <-chan <-chan int  // same as <-chan (<-chan int)
    chan (<-chan int)
    

    go 语言提供内置函数 make 来构建新的 channel 值,该函数传递 channel 类型参数和一个可选的容量(capacity)参数值

    make(chan int, 100)
    

    其中的 100 是容量值(capacity),这个容量值是指 channel 内的缓冲大小。如果值为 0 说明没有缓冲,这种情况下只有当接受者和发送者准备好才能成功通讯。否则,只要这个缓冲块没满(推送)或不为空(接收),那已经缓冲的 channel 就能成功通信。

    channel 能通过调用方法 close 关闭。多值赋值通过接收操作符的形式报告这个接收的值是否在 channel 在关闭之前。

    单个 channel 能用在发送语句、接收操作符以及调用内置 cap 函数和 len 函数,也能在任意数量的 goroutline 使用,而不需要同步。通道是一个先进先出(FIFO)的队列。

    上面提到了两点,发送语句和接收操作符

    send 语句

    简单来讲就是发送一个值给 channel。

    ch <- 3 意思是发送一个值 3 给 channel 变量 ch。如果 channel 关闭了,会报 run-time panic 错误。

    接收操作符

    对于 channel 类型的操作数 ch,接收操作符的值 <- ch 意思是从 channel 类型值 ch 接收的值。<- 右边是 channel 类型元素。表达式块只有在值可用才不会阻塞。所以空 channel 无法接受值,因为永远阻塞。

    现在来看一下 chan 的一些例子

    var c chan int	// nil
    c = make(chan int)	// 初始化
    fmt.Printf("c 的类型是%T 
    ", cc)	// chan int
    fmt.Printf("c 的值是%v 
    ", cc)	//	0xc0000820c0
    

    这能看出 chan int 的值是一个地址,像是指针一样。不过目前我还是不知道这个具体的用法是什么,用在什么地方?

    而当我尝试读取值的时候,却发现好像一直在阻塞:

    c <- 3
    fmt.Printf("c 的值是%v 
    ", c)
    <-c
    fmt.Printf("c 的值是%v 
    ", c)
    

    我想的是 chan 在发送时,没有接收前是堵塞的,所以一直没有执行下面的输出。所以我又在后面加了 <- c 让 c 接收。结果发现还是不执行上面的输出。

    后来又查了相关的资料,得知 channel 类型很像是一个通道,消费者-生产者之间的关系。

    于是我又写了下面代码

    cc := make(chan int)
    defer close(cc)
    cc <- 3 + 4
    i := <-cc
    fmt.Println(i)
    

    断电调试发现(如何在 vscode 断电调试我稍微会另起文章说)程序运行到 cc <- 3 + 4 就不往下执行,进程也没结束,说明是阻塞的。从之前的概念上将,cc 初始化出来的类型是没有设置初始容量,即没有缓存,难道在不能发送数据了?为了验证想法,我在初始化 channel 的时候家了初始缓存 buffer:cc := make(chan int, 100);能正常输出结果值。但是概念上并没有说没有缓冲区的就不能正常发送数据啊。

    在描述 send 语句的时候说过,在接收器准备好了,发送器才会被处理。按照这个结果来看,接收器是没有准备好的。那要怎么才能使接收器准备好呢?

    我又查了资料,发现基本上都是这么种写法,以上面的代码为前提

    cc := make(chan int)
    defer close(cc)
    go func() {
      cc <- 3 + 4
    }()
    i := <-cc
    fmt.Println(i)
    

    这样就是正常的。难道要把发送器以一种函数调用的形式存在?

    我又尝试把立即执行函数改为普通函数

    cc := make(chan int)
    defer close(cc)
    fchan(cc)
    i := <-cc
    fmt.Println(i)
    

    结果发现还是不行,这个问题先放一边吧。等以后有时间在仔细学习一下。

    // TODO Range 也是可以处理 chan

    初始化数组

    []type{} 当我看到这个语句的时候,我内心是奔溃的,因为突然看到这种写法的我不知道这属于哪个特征,都不好查关键字资料。刚开始我以为是 type 类型的数组,然后后面再接一个空对象 {}。但是翻遍了特性,都没看到这种概念。后来直接写了一个例子,查看具体的输出

    var sa = []string{}
    fmt.Printf("sa 的值是%v 
    ", sa)	//sa 的值是[] 
    

    发现它就是一个数组,并没有什么对象。后来我尝试去掉后面 {} 发现根本通不过编译,这才知道,这就是初始化一个 string 数组。

    本文同步至:https://github.com/MarsonShine/GolangStudy/blob/master/src/QPaint/doc/golang-study-3.md

  • 相关阅读:
    Python程序中的线程操作-concurrent模块
    SVN Checkout 不包括源文件夹根目录(转)
    Windows下配置Nginx使之支持PHP(转)
    htaccess 正则规则整理(转)
    用htaccess进行访问控制(转)
    改写URL的查询字符串QUERY_STRING(转)
    htaccess URL重写rewrite与重定向redirect(转)
    URL重写:RewriteCond指令与RewriteRule 指令格式(转)
    开启.htaccess重写之前先来看看mod_rewrite(转)
    php导出excel不断刷新缓冲区的思路(转)
  • 原文地址:https://www.cnblogs.com/ms27946/p/golang-study-3.html
Copyright © 2011-2022 走看看